@reventlessdev/online-shop-aggregates-ordering 3.0.0-alpha.101

package/lib/bs/tests/Order/Aggregate/Order_GWT.res.mjs

@@ -0,0 +1,231 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Order$OrderingPlugin from "../../../src/Order/Aggregate/Order.res.mjs";
+import * as Behavior_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Behavior_GWT.res.mjs";
+import * as Order_Behavior$OrderingPlugin from "../../../src/Order/Aggregate/Order_Behavior.res.mjs";
+
+let include = Behavior_GWT$ReventlessGwt.MakeFromAggregate({
+  name: Order$OrderingPlugin.name,
+  commandSchema: Order$OrderingPlugin.commandSchema,
+  eventSchema: Order$OrderingPlugin.eventSchema,
+  errorSchema: Order$OrderingPlugin.errorSchema
+})({
+  Spec: {
+    name: Order$OrderingPlugin.name,
+    commandSchema: Order$OrderingPlugin.commandSchema,
+    eventSchema: Order$OrderingPlugin.eventSchema,
+    errorSchema: Order$OrderingPlugin.errorSchema
+  },
+  initialState: Order_Behavior$OrderingPlugin.initialState,
+  evolve: Order_Behavior$OrderingPlugin.evolve,
+  decide: Order_Behavior$OrderingPlugin.decide,
+  moduleUrl: Order_Behavior$OrderingPlugin.moduleUrl
+});
+
+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("Order Behavior", () => {
+  test("Place on new aggregate produces Placed", () => thenEvent(whenCmd(givenEvents([]), {
+    TAG: "Place",
+    customerId: "cust-1",
+    productIds: [
+      "prod-1",
+      "prod-2"
+    ]
+  }), {
+    TAG: "Placed",
+    customerId: "cust-1",
+    productIds: [
+      "prod-1",
+      "prod-2"
+    ]
+  }));
+  test("Place on existing order returns OrderAlreadyPlaced", () => thenError(whenCmd(givenEvents([{
+      TAG: "Placed",
+      customerId: "cust-1",
+      productIds: ["prod-1"]
+    }]), {
+    TAG: "Place",
+    customerId: "cust-1",
+    productIds: ["prod-1"]
+  }), "OrderAlreadyPlaced"));
+  test("Place on shipped order returns OrderAlreadyShipped", () => thenError(whenCmd(givenEvents([
+    {
+      TAG: "Placed",
+      customerId: "cust-1",
+      productIds: ["prod-1"]
+    },
+    "Shipped"
+  ]), {
+    TAG: "Place",
+    customerId: "cust-1",
+    productIds: ["prod-1"]
+  }), "OrderAlreadyShipped"));
+  test("Place on cancelled order returns OrderAlreadyCancelled", () => thenError(whenCmd(givenEvents([
+    {
+      TAG: "Placed",
+      customerId: "cust-1",
+      productIds: ["prod-1"]
+    },
+    {
+      TAG: "Cancelled",
+      productIds: ["prod-1"]
+    }
+  ]), {
+    TAG: "Place",
+    customerId: "cust-1",
+    productIds: ["prod-1"]
+  }), "OrderAlreadyCancelled"));
+  test("Ship on non-existent order returns OrderNotFound", () => thenError(whenCmd(givenEvents([]), "Ship"), "OrderNotFound"));
+  test("Ship on placed order produces Shipped", () => thenEvent(whenCmd(givenEvents([{
+      TAG: "Placed",
+      customerId: "cust-1",
+      productIds: ["prod-1"]
+    }]), "Ship"), "Shipped"));
+  test("Ship on shipped order produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([
+    {
+      TAG: "Placed",
+      customerId: "cust-1",
+      productIds: ["prod-1"]
+    },
+    "Shipped"
+  ]), "Ship")));
+  test("Ship on cancelled order returns OrderAlreadyCancelled", () => thenError(whenCmd(givenEvents([
+    {
+      TAG: "Placed",
+      customerId: "cust-1",
+      productIds: ["prod-1"]
+    },
+    {
+      TAG: "Cancelled",
+      productIds: ["prod-1"]
+    }
+  ]), "Ship"), "OrderAlreadyCancelled"));
+  test("Cancel on non-existent order returns OrderNotFound", () => thenError(whenCmd(givenEvents([]), "Cancel"), "OrderNotFound"));
+  test("Cancel on placed order produces Cancelled", () => thenEvent(whenCmd(givenEvents([{
+      TAG: "Placed",
+      customerId: "cust-1",
+      productIds: ["prod-1"]
+    }]), "Cancel"), {
+    TAG: "Cancelled",
+    productIds: ["prod-1"]
+  }));
+  test("Cancel on shipped order returns OrderAlreadyShipped", () => thenError(whenCmd(givenEvents([
+    {
+      TAG: "Placed",
+      customerId: "cust-1",
+      productIds: ["prod-1"]
+    },
+    "Shipped"
+  ]), "Cancel"), "OrderAlreadyShipped"));
+  test("Cancel on cancelled order produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([
+    {
+      TAG: "Placed",
+      customerId: "cust-1",
+      productIds: ["prod-1"]
+    },
+    {
+      TAG: "Cancelled",
+      productIds: ["prod-1"]
+    }
+  ]), "Cancel")));
+  test("Refund on non-existent order returns OrderNotFound", () => thenError(whenCmd(givenEvents([]), {
+    TAG: "Refund",
+    reason: "lost-in-transit"
+  }), "OrderNotFound"));
+  test("Refund on placed order returns OrderNotCancelled", () => thenError(whenCmd(givenEvents([{
+      TAG: "Placed",
+      customerId: "cust-1",
+      productIds: ["prod-1"]
+    }]), {
+    TAG: "Refund",
+    reason: "customer-changed-mind"
+  }), "OrderNotCancelled"));
+  test("Refund on shipped order returns OrderNotCancelled", () => thenError(whenCmd(givenEvents([
+    {
+      TAG: "Placed",
+      customerId: "cust-1",
+      productIds: ["prod-1"]
+    },
+    "Shipped"
+  ]), {
+    TAG: "Refund",
+    reason: "delivered-damaged"
+  }), "OrderNotCancelled"));
+  test("Refund on cancelled order produces Refunded", () => thenEvent(whenCmd(givenEvents([
+    {
+      TAG: "Placed",
+      customerId: "cust-1",
+      productIds: ["prod-1"]
+    },
+    {
+      TAG: "Cancelled",
+      productIds: ["prod-1"]
+    }
+  ]), {
+    TAG: "Refund",
+    reason: "customer-changed-mind"
+  }), {
+    TAG: "Refunded",
+    reason: "customer-changed-mind"
+  }));
+  test("Refund on already-refunded order produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([
+    {
+      TAG: "Placed",
+      customerId: "cust-1",
+      productIds: ["prod-1"]
+    },
+    {
+      TAG: "Cancelled",
+      productIds: ["prod-1"]
+    },
+    {
+      TAG: "Refunded",
+      reason: "customer-changed-mind"
+    }
+  ]), {
+    TAG: "Refund",
+    reason: "customer-changed-mind"
+  })));
+});
+
+let Spec = include.Spec;
+
+let thenCompareEvent = include.thenCompareEvent;
+
+let thenEventWithError = include.thenEventWithError;
+
+let thenEvents = include.thenEvents;
+
+let thenCompareEvents = include.thenCompareEvents;
+
+let thenEventsWithError = include.thenEventsWithError;
+
+export {
+  Spec,
+  describe,
+  test,
+  givenEvents,
+  whenCmd,
+  thenEvent,
+  thenCompareEvent,
+  thenNoEvent,
+  thenEventWithError,
+  thenEvents,
+  thenCompareEvents,
+  thenEventsWithError,
+  thenError,
+}
+/* include Not a pure module */

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

@@ -0,0 +1,46 @@
+@@reventless.gwt(Orders_Projections.OrderMapping)
+
+describe("Orders ReadModel ← Order", () => {
+  test("Placed sets initial read model state", () =>
+    givenEvents([])
+    ->whenEvent(Order.Placed({customerId: "cust-1", productIds: ["prod-1", "prod-2"]}))
+    ->thenState({
+      Orders.customerId: "cust-1",
+      productIds: ["prod-1", "prod-2"],
+      status: Placed,
+    })
+  )
+
+  test("Shipped updates status", () =>
+    givenEvents([Order.Placed({customerId: "cust-1", productIds: ["prod-1"]})])
+    ->whenEvent(Order.Shipped)
+    ->thenState({
+      Orders.customerId: "cust-1",
+      productIds: ["prod-1"],
+      status: Shipped,
+    })
+  )
+
+  test("Cancelled updates status", () =>
+    givenEvents([Order.Placed({customerId: "cust-1", productIds: ["prod-1"]})])
+    ->whenEvent(Order.Cancelled({productIds: ["prod-1"]}))
+    ->thenState({
+      Orders.customerId: "cust-1",
+      productIds: ["prod-1"],
+      status: Cancelled,
+    })
+  )
+
+  test("Refunded updates status", () =>
+    givenEvents([
+      Order.Placed({customerId: "cust-1", productIds: ["prod-1"]}),
+      Order.Cancelled({productIds: ["prod-1"]}),
+    ])
+    ->whenEvent(Order.Refunded({reason: "customer-changed-mind"}))
+    ->thenState({
+      Orders.customerId: "cust-1",
+      productIds: ["prod-1"],
+      status: Refunded,
+    })
+  )
+})

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

@@ -0,0 +1,118 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Orders_Projections$OrderingPlugin from "../../../src/Order/ReadModel/Orders_Projections.res.mjs";
+import * as MultiSourceProjection_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/MultiSourceProjection_GWT.res.mjs";
+
+let include = MultiSourceProjection_GWT$ReventlessGwt.Make(Orders_Projections$OrderingPlugin.OrderMapping);
+
+let describe = include.describe;
+
+let test = include.test;
+
+let givenEvents = include.givenEvents;
+
+let whenEvent = include.whenEvent;
+
+let thenState = include.thenState;
+
+describe("Orders ReadModel ← Order", () => {
+  test("Placed sets initial read model state", undefined, () => thenState(whenEvent(givenEvents([]), {
+    TAG: "Placed",
+    customerId: "cust-1",
+    productIds: [
+      "prod-1",
+      "prod-2"
+    ]
+  }), {
+    customerId: "cust-1",
+    productIds: [
+      "prod-1",
+      "prod-2"
+    ],
+    status: "Placed"
+  }));
+  test("Shipped updates status", undefined, () => thenState(whenEvent(givenEvents([{
+      TAG: "Placed",
+      customerId: "cust-1",
+      productIds: ["prod-1"]
+    }]), "Shipped"), {
+    customerId: "cust-1",
+    productIds: ["prod-1"],
+    status: "Shipped"
+  }));
+  test("Cancelled updates status", undefined, () => thenState(whenEvent(givenEvents([{
+      TAG: "Placed",
+      customerId: "cust-1",
+      productIds: ["prod-1"]
+    }]), {
+    TAG: "Cancelled",
+    productIds: ["prod-1"]
+  }), {
+    customerId: "cust-1",
+    productIds: ["prod-1"],
+    status: "Cancelled"
+  }));
+  test("Refunded updates status", undefined, () => thenState(whenEvent(givenEvents([
+    {
+      TAG: "Placed",
+      customerId: "cust-1",
+      productIds: ["prod-1"]
+    },
+    {
+      TAG: "Cancelled",
+      productIds: ["prod-1"]
+    }
+  ]), {
+    TAG: "Refunded",
+    reason: "customer-changed-mind"
+  }), {
+    customerId: "cust-1",
+    productIds: ["prod-1"],
+    status: "Refunded"
+  }));
+});
+
+let describeWithId = include.describeWithId;
+
+let givenEventsWithTime = include.givenEventsWithTime;
+
+let whenEvents = include.whenEvents;
+
+let whenEventWithTime = include.whenEventWithTime;
+
+let whenEventsWithTime = include.whenEventsWithTime;
+
+let thenStates = include.thenStates;
+
+let thenStatesWithId = include.thenStatesWithId;
+
+let thenAllStates = include.thenAllStates;
+
+let thenStateWithId = include.thenStateWithId;
+
+let thenNoState = include.thenNoState;
+
+let thenThrow = include.thenThrow;
+
+let thenFail = include.thenFail;
+
+export {
+  describe,
+  describeWithId,
+  test,
+  givenEvents,
+  givenEventsWithTime,
+  whenEvent,
+  whenEvents,
+  whenEventWithTime,
+  whenEventsWithTime,
+  thenStates,
+  thenStatesWithId,
+  thenAllStates,
+  thenState,
+  thenStateWithId,
+  thenNoState,
+  thenThrow,
+  thenFail,
+}
+/* include Not a pure module */

package/lib/bs/tests/Order/SideEffect/EmailService_Mock.res

@@ -0,0 +1,31 @@
+// Recording mock for `EmailService` (Option C of the `sideeffect-gwt` plan).
+// `install()` swaps `EmailService.current` to a backend that records every
+// call into a ref. `SideEffect_GWT` reads the recorded calls back via `mock`
+// and renders assertions against them.
+//
+// Production code never sees this file — it lives under `tests/` and only
+// loads when the test runner imports it.
+
+@schema
+type call = SendOrderConfirmation({email: string, orderId: string})
+
+let calls: ref<array<call>> = ref([])
+
+let reset = () => calls := []
+
+let recordingBackend: EmailService.backend = {
+  sendOrderConfirmation: async (~email, ~orderId) => {
+    calls := calls.contents->Array.concat([SendOrderConfirmation({email, orderId})])
+  },
+}
+
+// Swap the live backend and clear any prior recordings. Call from `beforeEach`.
+let install = () => {
+  EmailService.current := recordingBackend
+  reset()
+}
+
+let mock: ReventlessGwt.SideEffect_GWT.mock<call> = {
+  snapshot: () => calls.contents,
+  encode: c => c->S.reverseConvertToJsonOrThrow(callSchema),
+}

package/lib/bs/tests/Order/SideEffect/EmailService_Mock.res.mjs

@@ -0,0 +1,56 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+import * as EmailService$OrderingPlugin from "../../../src/Service/EmailService.res.mjs";
+
+let callSchema = S.schema(s => ({
+  TAG: "SendOrderConfirmation",
+  email: s.m(S.string),
+  orderId: s.m(S.string)
+}));
+
+let calls = {
+  contents: []
+};
+
+function reset() {
+  calls.contents = [];
+}
+
+let recordingBackend = {
+  sendOrderConfirmation: async (email, orderId) => {
+    calls.contents = calls.contents.concat([{
+        TAG: "SendOrderConfirmation",
+        email: email,
+        orderId: orderId
+      }]);
+  }
+};
+
+function install() {
+  EmailService$OrderingPlugin.current.contents = recordingBackend;
+  calls.contents = [];
+}
+
+function mock_snapshot() {
+  return calls.contents;
+}
+
+function mock_encode(c) {
+  return S.reverseConvertToJsonOrThrow(c, callSchema);
+}
+
+let mock = {
+  snapshot: mock_snapshot,
+  encode: mock_encode
+};
+
+export {
+  callSchema,
+  calls,
+  reset,
+  recordingBackend,
+  install,
+  mock,
+}
+/* callSchema Not a pure module */

package/lib/bs/tests/Order/SideEffect/Order_EmailNotification_GWT.res

@@ -0,0 +1,37 @@
+// GWT for the aggregate-style egress `Order_EmailNotification`. Mirrors the
+// hybrid example's DCB-side `SendOrderConfirmation_GWT` (OutboundTranslation).
+// The folder `SideEffect/` is what the PPX uses to infer the DSL kind.
+
+@@reventless.gwt
+
+// Each test installs the recording backend at the start of its pipeline; the
+// install also resets the recorded-calls ref, so tests stay isolated without
+// pulling rescript-jest's `beforeEach` into the example's dependencies.
+
+describe("Order_EmailNotification SideEffect", () => {
+  test("Placed triggers a confirmation email", () => {
+    EmailService_Mock.install()
+    givenEventForId(
+      Order.Id.makeFromString("o1"),
+      Order.Placed({customerId: "alice@example.com", productIds: ["p1"]}),
+    )
+    ->whenExecuted(EmailService_Mock.mock)
+    ->thenExternalCalls([
+      EmailService_Mock.SendOrderConfirmation({email: "alice@example.com", orderId: "o1"}),
+    ])
+  })
+
+  test("Shipped is a no-op", () => {
+    EmailService_Mock.install()
+    givenEvent(Order.Shipped)
+    ->whenExecuted(EmailService_Mock.mock)
+    ->thenNoExternalCalls
+  })
+
+  test("Cancelled is a no-op", () => {
+    EmailService_Mock.install()
+    givenEvent(Order.Cancelled({productIds: ["p1"]}))
+    ->whenExecuted(EmailService_Mock.mock)
+    ->thenNoExternalCalls
+  })
+})

package/lib/bs/tests/Order/SideEffect/Order_EmailNotification_GWT.res.mjs

@@ -0,0 +1,76 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
+import * as SideEffect_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/SideEffect_GWT.res.mjs";
+import * as EmailService_Mock$OrderingPlugin from "./EmailService_Mock.res.mjs";
+import * as Order_EmailNotification$OrderingPlugin from "../../../src/Order/SideEffect/Order_EmailNotification.res.mjs";
+
+let include = SideEffect_GWT$ReventlessGwt.Make({
+  Source: {
+    name: Order_EmailNotification$OrderingPlugin.Source.name,
+    Id: Id$Reventless.$$String,
+    eventSchema: Order_EmailNotification$OrderingPlugin.Source.eventSchema
+  },
+  moduleUrl: Order_EmailNotification$OrderingPlugin.moduleUrl,
+  execute: Order_EmailNotification$OrderingPlugin.execute
+});
+
+let describe = include.describe;
+
+let test = include.test;
+
+let givenEvent = include.givenEvent;
+
+let givenEventForId = include.givenEventForId;
+
+let whenExecuted = include.whenExecuted;
+
+let thenNoExternalCalls = include.thenNoExternalCalls;
+
+let thenExternalCalls = include.thenExternalCalls;
+
+describe("Order_EmailNotification SideEffect", () => {
+  test("Placed triggers a confirmation email", undefined, () => {
+    EmailService_Mock$OrderingPlugin.install();
+    return thenExternalCalls(whenExecuted(givenEventForId(Id$Reventless.$$String.makeFromString("o1"), {
+      TAG: "Placed",
+      customerId: "alice@example.com",
+      productIds: ["p1"]
+    }), EmailService_Mock$OrderingPlugin.mock, undefined), [{
+        TAG: "SendOrderConfirmation",
+        email: "alice@example.com",
+        orderId: "o1"
+      }]);
+  });
+  test("Shipped is a no-op", undefined, () => {
+    EmailService_Mock$OrderingPlugin.install();
+    return thenNoExternalCalls(whenExecuted(givenEvent("Shipped"), EmailService_Mock$OrderingPlugin.mock, undefined));
+  });
+  test("Cancelled is a no-op", undefined, () => {
+    EmailService_Mock$OrderingPlugin.install();
+    return thenNoExternalCalls(whenExecuted(givenEvent({
+      TAG: "Cancelled",
+      productIds: ["p1"]
+    }), EmailService_Mock$OrderingPlugin.mock, undefined));
+  });
+});
+
+let SE = include.SE;
+
+let givenMeta = include.givenMeta;
+
+let thenExternalCallCount = include.thenExternalCallCount;
+
+export {
+  SE,
+  describe,
+  test,
+  givenEvent,
+  givenEventForId,
+  givenMeta,
+  whenExecuted,
+  thenNoExternalCalls,
+  thenExternalCalls,
+  thenExternalCallCount,
+}
+/* include Not a pure module */

package/lib/ocaml/.compiler.log

@@ -0,0 +1,2 @@
+#Start(1782549919675)
+#Done(1782549921006)

package/lib/ocaml/AvailableProducts.res

@@ -0,0 +1,13 @@
+// AvailableProducts read model specification.
+// Answers "which products can I order?" directly from the Ordering plugin —
+// a denormalised mirror of Catalog.Products kept locally so Ordering doesn't
+// need a cross-plugin call on every place-order request. Hidden from AutoUI
+// because the user-facing product list lives in the Catalog plugin; this one
+// exists purely as a lookup target.
+
+@@reventless.spec
+@@reventless.visibility(Internal)
+
+@schema
+type state = {name: string, price: float}
+

package/lib/ocaml/AvailableProducts_GWT.res

@@ -0,0 +1,15 @@
+@@reventless.gwt(AvailableProducts_Projections.CatalogProductMapping)
+
+describe("AvailableProducts ReadModel ← CatalogProduct", () => {
+  test("Synced sets initial read model state", () =>
+    givenEvents([])
+    ->whenEvent(CatalogProduct.Synced({name: "Laptop", price: 999.99}))
+    ->thenState({AvailableProducts.name: "Laptop", price: 999.99})
+  )
+
+  test("PriceUpdated updates the price", () =>
+    givenEvents([CatalogProduct.Synced({name: "Laptop", price: 999.99})])
+    ->whenEvent(CatalogProduct.PriceUpdated({price: 899.99}))
+    ->thenState({AvailableProducts.name: "Laptop", price: 899.99})
+  )
+})