@reventlessdev/online-shop-dcb-ordering 1.0.0-alpha.246 → 1.0.0-alpha.247

package/CHANGELOG.md

@@ -3,6 +3,22 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+# 1.0.0-alpha.247 (2026-09-21)
+
+* feat(spec)!: typed projection keys ([fc6a018](https://github.com/ReventlessDev/reventless-core/commit/fc6a01811ba788f3289e84a435a09f77fa627e1a))
+### Features
+
+* **examples:** the DCB example types its ids ([2efb86f](https://github.com/ReventlessDev/reventless-core/commit/2efb86f0cf53c804c55fd930ecc897eea60c91e3))
+
+### BREAKING CHANGES
+
+* a projection that keys a row by a payload `string`, or uses
+the envelope id as a `string`, converts explicitly with
+`Target.Id.makeFromString` / `Source.Id.toString`. `StateChangeSlice.Spec` no
+longer requires `module Id`.
+
+
+
 # 1.0.0-alpha.246 (2026-09-21)
 
 **Note:** Version bump only for package @reventlessdev/online-shop-dcb-ordering

package/lib/bs/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1789989171081)
-#Done(1789989173453)
+#Start(1789994029934)
+#Done(1789994032901)

package/lib/bs/OrderingPlugin.mlmap

@@ -14,6 +14,7 @@ ChangeAddress_GWT
 ChangeEmail
 ChangeEmail_Behavior
 ChangeEmail_GWT
+CustomerId
 Customers
 Customers_GWT
 Customers_Projection
@@ -22,6 +23,7 @@ DeactivateCustomer_Behavior
 DeactivateCustomer_GWT
 EmailService
 LifecycleModel
+OrderId
 Orders
 Orders_ExtensionPointMapping
 Orders_ExtensionPointMapping_GWT

package/lib/bs/compiler-info.json

@@ -4,5 +4,5 @@
   "bsc_hash": "75e3a59c95cc953608fd3dd6ea6ed68141bba4414a20a52f114261b8a48385fa",
   "rescript_config_hash": "2b45634c4ef9d26c69e2cd8282eb5d077ce9cf087ded0065001d0f0d889e241c",
   "runtime_path": "/home/runner/work/reventless-core/reventless-core/node_modules/@rescript/runtime",
-  "generated_at": "1789989173456"
+  "generated_at": "1789994032915"
 }

package/lib/bs/src/CatalogProduct/StateChange/SyncCatalogProduct.res

@@ -9,13 +9,13 @@ type consumedEvent =
 
 @schema
 type command =
-  | SyncNewProduct({productId: string, name: string, price: float})
-  | ChangeSyncedPrice({productId: string, price: float})
+  | SyncNewProduct({productId: CatalogSpec.ProductId.t, name: string, price: float})
+  | ChangeSyncedPrice({productId: CatalogSpec.ProductId.t, price: float})
 
 @schema
 type error = unit // always succeeds — sync is idempotent
 
 @schema
 type event =
-  | CatalogProductSynced({productId: string, name: string, price: float})
-  | CatalogProductPriceChanged({productId: string, price: float})
+  | CatalogProductSynced({productId: CatalogSpec.ProductId.t, name: string, price: float})
+  | CatalogProductPriceChanged({productId: CatalogSpec.ProductId.t, price: float})

package/lib/bs/src/CatalogProduct/StateChange/SyncCatalogProduct.res.mjs

@@ -2,6 +2,7 @@
 
 import * as Sury from "sury";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-dcb-catalog-spec/src/ProductId.res.mjs";
 
 let consumedEventSchema = Sury.union([
   Sury.$schema(s => ({
@@ -18,13 +19,13 @@ let consumedEventSchema = Sury.union([
 let commandSchema = Sury.union([
   Sury.$schema(s => ({
     TAG: "SyncNewProduct",
-    productId: s.m(DcbTag$Reventless.string),
+    productId: s.m(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema)),
     name: s.m(Sury.string),
     price: s.m(Sury.float)
   })),
   Sury.$schema(s => ({
     TAG: "ChangeSyncedPrice",
-    productId: s.m(DcbTag$Reventless.string),
+    productId: s.m(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema)),
     price: s.m(Sury.float)
   }))
 ]);
@@ -34,13 +35,13 @@ let errorSchema = Sury.$unit;
 let eventSchema = Sury.union([
   Sury.$schema(s => ({
     TAG: "CatalogProductSynced",
-    productId: s.m(DcbTag$Reventless.string),
+    productId: s.m(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema)),
     name: s.m(Sury.string),
     price: s.m(Sury.float)
   })),
   Sury.$schema(s => ({
     TAG: "CatalogProductPriceChanged",
-    productId: s.m(DcbTag$Reventless.string),
+    productId: s.m(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema)),
     price: s.m(Sury.float)
   }))
 ]);

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

@@ -4,10 +4,13 @@
 @@reventless.spec
 @@reventless.visibility(Internal)
 
+// Rows are keyed by this identity.
+module Key = CatalogSpec.ProductId
+
 @schema
-type state = {productId: string, name: string, price: float}
+type state = {productId: CatalogSpec.ProductId.t, name: string, price: float}
 
 @schema
 type consumedEvent =
-  | CatalogProductSynced({productId: string, name: string, price: float})
-  | CatalogProductPriceChanged({productId: string, price: float})
+  | CatalogProductSynced({productId: CatalogSpec.ProductId.t, name: string, price: float})
+  | CatalogProductPriceChanged({productId: CatalogSpec.ProductId.t, price: float})

package/lib/bs/src/CatalogProduct/StateView/AvailableProducts.res.mjs

@@ -3,10 +3,11 @@
 import * as Sury from "sury";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
 import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
+import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-dcb-catalog-spec/src/ProductId.res.mjs";
 import * as StateAnnotations$Reventless from "@reventlessdev/reventless-spec/src/components/StateAnnotations.res.mjs";
 
 let stateSchema = Sury.$schema(s => ({
-  productId: s.m(Sury.string),
+  productId: s.m(ProductId$CatalogSpec.schema),
   name: s.m(Sury.string),
   price: s.m(Sury.float)
 }));
@@ -14,13 +15,13 @@ let stateSchema = Sury.$schema(s => ({
 let consumedEventSchema = Sury.union([
   Sury.$schema(s => ({
     TAG: "CatalogProductSynced",
-    productId: s.m(DcbTag$Reventless.string),
+    productId: s.m(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema)),
     name: s.m(Sury.string),
     price: s.m(Sury.float)
   })),
   Sury.$schema(s => ({
     TAG: "CatalogProductPriceChanged",
-    productId: s.m(DcbTag$Reventless.string),
+    productId: s.m(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema)),
     price: s.m(Sury.float)
   }))
 ]);
@@ -54,6 +55,8 @@ let name = "AvailableProducts";
 
 let Id;
 
+let Key;
+
 let subIdConfig;
 
 let moduleUrl = "@reventlessdev/online-shop-dcb-ordering/src/CatalogProduct/StateView/AvailableProducts.res.mjs";
@@ -65,6 +68,7 @@ let visibility = "Internal";
 export {
   name,
   Id,
+  Key,
   consumedEventSchema,
   config,
   subIdConfig,

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

@@ -0,0 +1,4 @@
+// A customer's id: the partition its slices decide about, 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/StateChange/ChangeAddress.res

@@ -9,7 +9,7 @@ type consumedEvent =
   | CustomerDeactivated
 
 @schema
-type command = ChangeAddress({customerId: string, address: string})
+type command = ChangeAddress({customerId: CustomerId.t, address: string})
 
 @schema
 type error =
@@ -17,4 +17,4 @@ type error =
   | CustomerAlreadyDeactivated
 
 @schema
-type event = AddressChanged({customerId: string, address: string})
+type event = AddressChanged({customerId: CustomerId.t, address: string})

package/lib/bs/src/Customer/StateChange/ChangeAddress.res.mjs

@@ -2,6 +2,7 @@
 
 import * as Sury from "sury";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+import * as CustomerId$OrderingPlugin from "../CustomerId.res.mjs";
 
 let consumedEventSchema = Sury.union([
   Sury.$schema(s => ({
@@ -17,7 +18,7 @@ let consumedEventSchema = Sury.union([
 
 let commandSchema = Sury.$schema(s => ({
   TAG: "ChangeAddress",
-  customerId: s.m(DcbTag$Reventless.string),
+  customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema)),
   address: s.m(Sury.string)
 }));
 
@@ -28,7 +29,7 @@ let errorSchema = Sury.union([
 
 let eventSchema = Sury.$schema(s => ({
   TAG: "AddressChanged",
-  customerId: s.m(DcbTag$Reventless.string),
+  customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema)),
   address: s.m(Sury.string)
 }));
 

package/lib/bs/src/Customer/StateChange/ChangeEmail.res

@@ -9,7 +9,7 @@ type consumedEvent =
   | CustomerDeactivated
 
 @schema
-type command = ChangeEmail({customerId: string, email: string})
+type command = ChangeEmail({customerId: CustomerId.t, email: string})
 
 @schema
 type error =
@@ -17,4 +17,4 @@ type error =
   | CustomerAlreadyDeactivated
 
 @schema
-type event = EmailChanged({customerId: string, email: string})
+type event = EmailChanged({customerId: CustomerId.t, email: string})

package/lib/bs/src/Customer/StateChange/ChangeEmail.res.mjs

@@ -2,6 +2,7 @@
 
 import * as Sury from "sury";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+import * as CustomerId$OrderingPlugin from "../CustomerId.res.mjs";
 
 let consumedEventSchema = Sury.union([
   Sury.$schema(s => ({
@@ -17,7 +18,7 @@ let consumedEventSchema = Sury.union([
 
 let commandSchema = Sury.$schema(s => ({
   TAG: "ChangeEmail",
-  customerId: s.m(DcbTag$Reventless.string),
+  customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema)),
   email: s.m(Sury.string)
 }));
 
@@ -28,7 +29,7 @@ let errorSchema = Sury.union([
 
 let eventSchema = Sury.$schema(s => ({
   TAG: "EmailChanged",
-  customerId: s.m(DcbTag$Reventless.string),
+  customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema)),
   email: s.m(Sury.string)
 }));
 

package/lib/bs/src/Customer/StateChange/DeactivateCustomer.res

@@ -8,10 +8,10 @@ type consumedEvent =
   | CustomerDeactivated
 
 @schema
-type command = DeactivateCustomer({customerId: string})
+type command = DeactivateCustomer({customerId: CustomerId.t})
 
 @schema
 type error = CustomerNotFound
 
 @schema
-type event = CustomerDeactivated({customerId: string})
+type event = CustomerDeactivated({customerId: CustomerId.t})

package/lib/bs/src/Customer/StateChange/DeactivateCustomer.res.mjs

@@ -2,6 +2,7 @@
 
 import * as Sury from "sury";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+import * as CustomerId$OrderingPlugin from "../CustomerId.res.mjs";
 
 let consumedEventSchema = Sury.union([
   Sury.literal("CustomerRegistered"),
@@ -10,14 +11,14 @@ let consumedEventSchema = Sury.union([
 
 let commandSchema = Sury.$schema(s => ({
   TAG: "DeactivateCustomer",
-  customerId: s.m(DcbTag$Reventless.string)
+  customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema))
 }));
 
 let errorSchema = Sury.literal("CustomerNotFound");
 
 let eventSchema = Sury.$schema(s => ({
   TAG: "CustomerDeactivated",
-  customerId: s.m(DcbTag$Reventless.string)
+  customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema))
 }));
 
 function commandAuthorization(param) {

package/lib/bs/src/Customer/StateChange/RegisterCustomer.res

@@ -6,10 +6,10 @@
 type consumedEvent = CustomerRegistered
 
 @schema
-type command = RegisterCustomer({customerId: string, email: string, address: string})
+type command = RegisterCustomer({customerId: CustomerId.t, email: string, address: string})
 
 @schema
 type error = CustomerAlreadyRegistered
 
 @schema
-type event = CustomerRegistered({customerId: string, email: string, address: string})
+type event = CustomerRegistered({customerId: CustomerId.t, email: string, address: string})

package/lib/bs/src/Customer/StateChange/RegisterCustomer.res.mjs

@@ -2,12 +2,13 @@
 
 import * as Sury from "sury";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+import * as CustomerId$OrderingPlugin from "../CustomerId.res.mjs";
 
 let consumedEventSchema = Sury.literal("CustomerRegistered");
 
 let commandSchema = Sury.$schema(s => ({
   TAG: "RegisterCustomer",
-  customerId: s.m(DcbTag$Reventless.string),
+  customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema)),
   email: s.m(Sury.string),
   address: s.m(Sury.string)
 }));
@@ -16,7 +17,7 @@ let errorSchema = Sury.literal("CustomerAlreadyRegistered");
 
 let eventSchema = Sury.$schema(s => ({
   TAG: "CustomerRegistered",
-  customerId: s.m(DcbTag$Reventless.string),
+  customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema)),
   email: s.m(Sury.string),
   address: s.m(Sury.string)
 }));

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

@@ -2,9 +2,12 @@
 // Projects customer events from the shared ordering event log into a Customers read model.
 @@reventless.spec
 
+// Rows are keyed by this identity.
+module Key = CustomerId
+
 @schema
 type state = {
-  customerId: string,
+  customerId: CustomerId.t,
   @displayName email: string,
   address: string,
   deactivated: bool,
@@ -12,7 +15,7 @@ type state = {
 
 @schema
 type consumedEvent =
-  | CustomerRegistered({customerId: string, email: string, address: string})
-  | EmailChanged({customerId: string, email: string})
-  | AddressChanged({customerId: string, address: string})
-  | CustomerDeactivated({customerId: string})
+  | CustomerRegistered({customerId: CustomerId.t, email: string, address: string})
+  | EmailChanged({customerId: CustomerId.t, email: string})
+  | AddressChanged({customerId: CustomerId.t, address: string})
+  | CustomerDeactivated({customerId: CustomerId.t})

package/lib/bs/src/Customer/StateView/Customers.res.mjs

@@ -4,9 +4,10 @@ import * as Sury from "sury";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
 import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
 import * as DisplayName$Reventless from "@reventlessdev/reventless-spec/src/components/DisplayName.res.mjs";
+import * as CustomerId$OrderingPlugin from "../CustomerId.res.mjs";
 
 let stateSchema = Sury.$schema(s => ({
-  customerId: s.m(Sury.string),
+  customerId: s.m(CustomerId$OrderingPlugin.schema),
   email: s.m(Sury.string),
   address: s.m(Sury.string),
   deactivated: s.m(Sury.bool),
@@ -21,23 +22,23 @@ let stateSchema$1 = Sury.$Metadata_set(stateSchema, DisplayName$Reventless.displ
 let consumedEventSchema = Sury.union([
   Sury.$schema(s => ({
     TAG: "CustomerRegistered",
-    customerId: s.m(DcbTag$Reventless.string),
+    customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema)),
     email: s.m(Sury.string),
     address: s.m(Sury.string)
   })),
   Sury.$schema(s => ({
     TAG: "EmailChanged",
-    customerId: s.m(DcbTag$Reventless.string),
+    customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema)),
     email: s.m(Sury.string)
   })),
   Sury.$schema(s => ({
     TAG: "AddressChanged",
-    customerId: s.m(DcbTag$Reventless.string),
+    customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema)),
     address: s.m(Sury.string)
   })),
   Sury.$schema(s => ({
     TAG: "CustomerDeactivated",
-    customerId: s.m(DcbTag$Reventless.string)
+    customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema))
   }))
 ]);
 
@@ -47,6 +48,8 @@ let name = "Customers";
 
 let Id;
 
+let Key;
+
 let subIdConfig;
 
 let moduleUrl = "@reventlessdev/online-shop-dcb-ordering/src/Customer/StateView/Customers.res.mjs";
@@ -58,6 +61,7 @@ let visibility = "Public";
 export {
   name,
   Id,
+  Key,
   stateSchema$1 as stateSchema,
   consumedEventSchema,
   config,

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

@@ -9,24 +9,43 @@ module Delegate = {
   let name = "OrderingDcbEventLog"
   @schema
   type event =
-    | OrderPlaced({orderId: string, customerId: string, productIds: array<string>})
-    | OrderCancelled({orderId: string, productIds: array<string>})
+    | OrderPlaced({
+        orderId: OrderId.t,
+        customerId: CustomerId.t,
+        productIds: array<CatalogSpec.ProductId.t>,
+      })
+    | OrderCancelled({orderId: OrderId.t, productIds: array<CatalogSpec.ProductId.t>})
 }
 
 let mapIncomingCommand = (_id, _command, _meta) => []
 
 let mapOutgoingEvent = Some(
   (_id, event, _meta, _queryEngine) =>
+    // The published contract carries plain strings: a consumer outside this
+    // plugin has no OrderId or CustomerId type to hold them in.
     switch event {
     | Delegate.OrderPlaced({orderId, customerId, productIds}) =>
-      productIds->Array.map(productId => PublishEvent(
-        productId,
-        OrderingSpec.Orders_ExtensionPoint.ItemOrdered({productId, orderId, customerId}),
-      ))
+      productIds->Array.map(productId => {
+        let productId = productId->CatalogSpec.ProductId.toString
+        PublishEvent(
+          productId,
+          OrderingSpec.Orders_ExtensionPoint.ItemOrdered({
+            productId,
+            orderId: orderId->OrderId.toString,
+            customerId: customerId->CustomerId.toString,
+          }),
+        )
+      })
     | Delegate.OrderCancelled({orderId, productIds}) =>
-      productIds->Array.map(productId => PublishEvent(
-        productId,
-        OrderingSpec.Orders_ExtensionPoint.ItemOrderCancelled({productId, orderId}),
-      ))
+      productIds->Array.map(productId => {
+        let productId = productId->CatalogSpec.ProductId.toString
+        PublishEvent(
+          productId,
+          OrderingSpec.Orders_ExtensionPoint.ItemOrderCancelled({
+            productId,
+            orderId: orderId->OrderId.toString,
+          }),
+        )
+      })
     },
 )