@reventlessdev/online-shop-dcb-ordering 1.0.0-alpha.250 → 1.0.0-alpha.252

package/tests/Customer/StateView/Customers_GWT.res.mjs

@@ -3,6 +3,7 @@
 import * as Customers$OrderingPlugin from "../../../src/Customer/StateView/Customers.res.mjs";
 import * as CustomerId$OrderingPlugin from "../../../src/Customer/CustomerId.res.mjs";
 import * as Projection_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Projection_GWT.res.mjs";
+import * as Ordering_Examples$OrderingPlugin from "../../Ordering_Examples.res.mjs";
 import * as Customers_Projection$OrderingPlugin from "../../../src/Customer/StateView/Customers_Projection.res.mjs";
 
 let include = Projection_GWT$ReventlessGwt.Make({
@@ -28,57 +29,57 @@ let thenStateWithId = include.thenStateWithId;
 describe("Customers StateViewSlice", () => {
   test("CustomerRegistered creates a row", undefined, () => thenStateWithId(whenEvent(givenEvents([]), {
     TAG: "CustomerRegistered",
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    email: "alice@x.y",
-    address: "123 Main"
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    email: Ordering_Examples$OrderingPlugin.aliceEmail,
+    address: Ordering_Examples$OrderingPlugin.mainStreet
   }), "c1", {
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    email: "alice@x.y",
-    address: "123 Main",
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    email: Ordering_Examples$OrderingPlugin.aliceEmail,
+    address: Ordering_Examples$OrderingPlugin.mainStreet,
     deactivated: false
   }));
   test("EmailChanged updates the email", undefined, () => thenStateWithId(whenEvent(givenEvents([{
       TAG: "CustomerRegistered",
-      customerId: CustomerId$OrderingPlugin.make("c1"),
-      email: "alice@x.y",
-      address: "123 Main"
+      customerId: Ordering_Examples$OrderingPlugin.c1,
+      email: Ordering_Examples$OrderingPlugin.aliceEmail,
+      address: Ordering_Examples$OrderingPlugin.mainStreet
     }]), {
     TAG: "EmailChanged",
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    email: "alice2@x.y"
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    email: Ordering_Examples$OrderingPlugin.aliceNewEmail
   }), "c1", {
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    email: "alice2@x.y",
-    address: "123 Main",
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    email: Ordering_Examples$OrderingPlugin.aliceNewEmail,
+    address: Ordering_Examples$OrderingPlugin.mainStreet,
     deactivated: false
   }));
   test("AddressChanged updates the address", undefined, () => thenStateWithId(whenEvent(givenEvents([{
       TAG: "CustomerRegistered",
-      customerId: CustomerId$OrderingPlugin.make("c1"),
-      email: "alice@x.y",
-      address: "123 Main"
+      customerId: Ordering_Examples$OrderingPlugin.c1,
+      email: Ordering_Examples$OrderingPlugin.aliceEmail,
+      address: Ordering_Examples$OrderingPlugin.mainStreet
     }]), {
     TAG: "AddressChanged",
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    address: "789 Pine"
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    address: Ordering_Examples$OrderingPlugin.pineStreet
   }), "c1", {
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    email: "alice@x.y",
-    address: "789 Pine",
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    email: Ordering_Examples$OrderingPlugin.aliceEmail,
+    address: Ordering_Examples$OrderingPlugin.pineStreet,
     deactivated: false
   }));
   test("CustomerDeactivated sets deactivated flag", undefined, () => thenStateWithId(whenEvent(givenEvents([{
       TAG: "CustomerRegistered",
-      customerId: CustomerId$OrderingPlugin.make("c1"),
-      email: "alice@x.y",
-      address: "123 Main"
+      customerId: Ordering_Examples$OrderingPlugin.c1,
+      email: Ordering_Examples$OrderingPlugin.aliceEmail,
+      address: Ordering_Examples$OrderingPlugin.mainStreet
     }]), {
     TAG: "CustomerDeactivated",
-    customerId: CustomerId$OrderingPlugin.make("c1")
+    customerId: Ordering_Examples$OrderingPlugin.c1
   }), "c1", {
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    email: "alice@x.y",
-    address: "123 Main",
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    email: Ordering_Examples$OrderingPlugin.aliceEmail,
+    address: Ordering_Examples$OrderingPlugin.mainStreet,
     deactivated: true
   }));
 });
@@ -105,8 +106,6 @@ let thenThrow = include.thenThrow;
 
 let thenFail = include.thenFail;
 
-let cid = CustomerId$OrderingPlugin.make;
-
 export {
   Spec,
   describe,
@@ -124,6 +123,5 @@ export {
   thenNoState,
   thenThrow,
   thenFail,
-  cid,
 }
 /* include Not a pure module */

package/tests/Extension/Products_Extension_GWT.res

@@ -2,24 +2,24 @@
 // SyncCatalogProduct commands on Ordering's local shadow slice.
 @@reventless.gwt
 
-let pid = CatalogSpec.ProductId.make
+open Ordering_Examples
 
 // `Mapping` is brought into scope by the PPX `open Products_Extension`; opening
 // it surfaces the extension point's events and the delegate's commands.
 open Mapping
 
 describe("Products Extension delegate", () => {
+  // scenario-id: a4680fe3-1546-4669-9334-d8971e2b7162
   test("ProductBecameAvailable issues SyncNewProduct", () =>
     whenIncomingEvent(
-      ExtensionPoint.ProductBecameAvailable({productId: pid("p1"), name: "Book", price: 9.99}),
-    )->thenPublishesCommand(
-      Delegate.SyncNewProduct({productId: pid("p1"), name: "Book", price: 9.99}),
-    )
+      ExtensionPoint.ProductBecameAvailable({productId: p1, name: "Book", price: 9.99}),
+    )->thenPublishesCommand(Delegate.SyncNewProduct({productId: p1, name: "Book", price: 9.99}))
   )
 
+  // scenario-id: b8178540-b81e-4d82-9b93-9f2f68b968c6
   test("ProductPriceChanged issues ChangeSyncedPrice", () =>
     whenIncomingEvent(
-      ExtensionPoint.ProductPriceChanged({productId: pid("p1"), price: 7.5}),
-    )->thenPublishesCommand(Delegate.ChangeSyncedPrice({productId: pid("p1"), price: 7.5}))
+      ExtensionPoint.ProductPriceChanged({productId: p1, price: 7.5}),
+    )->thenPublishesCommand(Delegate.ChangeSyncedPrice({productId: p1, price: 7.5}))
   )
 })

package/tests/Extension/Products_Extension_GWT.res.mjs

@@ -1,8 +1,8 @@
 // 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-dcb-catalog-spec/src/ProductId.res.mjs";
 import * as Delegate_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Delegate_GWT.res.mjs";
+import * as Ordering_Examples$OrderingPlugin from "../Ordering_Examples.res.mjs";
 import * as Products_Extension$OrderingPlugin from "../../src/Extension/Products_Extension.res.mjs";
 import * as SyncCatalogProduct$OrderingPlugin from "../../src/CatalogProduct/StateChange/SyncCatalogProduct.res.mjs";
 import * as Products_ExtensionPoint$CatalogSpec from "@reventlessdev/online-shop-dcb-catalog-spec/src/Products_ExtensionPoint.res.mjs";
@@ -45,22 +45,22 @@ let thenPublishesCommand = include.thenPublishesCommand;
 describe("Products Extension delegate", () => {
   test("ProductBecameAvailable issues SyncNewProduct", undefined, () => thenPublishesCommand(whenIncomingEvent({
     TAG: "ProductBecameAvailable",
-    productId: ProductId$CatalogSpec.make("p1"),
+    productId: Ordering_Examples$OrderingPlugin.p1,
     name: "Book",
     price: 9.99
   }), {
     TAG: "SyncNewProduct",
-    productId: ProductId$CatalogSpec.make("p1"),
+    productId: Ordering_Examples$OrderingPlugin.p1,
     name: "Book",
     price: 9.99
   }));
   test("ProductPriceChanged issues ChangeSyncedPrice", undefined, () => thenPublishesCommand(whenIncomingEvent({
     TAG: "ProductPriceChanged",
-    productId: ProductId$CatalogSpec.make("p1"),
+    productId: Ordering_Examples$OrderingPlugin.p1,
     price: 7.5
   }), {
     TAG: "ChangeSyncedPrice",
-    productId: ProductId$CatalogSpec.make("p1"),
+    productId: Ordering_Examples$OrderingPlugin.p1,
     price: 7.5
   }));
 });
@@ -91,8 +91,6 @@ let thenHandlesDirectives = include.thenHandlesDirectives;
 
 let thenHandlesNoDirective = include.thenHandlesNoDirective;
 
-let pid = ProductId$CatalogSpec.make;
-
 export {
   encCmd,
   encEpCmd,
@@ -111,6 +109,5 @@ export {
   thenHandlesDirective,
   thenHandlesDirectives,
   thenHandlesNoDirective,
-  pid,
 }
 /* include Not a pure module */

package/tests/ExtensionPoint/Orders_ExtensionPointMapping_GWT.res

@@ -2,17 +2,16 @@
 // into one public per-product event each (one-to-many fan-out).
 @@reventless.gwt
 
-let cid = CustomerId.make
-let oid = OrderId.make
-let pid = CatalogSpec.ProductId.make
+open Ordering_Examples
 
 describe("Orders ExtensionPoint mapping — per-product fan-out", () => {
+  // scenario-id: 1a9119c4-48fe-4f5f-b357-a3326dcd4ae9
   test("OrderPlaced fans out to one ItemOrdered per product", () =>
     whenDelegateEvent(
       Delegate.OrderPlaced({
-        orderId: oid("o1"),
-        customerId: cid("c1"),
-        productIds: [pid("p1"), pid("p2")],
+        orderId: o1,
+        customerId: c1,
+        productIds: [p1, p2],
       }),
     )->thenPublishesEvents([
       ("p1", ExtensionPoint.ItemOrdered({productId: "p1", orderId: "o1", customerId: "c1"})),
@@ -20,9 +19,10 @@ describe("Orders ExtensionPoint mapping — per-product fan-out", () => {
     ])
   )
 
+  // scenario-id: c8a2bb56-33d0-4f1d-a9f0-220e4e04f755
   test("OrderCancelled fans out to one ItemOrderCancelled per product", () =>
     whenDelegateEvent(
-      Delegate.OrderCancelled({orderId: oid("o1"), productIds: [pid("p1"), pid("p2")]}),
+      Delegate.OrderCancelled({orderId: o1, productIds: [p1, p2]}),
     )->thenPublishesEvents([
       ("p1", ExtensionPoint.ItemOrderCancelled({productId: "p1", orderId: "o1"})),
       ("p2", ExtensionPoint.ItemOrderCancelled({productId: "p2", orderId: "o1"})),

package/tests/ExtensionPoint/Orders_ExtensionPointMapping_GWT.res.mjs

@@ -1,10 +1,8 @@
 // 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-dcb-catalog-spec/src/ProductId.res.mjs";
-import * as OrderId$OrderingPlugin from "../../src/Order/OrderId.res.mjs";
-import * as CustomerId$OrderingPlugin from "../../src/Customer/CustomerId.res.mjs";
 import * as Delegate_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Delegate_GWT.res.mjs";
+import * as Ordering_Examples$OrderingPlugin from "../Ordering_Examples.res.mjs";
 import * as Orders_ExtensionPoint$OrderingSpec from "@reventlessdev/online-shop-dcb-ordering-spec/src/Orders_ExtensionPoint.res.mjs";
 import * as Orders_ExtensionPointMapping$OrderingPlugin from "../../src/ExtensionPoint/Orders_ExtensionPointMapping.res.mjs";
 
@@ -45,11 +43,11 @@ let thenPublishesEvents = include.thenPublishesEvents;
 describe("Orders ExtensionPoint mapping — per-product fan-out", () => {
   test("OrderPlaced fans out to one ItemOrdered per product", undefined, () => thenPublishesEvents(whenDelegateEvent({
     TAG: "OrderPlaced",
-    orderId: OrderId$OrderingPlugin.make("o1"),
-    customerId: CustomerId$OrderingPlugin.make("c1"),
+    orderId: Ordering_Examples$OrderingPlugin.o1,
+    customerId: Ordering_Examples$OrderingPlugin.c1,
     productIds: [
-      ProductId$CatalogSpec.make("p1"),
-      ProductId$CatalogSpec.make("p2")
+      Ordering_Examples$OrderingPlugin.p1,
+      Ordering_Examples$OrderingPlugin.p2
     ]
   }), [
     [
@@ -73,10 +71,10 @@ describe("Orders ExtensionPoint mapping — per-product fan-out", () => {
   ]));
   test("OrderCancelled fans out to one ItemOrderCancelled per product", undefined, () => thenPublishesEvents(whenDelegateEvent({
     TAG: "OrderCancelled",
-    orderId: OrderId$OrderingPlugin.make("o1"),
+    orderId: Ordering_Examples$OrderingPlugin.o1,
     productIds: [
-      ProductId$CatalogSpec.make("p1"),
-      ProductId$CatalogSpec.make("p2")
+      Ordering_Examples$OrderingPlugin.p1,
+      Ordering_Examples$OrderingPlugin.p2
     ]
   }), [
     [
@@ -124,12 +122,6 @@ let thenHandlesDirectives = include.thenHandlesDirectives;
 
 let thenHandlesNoDirective = include.thenHandlesNoDirective;
 
-let cid = CustomerId$OrderingPlugin.make;
-
-let oid = OrderId$OrderingPlugin.make;
-
-let pid = ProductId$CatalogSpec.make;
-
 export {
   encEvent,
   encCommand,
@@ -148,8 +140,5 @@ export {
   thenHandlesDirective,
   thenHandlesDirectives,
   thenHandlesNoDirective,
-  cid,
-  oid,
-  pid,
 }
 /* include Not a pure module */

package/tests/Order/Automation/AutoShipOrder_GWT.res

@@ -22,36 +22,41 @@ module AutoShipOrderSlice = {
 
 @@reventless.gwt
 
-let oid = OrderId.make
+open Ordering_Examples
 
 describe("AutoShipOrder AutomationSlice", () => {
+  // scenario-id: 02131883-ffbd-430f-a186-86d79daf5fb4
   test("collect: OrderPlaced creates a pending TODO", () =>
-    givenEvent(OrderPlaced({orderId: oid("o1")}))
+    givenEvent(OrderPlaced({orderId: o1}))
     ->whenCollect
-    ->thenTodos([("o1", {orderId: oid("o1")})])
+    ->thenTodos([("o1", {orderId: o1})])
   )
 
+  // scenario-id: 9f6c8137-a3ee-4bcd-8f22-59c028d3859e
   test("collect: OrderShipped is ignored (no TODO)", () =>
-    givenEvent(OrderShipped({orderId: oid("o1")}))
+    givenEvent(OrderShipped({orderId: o1}))
     ->whenCollect
     ->thenTodos([])
   )
 
+  // scenario-id: 0d773a65-4422-45d1-a861-a3b61d144bc5
   test("resolve: OrderShipped marks the TODO done", () =>
-    givenEvent(OrderShipped({orderId: oid("o1")}))
+    givenEvent(OrderShipped({orderId: o1}))
     ->whenResolve
     ->thenResolved(Some("o1"))
   )
 
+  // scenario-id: def98dd4-ed82-4d4b-9d93-7fd6f77278a4
   test("resolve: OrderPlaced does not mark anything done", () =>
-    givenEvent(OrderPlaced({orderId: oid("o1")}))
+    givenEvent(OrderPlaced({orderId: o1}))
     ->whenResolve
     ->thenResolved(None)
   )
 
+  // scenario-id: c33672f2-3c0a-489f-baed-79eb15963354
   test("process: pending TODO emits ShipOrder for the same id", () =>
-    givenTodo("o1", {orderId: oid("o1")})
+    givenTodo("o1", {orderId: o1})
     ->whenProcess
-    ->thenCommand("o1", ShipOrder({orderId: oid("o1")}))
+    ->thenCommand("o1", ShipOrder({orderId: o1}))
   )
 })

package/tests/Order/Automation/AutoShipOrder_GWT.res.mjs

@@ -1,8 +1,8 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
-import * as OrderId$OrderingPlugin from "../../../src/Order/OrderId.res.mjs";
 import * as AutoShipOrder$OrderingPlugin from "../../../src/Order/Automation/AutoShipOrder.res.mjs";
 import * as Automation_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Automation_GWT.res.mjs";
+import * as Ordering_Examples$OrderingPlugin from "../../Ordering_Examples.res.mjs";
 import * as AutoShipOrder_Automation$OrderingPlugin from "../../../src/Order/Automation/AutoShipOrder_Automation.res.mjs";
 
 let testContext = {
@@ -71,30 +71,30 @@ let thenCommand = include.thenCommand;
 describe("AutoShipOrder AutomationSlice", () => {
   test("collect: OrderPlaced creates a pending TODO", () => thenTodos(whenCollect(givenEvent({
     TAG: "OrderPlaced",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   })), [[
       "o1",
       {
-        orderId: OrderId$OrderingPlugin.make("o1")
+        orderId: Ordering_Examples$OrderingPlugin.o1
       }
     ]]));
   test("collect: OrderShipped is ignored (no TODO)", () => thenTodos(whenCollect(givenEvent({
     TAG: "OrderShipped",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   })), []));
   test("resolve: OrderShipped marks the TODO done", () => thenResolved(whenResolve(givenEvent({
     TAG: "OrderShipped",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   })), "o1"));
   test("resolve: OrderPlaced does not mark anything done", () => thenResolved(whenResolve(givenEvent({
     TAG: "OrderPlaced",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   })), undefined));
   test("process: pending TODO emits ShipOrder for the same id", () => thenCommand(whenProcess(givenTodo("o1", {
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   })), "o1", {
     TAG: "ShipOrder",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   }));
 });
 
@@ -112,8 +112,6 @@ let andThenEvents = include.andThenEvents;
 
 let thenScenarioTodos = include.thenScenarioTodos;
 
-let oid = OrderId$OrderingPlugin.make;
-
 export {
   testContext,
   AutoShipOrderSlice,
@@ -134,6 +132,5 @@ export {
   thenCommands,
   andThenEvents,
   thenScenarioTodos,
-  oid,
 }
 /* include Not a pure module */

package/tests/Order/OutboundTranslation/SendOrderConfirmation_GWT.res

@@ -12,24 +12,25 @@ module SendOrderConfirmationSlice = {
 
 @@reventless.gwt
 
-let cid = CustomerId.make
-let oid = OrderId.make
+open Ordering_Examples
 
 describe("SendOrderConfirmation OutboundTranslationSlice", () => {
   testSync("collect: OrderPlaced queues an outbound TODO", () =>
-    givenEvent(OrderPlaced({orderId: oid("o1"), customerId: cid("c1")}))
+    givenEvent(OrderPlaced({orderId: o1, customerId: c1}))
     ->whenCollect
-    ->thenTodos([("o1", {orderId: oid("o1"), customerId: cid("c1")})])
+    ->thenTodos([("o1", {orderId: o1, customerId: c1})])
   )
 
+  // scenario-id: f72032f8-25ba-482e-be6e-4c765908bb70
   test("translate success marks the TODO Completed", () =>
-    givenTodo("o1", {orderId: oid("o1"), customerId: cid("c1")})
+    givenTodo("o1", {orderId: o1, customerId: c1})
     ->whenTranslateMocked((_id, _item) => Promise.resolve(Ok(None)))
     ->thenTodoStatus("o1", #Completed)
   )
 
+  // scenario-id: a4563058-8777-4756-8e12-983fcd0e8f20
   test("translate failure leaves the TODO Pending for retry", () =>
-    givenTodo("o1", {orderId: oid("o1"), customerId: cid("c1")})
+    givenTodo("o1", {orderId: o1, customerId: c1})
     ->whenTranslateMocked((_id, _item) => Promise.resolve(Error("smtp down")))
     ->thenTodoStatus("o1", #Pending)
   )

package/tests/Order/OutboundTranslation/SendOrderConfirmation_GWT.res.mjs

@@ -1,7 +1,6 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
-import * as OrderId$OrderingPlugin from "../../../src/Order/OrderId.res.mjs";
-import * as CustomerId$OrderingPlugin from "../../../src/Customer/CustomerId.res.mjs";
+import * as Ordering_Examples$OrderingPlugin from "../../Ordering_Examples.res.mjs";
 import * as SendOrderConfirmation$OrderingPlugin from "../../../src/Order/OutboundTranslation/SendOrderConfirmation.res.mjs";
 import * as OutboundTranslation_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/OutboundTranslation_GWT.res.mjs";
 import * as SendOrderConfirmation_Translation$OrderingPlugin from "../../../src/Order/OutboundTranslation/SendOrderConfirmation_Translation.res.mjs";
@@ -52,25 +51,25 @@ let thenTodoStatus = include.thenTodoStatus;
 describe("SendOrderConfirmation OutboundTranslationSlice", () => {
   testSync("collect: OrderPlaced queues an outbound TODO", () => thenTodos(whenCollect(givenEvent({
     TAG: "OrderPlaced",
-    orderId: OrderId$OrderingPlugin.make("o1"),
-    customerId: CustomerId$OrderingPlugin.make("c1")
+    orderId: Ordering_Examples$OrderingPlugin.o1,
+    customerId: Ordering_Examples$OrderingPlugin.c1
   }), undefined), [[
       "o1",
       {
-        orderId: OrderId$OrderingPlugin.make("o1"),
-        customerId: CustomerId$OrderingPlugin.make("c1")
+        orderId: Ordering_Examples$OrderingPlugin.o1,
+        customerId: Ordering_Examples$OrderingPlugin.c1
       }
     ]]));
   test("translate success marks the TODO Completed", undefined, () => thenTodoStatus(whenTranslateMocked(givenTodo("o1", {
-    orderId: OrderId$OrderingPlugin.make("o1"),
-    customerId: CustomerId$OrderingPlugin.make("c1")
+    orderId: Ordering_Examples$OrderingPlugin.o1,
+    customerId: Ordering_Examples$OrderingPlugin.c1
   }), (_id, _item) => Promise.resolve({
     TAG: "Ok",
     _0: undefined
   })), "o1", "Completed"));
   test("translate failure leaves the TODO Pending for retry", undefined, () => thenTodoStatus(whenTranslateMocked(givenTodo("o1", {
-    orderId: OrderId$OrderingPlugin.make("o1"),
-    customerId: CustomerId$OrderingPlugin.make("c1")
+    orderId: Ordering_Examples$OrderingPlugin.o1,
+    customerId: Ordering_Examples$OrderingPlugin.c1
   }), (_id, _item) => Promise.resolve({
     TAG: "Error",
     _0: "smtp down"
@@ -87,10 +86,6 @@ let thenNoCommand = include.thenNoCommand;
 
 let thenRetryRecorded = include.thenRetryRecorded;
 
-let cid = CustomerId$OrderingPlugin.make;
-
-let oid = OrderId$OrderingPlugin.make;
-
 export {
   SendOrderConfirmationSlice,
   Spec,
@@ -107,7 +102,5 @@ export {
   thenNoCommand,
   thenRetryRecorded,
   thenTodoStatus,
-  cid,
-  oid,
 }
 /* include Not a pure module */

package/tests/Order/StateChange/CancelOrder_GWT.res

@@ -1,30 +1,33 @@
 @@reventless.gwt
 
-let oid = OrderId.make
-let pid = CatalogSpec.ProductId.make
+open Ordering_Examples
 
 describe("CancelOrder StateChangeSlice", () => {
+  // scenario-id: 8ec10480-8490-4004-a83c-1efa3d94695c
   test("non-existent order returns OrderNotFound", () =>
     givenEvents([])
-    ->whenCmd(CancelOrder({orderId: oid("o1")}))
+    ->whenCmd(CancelOrder({orderId: o1}))
     ->thenError(OrderNotFound)
   )
 
+  // scenario-id: df6a7117-bfed-4393-ae46-a35b13339e32
   test("placed order produces OrderCancelled with productIds carried over", () =>
-    givenEvents([OrderPlaced({productIds: [pid("p1"), pid("p2")]})])
-    ->whenCmd(CancelOrder({orderId: oid("o1")}))
-    ->thenEvent(OrderCancelled({orderId: oid("o1"), productIds: [pid("p1"), pid("p2")]}))
+    givenEvents([OrderPlaced({productIds: [p1, p2]})])
+    ->whenCmd(CancelOrder({orderId: o1}))
+    ->thenEvent(OrderCancelled({orderId: o1, productIds: [p1, p2]}))
   )
 
+  // scenario-id: e639ee37-866c-45f9-ac7b-d2a902703578
   test("already cancelled order produces no events (idempotent)", () =>
-    givenEvents([OrderPlaced({productIds: [pid("p1")]}), OrderCancelled])
-    ->whenCmd(CancelOrder({orderId: oid("o1")}))
+    givenEvents([OrderPlaced({productIds: [p1]}), OrderCancelled])
+    ->whenCmd(CancelOrder({orderId: o1}))
     ->thenNoEvent
   )
 
+  // scenario-id: eb8ae949-bd89-4b4c-9b4c-25992727e172
   test("shipped order returns OrderAlreadyShipped", () =>
-    givenEvents([OrderPlaced({productIds: [pid("p1")]}), OrderShipped])
-    ->whenCmd(CancelOrder({orderId: oid("o1")}))
+    givenEvents([OrderPlaced({productIds: [p1]}), OrderShipped])
+    ->whenCmd(CancelOrder({orderId: o1}))
     ->thenError(OrderAlreadyShipped)
   )
 })

package/tests/Order/StateChange/CancelOrder_GWT.res.mjs

@@ -1,9 +1,8 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
-import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-dcb-catalog-spec/src/ProductId.res.mjs";
-import * as OrderId$OrderingPlugin from "../../../src/Order/OrderId.res.mjs";
 import * as Behavior_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Behavior_GWT.res.mjs";
 import * as CancelOrder$OrderingPlugin from "../../../src/Order/StateChange/CancelOrder.res.mjs";
+import * as Ordering_Examples$OrderingPlugin from "../../Ordering_Examples.res.mjs";
 import * as CancelOrder_Behavior$OrderingPlugin from "../../../src/Order/StateChange/CancelOrder_Behavior.res.mjs";
 
 let include = Behavior_GWT$ReventlessGwt.Make({
@@ -35,44 +34,44 @@ let thenError = include.thenError;
 describe("CancelOrder StateChangeSlice", () => {
   test("non-existent order returns OrderNotFound", () => thenError(whenCmd(givenEvents([]), {
     TAG: "CancelOrder",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   }), "OrderNotFound"));
   test("placed order produces OrderCancelled with productIds carried over", () => thenEvent(whenCmd(givenEvents([{
       TAG: "OrderPlaced",
       productIds: [
-        ProductId$CatalogSpec.make("p1"),
-        ProductId$CatalogSpec.make("p2")
+        Ordering_Examples$OrderingPlugin.p1,
+        Ordering_Examples$OrderingPlugin.p2
       ]
     }]), {
     TAG: "CancelOrder",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   }), {
     TAG: "OrderCancelled",
-    orderId: OrderId$OrderingPlugin.make("o1"),
+    orderId: Ordering_Examples$OrderingPlugin.o1,
     productIds: [
-      ProductId$CatalogSpec.make("p1"),
-      ProductId$CatalogSpec.make("p2")
+      Ordering_Examples$OrderingPlugin.p1,
+      Ordering_Examples$OrderingPlugin.p2
     ]
   }));
   test("already cancelled order produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([
     {
       TAG: "OrderPlaced",
-      productIds: [ProductId$CatalogSpec.make("p1")]
+      productIds: [Ordering_Examples$OrderingPlugin.p1]
     },
     "OrderCancelled"
   ]), {
     TAG: "CancelOrder",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   })));
   test("shipped order returns OrderAlreadyShipped", () => thenError(whenCmd(givenEvents([
     {
       TAG: "OrderPlaced",
-      productIds: [ProductId$CatalogSpec.make("p1")]
+      productIds: [Ordering_Examples$OrderingPlugin.p1]
     },
     "OrderShipped"
   ]), {
     TAG: "CancelOrder",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   }), "OrderAlreadyShipped"));
 });
 
@@ -90,10 +89,6 @@ let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
 
 let thenAppendsConditionedOnExactly = include.thenAppendsConditionedOnExactly;
 
-let oid = OrderId$OrderingPlugin.make;
-
-let pid = ProductId$CatalogSpec.make;
-
 export {
   Spec,
   describe,
@@ -109,7 +104,5 @@ export {
   thenError,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
-  oid,
-  pid,
 }
 /* include Not a pure module */