@reventlessdev/online-shop-dcb-ordering 1.0.0-alpha.249 → 1.0.0-alpha.251

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 */

package/tests/Order/StateChange/PlaceOrder_GWT.res

@@ -1,39 +1,40 @@
 @@reventless.gwt
 
-let cid = CustomerId.make
-let oid = OrderId.make
-let pid = CatalogSpec.ProductId.make
+open Ordering_Examples
 
 describe("PlaceOrder StateChangeSlice", () => {
+  // scenario-id: 2165f9d4-87c0-4f25-a4f6-c3e0ac59a41b
   test("requires referenced products to be synced first", () =>
     givenEvents([])
-    ->whenCmd(PlaceOrder({orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1")]}))
-    ->thenError(ProductsNotAvailable({missing: [pid("p1")]}))
+    ->whenCmd(PlaceOrder({orderId: o1, customerId: c1, productIds: [p1]}))
+    ->thenError(ProductsNotAvailable({missing: [p1]}))
   )
 
+  // scenario-id: d20adf8e-1883-4e2f-8d22-10f2470a1f44
   test("placement succeeds when products are available", () =>
-    givenEvents([CatalogProductSynced({productId: pid("p1")})])
-    ->whenCmd(PlaceOrder({orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1")]}))
-    ->thenEvent(OrderPlaced({orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1")]}))
+    givenEvents([CatalogProductSynced({productId: p1})])
+    ->whenCmd(PlaceOrder({orderId: o1, customerId: c1, productIds: [p1]}))
+    ->thenEvent(OrderPlaced({orderId: o1, customerId: c1, productIds: [p1]}))
   )
 
+  // scenario-id: 7594b170-f241-4eb9-83d1-aaa651a80f66
   test("partial product availability returns ProductsNotAvailable with missing list", () =>
-    givenEvents([CatalogProductSynced({productId: pid("p1")})])
-    ->whenCmd(
-      PlaceOrder({orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1"), pid("p2")]}),
-    )
-    ->thenError(ProductsNotAvailable({missing: [pid("p2")]}))
+    givenEvents([CatalogProductSynced({productId: p1})])
+    ->whenCmd(PlaceOrder({orderId: o1, customerId: c1, productIds: [p1, p2]}))
+    ->thenError(ProductsNotAvailable({missing: [p2]}))
   )
 
+  // scenario-id: 2d259e4c-b8d5-40ae-b5f5-018cbf31eaa4
   test("re-placing the same orderId returns OrderAlreadyPlaced", () =>
-    givenEvents([CatalogProductSynced({productId: pid("p1")}), OrderPlaced({orderId: oid("o1")})])
-    ->whenCmd(PlaceOrder({orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1")]}))
+    givenEvents([CatalogProductSynced({productId: p1}), OrderPlaced({orderId: o1})])
+    ->whenCmd(PlaceOrder({orderId: o1, customerId: c1, productIds: [p1]}))
     ->thenError(OrderAlreadyPlaced)
   )
 
+  // scenario-id: 2fc00acf-df4c-4c2e-8280-a82dedad5fb0
   test("a sibling OrderPlaced for a different orderId does not block placement", () =>
-    givenEvents([CatalogProductSynced({productId: pid("p1")}), OrderPlaced({orderId: oid("o2")})])
-    ->whenCmd(PlaceOrder({orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1")]}))
-    ->thenEvent(OrderPlaced({orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1")]}))
+    givenEvents([CatalogProductSynced({productId: p1}), OrderPlaced({orderId: o2})])
+    ->whenCmd(PlaceOrder({orderId: o1, customerId: c1, productIds: [p1]}))
+    ->thenEvent(OrderPlaced({orderId: o1, customerId: c1, productIds: [p1]}))
   )
 })

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

@@ -1,10 +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 CustomerId$OrderingPlugin from "../../../src/Customer/CustomerId.res.mjs";
 import * as PlaceOrder$OrderingPlugin from "../../../src/Order/StateChange/PlaceOrder.res.mjs";
 import * as Behavior_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Behavior_GWT.res.mjs";
+import * as Ordering_Examples$OrderingPlugin from "../../Ordering_Examples.res.mjs";
 import * as PlaceOrder_Behavior$OrderingPlugin from "../../../src/Order/StateChange/PlaceOrder_Behavior.res.mjs";
 
 let include = Behavior_GWT$ReventlessGwt.Make({
@@ -34,76 +32,76 @@ let thenError = include.thenError;
 describe("PlaceOrder StateChangeSlice", () => {
   test("requires referenced products to be synced first", () => thenError(whenCmd(givenEvents([]), {
     TAG: "PlaceOrder",
-    orderId: OrderId$OrderingPlugin.make("o1"),
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    productIds: [ProductId$CatalogSpec.make("p1")]
+    orderId: Ordering_Examples$OrderingPlugin.o1,
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    productIds: [Ordering_Examples$OrderingPlugin.p1]
   }), {
     TAG: "ProductsNotAvailable",
-    missing: [ProductId$CatalogSpec.make("p1")]
+    missing: [Ordering_Examples$OrderingPlugin.p1]
   }));
   test("placement succeeds when products are available", () => thenEvent(whenCmd(givenEvents([{
       TAG: "CatalogProductSynced",
-      productId: ProductId$CatalogSpec.make("p1")
+      productId: Ordering_Examples$OrderingPlugin.p1
     }]), {
     TAG: "PlaceOrder",
-    orderId: OrderId$OrderingPlugin.make("o1"),
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    productIds: [ProductId$CatalogSpec.make("p1")]
+    orderId: Ordering_Examples$OrderingPlugin.o1,
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    productIds: [Ordering_Examples$OrderingPlugin.p1]
   }), {
     TAG: "OrderPlaced",
-    orderId: OrderId$OrderingPlugin.make("o1"),
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    productIds: [ProductId$CatalogSpec.make("p1")]
+    orderId: Ordering_Examples$OrderingPlugin.o1,
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    productIds: [Ordering_Examples$OrderingPlugin.p1]
   }));
   test("partial product availability returns ProductsNotAvailable with missing list", () => thenError(whenCmd(givenEvents([{
       TAG: "CatalogProductSynced",
-      productId: ProductId$CatalogSpec.make("p1")
+      productId: Ordering_Examples$OrderingPlugin.p1
     }]), {
     TAG: "PlaceOrder",
-    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
     ]
   }), {
     TAG: "ProductsNotAvailable",
-    missing: [ProductId$CatalogSpec.make("p2")]
+    missing: [Ordering_Examples$OrderingPlugin.p2]
   }));
   test("re-placing the same orderId returns OrderAlreadyPlaced", () => thenError(whenCmd(givenEvents([
     {
       TAG: "CatalogProductSynced",
-      productId: ProductId$CatalogSpec.make("p1")
+      productId: Ordering_Examples$OrderingPlugin.p1
     },
     {
       TAG: "OrderPlaced",
-      orderId: OrderId$OrderingPlugin.make("o1")
+      orderId: Ordering_Examples$OrderingPlugin.o1
     }
   ]), {
     TAG: "PlaceOrder",
-    orderId: OrderId$OrderingPlugin.make("o1"),
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    productIds: [ProductId$CatalogSpec.make("p1")]
+    orderId: Ordering_Examples$OrderingPlugin.o1,
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    productIds: [Ordering_Examples$OrderingPlugin.p1]
   }), "OrderAlreadyPlaced"));
   test("a sibling OrderPlaced for a different orderId does not block placement", () => thenEvent(whenCmd(givenEvents([
     {
       TAG: "CatalogProductSynced",
-      productId: ProductId$CatalogSpec.make("p1")
+      productId: Ordering_Examples$OrderingPlugin.p1
     },
     {
       TAG: "OrderPlaced",
-      orderId: OrderId$OrderingPlugin.make("o2")
+      orderId: Ordering_Examples$OrderingPlugin.o2
     }
   ]), {
     TAG: "PlaceOrder",
-    orderId: OrderId$OrderingPlugin.make("o1"),
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    productIds: [ProductId$CatalogSpec.make("p1")]
+    orderId: Ordering_Examples$OrderingPlugin.o1,
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    productIds: [Ordering_Examples$OrderingPlugin.p1]
   }), {
     TAG: "OrderPlaced",
-    orderId: OrderId$OrderingPlugin.make("o1"),
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    productIds: [ProductId$CatalogSpec.make("p1")]
+    orderId: Ordering_Examples$OrderingPlugin.o1,
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    productIds: [Ordering_Examples$OrderingPlugin.p1]
   }));
 });
 
@@ -123,12 +121,6 @@ let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
 
 let thenAppendsConditionedOnExactly = include.thenAppendsConditionedOnExactly;
 
-let cid = CustomerId$OrderingPlugin.make;
-
-let oid = OrderId$OrderingPlugin.make;
-
-let pid = ProductId$CatalogSpec.make;
-
 export {
   Spec,
   describe,
@@ -144,8 +136,5 @@ export {
   thenError,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
-  cid,
-  oid,
-  pid,
 }
 /* include Not a pure module */

package/tests/Order/StateChange/ShipOrder_GWT.res

@@ -1,29 +1,33 @@
 @@reventless.gwt
 
-let oid = OrderId.make
+open Ordering_Examples
 
 describe("ShipOrder StateChangeSlice", () => {
+  // scenario-id: 2146c7ce-d052-4b18-8d15-373916445f80
   test("non-existent order returns OrderNotFound", () =>
     givenEvents([])
-    ->whenCmd(ShipOrder({orderId: oid("o1")}))
+    ->whenCmd(ShipOrder({orderId: o1}))
     ->thenError(OrderNotFound)
   )
 
+  // scenario-id: 76062151-57bb-468b-9fee-915e35e8d67e
   test("placed order produces OrderShipped", () =>
     givenEvents([OrderPlaced])
-    ->whenCmd(ShipOrder({orderId: oid("o1")}))
-    ->thenEvent(OrderShipped({orderId: oid("o1")}))
+    ->whenCmd(ShipOrder({orderId: o1}))
+    ->thenEvent(OrderShipped({orderId: o1}))
   )
 
+  // scenario-id: 3ffc1f1f-8611-4c99-90b3-435b441140d3
   test("already shipped order produces no events (idempotent)", () =>
     givenEvents([OrderPlaced, OrderShipped])
-    ->whenCmd(ShipOrder({orderId: oid("o1")}))
+    ->whenCmd(ShipOrder({orderId: o1}))
     ->thenNoEvent
   )
 
+  // scenario-id: 23a22483-510c-458d-aa40-17c442470b22
   test("cancelled order returns OrderAlreadyCancelled", () =>
     givenEvents([OrderPlaced, OrderCancelled])
-    ->whenCmd(ShipOrder({orderId: oid("o1")}))
+    ->whenCmd(ShipOrder({orderId: o1}))
     ->thenError(OrderAlreadyCancelled)
   )
 })

package/tests/Order/StateChange/ShipOrder_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 ShipOrder$OrderingPlugin from "../../../src/Order/StateChange/ShipOrder.res.mjs";
 import * as Behavior_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Behavior_GWT.res.mjs";
+import * as Ordering_Examples$OrderingPlugin from "../../Ordering_Examples.res.mjs";
 import * as ShipOrder_Behavior$OrderingPlugin from "../../../src/Order/StateChange/ShipOrder_Behavior.res.mjs";
 
 let include = Behavior_GWT$ReventlessGwt.Make({
@@ -34,28 +34,28 @@ let thenError = include.thenError;
 describe("ShipOrder StateChangeSlice", () => {
   test("non-existent order returns OrderNotFound", () => thenError(whenCmd(givenEvents([]), {
     TAG: "ShipOrder",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   }), "OrderNotFound"));
   test("placed order produces OrderShipped", () => thenEvent(whenCmd(givenEvents(["OrderPlaced"]), {
     TAG: "ShipOrder",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   }), {
     TAG: "OrderShipped",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   }));
   test("already shipped order produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([
     "OrderPlaced",
     "OrderShipped"
   ]), {
     TAG: "ShipOrder",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   })));
   test("cancelled order returns OrderAlreadyCancelled", () => thenError(whenCmd(givenEvents([
     "OrderPlaced",
     "OrderCancelled"
   ]), {
     TAG: "ShipOrder",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   }), "OrderAlreadyCancelled"));
 });
 
@@ -73,8 +73,6 @@ let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
 
 let thenAppendsConditionedOnExactly = include.thenAppendsConditionedOnExactly;
 
-let oid = OrderId$OrderingPlugin.make;
-
 export {
   Spec,
   describe,
@@ -90,6 +88,5 @@ export {
   thenError,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
-  oid,
 }
 /* include Not a pure module */

package/tests/Order/StateView/Orders_GWT.res

@@ -1,41 +1,34 @@
 @@reventless.gwt
 
-let cid = CustomerId.make
-let oid = OrderId.make
-let pid = CatalogSpec.ProductId.make
+open Ordering_Examples
 
 describe("Orders StateViewSlice", () => {
+  // scenario-id: 7967e51a-49fb-4f1e-81f8-a4feabeccf8a
   test("OrderPlaced creates a row with status Placed", () =>
     givenEvents([])
-    ->whenEvent(
-      OrderPlaced({orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1"), pid("p2")]}),
-    )
+    ->whenEvent(OrderPlaced({orderId: o1, customerId: c1, productIds: [p1, p2]}))
     ->thenStateWithId(
       "o1",
       {
-        orderId: oid("o1"),
-        customerId: cid("c1"),
-        productIds: [pid("p1"), pid("p2")],
+        orderId: o1,
+        customerId: c1,
+        productIds: [p1, p2],
         lifecycle: Placed,
       },
     )
   )
 
+  // scenario-id: e97d9c01-c2e6-48c1-82d2-3cc2e7c8e401
   test("OrderShipped updates status to Shipped", () =>
-    givenEvents([OrderPlaced({orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1")]})])
-    ->whenEvent(OrderShipped({orderId: oid("o1")}))
-    ->thenStateWithId(
-      "o1",
-      {orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1")], lifecycle: Shipped},
-    )
+    givenEvents([OrderPlaced({orderId: o1, customerId: c1, productIds: [p1]})])
+    ->whenEvent(OrderShipped({orderId: o1}))
+    ->thenStateWithId("o1", {orderId: o1, customerId: c1, productIds: [p1], lifecycle: Shipped})
   )
 
+  // scenario-id: 94ff556f-1d4d-444d-8eda-0a9192715489
   test("OrderCancelled updates status to Cancelled", () =>
-    givenEvents([OrderPlaced({orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1")]})])
-    ->whenEvent(OrderCancelled({orderId: oid("o1")}))
-    ->thenStateWithId(
-      "o1",
-      {orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1")], lifecycle: Cancelled},
-    )
+    givenEvents([OrderPlaced({orderId: o1, customerId: c1, productIds: [p1]})])
+    ->whenEvent(OrderCancelled({orderId: o1}))
+    ->thenStateWithId("o1", {orderId: o1, customerId: c1, productIds: [p1], lifecycle: Cancelled})
   )
 })

package/tests/Order/StateView/Orders_GWT.res.mjs

@@ -1,10 +1,9 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as Orders$OrderingPlugin from "../../../src/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 "../../../src/Order/OrderId.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 Orders_Projection$OrderingPlugin from "../../../src/Order/StateView/Orders_Projection.res.mjs";
 
 let include = Projection_GWT$ReventlessGwt.Make({
@@ -30,47 +29,47 @@ let thenStateWithId = include.thenStateWithId;
 describe("Orders StateViewSlice", () => {
   test("OrderPlaced creates a row with status Placed", undefined, () => thenStateWithId(whenEvent(givenEvents([]), {
     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
     ]
   }), "o1", {
-    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
     ],
     lifecycle: "Placed"
   }));
   test("OrderShipped updates status to Shipped", undefined, () => thenStateWithId(whenEvent(givenEvents([{
       TAG: "OrderPlaced",
-      orderId: OrderId$OrderingPlugin.make("o1"),
-      customerId: CustomerId$OrderingPlugin.make("c1"),
-      productIds: [ProductId$CatalogSpec.make("p1")]
+      orderId: Ordering_Examples$OrderingPlugin.o1,
+      customerId: Ordering_Examples$OrderingPlugin.c1,
+      productIds: [Ordering_Examples$OrderingPlugin.p1]
     }]), {
     TAG: "OrderShipped",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   }), "o1", {
-    orderId: OrderId$OrderingPlugin.make("o1"),
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    productIds: [ProductId$CatalogSpec.make("p1")],
+    orderId: Ordering_Examples$OrderingPlugin.o1,
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    productIds: [Ordering_Examples$OrderingPlugin.p1],
     lifecycle: "Shipped"
   }));
   test("OrderCancelled updates status to Cancelled", undefined, () => thenStateWithId(whenEvent(givenEvents([{
       TAG: "OrderPlaced",
-      orderId: OrderId$OrderingPlugin.make("o1"),
-      customerId: CustomerId$OrderingPlugin.make("c1"),
-      productIds: [ProductId$CatalogSpec.make("p1")]
+      orderId: Ordering_Examples$OrderingPlugin.o1,
+      customerId: Ordering_Examples$OrderingPlugin.c1,
+      productIds: [Ordering_Examples$OrderingPlugin.p1]
     }]), {
     TAG: "OrderCancelled",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   }), "o1", {
-    orderId: OrderId$OrderingPlugin.make("o1"),
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    productIds: [ProductId$CatalogSpec.make("p1")],
+    orderId: Ordering_Examples$OrderingPlugin.o1,
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    productIds: [Ordering_Examples$OrderingPlugin.p1],
     lifecycle: "Cancelled"
   }));
 });
@@ -97,12 +96,6 @@ let thenThrow = include.thenThrow;
 
 let thenFail = include.thenFail;
 
-let cid = CustomerId$OrderingPlugin.make;
-
-let oid = OrderId$OrderingPlugin.make;
-
-let pid = ProductId$CatalogSpec.make;
-
 export {
   Spec,
   describe,
@@ -120,8 +113,5 @@ export {
   thenNoState,
   thenThrow,
   thenFail,
-  cid,
-  oid,
-  pid,
 }
 /* include Not a pure module */

package/tests/Ordering_Examples.res

@@ -0,0 +1,15 @@
+@@reventless.examples
+
+let p1: CatalogSpec.ProductId.t = CatalogSpec.ProductId.makeFromString("p1")
+let p2: CatalogSpec.ProductId.t = CatalogSpec.ProductId.makeFromString("p2")
+
+let c1: CustomerId.t = CustomerId.makeFromString("c1")
+
+let o1: OrderId.t = OrderId.makeFromString("o1")
+let o2: OrderId.t = OrderId.makeFromString("o2")
+
+let aliceEmail: string = "alice@x.y"
+let aliceNewEmail: string = "alice2@x.y"
+let laptop: string = "Laptop"
+let mainStreet: string = "123 Main"
+let pineStreet: string = "789 Pine"

package/tests/Ordering_Examples.res.mjs

@@ -0,0 +1,39 @@
+// 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 CustomerId$OrderingPlugin from "../src/Customer/CustomerId.res.mjs";
+
+let p1 = ProductId$CatalogSpec.makeFromString("p1");
+
+let p2 = ProductId$CatalogSpec.makeFromString("p2");
+
+let c1 = CustomerId$OrderingPlugin.makeFromString("c1");
+
+let o1 = OrderId$OrderingPlugin.makeFromString("o1");
+
+let o2 = OrderId$OrderingPlugin.makeFromString("o2");
+
+let aliceEmail = "alice@x.y";
+
+let aliceNewEmail = "alice2@x.y";
+
+let laptop = "Laptop";
+
+let mainStreet = "123 Main";
+
+let pineStreet = "789 Pine";
+
+export {
+  p1,
+  p2,
+  c1,
+  o1,
+  o2,
+  aliceEmail,
+  aliceNewEmail,
+  laptop,
+  mainStreet,
+  pineStreet,
+}
+/* p1 Not a pure module */