@reventlessdev/online-shop-dcb-ordering 1.0.0-alpha.103

package/lib/bs/tests/Order/StateChangeSlice/CancelOrder_GWT.res

@@ -0,0 +1,27 @@
+@@reventless.gwt
+
+describe("CancelOrder StateChangeSlice", () => {
+  test("non-existent order returns OrderNotFound", () =>
+    givenEvents([])
+    ->whenCmd(CancelOrder({orderId: "o1"}))
+    ->thenError(OrderNotFound)
+  )
+
+  test("placed order produces OrderCancelled with productIds carried over", () =>
+    givenEvents([OrderPlaced({productIds: ["p1", "p2"]})])
+    ->whenCmd(CancelOrder({orderId: "o1"}))
+    ->thenEvent(OrderCancelled({orderId: "o1", productIds: ["p1", "p2"]}))
+  )
+
+  test("already cancelled order produces no events (idempotent)", () =>
+    givenEvents([OrderPlaced({productIds: ["p1"]}), OrderCancelled])
+    ->whenCmd(CancelOrder({orderId: "o1"}))
+    ->thenNoEvent
+  )
+
+  test("shipped order returns OrderAlreadyShipped", () =>
+    givenEvents([OrderPlaced({productIds: ["p1"]}), OrderShipped])
+    ->whenCmd(CancelOrder({orderId: "o1"}))
+    ->thenError(OrderAlreadyShipped)
+  )
+})

package/lib/bs/tests/Order/StateChangeSlice/CancelOrder_GWT.res.mjs

@@ -0,0 +1,107 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Behavior_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Behavior_GWT.res.mjs";
+import * as CancelOrder$OrderingPlugin from "../../../src/Order/StateChangeSlice/CancelOrder.res.mjs";
+import * as CancelOrder_Behavior$OrderingPlugin from "../../../src/Order/StateChangeSlice/CancelOrder_Behavior.res.mjs";
+
+let include = Behavior_GWT$ReventlessGwt.Make({
+  name: CancelOrder$OrderingPlugin.name,
+  consumedEventSchema: CancelOrder$OrderingPlugin.consumedEventSchema,
+  commandSchema: CancelOrder$OrderingPlugin.commandSchema,
+  errorSchema: CancelOrder$OrderingPlugin.errorSchema,
+  eventSchema: CancelOrder$OrderingPlugin.eventSchema
+})({
+  initialState: CancelOrder_Behavior$OrderingPlugin.initialState,
+  evolve: CancelOrder_Behavior$OrderingPlugin.evolve,
+  decide: CancelOrder_Behavior$OrderingPlugin.decide
+});
+
+let describe = include.describe;
+
+let test = include.test;
+
+let givenEvents = include.givenEvents;
+
+let whenCmd = include.whenCmd;
+
+let thenEvent = include.thenEvent;
+
+let thenNoEvent = include.thenNoEvent;
+
+let thenError = include.thenError;
+
+describe("CancelOrder StateChangeSlice", () => {
+  test("non-existent order returns OrderNotFound", () => thenError(whenCmd(givenEvents([]), {
+    TAG: "CancelOrder",
+    orderId: "o1"
+  }), "OrderNotFound"));
+  test("placed order produces OrderCancelled with productIds carried over", () => thenEvent(whenCmd(givenEvents([{
+      TAG: "OrderPlaced",
+      productIds: [
+        "p1",
+        "p2"
+      ]
+    }]), {
+    TAG: "CancelOrder",
+    orderId: "o1"
+  }), {
+    TAG: "OrderCancelled",
+    orderId: "o1",
+    productIds: [
+      "p1",
+      "p2"
+    ]
+  }));
+  test("already cancelled order produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([
+    {
+      TAG: "OrderPlaced",
+      productIds: ["p1"]
+    },
+    "OrderCancelled"
+  ]), {
+    TAG: "CancelOrder",
+    orderId: "o1"
+  })));
+  test("shipped order returns OrderAlreadyShipped", () => thenError(whenCmd(givenEvents([
+    {
+      TAG: "OrderPlaced",
+      productIds: ["p1"]
+    },
+    "OrderShipped"
+  ]), {
+    TAG: "CancelOrder",
+    orderId: "o1"
+  }), "OrderAlreadyShipped"));
+});
+
+let Spec = include.Spec;
+
+let todo = include.todo;
+
+let thenEvents = include.thenEvents;
+
+let thenEventWithError = include.thenEventWithError;
+
+let thenEventsWithError = include.thenEventsWithError;
+
+let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
+
+let thenAppendsConditionedOnExactly = include.thenAppendsConditionedOnExactly;
+
+export {
+  Spec,
+  describe,
+  todo,
+  test,
+  givenEvents,
+  whenCmd,
+  thenEvent,
+  thenEvents,
+  thenNoEvent,
+  thenEventWithError,
+  thenEventsWithError,
+  thenError,
+  thenAppendsConditionedOn,
+  thenAppendsConditionedOnExactly,
+}
+/* include Not a pure module */

package/lib/bs/tests/Order/StateChangeSlice/PlaceOrder_GWT.res

@@ -0,0 +1,39 @@
+@@reventless.gwt
+
+describe("PlaceOrder StateChangeSlice", () => {
+  test("requires referenced products to be synced first", () =>
+    givenEvents([])
+    ->whenCmd(PlaceOrder({orderId: "o1", customerId: "c1", productIds: ["p1"]}))
+    ->thenError(ProductsNotAvailable({missing: ["p1"]}))
+  )
+
+  test("placement succeeds when products are available", () =>
+    givenEvents([CatalogProductSynced({productId: "p1"})])
+    ->whenCmd(PlaceOrder({orderId: "o1", customerId: "c1", productIds: ["p1"]}))
+    ->thenEvent(OrderPlaced({orderId: "o1", customerId: "c1", productIds: ["p1"]}))
+  )
+
+  test("partial product availability returns ProductsNotAvailable with missing list", () =>
+    givenEvents([CatalogProductSynced({productId: "p1"})])
+    ->whenCmd(PlaceOrder({orderId: "o1", customerId: "c1", productIds: ["p1", "p2"]}))
+    ->thenError(ProductsNotAvailable({missing: ["p2"]}))
+  )
+
+  test("re-placing the same orderId returns OrderAlreadyPlaced", () =>
+    givenEvents([
+      CatalogProductSynced({productId: "p1"}),
+      OrderPlaced({orderId: "o1"}),
+    ])
+    ->whenCmd(PlaceOrder({orderId: "o1", customerId: "c1", productIds: ["p1"]}))
+    ->thenError(OrderAlreadyPlaced)
+  )
+
+  test("a sibling OrderPlaced for a different orderId does not block placement", () =>
+    givenEvents([
+      CatalogProductSynced({productId: "p1"}),
+      OrderPlaced({orderId: "o2"}),
+    ])
+    ->whenCmd(PlaceOrder({orderId: "o1", customerId: "c1", productIds: ["p1"]}))
+    ->thenEvent(OrderPlaced({orderId: "o1", customerId: "c1", productIds: ["p1"]}))
+  )
+})

package/lib/bs/tests/Order/StateChangeSlice/PlaceOrder_GWT.res.mjs

@@ -0,0 +1,139 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as PlaceOrder$OrderingPlugin from "../../../src/Order/StateChangeSlice/PlaceOrder.res.mjs";
+import * as Behavior_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Behavior_GWT.res.mjs";
+import * as PlaceOrder_Behavior$OrderingPlugin from "../../../src/Order/StateChangeSlice/PlaceOrder_Behavior.res.mjs";
+
+let include = Behavior_GWT$ReventlessGwt.Make({
+  name: PlaceOrder$OrderingPlugin.name,
+  consumedEventSchema: PlaceOrder$OrderingPlugin.consumedEventSchema,
+  commandSchema: PlaceOrder$OrderingPlugin.commandSchema,
+  errorSchema: PlaceOrder$OrderingPlugin.errorSchema,
+  eventSchema: PlaceOrder$OrderingPlugin.eventSchema
+})({
+  initialState: PlaceOrder_Behavior$OrderingPlugin.initialState,
+  evolve: PlaceOrder_Behavior$OrderingPlugin.evolve,
+  decide: PlaceOrder_Behavior$OrderingPlugin.decide
+});
+
+let describe = include.describe;
+
+let test = include.test;
+
+let givenEvents = include.givenEvents;
+
+let whenCmd = include.whenCmd;
+
+let thenEvent = include.thenEvent;
+
+let thenError = include.thenError;
+
+describe("PlaceOrder StateChangeSlice", () => {
+  test("requires referenced products to be synced first", () => thenError(whenCmd(givenEvents([]), {
+    TAG: "PlaceOrder",
+    orderId: "o1",
+    customerId: "c1",
+    productIds: ["p1"]
+  }), {
+    TAG: "ProductsNotAvailable",
+    missing: ["p1"]
+  }));
+  test("placement succeeds when products are available", () => thenEvent(whenCmd(givenEvents([{
+      TAG: "CatalogProductSynced",
+      productId: "p1"
+    }]), {
+    TAG: "PlaceOrder",
+    orderId: "o1",
+    customerId: "c1",
+    productIds: ["p1"]
+  }), {
+    TAG: "OrderPlaced",
+    orderId: "o1",
+    customerId: "c1",
+    productIds: ["p1"]
+  }));
+  test("partial product availability returns ProductsNotAvailable with missing list", () => thenError(whenCmd(givenEvents([{
+      TAG: "CatalogProductSynced",
+      productId: "p1"
+    }]), {
+    TAG: "PlaceOrder",
+    orderId: "o1",
+    customerId: "c1",
+    productIds: [
+      "p1",
+      "p2"
+    ]
+  }), {
+    TAG: "ProductsNotAvailable",
+    missing: ["p2"]
+  }));
+  test("re-placing the same orderId returns OrderAlreadyPlaced", () => thenError(whenCmd(givenEvents([
+    {
+      TAG: "CatalogProductSynced",
+      productId: "p1"
+    },
+    {
+      TAG: "OrderPlaced",
+      orderId: "o1"
+    }
+  ]), {
+    TAG: "PlaceOrder",
+    orderId: "o1",
+    customerId: "c1",
+    productIds: ["p1"]
+  }), "OrderAlreadyPlaced"));
+  test("a sibling OrderPlaced for a different orderId does not block placement", () => thenEvent(whenCmd(givenEvents([
+    {
+      TAG: "CatalogProductSynced",
+      productId: "p1"
+    },
+    {
+      TAG: "OrderPlaced",
+      orderId: "o2"
+    }
+  ]), {
+    TAG: "PlaceOrder",
+    orderId: "o1",
+    customerId: "c1",
+    productIds: ["p1"]
+  }), {
+    TAG: "OrderPlaced",
+    orderId: "o1",
+    customerId: "c1",
+    productIds: ["p1"]
+  }));
+});
+
+let Spec = include.Spec;
+
+let todo = include.todo;
+
+let thenEvents = include.thenEvents;
+
+let thenNoEvent = include.thenNoEvent;
+
+let thenEventWithError = include.thenEventWithError;
+
+let thenEventsWithError = include.thenEventsWithError;
+
+let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
+
+let thenAppendsConditionedOnExactly = include.thenAppendsConditionedOnExactly;
+
+export {
+  Spec,
+  describe,
+  todo,
+  test,
+  givenEvents,
+  whenCmd,
+  thenEvent,
+  thenEvents,
+  thenNoEvent,
+  thenEventWithError,
+  thenEventsWithError,
+  thenError,
+  thenAppendsConditionedOn,
+  thenAppendsConditionedOnExactly,
+}
+/* include Not a pure module */

package/lib/bs/tests/Order/StateChangeSlice/ShipOrder_GWT.res

@@ -0,0 +1,27 @@
+@@reventless.gwt
+
+describe("ShipOrder StateChangeSlice", () => {
+  test("non-existent order returns OrderNotFound", () =>
+    givenEvents([])
+    ->whenCmd(ShipOrder({orderId: "o1"}))
+    ->thenError(OrderNotFound)
+  )
+
+  test("placed order produces OrderShipped", () =>
+    givenEvents([OrderPlaced])
+    ->whenCmd(ShipOrder({orderId: "o1"}))
+    ->thenEvent(OrderShipped({orderId: "o1"}))
+  )
+
+  test("already shipped order produces no events (idempotent)", () =>
+    givenEvents([OrderPlaced, OrderShipped])
+    ->whenCmd(ShipOrder({orderId: "o1"}))
+    ->thenNoEvent
+  )
+
+  test("cancelled order returns OrderAlreadyCancelled", () =>
+    givenEvents([OrderPlaced, OrderCancelled])
+    ->whenCmd(ShipOrder({orderId: "o1"}))
+    ->thenError(OrderAlreadyCancelled)
+  )
+})

package/lib/bs/tests/Order/StateChangeSlice/ShipOrder_GWT.res.mjs

@@ -0,0 +1,91 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as ShipOrder$OrderingPlugin from "../../../src/Order/StateChangeSlice/ShipOrder.res.mjs";
+import * as Behavior_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Behavior_GWT.res.mjs";
+import * as ShipOrder_Behavior$OrderingPlugin from "../../../src/Order/StateChangeSlice/ShipOrder_Behavior.res.mjs";
+
+let include = Behavior_GWT$ReventlessGwt.Make({
+  name: ShipOrder$OrderingPlugin.name,
+  consumedEventSchema: ShipOrder$OrderingPlugin.consumedEventSchema,
+  commandSchema: ShipOrder$OrderingPlugin.commandSchema,
+  errorSchema: ShipOrder$OrderingPlugin.errorSchema,
+  eventSchema: ShipOrder$OrderingPlugin.eventSchema
+})({
+  initialState: ShipOrder_Behavior$OrderingPlugin.initialState,
+  evolve: ShipOrder_Behavior$OrderingPlugin.evolve,
+  decide: ShipOrder_Behavior$OrderingPlugin.decide
+});
+
+let describe = include.describe;
+
+let test = include.test;
+
+let givenEvents = include.givenEvents;
+
+let whenCmd = include.whenCmd;
+
+let thenEvent = include.thenEvent;
+
+let thenNoEvent = include.thenNoEvent;
+
+let thenError = include.thenError;
+
+describe("ShipOrder StateChangeSlice", () => {
+  test("non-existent order returns OrderNotFound", () => thenError(whenCmd(givenEvents([]), {
+    TAG: "ShipOrder",
+    orderId: "o1"
+  }), "OrderNotFound"));
+  test("placed order produces OrderShipped", () => thenEvent(whenCmd(givenEvents(["OrderPlaced"]), {
+    TAG: "ShipOrder",
+    orderId: "o1"
+  }), {
+    TAG: "OrderShipped",
+    orderId: "o1"
+  }));
+  test("already shipped order produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([
+    "OrderPlaced",
+    "OrderShipped"
+  ]), {
+    TAG: "ShipOrder",
+    orderId: "o1"
+  })));
+  test("cancelled order returns OrderAlreadyCancelled", () => thenError(whenCmd(givenEvents([
+    "OrderPlaced",
+    "OrderCancelled"
+  ]), {
+    TAG: "ShipOrder",
+    orderId: "o1"
+  }), "OrderAlreadyCancelled"));
+});
+
+let Spec = include.Spec;
+
+let todo = include.todo;
+
+let thenEvents = include.thenEvents;
+
+let thenEventWithError = include.thenEventWithError;
+
+let thenEventsWithError = include.thenEventsWithError;
+
+let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
+
+let thenAppendsConditionedOnExactly = include.thenAppendsConditionedOnExactly;
+
+export {
+  Spec,
+  describe,
+  todo,
+  test,
+  givenEvents,
+  whenCmd,
+  thenEvent,
+  thenEvents,
+  thenNoEvent,
+  thenEventWithError,
+  thenEventsWithError,
+  thenError,
+  thenAppendsConditionedOn,
+  thenAppendsConditionedOnExactly,
+}
+/* include Not a pure module */

package/lib/bs/tests/Order/StateViewSlice/Orders_GWT.res

@@ -0,0 +1,36 @@
+@@reventless.gwt
+
+describe("Orders StateViewSlice", () => {
+  test("OrderPlaced creates a row with status Placed", () =>
+    givenEvents([])
+    ->whenEvent(
+      OrderPlaced({orderId: "o1", customerId: "c1", productIds: ["p1", "p2"]}),
+    )
+    ->thenStateWithId(
+      "o1",
+      {orderId: "o1", customerId: "c1", productIds: ["p1", "p2"], status: Placed},
+    )
+  )
+
+  test("OrderShipped updates status to Shipped", () =>
+    givenEvents([
+      OrderPlaced({orderId: "o1", customerId: "c1", productIds: ["p1"]}),
+    ])
+    ->whenEvent(OrderShipped({orderId: "o1"}))
+    ->thenStateWithId(
+      "o1",
+      {orderId: "o1", customerId: "c1", productIds: ["p1"], status: Shipped},
+    )
+  )
+
+  test("OrderCancelled updates status to Cancelled", () =>
+    givenEvents([
+      OrderPlaced({orderId: "o1", customerId: "c1", productIds: ["p1"]}),
+    ])
+    ->whenEvent(OrderCancelled({orderId: "o1"}))
+    ->thenStateWithId(
+      "o1",
+      {orderId: "o1", customerId: "c1", productIds: ["p1"], status: Cancelled},
+    )
+  )
+})

package/lib/bs/tests/Order/StateViewSlice/Orders_GWT.res.mjs

@@ -0,0 +1,114 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Orders$OrderingPlugin from "../../../src/Order/StateViewSlice/Orders.res.mjs";
+import * as Projection_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Projection_GWT.res.mjs";
+import * as Orders_Projection$OrderingPlugin from "../../../src/Order/StateViewSlice/Orders_Projection.res.mjs";
+
+let include = Projection_GWT$ReventlessGwt.Make({
+  name: Orders$OrderingPlugin.name,
+  stateSchema: Orders$OrderingPlugin.stateSchema,
+  consumedEventSchema: Orders$OrderingPlugin.consumedEventSchema,
+  subIdConfig: undefined
+})({
+  project: Orders_Projection$OrderingPlugin.project
+});
+
+let describe = include.describe;
+
+let test = include.test;
+
+let givenEvents = include.givenEvents;
+
+let whenEvent = include.whenEvent;
+
+let thenStateWithId = include.thenStateWithId;
+
+describe("Orders StateViewSlice", () => {
+  test("OrderPlaced creates a row with status Placed", undefined, () => thenStateWithId(whenEvent(givenEvents([]), {
+    TAG: "OrderPlaced",
+    orderId: "o1",
+    customerId: "c1",
+    productIds: [
+      "p1",
+      "p2"
+    ]
+  }), "o1", {
+    orderId: "o1",
+    customerId: "c1",
+    productIds: [
+      "p1",
+      "p2"
+    ],
+    status: "Placed"
+  }));
+  test("OrderShipped updates status to Shipped", undefined, () => thenStateWithId(whenEvent(givenEvents([{
+      TAG: "OrderPlaced",
+      orderId: "o1",
+      customerId: "c1",
+      productIds: ["p1"]
+    }]), {
+    TAG: "OrderShipped",
+    orderId: "o1"
+  }), "o1", {
+    orderId: "o1",
+    customerId: "c1",
+    productIds: ["p1"],
+    status: "Shipped"
+  }));
+  test("OrderCancelled updates status to Cancelled", undefined, () => thenStateWithId(whenEvent(givenEvents([{
+      TAG: "OrderPlaced",
+      orderId: "o1",
+      customerId: "c1",
+      productIds: ["p1"]
+    }]), {
+    TAG: "OrderCancelled",
+    orderId: "o1"
+  }), "o1", {
+    orderId: "o1",
+    customerId: "c1",
+    productIds: ["p1"],
+    status: "Cancelled"
+  }));
+});
+
+let Spec = include.Spec;
+
+let describeWithId = include.describeWithId;
+
+let todo = include.todo;
+
+let whenEvents = include.whenEvents;
+
+let thenStates = include.thenStates;
+
+let thenStatesWithId = include.thenStatesWithId;
+
+let thenAllStates = include.thenAllStates;
+
+let thenState = include.thenState;
+
+let thenNoState = include.thenNoState;
+
+let thenThrow = include.thenThrow;
+
+let thenFail = include.thenFail;
+
+export {
+  Spec,
+  describe,
+  describeWithId,
+  todo,
+  test,
+  givenEvents,
+  whenEvent,
+  whenEvents,
+  thenStates,
+  thenStatesWithId,
+  thenAllStates,
+  thenState,
+  thenStateWithId,
+  thenNoState,
+  thenThrow,
+  thenFail,
+}
+/* include Not a pure module */

package/lib/ocaml/.compiler.log

@@ -0,0 +1,2 @@
+#Start(1782549921109)
+#Done(1782549923116)

package/lib/ocaml/AutoShipOrder.res

@@ -0,0 +1,19 @@
+// AutoShipOrder AutomationSlice.
+// When OrderPlaced is emitted, automatically issue a ShipOrder command.
+// Resolved when OrderShipped arrives.
+//
+// Consumed events come from per-source `Mapping.Make` modules in the sibling
+// `_Automation.res`. The framework derives the consumed-event set from each
+// mapping's `sourceEventSchema` — no manual union here.
+
+@@reventless.spec
+
+@schema
+type todoItem = {orderId: string}
+
+@schema
+type command = ShipOrder({orderId: string})
+
+let maxRetries = 3
+let heartbeatInterval = 60
+let targetName = "ShipOrder"