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

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

@@ -2,20 +2,23 @@
 
 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";
+import * as OrderId$OrderingPlugin from "../Order/OrderId.res.mjs";
+import * as CustomerId$OrderingPlugin from "../Customer/CustomerId.res.mjs";
 
 let commandSchema = Sury.$unit;
 
 let eventSchema = 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: "OrderCancelled",
-    orderId: s.m(DcbTag$Reventless.string),
-    productIds: s.m(Sury.array(DcbTag$Reventless.stringForKey("productId")))
+    orderId: s.m(DcbTag$Reventless.mark(OrderId$OrderingPlugin.schema)),
+    productIds: s.m(Sury.array(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema)))
   }))
 ]);
 
@@ -51,27 +54,33 @@ let mapOutgoingEvent = (_id, event, _meta, _queryEngine) => {
   if (event.TAG === "OrderPlaced") {
     let customerId = event.customerId;
     let orderId = event.orderId;
-    return event.productIds.map(productId => ({
+    return event.productIds.map(productId => {
+      let productId$1 = ProductId$CatalogSpec.toString(productId);
+      return {
+        TAG: "PublishEvent",
+        _0: productId$1,
+        _1: {
+          TAG: "ItemOrdered",
+          productId: productId$1,
+          orderId: OrderId$OrderingPlugin.toString(orderId),
+          customerId: CustomerId$OrderingPlugin.toString(customerId)
+        }
+      };
+    });
+  }
+  let orderId$1 = event.orderId;
+  return event.productIds.map(productId => {
+    let productId$1 = ProductId$CatalogSpec.toString(productId);
+    return {
       TAG: "PublishEvent",
-      _0: productId,
+      _0: productId$1,
       _1: {
-        TAG: "ItemOrdered",
-        productId: productId,
-        orderId: orderId,
-        customerId: customerId
+        TAG: "ItemOrderCancelled",
+        productId: productId$1,
+        orderId: OrderId$OrderingPlugin.toString(orderId$1)
       }
-    }));
-  }
-  let orderId$1 = event.orderId;
-  return event.productIds.map(productId => ({
-    TAG: "PublishEvent",
-    _0: productId,
-    _1: {
-      TAG: "ItemOrderCancelled",
-      productId: productId,
-      orderId: orderId$1
-    }
-  }));
+    };
+  });
 };
 
 let publishedEvents = [

package/lib/bs/src/Order/Automation/AutoShipOrder.res

@@ -9,10 +9,10 @@
 @@reventless.spec
 
 @schema
-type todoItem = {orderId: string}
+type todoItem = {orderId: OrderId.t}
 
 @schema
-type command = ShipOrder({orderId: string})
+type command = ShipOrder({orderId: OrderId.t})
 
 let maxRetries = 3
 let heartbeatInterval = 60

package/lib/bs/src/Order/Automation/AutoShipOrder.res.mjs

@@ -2,14 +2,15 @@
 
 import * as Sury from "sury";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+import * as OrderId$OrderingPlugin from "../OrderId.res.mjs";
 
 let todoItemSchema = Sury.$schema(s => ({
-  orderId: s.m(Sury.string)
+  orderId: s.m(OrderId$OrderingPlugin.schema)
 }));
 
 let commandSchema = Sury.$schema(s => ({
   TAG: "ShipOrder",
-  orderId: s.m(DcbTag$Reventless.string)
+  orderId: s.m(DcbTag$Reventless.mark(OrderId$OrderingPlugin.schema))
 }));
 
 function commandAuthorization(param) {

package/lib/bs/src/Order/Automation/AutoShipOrder_Automation.res

@@ -5,8 +5,8 @@ module OrderingDcbSource = {
   let name = "OrderingDcbEventLog"
   @schema
   type event =
-    | OrderPlaced({orderId: string})
-    | OrderShipped({orderId: string})
+    | OrderPlaced({orderId: OrderId.t})
+    | OrderShipped({orderId: OrderId.t})
 }
 
 module FromOrderingDcb = Mapping.Make(
@@ -17,13 +17,16 @@ module FromOrderingDcb = Mapping.Make(
 
     let collect = (event, ~sourceId as _, _ctx) =>
       switch event {
-      | OrderPlaced({orderId}) => [(orderId, ({orderId: orderId}: AutoShipOrder.todoItem))]
+      // To-do rows are keyed by string; the item keeps the typed id.
+      | OrderPlaced({orderId}) => [
+          (orderId->OrderId.toString, ({orderId: orderId}: AutoShipOrder.todoItem)),
+        ]
       | OrderShipped(_) => []
       }
 
     let resolve = event =>
       switch event {
-      | OrderShipped({orderId}) => Some(orderId)
+      | OrderShipped({orderId}) => Some(orderId->OrderId.toString)
       | OrderPlaced(_) => None
       }
   },
@@ -31,7 +34,7 @@ module FromOrderingDcb = Mapping.Make(
 
 let mappings: array<module(Mapping)> = [module(FromOrderingDcb)]
 
-let process = (id, _item) => Some((id, ShipOrder({orderId: id})))
+let process = (id, item: AutoShipOrder.todoItem) => Some((id, ShipOrder({orderId: item.orderId})))
 
 // Nothing to say: an order the shipping automation gave up on is a Placed order
 // that never shipped, which the Orders view already shows. A command here would

package/lib/bs/src/Order/Automation/AutoShipOrder_Automation.res.mjs

@@ -3,6 +3,7 @@
 import * as Sury from "sury";
 import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+import * as OrderId$OrderingPlugin from "../OrderId.res.mjs";
 import * as AutomationSlice$Reventless from "@reventlessdev/reventless-spec/src/components/AutomationSlice.res.mjs";
 import * as AutoShipOrder$OrderingPlugin from "./AutoShipOrder.res.mjs";
 
@@ -21,11 +22,11 @@ let name = "OrderingDcbEventLog";
 let eventSchema = Sury.union([
   Sury.$schema(s => ({
     TAG: "OrderPlaced",
-    orderId: s.m(DcbTag$Reventless.string)
+    orderId: s.m(DcbTag$Reventless.mark(OrderId$OrderingPlugin.schema))
   })),
   Sury.$schema(s => ({
     TAG: "OrderShipped",
-    orderId: s.m(DcbTag$Reventless.string)
+    orderId: s.m(DcbTag$Reventless.mark(OrderId$OrderingPlugin.schema))
   }))
 ]);
 
@@ -41,7 +42,7 @@ function collect(event, param, _ctx) {
   }
   let orderId = event.orderId;
   return [[
-      orderId,
+      OrderId$OrderingPlugin.toString(orderId),
       {
         orderId: orderId
       }
@@ -52,7 +53,7 @@ function resolve(event) {
   if (event.TAG === "OrderPlaced") {
     return;
   } else {
-    return event.orderId;
+    return OrderId$OrderingPlugin.toString(event.orderId);
   }
 }
 
@@ -75,12 +76,12 @@ let FromOrderingDcb = AutomationSlice$Reventless.Mapping.Make({
 
 let mappings = [FromOrderingDcb];
 
-function process(id, _item) {
+function process(id, item) {
   return [
     id,
     {
       TAG: "ShipOrder",
-      orderId: id
+      orderId: item.orderId
     }
   ];
 }

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

@@ -0,0 +1,4 @@
+// An order's id: the partition its slices decide about, and the key of its rows.
+include Reventless.Id.Make({
+  let key = "orderId"
+})

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

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

package/lib/bs/src/Order/OutboundTranslation/SendOrderConfirmation.res

@@ -5,10 +5,10 @@
 @@reventless.spec
 
 @schema
-type consumedEvent = OrderPlaced({orderId: string, customerId: string})
+type consumedEvent = OrderPlaced({orderId: OrderId.t, customerId: CustomerId.t})
 
 @schema
-type outboundItem = {orderId: string, customerId: string}
+type outboundItem = {orderId: OrderId.t, customerId: CustomerId.t}
 
 @schema
 type inboundCommand = unit

package/lib/bs/src/Order/OutboundTranslation/SendOrderConfirmation.res.mjs

@@ -2,16 +2,18 @@
 
 import * as Sury from "sury";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+import * as OrderId$OrderingPlugin from "../OrderId.res.mjs";
+import * as CustomerId$OrderingPlugin from "../../Customer/CustomerId.res.mjs";
 
 let consumedEventSchema = Sury.$schema(s => ({
   TAG: "OrderPlaced",
-  orderId: s.m(DcbTag$Reventless.string),
-  customerId: s.m(DcbTag$Reventless.string)
+  orderId: s.m(DcbTag$Reventless.mark(OrderId$OrderingPlugin.schema)),
+  customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema))
 }));
 
 let outboundItemSchema = Sury.$schema(s => ({
-  orderId: s.m(Sury.string),
-  customerId: s.m(Sury.string)
+  orderId: s.m(OrderId$OrderingPlugin.schema),
+  customerId: s.m(CustomerId$OrderingPlugin.schema)
 }));
 
 let inboundCommandSchema = Sury.$unit;

package/lib/bs/src/Order/OutboundTranslation/SendOrderConfirmation_Translation.res

@@ -3,14 +3,17 @@
 // `orderId` is in the payload, so the envelope id adds nothing here.
 let collect = (event, ~sourceId as _) =>
   switch event {
-  | OrderPlaced({orderId, customerId}) => [(orderId, {orderId, customerId})]
+  | OrderPlaced({orderId, customerId}) => [(orderId->OrderId.toString, {orderId, customerId})]
   }
 
 // This slice calls a service the framework does not broker, so it reaches its
 // mailer directly and ignores the injected capabilities.
 let translate = async (_id, item, ~capabilities as _) => {
   try {
-    await EmailService.sendOrderConfirmation(~email=item.customerId, ~orderId=item.orderId)
+    await EmailService.sendOrderConfirmation(
+      ~email=item.customerId->CustomerId.toString,
+      ~orderId=item.orderId->OrderId.toString,
+    )
     Ok(None)
   } catch {
   | exn =>

package/lib/bs/src/Order/OutboundTranslation/SendOrderConfirmation_Translation.res.mjs

@@ -3,12 +3,14 @@
 import * as Stdlib_JsExn from "@rescript/runtime/lib/es6/Stdlib_JsExn.js";
 import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
 import * as Primitive_exceptions from "@rescript/runtime/lib/es6/Primitive_exceptions.js";
+import * as OrderId$OrderingPlugin from "../OrderId.res.mjs";
+import * as CustomerId$OrderingPlugin from "../../Customer/CustomerId.res.mjs";
 import * as EmailService$OrderingPlugin from "../../Service/EmailService.res.mjs";
 
 function collect(event, param) {
   let orderId = event.orderId;
   return [[
-      orderId,
+      OrderId$OrderingPlugin.toString(orderId),
       {
         orderId: orderId,
         customerId: event.customerId
@@ -18,7 +20,7 @@ function collect(event, param) {
 
 async function translate(_id, item, param) {
   try {
-    await EmailService$OrderingPlugin.sendOrderConfirmation(item.customerId, item.orderId);
+    await EmailService$OrderingPlugin.sendOrderConfirmation(CustomerId$OrderingPlugin.toString(item.customerId), OrderId$OrderingPlugin.toString(item.orderId));
     return {
       TAG: "Ok",
       _0: undefined

package/lib/bs/src/Order/StateChange/CancelOrder.res

@@ -4,12 +4,12 @@
 
 @schema
 type consumedEvent =
-  | OrderPlaced({productIds: array<string>})
+  | OrderPlaced({productIds: array<CatalogSpec.ProductId.t>})
   | OrderShipped
   | OrderCancelled
 
 @schema
-type command = CancelOrder({orderId: string})
+type command = CancelOrder({orderId: OrderId.t})
 
 @schema
 type error =
@@ -17,7 +17,7 @@ type error =
   | OrderAlreadyShipped
 
 @schema
-type event = OrderCancelled({orderId: string, productIds: array<string>})
+type event = OrderCancelled({orderId: OrderId.t, productIds: array<CatalogSpec.ProductId.t>})
 
 type lifecycleState = Orders.lifecycle
 

package/lib/bs/src/Order/StateChange/CancelOrder.res.mjs

@@ -2,11 +2,13 @@
 
 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";
+import * as OrderId$OrderingPlugin from "../OrderId.res.mjs";
 
 let consumedEventSchema = Sury.union([
   Sury.$schema(s => ({
     TAG: "OrderPlaced",
-    productIds: s.m(Sury.array(DcbTag$Reventless.stringForKey("productId")))
+    productIds: s.m(Sury.array(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema)))
   })),
   Sury.literal("OrderShipped"),
   Sury.literal("OrderCancelled")
@@ -14,7 +16,7 @@ let consumedEventSchema = Sury.union([
 
 let commandSchema = Sury.$schema(s => ({
   TAG: "CancelOrder",
-  orderId: s.m(DcbTag$Reventless.string)
+  orderId: s.m(DcbTag$Reventless.mark(OrderId$OrderingPlugin.schema))
 }));
 
 let errorSchema = Sury.union([
@@ -24,8 +26,8 @@ let errorSchema = Sury.union([
 
 let eventSchema = Sury.$schema(s => ({
   TAG: "OrderCancelled",
-  orderId: s.m(DcbTag$Reventless.string),
-  productIds: s.m(Sury.array(DcbTag$Reventless.stringForKey("productId")))
+  orderId: s.m(DcbTag$Reventless.mark(OrderId$OrderingPlugin.schema)),
+  productIds: s.m(Sury.array(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema)))
 }));
 
 function commandTransition(command) {

package/lib/bs/src/Order/StateChange/CancelOrder_Behavior.res

@@ -1,6 +1,11 @@
 @@reventless.behavior
 
-type state = {exists: bool, shipped: bool, cancelled: bool, productIds: array<string>}
+type state = {
+  exists: bool,
+  shipped: bool,
+  cancelled: bool,
+  productIds: array<CatalogSpec.ProductId.t>,
+}
 
 let initialState = {exists: false, shipped: false, cancelled: false, productIds: []}
 

package/lib/bs/src/Order/StateChange/PlaceOrder.res

@@ -6,21 +6,26 @@
 
 @schema
 type consumedEvent =
-  | OrderPlaced({orderId: string})
-  | CatalogProductSynced({productId: string})
+  | OrderPlaced({orderId: OrderId.t})
+  | CatalogProductSynced({productId: CatalogSpec.ProductId.t})
 
 @schema
 type command =
   | PlaceOrder({
-      orderId: string,
-      customerId: string,
-      @ref("AvailableProducts") productIds: array<string>,
+      orderId: OrderId.t,
+      customerId: CustomerId.t,
+      @ref("AvailableProducts") productIds: array<CatalogSpec.ProductId.t>,
     })
 
 @schema
 type error =
   | OrderAlreadyPlaced
-  | ProductsNotAvailable({missing: array<string>})
+  | ProductsNotAvailable({missing: array<CatalogSpec.ProductId.t>})
 
 @schema
-type event = OrderPlaced({orderId: string, customerId: string, productIds: array<string>})
+type event =
+  | OrderPlaced({
+      orderId: OrderId.t,
+      customerId: CustomerId.t,
+      productIds: array<CatalogSpec.ProductId.t>,
+    })

package/lib/bs/src/Order/StateChange/PlaceOrder.res.mjs

@@ -3,38 +3,41 @@
 import * as Sury from "sury";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
 import * as Reference$Reventless from "@reventlessdev/reventless-spec/src/components/Reference.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 consumedEventSchema = Sury.union([
   Sury.$schema(s => ({
     TAG: "OrderPlaced",
-    orderId: s.m(DcbTag$Reventless.string)
+    orderId: s.m(DcbTag$Reventless.mark(OrderId$OrderingPlugin.schema))
   })),
   Sury.$schema(s => ({
     TAG: "CatalogProductSynced",
-    productId: s.m(DcbTag$Reventless.string)
+    productId: s.m(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema))
   }))
 ]);
 
 let commandSchema = Sury.$schema(s => ({
   TAG: "PlaceOrder",
-  orderId: s.m(DcbTag$Reventless.string),
-  customerId: s.m(DcbTag$Reventless.string),
-  productIds: s.m(Sury.array(Reference$Reventless.to_(undefined, "productId", "AvailableProducts")))
+  orderId: s.m(DcbTag$Reventless.mark(OrderId$OrderingPlugin.schema)),
+  customerId: s.m(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema)),
+  productIds: s.m(Sury.array(Reference$Reventless.mark(ProductId$CatalogSpec.schema, undefined, undefined, "AvailableProducts")))
 }));
 
 let errorSchema = Sury.union([
   Sury.literal("OrderAlreadyPlaced"),
   Sury.$schema(s => ({
     TAG: "ProductsNotAvailable",
-    missing: s.m(Sury.array(Sury.string))
+    missing: s.m(Sury.array(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema)))
   }))
 ]);
 
 let eventSchema = 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)))
 }));
 
 function commandAuthorization(param) {

package/lib/bs/src/Order/StateChange/PlaceOrder_Behavior.res

@@ -3,7 +3,7 @@
 // Stored as immutable arrays (rather than `Set.t`) so each fold yields a fresh
 // state — `evolve` returns a new record instead of mutating a shared one. This
 // keeps successive `decide` calls (and unit tests) hermetic.
-type state = {placedOrderIds: array<string>, availableProductIds: array<string>}
+type state = {placedOrderIds: array<OrderId.t>, availableProductIds: array<CatalogSpec.ProductId.t>}
 
 let initialState = {placedOrderIds: [], availableProductIds: []}
 

package/lib/bs/src/Order/StateChange/ShipOrder.res

@@ -9,7 +9,7 @@ type consumedEvent =
   | OrderCancelled
 
 @schema
-type command = ShipOrder({orderId: string})
+type command = ShipOrder({orderId: OrderId.t})
 
 @schema
 type error =
@@ -17,7 +17,7 @@ type error =
   | OrderAlreadyCancelled
 
 @schema
-type event = OrderShipped({orderId: string})
+type event = OrderShipped({orderId: OrderId.t})
 
 type lifecycleState = Orders.lifecycle
 

package/lib/bs/src/Order/StateChange/ShipOrder.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 OrderId$OrderingPlugin from "../OrderId.res.mjs";
 
 let consumedEventSchema = Sury.union([
   Sury.literal("OrderPlaced"),
@@ -11,7 +12,7 @@ let consumedEventSchema = Sury.union([
 
 let commandSchema = Sury.$schema(s => ({
   TAG: "ShipOrder",
-  orderId: s.m(DcbTag$Reventless.string)
+  orderId: s.m(DcbTag$Reventless.mark(OrderId$OrderingPlugin.schema))
 }));
 
 let errorSchema = Sury.union([
@@ -21,7 +22,7 @@ let errorSchema = Sury.union([
 
 let eventSchema = Sury.$schema(s => ({
   TAG: "OrderShipped",
-  orderId: s.m(DcbTag$Reventless.string)
+  orderId: s.m(DcbTag$Reventless.mark(OrderId$OrderingPlugin.schema))
 }));
 
 function commandTransition(command) {