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

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

@@ -2,6 +2,9 @@
 // Projects order events from the shared ordering event log into an Orders read model.
 @@reventless.spec
 
+// Rows are keyed by this identity.
+module Key = OrderId
+
 @schema
 type lifecycle =
   | Placed
@@ -10,9 +13,9 @@ type lifecycle =
 
 @schema
 type state = {
-  orderId: string,
-  customerId: string,
-  productIds: array<string>,
+  orderId: OrderId.t,
+  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,
@@ -20,6 +23,10 @@ type state = {
 
 @schema
 type consumedEvent =
-  | OrderPlaced({orderId: string, customerId: string, productIds: array<string>})
-  | OrderShipped({orderId: string})
-  | OrderCancelled({orderId: string})
+  | OrderPlaced({
+      orderId: OrderId.t,
+      customerId: CustomerId.t,
+      productIds: array<CatalogSpec.ProductId.t>,
+    })
+  | OrderShipped({orderId: OrderId.t})
+  | OrderCancelled({orderId: OrderId.t})

package/lib/bs/src/Order/StateView/Orders.res.mjs

@@ -3,6 +3,9 @@
 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 OrderId$OrderingPlugin from "../OrderId.res.mjs";
+import * as CustomerId$OrderingPlugin from "../../Customer/CustomerId.res.mjs";
 
 let lifecycleSchema = Sury.union([
   Sury.literal("Placed"),
@@ -11,26 +14,26 @@ let lifecycleSchema = Sury.union([
 ]);
 
 let stateSchema = Sury.$schema(s => ({
-  orderId: s.m(Sury.string),
-  customerId: s.m(Sury.string),
-  productIds: s.m(Sury.array(Sury.string)),
+  orderId: s.m(OrderId$OrderingPlugin.schema),
+  customerId: s.m(CustomerId$OrderingPlugin.schema),
+  productIds: s.m(Sury.array(ProductId$CatalogSpec.schema)),
   lifecycle: s.m(lifecycleSchema)
 }));
 
 let consumedEventSchema = Sury.union([
   Sury.$schema(s => ({
     TAG: "OrderPlaced",
-    orderId: s.m(DcbTag$Reventless.string),
-    customerId: s.m(DcbTag$Reventless.string),
-    productIds: s.m(Sury.array(DcbTag$Reventless.stringForKey("productId")))
+    orderId: s.m(DcbTag$Reventless.mark(OrderId$OrderingPlugin.schema)),
+    customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema)),
+    productIds: s.m(Sury.array(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema)))
   })),
   Sury.$schema(s => ({
     TAG: "OrderShipped",
-    orderId: s.m(DcbTag$Reventless.string)
+    orderId: s.m(DcbTag$Reventless.mark(OrderId$OrderingPlugin.schema))
   })),
   Sury.$schema(s => ({
     TAG: "OrderCancelled",
-    orderId: s.m(DcbTag$Reventless.string)
+    orderId: s.m(DcbTag$Reventless.mark(OrderId$OrderingPlugin.schema))
   }))
 ]);
 
@@ -40,6 +43,8 @@ let name = "Orders";
 
 let Id;
 
+let Key;
+
 let subIdConfig;
 
 let moduleUrl = "@reventlessdev/online-shop-dcb-ordering/src/Order/StateView/Orders.res.mjs";
@@ -51,6 +56,7 @@ let visibility = "Public";
 export {
   name,
   Id,
+  Key,
   lifecycleSchema,
   stateSchema,
   consumedEventSchema,

package/lib/bs/src/Plugin.res.mjs

@@ -3,8 +3,11 @@
 import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
 import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
 import * as Orders$OrderingPlugin from "./Order/StateView/Orders.res.mjs";
+import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-dcb-catalog-spec/src/ProductId.res.mjs";
+import * as OrderId$OrderingPlugin from "./Order/OrderId.res.mjs";
 import * as Customers$OrderingPlugin from "./Customer/StateView/Customers.res.mjs";
 import * as ShipOrder$OrderingPlugin from "./Order/StateChange/ShipOrder.res.mjs";
+import * as CustomerId$OrderingPlugin from "./Customer/CustomerId.res.mjs";
 import * as PlaceOrder$OrderingPlugin from "./Order/StateChange/PlaceOrder.res.mjs";
 import * as CancelOrder$OrderingPlugin from "./Order/StateChange/CancelOrder.res.mjs";
 import * as ChangeEmail$OrderingPlugin from "./Customer/StateChange/ChangeEmail.res.mjs";
@@ -97,7 +100,6 @@ function Make(Platform) {
   let CancelOrderSlice = Platform.StateChangeSlice.Make({
     name: CancelOrder$OrderingPlugin.name,
     moduleUrl: CancelOrder$OrderingPlugin.moduleUrl,
-    Id: Id$Reventless.$$String,
     consumedEventSchema: CancelOrder$OrderingPlugin.consumedEventSchema,
     errorSchema: CancelOrder$OrderingPlugin.errorSchema,
     eventSchema: CancelOrder$OrderingPlugin.eventSchema,
@@ -115,7 +117,6 @@ function Make(Platform) {
   let ChangeAddressSlice = Platform.StateChangeSlice.Make({
     name: ChangeAddress$OrderingPlugin.name,
     moduleUrl: ChangeAddress$OrderingPlugin.moduleUrl,
-    Id: Id$Reventless.$$String,
     consumedEventSchema: ChangeAddress$OrderingPlugin.consumedEventSchema,
     errorSchema: ChangeAddress$OrderingPlugin.errorSchema,
     eventSchema: ChangeAddress$OrderingPlugin.eventSchema,
@@ -133,7 +134,6 @@ function Make(Platform) {
   let ChangeEmailSlice = Platform.StateChangeSlice.Make({
     name: ChangeEmail$OrderingPlugin.name,
     moduleUrl: ChangeEmail$OrderingPlugin.moduleUrl,
-    Id: Id$Reventless.$$String,
     consumedEventSchema: ChangeEmail$OrderingPlugin.consumedEventSchema,
     errorSchema: ChangeEmail$OrderingPlugin.errorSchema,
     eventSchema: ChangeEmail$OrderingPlugin.eventSchema,
@@ -151,7 +151,6 @@ function Make(Platform) {
   let DeactivateCustomerSlice = Platform.StateChangeSlice.Make({
     name: DeactivateCustomer$OrderingPlugin.name,
     moduleUrl: DeactivateCustomer$OrderingPlugin.moduleUrl,
-    Id: Id$Reventless.$$String,
     consumedEventSchema: DeactivateCustomer$OrderingPlugin.consumedEventSchema,
     errorSchema: DeactivateCustomer$OrderingPlugin.errorSchema,
     eventSchema: DeactivateCustomer$OrderingPlugin.eventSchema,
@@ -169,7 +168,6 @@ function Make(Platform) {
   let PlaceOrderSlice = Platform.StateChangeSlice.Make({
     name: PlaceOrder$OrderingPlugin.name,
     moduleUrl: PlaceOrder$OrderingPlugin.moduleUrl,
-    Id: Id$Reventless.$$String,
     consumedEventSchema: PlaceOrder$OrderingPlugin.consumedEventSchema,
     errorSchema: PlaceOrder$OrderingPlugin.errorSchema,
     eventSchema: PlaceOrder$OrderingPlugin.eventSchema,
@@ -187,7 +185,6 @@ function Make(Platform) {
   let RegisterCustomerSlice = Platform.StateChangeSlice.Make({
     name: RegisterCustomer$OrderingPlugin.name,
     moduleUrl: RegisterCustomer$OrderingPlugin.moduleUrl,
-    Id: Id$Reventless.$$String,
     consumedEventSchema: RegisterCustomer$OrderingPlugin.consumedEventSchema,
     errorSchema: RegisterCustomer$OrderingPlugin.errorSchema,
     eventSchema: RegisterCustomer$OrderingPlugin.eventSchema,
@@ -205,7 +202,6 @@ function Make(Platform) {
   let ShipOrderSlice = Platform.StateChangeSlice.Make({
     name: ShipOrder$OrderingPlugin.name,
     moduleUrl: ShipOrder$OrderingPlugin.moduleUrl,
-    Id: Id$Reventless.$$String,
     consumedEventSchema: ShipOrder$OrderingPlugin.consumedEventSchema,
     errorSchema: ShipOrder$OrderingPlugin.errorSchema,
     eventSchema: ShipOrder$OrderingPlugin.eventSchema,
@@ -223,7 +219,6 @@ function Make(Platform) {
   let SyncCatalogProductSlice = Platform.StateChangeSlice.Make({
     name: SyncCatalogProduct$OrderingPlugin.name,
     moduleUrl: SyncCatalogProduct$OrderingPlugin.moduleUrl,
-    Id: Id$Reventless.$$String,
     consumedEventSchema: SyncCatalogProduct$OrderingPlugin.consumedEventSchema,
     errorSchema: SyncCatalogProduct$OrderingPlugin.errorSchema,
     eventSchema: SyncCatalogProduct$OrderingPlugin.eventSchema,
@@ -242,6 +237,7 @@ function Make(Platform) {
     name: AvailableProducts$OrderingPlugin.name,
     moduleUrl: AvailableProducts$OrderingPlugin.moduleUrl,
     stateSchema: AvailableProducts$OrderingPlugin.stateSchema,
+    Key: ProductId$CatalogSpec,
     consumedEventSchema: AvailableProducts$OrderingPlugin.consumedEventSchema,
     config: AvailableProducts$OrderingPlugin.config,
     subIdConfig: undefined,
@@ -255,6 +251,7 @@ function Make(Platform) {
     name: Customers$OrderingPlugin.name,
     moduleUrl: Customers$OrderingPlugin.moduleUrl,
     stateSchema: Customers$OrderingPlugin.stateSchema,
+    Key: CustomerId$OrderingPlugin,
     consumedEventSchema: Customers$OrderingPlugin.consumedEventSchema,
     config: Customers$OrderingPlugin.config,
     subIdConfig: undefined,
@@ -268,6 +265,7 @@ function Make(Platform) {
     name: Orders$OrderingPlugin.name,
     moduleUrl: Orders$OrderingPlugin.moduleUrl,
     stateSchema: Orders$OrderingPlugin.stateSchema,
+    Key: OrderId$OrderingPlugin,
     consumedEventSchema: Orders$OrderingPlugin.consumedEventSchema,
     config: Orders$OrderingPlugin.config,
     subIdConfig: undefined,

package/lib/bs/tests/CatalogProduct/StateChange/SyncCatalogProduct_GWT.res

@@ -1,27 +1,29 @@
 @@reventless.gwt
 
+let pid = CatalogSpec.ProductId.make
+
 describe("SyncCatalogProduct StateChangeSlice", () => {
   test("SyncNewProduct produces CatalogProductSynced", () =>
     givenEvents([])
-    ->whenCmd(SyncNewProduct({productId: "p1", name: "Laptop", price: 999.99}))
-    ->thenEvent(CatalogProductSynced({productId: "p1", name: "Laptop", price: 999.99}))
+    ->whenCmd(SyncNewProduct({productId: pid("p1"), name: "Laptop", price: 999.99}))
+    ->thenEvent(CatalogProductSynced({productId: pid("p1"), name: "Laptop", price: 999.99}))
   )
 
   test("ChangeSyncedPrice produces CatalogProductPriceChanged", () =>
     givenEvents([CatalogProductSynced({name: "Laptop", price: 999.99})])
-    ->whenCmd(ChangeSyncedPrice({productId: "p1", price: 899.99}))
-    ->thenEvent(CatalogProductPriceChanged({productId: "p1", price: 899.99}))
+    ->whenCmd(ChangeSyncedPrice({productId: pid("p1"), price: 899.99}))
+    ->thenEvent(CatalogProductPriceChanged({productId: pid("p1"), price: 899.99}))
   )
 
   test("re-syncing identical product data produces no events (idempotent)", () =>
     givenEvents([CatalogProductSynced({name: "Laptop", price: 999.99})])
-    ->whenCmd(SyncNewProduct({productId: "p1", name: "Laptop", price: 999.99}))
+    ->whenCmd(SyncNewProduct({productId: pid("p1"), name: "Laptop", price: 999.99}))
     ->thenNoEvent
   )
 
   test("re-applying the current price produces no events (idempotent)", () =>
     givenEvents([CatalogProductSynced({name: "Laptop", price: 999.99})])
-    ->whenCmd(ChangeSyncedPrice({productId: "p1", price: 999.99}))
+    ->whenCmd(ChangeSyncedPrice({productId: pid("p1"), price: 999.99}))
     ->thenNoEvent
   )
 })

package/lib/bs/tests/CatalogProduct/StateChange/SyncCatalogProduct_GWT.res.mjs

@@ -1,5 +1,6 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
+import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-dcb-catalog-spec/src/ProductId.res.mjs";
 import * as Behavior_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Behavior_GWT.res.mjs";
 import * as SyncCatalogProduct$OrderingPlugin from "../../../src/CatalogProduct/StateChange/SyncCatalogProduct.res.mjs";
 import * as SyncCatalogProduct_Behavior$OrderingPlugin from "../../../src/CatalogProduct/StateChange/SyncCatalogProduct_Behavior.res.mjs";
@@ -31,12 +32,12 @@ let thenNoEvent = include.thenNoEvent;
 describe("SyncCatalogProduct StateChangeSlice", () => {
   test("SyncNewProduct produces CatalogProductSynced", () => thenEvent(whenCmd(givenEvents([]), {
     TAG: "SyncNewProduct",
-    productId: "p1",
+    productId: ProductId$CatalogSpec.make("p1"),
     name: "Laptop",
     price: 999.99
   }), {
     TAG: "CatalogProductSynced",
-    productId: "p1",
+    productId: ProductId$CatalogSpec.make("p1"),
     name: "Laptop",
     price: 999.99
   }));
@@ -46,11 +47,11 @@ describe("SyncCatalogProduct StateChangeSlice", () => {
       price: 999.99
     }]), {
     TAG: "ChangeSyncedPrice",
-    productId: "p1",
+    productId: ProductId$CatalogSpec.make("p1"),
     price: 899.99
   }), {
     TAG: "CatalogProductPriceChanged",
-    productId: "p1",
+    productId: ProductId$CatalogSpec.make("p1"),
     price: 899.99
   }));
   test("re-syncing identical product data produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([{
@@ -59,7 +60,7 @@ describe("SyncCatalogProduct StateChangeSlice", () => {
       price: 999.99
     }]), {
     TAG: "SyncNewProduct",
-    productId: "p1",
+    productId: ProductId$CatalogSpec.make("p1"),
     name: "Laptop",
     price: 999.99
   })));
@@ -69,7 +70,7 @@ describe("SyncCatalogProduct StateChangeSlice", () => {
       price: 999.99
     }]), {
     TAG: "ChangeSyncedPrice",
-    productId: "p1",
+    productId: ProductId$CatalogSpec.make("p1"),
     price: 999.99
   })));
 });
@@ -90,6 +91,8 @@ let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
 
 let thenAppendsConditionedOnExactly = include.thenAppendsConditionedOnExactly;
 
+let pid = ProductId$CatalogSpec.make;
+
 export {
   Spec,
   describe,
@@ -105,5 +108,6 @@ export {
   thenError,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
+  pid,
 }
 /* include Not a pure module */

package/lib/bs/tests/CatalogProduct/StateView/AvailableProducts_GWT.res

@@ -1,15 +1,17 @@
 @@reventless.gwt
 
+let pid = CatalogSpec.ProductId.make
+
 describe("AvailableProducts StateViewSlice", () => {
   test("CatalogProductSynced creates a row", () =>
     givenEvents([])
-    ->whenEvent(CatalogProductSynced({productId: "p1", name: "Laptop", price: 999.99}))
-    ->thenStateWithId("p1", {productId: "p1", name: "Laptop", price: 999.99})
+    ->whenEvent(CatalogProductSynced({productId: pid("p1"), name: "Laptop", price: 999.99}))
+    ->thenStateWithId("p1", {productId: pid("p1"), name: "Laptop", price: 999.99})
   )
 
   test("CatalogProductPriceChanged updates the price", () =>
-    givenEvents([CatalogProductSynced({productId: "p1", name: "Laptop", price: 999.99})])
-    ->whenEvent(CatalogProductPriceChanged({productId: "p1", price: 899.99}))
-    ->thenStateWithId("p1", {productId: "p1", name: "Laptop", price: 899.99})
+    givenEvents([CatalogProductSynced({productId: pid("p1"), name: "Laptop", price: 999.99})])
+    ->whenEvent(CatalogProductPriceChanged({productId: pid("p1"), price: 899.99}))
+    ->thenStateWithId("p1", {productId: pid("p1"), name: "Laptop", price: 899.99})
   )
 })

package/lib/bs/tests/CatalogProduct/StateView/AvailableProducts_GWT.res.mjs

@@ -1,5 +1,6 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
+import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-dcb-catalog-spec/src/ProductId.res.mjs";
 import * as Projection_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Projection_GWT.res.mjs";
 import * as AvailableProducts$OrderingPlugin from "../../../src/CatalogProduct/StateView/AvailableProducts.res.mjs";
 import * as AvailableProducts_Projection$OrderingPlugin from "../../../src/CatalogProduct/StateView/AvailableProducts_Projection.res.mjs";
@@ -7,6 +8,7 @@ import * as AvailableProducts_Projection$OrderingPlugin from "../../../src/Catal
 let include = Projection_GWT$ReventlessGwt.Make({
   name: AvailableProducts$OrderingPlugin.name,
   stateSchema: AvailableProducts$OrderingPlugin.stateSchema,
+  Key: ProductId$CatalogSpec,
   consumedEventSchema: AvailableProducts$OrderingPlugin.consumedEventSchema,
   subIdConfig: undefined
 })({
@@ -26,25 +28,25 @@ let thenStateWithId = include.thenStateWithId;
 describe("AvailableProducts StateViewSlice", () => {
   test("CatalogProductSynced creates a row", undefined, () => thenStateWithId(whenEvent(givenEvents([]), {
     TAG: "CatalogProductSynced",
-    productId: "p1",
+    productId: ProductId$CatalogSpec.make("p1"),
     name: "Laptop",
     price: 999.99
   }), "p1", {
-    productId: "p1",
+    productId: ProductId$CatalogSpec.make("p1"),
     name: "Laptop",
     price: 999.99
   }));
   test("CatalogProductPriceChanged updates the price", undefined, () => thenStateWithId(whenEvent(givenEvents([{
       TAG: "CatalogProductSynced",
-      productId: "p1",
+      productId: ProductId$CatalogSpec.make("p1"),
       name: "Laptop",
       price: 999.99
     }]), {
     TAG: "CatalogProductPriceChanged",
-    productId: "p1",
+    productId: ProductId$CatalogSpec.make("p1"),
     price: 899.99
   }), "p1", {
-    productId: "p1",
+    productId: ProductId$CatalogSpec.make("p1"),
     name: "Laptop",
     price: 899.99
   }));
@@ -72,6 +74,8 @@ let thenThrow = include.thenThrow;
 
 let thenFail = include.thenFail;
 
+let pid = ProductId$CatalogSpec.make;
+
 export {
   Spec,
   describe,
@@ -89,5 +93,6 @@ export {
   thenNoState,
   thenThrow,
   thenFail,
+  pid,
 }
 /* include Not a pure module */

package/lib/bs/tests/Customer/StateChange/ChangeAddress_GWT.res

@@ -1,27 +1,29 @@
 @@reventless.gwt
 
+let cid = CustomerId.make
+
 describe("ChangeAddress StateChangeSlice", () => {
   test("non-existent customer returns CustomerNotFound", () =>
     givenEvents([])
-    ->whenCmd(ChangeAddress({customerId: "c1", address: "789 Pine"}))
+    ->whenCmd(ChangeAddress({customerId: cid("c1"), address: "789 Pine"}))
     ->thenError(CustomerNotFound)
   )
 
   test("active customer produces AddressChanged", () =>
     givenEvents([CustomerRegistered({address: "123 Main"})])
-    ->whenCmd(ChangeAddress({customerId: "c1", address: "789 Pine"}))
-    ->thenEvent(AddressChanged({customerId: "c1", address: "789 Pine"}))
+    ->whenCmd(ChangeAddress({customerId: cid("c1"), address: "789 Pine"}))
+    ->thenEvent(AddressChanged({customerId: cid("c1"), address: "789 Pine"}))
   )
 
   test("same address produces no events (idempotent)", () =>
     givenEvents([CustomerRegistered({address: "123 Main"})])
-    ->whenCmd(ChangeAddress({customerId: "c1", address: "123 Main"}))
+    ->whenCmd(ChangeAddress({customerId: cid("c1"), address: "123 Main"}))
     ->thenNoEvent
   )
 
   test("deactivated customer returns CustomerAlreadyDeactivated", () =>
     givenEvents([CustomerRegistered({address: "123 Main"}), CustomerDeactivated])
-    ->whenCmd(ChangeAddress({customerId: "c1", address: "789 Pine"}))
+    ->whenCmd(ChangeAddress({customerId: cid("c1"), address: "789 Pine"}))
     ->thenError(CustomerAlreadyDeactivated)
   )
 })

package/lib/bs/tests/Customer/StateChange/ChangeAddress_GWT.res.mjs

@@ -1,5 +1,6 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
+import * as CustomerId$OrderingPlugin from "../../../src/Customer/CustomerId.res.mjs";
 import * as Behavior_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Behavior_GWT.res.mjs";
 import * as ChangeAddress$OrderingPlugin from "../../../src/Customer/StateChange/ChangeAddress.res.mjs";
 import * as ChangeAddress_Behavior$OrderingPlugin from "../../../src/Customer/StateChange/ChangeAddress_Behavior.res.mjs";
@@ -33,7 +34,7 @@ let thenError = include.thenError;
 describe("ChangeAddress StateChangeSlice", () => {
   test("non-existent customer returns CustomerNotFound", () => thenError(whenCmd(givenEvents([]), {
     TAG: "ChangeAddress",
-    customerId: "c1",
+    customerId: CustomerId$OrderingPlugin.make("c1"),
     address: "789 Pine"
   }), "CustomerNotFound"));
   test("active customer produces AddressChanged", () => thenEvent(whenCmd(givenEvents([{
@@ -41,11 +42,11 @@ describe("ChangeAddress StateChangeSlice", () => {
       address: "123 Main"
     }]), {
     TAG: "ChangeAddress",
-    customerId: "c1",
+    customerId: CustomerId$OrderingPlugin.make("c1"),
     address: "789 Pine"
   }), {
     TAG: "AddressChanged",
-    customerId: "c1",
+    customerId: CustomerId$OrderingPlugin.make("c1"),
     address: "789 Pine"
   }));
   test("same address produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([{
@@ -53,7 +54,7 @@ describe("ChangeAddress StateChangeSlice", () => {
       address: "123 Main"
     }]), {
     TAG: "ChangeAddress",
-    customerId: "c1",
+    customerId: CustomerId$OrderingPlugin.make("c1"),
     address: "123 Main"
   })));
   test("deactivated customer returns CustomerAlreadyDeactivated", () => thenError(whenCmd(givenEvents([
@@ -64,7 +65,7 @@ describe("ChangeAddress StateChangeSlice", () => {
     "CustomerDeactivated"
   ]), {
     TAG: "ChangeAddress",
-    customerId: "c1",
+    customerId: CustomerId$OrderingPlugin.make("c1"),
     address: "789 Pine"
   }), "CustomerAlreadyDeactivated"));
 });
@@ -83,6 +84,8 @@ let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
 
 let thenAppendsConditionedOnExactly = include.thenAppendsConditionedOnExactly;
 
+let cid = CustomerId$OrderingPlugin.make;
+
 export {
   Spec,
   describe,
@@ -98,5 +101,6 @@ export {
   thenError,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
+  cid,
 }
 /* include Not a pure module */

package/lib/bs/tests/Customer/StateChange/ChangeEmail_GWT.res

@@ -1,27 +1,29 @@
 @@reventless.gwt
 
+let cid = CustomerId.make
+
 describe("ChangeEmail StateChangeSlice", () => {
   test("non-existent customer returns CustomerNotFound", () =>
     givenEvents([])
-    ->whenCmd(ChangeEmail({customerId: "c1", email: "alice2@x.y"}))
+    ->whenCmd(ChangeEmail({customerId: cid("c1"), email: "alice2@x.y"}))
     ->thenError(CustomerNotFound)
   )
 
   test("active customer produces EmailChanged", () =>
     givenEvents([CustomerRegistered({email: "alice@x.y"})])
-    ->whenCmd(ChangeEmail({customerId: "c1", email: "alice2@x.y"}))
-    ->thenEvent(EmailChanged({customerId: "c1", email: "alice2@x.y"}))
+    ->whenCmd(ChangeEmail({customerId: cid("c1"), email: "alice2@x.y"}))
+    ->thenEvent(EmailChanged({customerId: cid("c1"), email: "alice2@x.y"}))
   )
 
   test("same email produces no events (idempotent)", () =>
     givenEvents([CustomerRegistered({email: "alice@x.y"})])
-    ->whenCmd(ChangeEmail({customerId: "c1", email: "alice@x.y"}))
+    ->whenCmd(ChangeEmail({customerId: cid("c1"), email: "alice@x.y"}))
     ->thenNoEvent
   )
 
   test("deactivated customer returns CustomerAlreadyDeactivated", () =>
     givenEvents([CustomerRegistered({email: "alice@x.y"}), CustomerDeactivated])
-    ->whenCmd(ChangeEmail({customerId: "c1", email: "alice2@x.y"}))
+    ->whenCmd(ChangeEmail({customerId: cid("c1"), email: "alice2@x.y"}))
     ->thenError(CustomerAlreadyDeactivated)
   )
 })

package/lib/bs/tests/Customer/StateChange/ChangeEmail_GWT.res.mjs

@@ -1,5 +1,6 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
+import * as CustomerId$OrderingPlugin from "../../../src/Customer/CustomerId.res.mjs";
 import * as Behavior_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Behavior_GWT.res.mjs";
 import * as ChangeEmail$OrderingPlugin from "../../../src/Customer/StateChange/ChangeEmail.res.mjs";
 import * as ChangeEmail_Behavior$OrderingPlugin from "../../../src/Customer/StateChange/ChangeEmail_Behavior.res.mjs";
@@ -33,7 +34,7 @@ let thenError = include.thenError;
 describe("ChangeEmail StateChangeSlice", () => {
   test("non-existent customer returns CustomerNotFound", () => thenError(whenCmd(givenEvents([]), {
     TAG: "ChangeEmail",
-    customerId: "c1",
+    customerId: CustomerId$OrderingPlugin.make("c1"),
     email: "alice2@x.y"
   }), "CustomerNotFound"));
   test("active customer produces EmailChanged", () => thenEvent(whenCmd(givenEvents([{
@@ -41,11 +42,11 @@ describe("ChangeEmail StateChangeSlice", () => {
       email: "alice@x.y"
     }]), {
     TAG: "ChangeEmail",
-    customerId: "c1",
+    customerId: CustomerId$OrderingPlugin.make("c1"),
     email: "alice2@x.y"
   }), {
     TAG: "EmailChanged",
-    customerId: "c1",
+    customerId: CustomerId$OrderingPlugin.make("c1"),
     email: "alice2@x.y"
   }));
   test("same email produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([{
@@ -53,7 +54,7 @@ describe("ChangeEmail StateChangeSlice", () => {
       email: "alice@x.y"
     }]), {
     TAG: "ChangeEmail",
-    customerId: "c1",
+    customerId: CustomerId$OrderingPlugin.make("c1"),
     email: "alice@x.y"
   })));
   test("deactivated customer returns CustomerAlreadyDeactivated", () => thenError(whenCmd(givenEvents([
@@ -64,7 +65,7 @@ describe("ChangeEmail StateChangeSlice", () => {
     "CustomerDeactivated"
   ]), {
     TAG: "ChangeEmail",
-    customerId: "c1",
+    customerId: CustomerId$OrderingPlugin.make("c1"),
     email: "alice2@x.y"
   }), "CustomerAlreadyDeactivated"));
 });
@@ -83,6 +84,8 @@ let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
 
 let thenAppendsConditionedOnExactly = include.thenAppendsConditionedOnExactly;
 
+let cid = CustomerId$OrderingPlugin.make;
+
 export {
   Spec,
   describe,
@@ -98,5 +101,6 @@ export {
   thenError,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
+  cid,
 }
 /* include Not a pure module */