@reventlessdev/online-shop-aggregates-ordering 3.0.0-alpha.245 → 3.0.0-alpha.246

package/CHANGELOG.md

@@ -3,6 +3,13 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+# 3.0.0-alpha.246 (2026-09-21)
+
+### Features
+
+* **examples:** the aggregates example types its ids ([10795b4](https://github.com/ReventlessDev/reventless-core/commit/10795b40e4991e7255c851ef9b37f2f1836da613))
+
+
 # 3.0.0-alpha.245 (2026-09-21)
 
 **Note:** Version bump only for package @reventlessdev/online-shop-aggregates-ordering

package/lib/bs/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1789989166107)
-#Done(1789989170948)
+#Start(1789994023811)
+#Done(1789994029825)

package/lib/bs/OrderingPlugin.mlmap

@@ -6,6 +6,7 @@ CatalogProduct
 CatalogProduct_Behavior
 CatalogProduct_GWT
 Customer
+CustomerId
 Customer_Behavior
 Customer_GWT
 Customers
@@ -15,6 +16,7 @@ EmailService
 EmailService_Mock
 LifecycleModel
 Order
+OrderId
 OrderMappings_GWT
 OrderNotifications
 Order_Behavior

package/lib/bs/compiler-info.json

@@ -4,5 +4,5 @@
   "bsc_hash": "75e3a59c95cc953608fd3dd6ea6ed68141bba4414a20a52f114261b8a48385fa",
   "rescript_config_hash": "4c884bf958b93b21c77764e35498f269b81377cfcc324135f1ab7a1cc5b569cb",
   "runtime_path": "/home/runner/work/reventless-core/reventless-core/node_modules/@rescript/runtime",
-  "generated_at": "1789989170959"
+  "generated_at": "1789994029826"
 }

package/lib/bs/src/CatalogProduct/Aggregate/CatalogProduct.res

@@ -4,6 +4,8 @@
 
 @@reventless.spec
 
+module Id = CatalogSpec.ProductId
+
 @schema
 type command =
   | Sync({name: string, price: float})

package/lib/bs/src/CatalogProduct/ReadModel/AvailableProducts.res

@@ -8,5 +8,7 @@
 @@reventless.spec
 @@reventless.visibility(Internal)
 
+module Id = CatalogSpec.ProductId
+
 @schema
 type state = {name: string, price: float}

package/lib/bs/src/CatalogProduct/ReadModel/AvailableProducts_Projections.res.mjs

@@ -1,12 +1,12 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
-import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
+import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-aggregates-catalog-spec/src/ProductId.res.mjs";
 import * as Projection$Reventless from "@reventlessdev/reventless-spec/src/types/Projection.res.mjs";
 import * as CatalogProduct$OrderingPlugin from "../Aggregate/CatalogProduct.res.mjs";
 import * as AvailableProducts$OrderingPlugin from "./AvailableProducts.res.mjs";
 
 let M = Projection$Reventless.Mappings.Make({
-  Id: Id$Reventless.$$String,
+  Id: ProductId$CatalogSpec,
   name: AvailableProducts$OrderingPlugin.name,
   stateSchema: AvailableProducts$OrderingPlugin.stateSchema,
   subIdConfig: undefined
@@ -37,11 +37,11 @@ function project(param) {
 }
 
 let CatalogProductMapping = Projection$Reventless.Mapping.Make({
-  Id: Id$Reventless.$$String,
+  Id: ProductId$CatalogSpec,
   name: CatalogProduct$OrderingPlugin.name,
   eventSchema: CatalogProduct$OrderingPlugin.eventSchema
 })({
-  Id: Id$Reventless.$$String,
+  Id: ProductId$CatalogSpec,
   name: AvailableProducts$OrderingPlugin.name,
   stateSchema: AvailableProducts$OrderingPlugin.stateSchema,
   subIdConfig: undefined

package/lib/bs/src/Customer/Aggregate/Customer.res

@@ -3,6 +3,8 @@
 
 @@reventless.spec
 
+module Id = CustomerId
+
 // The command is where an address is first accepted, so it is where the type
 // belongs — a value that reaches the log is already permanent. The events below
 // stay plain `string`: they record what was accepted, and re-validating history

package/lib/bs/src/Customer/CustomerId.res

@@ -0,0 +1,4 @@
+// A customer's id: the Customer stream, the Customers rows, and an order's buyer.
+include Reventless.Id.Make({
+  let key = "customerId"
+})

package/lib/bs/src/Customer/CustomerId.res.mjs

@@ -0,0 +1,29 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
+
+let include = Id$Reventless.Make({
+  key: "customerId"
+});
+
+let schema = include.schema;
+
+let make = include.make;
+
+let makeFromString = include.makeFromString;
+
+let toString = include.toString;
+
+let cmp = include.cmp;
+
+let key = include.key;
+
+export {
+  schema,
+  make,
+  makeFromString,
+  toString,
+  cmp,
+  key,
+}
+/* include Not a pure module */

package/lib/bs/src/Customer/ReadModel/Customers.res

@@ -3,6 +3,8 @@
 
 @@reventless.spec
 
+module Id = CustomerId
+
 // Marked on the query side too, where it is what makes the field render as a
 // mailto link instead of a text box: the AutoUI reads the semantic off this
 // state schema, not off the command's.

package/lib/bs/src/Customer/ReadModel/Customers_Projections.res.mjs

@@ -1,12 +1,12 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
-import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
 import * as Projection$Reventless from "@reventlessdev/reventless-spec/src/types/Projection.res.mjs";
 import * as Customer$OrderingPlugin from "../Aggregate/Customer.res.mjs";
 import * as Customers$OrderingPlugin from "./Customers.res.mjs";
+import * as CustomerId$OrderingPlugin from "../CustomerId.res.mjs";
 
 let M = Projection$Reventless.Mappings.Make({
-  Id: Id$Reventless.$$String,
+  Id: CustomerId$OrderingPlugin,
   name: Customers$OrderingPlugin.name,
   stateSchema: Customers$OrderingPlugin.stateSchema,
   subIdConfig: undefined
@@ -63,11 +63,11 @@ function project(param) {
 }
 
 let CustomerMapping = Projection$Reventless.Mapping.Make({
-  Id: Id$Reventless.$$String,
+  Id: CustomerId$OrderingPlugin,
   name: Customer$OrderingPlugin.name,
   eventSchema: Customer$OrderingPlugin.eventSchema
 })({
-  Id: Id$Reventless.$$String,
+  Id: CustomerId$OrderingPlugin,
   name: Customers$OrderingPlugin.name,
   stateSchema: Customers$OrderingPlugin.stateSchema,
   subIdConfig: undefined

package/lib/bs/src/Extension/Products_Extension.res

@@ -12,11 +12,15 @@ module Mapping = {
 
   let mapIncomingEvent = (_id, event, _meta, _pluginDef, _queryEngine) =>
     switch event {
+    // The contract carries the catalog's typed id; routing is by string.
     | ProductBecameAvailable({productId, name, price}) => [
-        PublishAggregateCommand(productId, Sync({name, price})),
+        PublishAggregateCommand(productId->CatalogSpec.ProductId.toString, Sync({name, price})),
       ]
     | ProductPriceChanged({productId, price}) => [
-        PublishAggregateCommand(productId, UpdatePrice({price: price})),
+        PublishAggregateCommand(
+          productId->CatalogSpec.ProductId.toString,
+          UpdatePrice({price: price}),
+        ),
       ]
     }
 

package/lib/bs/src/Extension/Products_Extension.res.mjs

@@ -1,12 +1,13 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
+import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-aggregates-catalog-spec/src/ProductId.res.mjs";
 import * as CatalogProduct$OrderingPlugin from "../CatalogProduct/Aggregate/CatalogProduct.res.mjs";
 
 function mapIncomingEvent(_id, event, _meta, _pluginDef, _queryEngine) {
   if (event.TAG === "ProductBecameAvailable") {
     return [{
         TAG: "PublishAggregateCommand",
-        _0: event.productId,
+        _0: ProductId$CatalogSpec.toString(event.productId),
         _1: {
           TAG: "Sync",
           name: event.name,
@@ -16,7 +17,7 @@ function mapIncomingEvent(_id, event, _meta, _pluginDef, _queryEngine) {
   } else {
     return [{
         TAG: "PublishAggregateCommand",
-        _0: event.productId,
+        _0: ProductId$CatalogSpec.toString(event.productId),
         _1: {
           TAG: "UpdatePrice",
           price: event.price
@@ -55,4 +56,4 @@ export {
   Mapping,
   moduleUrl,
 }
-/* CatalogProduct-OrderingPlugin Not a pure module */
+/* ProductId-CatalogSpec Not a pure module */

package/lib/bs/src/ExtensionPoint/Orders_ExtensionPointMapping.res

@@ -10,16 +10,31 @@ let mapIncomingCommand = (_id, _command, _meta) => []
 let mapOutgoingEvent = Some(
   (_id, event, _meta, _queryEngine) =>
     switch event {
+    // The published contract carries plain strings: a consumer outside this
+    // plugin has no OrderId or CustomerId type to hold them in.
     | Order.Placed({customerId, productIds}) =>
-      productIds->Array.map(productId => PublishEvent(
-        productId,
-        OrderingSpec.Orders_ExtensionPoint.ItemOrdered({productId, orderId: _id, customerId}),
-      ))
+      productIds->Array.map(productId => {
+        let productId = productId->CatalogSpec.ProductId.toString
+        PublishEvent(
+          productId,
+          OrderingSpec.Orders_ExtensionPoint.ItemOrdered({
+            productId,
+            orderId: _id,
+            customerId: customerId->CustomerId.toString,
+          }),
+        )
+      })
     | Order.Cancelled({productIds}) =>
-      productIds->Array.map(productId => PublishEvent(
-        productId,
-        OrderingSpec.Orders_ExtensionPoint.ItemOrderCancelled({productId, orderId: _id}),
-      ))
+      productIds->Array.map(productId => {
+        let productId = productId->CatalogSpec.ProductId.toString
+        PublishEvent(
+          productId,
+          OrderingSpec.Orders_ExtensionPoint.ItemOrderCancelled({
+            productId,
+            orderId: _id,
+          }),
+        )
+      })
     | _ => []
     },
 )

package/lib/bs/src/ExtensionPoint/Orders_ExtensionPointMapping.res.mjs

@@ -1,5 +1,7 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
+import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-aggregates-catalog-spec/src/ProductId.res.mjs";
+import * as CustomerId$OrderingPlugin from "../Customer/CustomerId.res.mjs";
 
 function mapIncomingCommand(_id, _command, _meta) {
   return [];
@@ -12,26 +14,32 @@ let mapOutgoingEvent = (_id, event, _meta, _queryEngine) => {
   switch (event.TAG) {
     case "Placed" :
       let customerId = event.customerId;
-      return event.productIds.map(productId => ({
-        TAG: "PublishEvent",
-        _0: productId,
-        _1: {
-          TAG: "ItemOrdered",
-          productId: productId,
-          orderId: _id,
-          customerId: customerId
-        }
-      }));
+      return event.productIds.map(productId => {
+        let productId$1 = ProductId$CatalogSpec.toString(productId);
+        return {
+          TAG: "PublishEvent",
+          _0: productId$1,
+          _1: {
+            TAG: "ItemOrdered",
+            productId: productId$1,
+            orderId: _id,
+            customerId: CustomerId$OrderingPlugin.toString(customerId)
+          }
+        };
+      });
     case "Cancelled" :
-      return event.productIds.map(productId => ({
-        TAG: "PublishEvent",
-        _0: productId,
-        _1: {
-          TAG: "ItemOrderCancelled",
-          productId: productId,
-          orderId: _id
-        }
-      }));
+      return event.productIds.map(productId => {
+        let productId$1 = ProductId$CatalogSpec.toString(productId);
+        return {
+          TAG: "PublishEvent",
+          _0: productId$1,
+          _1: {
+            TAG: "ItemOrderCancelled",
+            productId: productId$1,
+            orderId: _id
+          }
+        };
+      });
     case "Refunded" :
       return [];
   }
@@ -71,4 +79,4 @@ export {
   publishedEvents,
   acceptedCommands,
 }
-/* No side effect */
+/* ProductId-CatalogSpec Not a pure module */

package/lib/bs/src/Order/Aggregate/Order.res

@@ -3,18 +3,22 @@
 
 @@reventless.spec
 
+module Id = OrderId
+
 @schema
 type command =
-  | Place({customerId: string, @ref("AvailableProducts") @noDcbTag productIds: array<string>})
+  // Both references are derived from the types: AvailableProducts is the one view
+  // here keyed by ProductId, and Customers the one keyed by CustomerId.
+  | Place({customerId: CustomerId.t, productIds: array<CatalogSpec.ProductId.t>})
   | Ship
   | Cancel
   | Refund({reason: string})
 
 @schema
 type event =
-  | Placed({customerId: string, productIds: array<string>})
+  | Placed({customerId: CustomerId.t, productIds: array<CatalogSpec.ProductId.t>})
   | Shipped
-  | Cancelled({productIds: array<string>})
+  | Cancelled({productIds: array<CatalogSpec.ProductId.t>})
   | Refunded({reason: string})
 
 @schema

package/lib/bs/src/Order/Aggregate/Order.res.mjs

@@ -1,13 +1,14 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as Sury from "sury";
-import * as Reference$Reventless from "@reventlessdev/reventless-spec/src/components/Reference.res.mjs";
+import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-aggregates-catalog-spec/src/ProductId.res.mjs";
+import * as CustomerId$OrderingPlugin from "../../Customer/CustomerId.res.mjs";
 
 let commandSchema = Sury.union([
   Sury.$schema(s => ({
     TAG: "Place",
-    customerId: s.m(Sury.string),
-    productIds: s.m(Sury.array(Reference$Reventless.toWithoutDcbTag(undefined, "AvailableProducts")))
+    customerId: s.m(CustomerId$OrderingPlugin.schema),
+    productIds: s.m(Sury.array(ProductId$CatalogSpec.schema))
   })),
   Sury.literal("Ship"),
   Sury.literal("Cancel"),
@@ -20,13 +21,13 @@ let commandSchema = Sury.union([
 let eventSchema = Sury.union([
   Sury.$schema(s => ({
     TAG: "Placed",
-    customerId: s.m(Sury.string),
-    productIds: s.m(Sury.array(Sury.string))
+    customerId: s.m(CustomerId$OrderingPlugin.schema),
+    productIds: s.m(Sury.array(ProductId$CatalogSpec.schema))
   })),
   Sury.literal("Shipped"),
   Sury.$schema(s => ({
     TAG: "Cancelled",
-    productIds: s.m(Sury.array(Sury.string))
+    productIds: s.m(Sury.array(ProductId$CatalogSpec.schema))
   })),
   Sury.$schema(s => ({
     TAG: "Refunded",

package/lib/bs/src/Order/Aggregate/Order_Behavior.res

@@ -6,7 +6,7 @@
 @schema
 type state =
   | NotCreated
-  | Placed({customerId: string, productIds: array<string>})
+  | Placed({customerId: CustomerId.t, productIds: array<CatalogSpec.ProductId.t>})
   | Shipped
   | Cancelled
   | Refunded

package/lib/bs/src/Order/Aggregate/Order_Behavior.res.mjs

@@ -1,13 +1,15 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as Sury from "sury";
+import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-aggregates-catalog-spec/src/ProductId.res.mjs";
+import * as CustomerId$OrderingPlugin from "../../Customer/CustomerId.res.mjs";
 
 let stateSchema = Sury.union([
   Sury.literal("NotCreated"),
   Sury.$schema(s => ({
     TAG: "Placed",
-    customerId: s.m(Sury.string),
-    productIds: s.m(Sury.array(Sury.string))
+    customerId: s.m(CustomerId$OrderingPlugin.schema),
+    productIds: s.m(Sury.array(ProductId$CatalogSpec.schema))
   })),
   Sury.literal("Shipped"),
   Sury.literal("Cancelled"),

package/lib/bs/src/Order/Aggregate/Order_Mappings.res.mjs

@@ -1,12 +1,12 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
-import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
 import * as Order$OrderingPlugin from "./Order.res.mjs";
+import * as OrderId$OrderingPlugin from "../OrderId.res.mjs";
 import * as EventMapping$Reventless from "@reventlessdev/reventless-spec/src/types/EventMapping.res.mjs";
 
 let M = EventMapping$Reventless.Mappings.Make({
   name: Order$OrderingPlugin.name,
-  Id: Id$Reventless.$$String,
+  Id: OrderId$OrderingPlugin,
   commandSchema: Order$OrderingPlugin.commandSchema
 });
 
@@ -32,7 +32,7 @@ let AutoShipMapping = {
 let mappings = [{
     Source: {
       name: Order$OrderingPlugin.name,
-      Id: Id$Reventless.$$String,
+      Id: OrderId$OrderingPlugin,
       eventSchema: Order$OrderingPlugin.eventSchema
     },
     map: map

package/lib/bs/src/Order/OrderId.res

@@ -0,0 +1,4 @@
+// An order's id: the Order stream and the Orders rows are keyed by it.
+include Reventless.Id.Make({
+  let key = "orderId"
+})

package/lib/bs/src/Order/OrderId.res.mjs

@@ -0,0 +1,29 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
+
+let include = Id$Reventless.Make({
+  key: "orderId"
+});
+
+let schema = include.schema;
+
+let make = include.make;
+
+let makeFromString = include.makeFromString;
+
+let toString = include.toString;
+
+let cmp = include.cmp;
+
+let key = include.key;
+
+export {
+  schema,
+  make,
+  makeFromString,
+  toString,
+  cmp,
+  key,
+}
+/* include Not a pure module */

package/lib/bs/src/Order/ReadModel/Orders.res

@@ -3,6 +3,8 @@
 
 @@reventless.spec
 
+module Id = OrderId
+
 @schema
 type lifecycle =
   | Placed
@@ -12,8 +14,8 @@ type lifecycle =
 
 @schema
 type state = {
-  customerId: string,
-  productIds: array<string>,
+  customerId: CustomerId.t,
+  productIds: array<CatalogSpec.ProductId.t>,
   // No annotation: the field name is the declaration. `@lifecycle` exists for
   // records whose lifecycle field is honestly called something else.
   lifecycle: lifecycle,