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

package/lib/bs/src/Order/SideEffect/Order_EmailNotification.res.mjs

@@ -0,0 +1,34 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
+import * as Order$OrderingPlugin from "../Aggregate/Order.res.mjs";
+import * as EmailService$OrderingPlugin from "../../Service/EmailService.res.mjs";
+
+let Source = {
+  name: Order$OrderingPlugin.name,
+  Id: undefined,
+  eventSchema: Order$OrderingPlugin.eventSchema
+};
+
+async function execute(orderId, _meta, event, _queryEngine) {
+  if (typeof event !== "object" || event.TAG !== "Placed") {
+    return;
+  } else {
+    return await EmailService$OrderingPlugin.sendOrderConfirmation(event.customerId, Id$Reventless.$$String.toString(orderId));
+  }
+}
+
+let name = "Order_EmailNotification";
+
+let Id;
+
+let moduleUrl = "@reventlessdev/online-shop-aggregates-ordering/src/Order/SideEffect/Order_EmailNotification.res.mjs";
+
+export {
+  name,
+  Id,
+  Source,
+  execute,
+  moduleUrl,
+}
+/* Id-Reventless Not a pure module */

package/lib/bs/src/Plugin.res

@@ -0,0 +1,65 @@
+// AUTO-GENERATED — do not edit. Run `npm run generate` to update.
+
+@val external uiBundleUrl: option<string> = "process.env.ORDERING_UI_BUNDLE_URL"
+
+module Make = (Platform: ReventlessInfra.Platform.T) => {
+  // Aggregates
+  module CatalogProductAggregate = Platform.Aggregate.Make(
+    CatalogProduct,
+    CatalogProduct_Behavior,
+    ReventlessInfra.NoEventMappings.Make(CatalogProduct),
+  )
+  module CustomerAggregate = Platform.Aggregate.Make(
+    Customer,
+    Customer_Behavior,
+    ReventlessInfra.NoEventMappings.Make(Customer),
+  )
+  module OrderAggregate = Platform.Aggregate.Make(
+    Order,
+    Order_Behavior,
+    Order_Mappings,
+  )
+
+  // ReadModels
+  module AvailableProductsReadModel = Platform.ReadModel.Make(AvailableProducts, AvailableProducts_Projections)
+  module CustomersReadModel = Platform.ReadModel.Make(Customers, Customers_Projections)
+  module OrdersReadModel = Platform.ReadModel.Make(Orders, Orders_Projections)
+
+  // Tasks
+  module OrderNotificationsTask = Platform.Task.Make(OrderNotifications)
+
+  // ExtensionPoints
+  module Orders_ExtensionPoint = Platform.ExtensionPoint.Make(Orders_ExtensionPointMapping)
+
+  // Extensions
+  module Products_Extension = Platform.Extension.Make(Products_Extension.Mapping)
+
+  let pluginStructure = Platform.Plugin.makePluginDefinition(
+    ~name="Ordering",
+    ~aggregates=[module(CatalogProductAggregate), module(CustomerAggregate), module(OrderAggregate)],
+    ~readModels=[module(AvailableProductsReadModel), module(CustomersReadModel), module(OrdersReadModel)],
+    ~extensions=[module(Products_Extension)],
+    ~extensionPoints=[module(Orders_ExtensionPointMapping)],
+  )
+
+  let make = () =>
+    Platform.Plugin.make(
+      ~name="Ordering",
+      ~heartbeatInterval=5,
+      ~extensionPoints=[module(Orders_ExtensionPoint)],
+      ~extensions=[module(Products_Extension)],
+      ~aggregates=[module(CatalogProductAggregate), module(CustomerAggregate), module(OrderAggregate)],
+      ~readModels=[module(AvailableProductsReadModel), module(CustomersReadModel), module(OrdersReadModel)],
+      ~tasks=[module(OrderNotificationsTask)],
+      ~pluginStructure=pluginStructure,
+      ~uiFragments=?uiBundleUrl->Option.map(url =>
+        Platform.Plugin.makeAutoUIManifest(
+          ~remoteEntryUrl=url,
+          ~name="Ordering",
+          ~pluginStructure,
+          ~readModelPositions=["platform-summary"],
+          ~aggregatePositions=["resource-detail"],
+        )
+      ),
+    )
+}

package/lib/bs/src/Plugin.res.mjs

@@ -0,0 +1,223 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
+import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
+import * as Order$OrderingPlugin from "./Order/Aggregate/Order.res.mjs";
+import * as Orders$OrderingPlugin from "./Order/ReadModel/Orders.res.mjs";
+import * as Customer$OrderingPlugin from "./Customer/Aggregate/Customer.res.mjs";
+import * as Customers$OrderingPlugin from "./Customer/ReadModel/Customers.res.mjs";
+import * as CatalogProduct$OrderingPlugin from "./CatalogProduct/Aggregate/CatalogProduct.res.mjs";
+import * as Order_Behavior$OrderingPlugin from "./Order/Aggregate/Order_Behavior.res.mjs";
+import * as Order_Mappings$OrderingPlugin from "./Order/Aggregate/Order_Mappings.res.mjs";
+import * as NoEventMappings$ReventlessInfra from "@reventlessdev/reventless-infra/src/types/NoEventMappings.res.mjs";
+import * as AvailableProducts$OrderingPlugin from "./CatalogProduct/ReadModel/AvailableProducts.res.mjs";
+import * as Customer_Behavior$OrderingPlugin from "./Customer/Aggregate/Customer_Behavior.res.mjs";
+import * as OrderNotifications$OrderingPlugin from "./Task/OrderNotifications.res.mjs";
+import * as Orders_Projections$OrderingPlugin from "./Order/ReadModel/Orders_Projections.res.mjs";
+import * as Products_Extension$OrderingPlugin from "./Extension/Products_Extension.res.mjs";
+import * as Orders_ExtensionPoint$OrderingSpec from "@reventlessdev/online-shop-aggregates-ordering-spec/src/Orders_ExtensionPoint.res.mjs";
+import * as Products_ExtensionPoint$CatalogSpec from "@reventlessdev/online-shop-aggregates-catalog-spec/src/Products_ExtensionPoint.res.mjs";
+import * as Customers_Projections$OrderingPlugin from "./Customer/ReadModel/Customers_Projections.res.mjs";
+import * as CatalogProduct_Behavior$OrderingPlugin from "./CatalogProduct/Aggregate/CatalogProduct_Behavior.res.mjs";
+import * as Orders_ExtensionPointMapping$OrderingPlugin from "./ExtensionPoint/Orders_ExtensionPointMapping.res.mjs";
+import * as AvailableProducts_Projections$OrderingPlugin from "./CatalogProduct/ReadModel/AvailableProducts_Projections.res.mjs";
+
+function Make(Platform) {
+  let CatalogProductAggregate = Platform.Aggregate.Make({
+    Id: Id$Reventless.$$String,
+    name: CatalogProduct$OrderingPlugin.name,
+    eventSchema: CatalogProduct$OrderingPlugin.eventSchema,
+    errorSchema: CatalogProduct$OrderingPlugin.errorSchema,
+    commandSchema: CatalogProduct$OrderingPlugin.commandSchema,
+    moduleUrl: CatalogProduct$OrderingPlugin.moduleUrl,
+    commandAuthorization: CatalogProduct$OrderingPlugin.commandAuthorization
+  })({
+    initialState: CatalogProduct_Behavior$OrderingPlugin.initialState,
+    evolve: CatalogProduct_Behavior$OrderingPlugin.evolve,
+    decide: CatalogProduct_Behavior$OrderingPlugin.decide,
+    moduleUrl: CatalogProduct_Behavior$OrderingPlugin.moduleUrl
+  })(NoEventMappings$ReventlessInfra.Make({
+    name: CatalogProduct$OrderingPlugin.name,
+    Id: Id$Reventless.$$String,
+    commandSchema: CatalogProduct$OrderingPlugin.commandSchema
+  }));
+  let CustomerAggregate = Platform.Aggregate.Make({
+    Id: Id$Reventless.$$String,
+    name: Customer$OrderingPlugin.name,
+    eventSchema: Customer$OrderingPlugin.eventSchema,
+    errorSchema: Customer$OrderingPlugin.errorSchema,
+    commandSchema: Customer$OrderingPlugin.commandSchema,
+    moduleUrl: Customer$OrderingPlugin.moduleUrl,
+    commandAuthorization: Customer$OrderingPlugin.commandAuthorization
+  })({
+    initialState: Customer_Behavior$OrderingPlugin.initialState,
+    evolve: Customer_Behavior$OrderingPlugin.evolve,
+    decide: Customer_Behavior$OrderingPlugin.decide,
+    moduleUrl: Customer_Behavior$OrderingPlugin.moduleUrl
+  })(NoEventMappings$ReventlessInfra.Make({
+    name: Customer$OrderingPlugin.name,
+    Id: Id$Reventless.$$String,
+    commandSchema: Customer$OrderingPlugin.commandSchema
+  }));
+  let OrderAggregate = Platform.Aggregate.Make({
+    Id: Id$Reventless.$$String,
+    name: Order$OrderingPlugin.name,
+    eventSchema: Order$OrderingPlugin.eventSchema,
+    errorSchema: Order$OrderingPlugin.errorSchema,
+    commandSchema: Order$OrderingPlugin.commandSchema,
+    moduleUrl: Order$OrderingPlugin.moduleUrl,
+    commandAuthorization: Order$OrderingPlugin.commandAuthorization
+  })({
+    initialState: Order_Behavior$OrderingPlugin.initialState,
+    evolve: Order_Behavior$OrderingPlugin.evolve,
+    decide: Order_Behavior$OrderingPlugin.decide,
+    moduleUrl: Order_Behavior$OrderingPlugin.moduleUrl
+  })({
+    moduleUrl: Order_Mappings$OrderingPlugin.moduleUrl,
+    mappings: Order_Mappings$OrderingPlugin.mappings,
+    counter: undefined
+  });
+  let AvailableProductsReadModel = Platform.ReadModel.Make({
+    Id: Id$Reventless.$$String,
+    name: AvailableProducts$OrderingPlugin.name,
+    moduleUrl: AvailableProducts$OrderingPlugin.moduleUrl,
+    stateSchema: AvailableProducts$OrderingPlugin.stateSchema,
+    config: AvailableProducts$OrderingPlugin.config,
+    subIdConfig: undefined,
+    authorization: AvailableProducts$OrderingPlugin.authorization,
+    visibility: AvailableProducts$OrderingPlugin.visibility
+  })({
+    moduleUrl: AvailableProducts_Projections$OrderingPlugin.moduleUrl,
+    mappings: AvailableProducts_Projections$OrderingPlugin.mappings
+  });
+  let CustomersReadModel = Platform.ReadModel.Make({
+    Id: Id$Reventless.$$String,
+    name: Customers$OrderingPlugin.name,
+    moduleUrl: Customers$OrderingPlugin.moduleUrl,
+    stateSchema: Customers$OrderingPlugin.stateSchema,
+    config: Customers$OrderingPlugin.config,
+    subIdConfig: undefined,
+    authorization: Customers$OrderingPlugin.authorization,
+    visibility: Customers$OrderingPlugin.visibility
+  })({
+    moduleUrl: Customers_Projections$OrderingPlugin.moduleUrl,
+    mappings: Customers_Projections$OrderingPlugin.mappings
+  });
+  let OrdersReadModel = Platform.ReadModel.Make({
+    Id: Id$Reventless.$$String,
+    name: Orders$OrderingPlugin.name,
+    moduleUrl: Orders$OrderingPlugin.moduleUrl,
+    stateSchema: Orders$OrderingPlugin.stateSchema,
+    config: Orders$OrderingPlugin.config,
+    subIdConfig: undefined,
+    authorization: Orders$OrderingPlugin.authorization,
+    visibility: Orders$OrderingPlugin.visibility
+  })({
+    moduleUrl: Orders_Projections$OrderingPlugin.moduleUrl,
+    mappings: Orders_Projections$OrderingPlugin.mappings
+  });
+  let OrderNotificationsTask = Platform.Task.Make({
+    name: OrderNotifications$OrderingPlugin.name,
+    moduleUrl: OrderNotifications$OrderingPlugin.moduleUrl,
+    setup: OrderNotifications$OrderingPlugin.setup
+  });
+  let Orders_ExtensionPoint = Platform.ExtensionPoint.Make({
+    ExtensionPoint: {
+      name: Orders_ExtensionPoint$OrderingSpec.name,
+      moduleUrl: Orders_ExtensionPoint$OrderingSpec.moduleUrl,
+      commandSchema: Orders_ExtensionPoint$OrderingSpec.commandSchema,
+      eventSchema: Orders_ExtensionPoint$OrderingSpec.eventSchema,
+      directiveSchema: Orders_ExtensionPoint$OrderingSpec.directiveSchema
+    },
+    Delegate: {
+      Id: Id$Reventless.$$String,
+      name: Order$OrderingPlugin.name,
+      eventSchema: Order$OrderingPlugin.eventSchema,
+      errorSchema: Order$OrderingPlugin.errorSchema,
+      commandSchema: Order$OrderingPlugin.commandSchema,
+      moduleUrl: Order$OrderingPlugin.moduleUrl,
+      commandAuthorization: Order$OrderingPlugin.commandAuthorization
+    },
+    moduleUrl: Orders_ExtensionPointMapping$OrderingPlugin.moduleUrl,
+    mapIncomingCommand: Orders_ExtensionPointMapping$OrderingPlugin.mapIncomingCommand,
+    mapOutgoingEvent: Orders_ExtensionPointMapping$OrderingPlugin.mapOutgoingEvent
+  });
+  let Products_Extension = Platform.Extension.Make({
+    ExtensionPoint: {
+      name: Products_ExtensionPoint$CatalogSpec.name,
+      moduleUrl: Products_ExtensionPoint$CatalogSpec.moduleUrl,
+      commandSchema: Products_ExtensionPoint$CatalogSpec.commandSchema,
+      eventSchema: Products_ExtensionPoint$CatalogSpec.eventSchema,
+      directiveSchema: Products_ExtensionPoint$CatalogSpec.directiveSchema
+    },
+    Delegate: {
+      Id: Id$Reventless.$$String,
+      name: CatalogProduct$OrderingPlugin.name,
+      eventSchema: CatalogProduct$OrderingPlugin.eventSchema,
+      errorSchema: CatalogProduct$OrderingPlugin.errorSchema,
+      commandSchema: CatalogProduct$OrderingPlugin.commandSchema,
+      moduleUrl: CatalogProduct$OrderingPlugin.moduleUrl,
+      commandAuthorization: CatalogProduct$OrderingPlugin.commandAuthorization
+    },
+    moduleUrl: Products_Extension$OrderingPlugin.Mapping.moduleUrl,
+    delegateModuleUrl: Products_Extension$OrderingPlugin.Mapping.delegateModuleUrl,
+    mapIncomingEvent: Products_Extension$OrderingPlugin.Mapping.mapIncomingEvent,
+    mapOutgoingEvent: Products_Extension$OrderingPlugin.Mapping.mapOutgoingEvent
+  });
+  let pluginStructure = Platform.Plugin.makePluginDefinition("Ordering", [
+    CatalogProductAggregate,
+    CustomerAggregate,
+    OrderAggregate
+  ], [
+    AvailableProductsReadModel,
+    CustomersReadModel,
+    OrdersReadModel
+  ], undefined, undefined, undefined, undefined, undefined, [Products_Extension], [{
+      ExtensionPoint: {
+        name: Orders_ExtensionPoint$OrderingSpec.name,
+        moduleUrl: Orders_ExtensionPoint$OrderingSpec.moduleUrl,
+        commandSchema: Orders_ExtensionPoint$OrderingSpec.commandSchema,
+        eventSchema: Orders_ExtensionPoint$OrderingSpec.eventSchema,
+        directiveSchema: Orders_ExtensionPoint$OrderingSpec.directiveSchema
+      },
+      Delegate: {
+        Id: Id$Reventless.$$String,
+        name: Order$OrderingPlugin.name,
+        eventSchema: Order$OrderingPlugin.eventSchema,
+        errorSchema: Order$OrderingPlugin.errorSchema,
+        commandSchema: Order$OrderingPlugin.commandSchema,
+        moduleUrl: Order$OrderingPlugin.moduleUrl,
+        commandAuthorization: Order$OrderingPlugin.commandAuthorization
+      },
+      moduleUrl: Orders_ExtensionPointMapping$OrderingPlugin.moduleUrl,
+      mapIncomingCommand: Orders_ExtensionPointMapping$OrderingPlugin.mapIncomingCommand,
+      mapOutgoingEvent: Orders_ExtensionPointMapping$OrderingPlugin.mapOutgoingEvent
+    }]);
+  let make = () => Platform.Plugin.make("Ordering", 5, [Orders_ExtensionPoint], [Products_Extension], [
+    CatalogProductAggregate,
+    CustomerAggregate,
+    OrderAggregate
+  ], [
+    AvailableProductsReadModel,
+    CustomersReadModel,
+    OrdersReadModel
+  ], [OrderNotificationsTask], undefined, undefined, undefined, undefined, undefined, Stdlib_Option.map(process.env.ORDERING_UI_BUNDLE_URL, url => Platform.Plugin.makeAutoUIManifest(url, "Ordering", pluginStructure, ["platform-summary"], ["resource-detail"])), pluginStructure, undefined);
+  return {
+    CatalogProductAggregate: CatalogProductAggregate,
+    CustomerAggregate: CustomerAggregate,
+    OrderAggregate: OrderAggregate,
+    AvailableProductsReadModel: AvailableProductsReadModel,
+    CustomersReadModel: CustomersReadModel,
+    OrdersReadModel: OrdersReadModel,
+    OrderNotificationsTask: OrderNotificationsTask,
+    Orders_ExtensionPoint: Orders_ExtensionPoint,
+    Products_Extension: Products_Extension,
+    pluginStructure: pluginStructure,
+    make: make
+  };
+}
+
+export {
+  Make,
+}
+/* Id-Reventless Not a pure module */

package/lib/bs/src/Service/EmailService.res

@@ -0,0 +1,22 @@
+// Stub email service for the example.
+//
+// The implementation goes through a `ref`-held `backend` so that tests can
+// install a recording mock (see `EmailService_Mock.res` next to the GWT files
+// — Option C of the `sideeffect-gwt` plan). Production code still calls
+// `EmailService.sendOrderConfirmation(...)` directly; the indirection is
+// invisible at the call site.
+
+type backend = {
+  sendOrderConfirmation: (~email: string, ~orderId: string) => promise<unit>,
+}
+
+let liveBackend: backend = {
+  sendOrderConfirmation: async (~email as _, ~orderId as _) => {
+    Console.log("[EmailService] Order confirmation sent")
+  },
+}
+
+let current = ref(liveBackend)
+
+let sendOrderConfirmation = (~email, ~orderId) =>
+  current.contents.sendOrderConfirmation(~email, ~orderId)

package/lib/bs/src/Service/EmailService.res.mjs

@@ -0,0 +1,23 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+
+let liveBackend = {
+  sendOrderConfirmation: async (param, param$1) => {
+    console.log("[EmailService] Order confirmation sent");
+  }
+};
+
+let current = {
+  contents: liveBackend
+};
+
+function sendOrderConfirmation(email, orderId) {
+  return current.contents.sendOrderConfirmation(email, orderId);
+}
+
+export {
+  liveBackend,
+  current,
+  sendOrderConfirmation,
+}
+/* No side effect */

package/lib/bs/src/Task/OrderNotifications.res

@@ -0,0 +1,8 @@
+// Order notification task — hosts side effects for the Order aggregate.
+// Sends email confirmations when orders are placed.
+
+@@reventless.task
+
+let setup = (_queryEngine, _queryBucketName, _opts) => {
+  Task.sideEffects: [module(Order_EmailNotification): module(SideEffect.T)],
+}

package/lib/bs/src/Task/OrderNotifications.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";
+import * as Order_EmailNotification$OrderingPlugin from "../Order/SideEffect/Order_EmailNotification.res.mjs";
+
+function setup(_queryEngine, _queryBucketName, _opts) {
+  return {
+    sideEffects: [{
+        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 name = "OrderNotifications";
+
+let moduleUrl = "@reventlessdev/online-shop-aggregates-ordering/src/Task/OrderNotifications.res.mjs";
+
+export {
+  name,
+  setup,
+  moduleUrl,
+}
+/* Id-Reventless Not a pure module */

package/lib/bs/tests/CatalogProduct/Aggregate/CatalogProduct_GWT.res

@@ -0,0 +1,27 @@
+@@reventless.gwt
+
+describe("CatalogProduct Behavior", () => {
+  test("Sync on new aggregate produces Synced", () =>
+    givenEvents([])
+    ->whenCmd(Sync({name: "Laptop", price: 999.99}))
+    ->thenEvent(Synced({name: "Laptop", price: 999.99}))
+  )
+
+  test("Sync on already-synced aggregate produces no events (idempotent)", () =>
+    givenEvents([Synced({name: "Laptop", price: 999.99})])
+    ->whenCmd(Sync({name: "Laptop", price: 999.99}))
+    ->thenNoEvent
+  )
+
+  test("UpdatePrice on never-synced aggregate produces no events (idempotent)", () =>
+    givenEvents([])
+    ->whenCmd(UpdatePrice({price: 1.0}))
+    ->thenNoEvent
+  )
+
+  test("UpdatePrice on synced aggregate produces PriceUpdated", () =>
+    givenEvents([Synced({name: "Laptop", price: 999.99})])
+    ->whenCmd(UpdatePrice({price: 899.99}))
+    ->thenEvent(PriceUpdated({price: 899.99}))
+  )
+})

package/lib/bs/tests/CatalogProduct/Aggregate/CatalogProduct_GWT.res.mjs

@@ -0,0 +1,102 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Behavior_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Behavior_GWT.res.mjs";
+import * as CatalogProduct$OrderingPlugin from "../../../src/CatalogProduct/Aggregate/CatalogProduct.res.mjs";
+import * as CatalogProduct_Behavior$OrderingPlugin from "../../../src/CatalogProduct/Aggregate/CatalogProduct_Behavior.res.mjs";
+
+let include = Behavior_GWT$ReventlessGwt.MakeFromAggregate({
+  name: CatalogProduct$OrderingPlugin.name,
+  commandSchema: CatalogProduct$OrderingPlugin.commandSchema,
+  eventSchema: CatalogProduct$OrderingPlugin.eventSchema,
+  errorSchema: CatalogProduct$OrderingPlugin.errorSchema
+})({
+  Spec: {
+    name: CatalogProduct$OrderingPlugin.name,
+    commandSchema: CatalogProduct$OrderingPlugin.commandSchema,
+    eventSchema: CatalogProduct$OrderingPlugin.eventSchema,
+    errorSchema: CatalogProduct$OrderingPlugin.errorSchema
+  },
+  initialState: CatalogProduct_Behavior$OrderingPlugin.initialState,
+  evolve: CatalogProduct_Behavior$OrderingPlugin.evolve,
+  decide: CatalogProduct_Behavior$OrderingPlugin.decide,
+  moduleUrl: CatalogProduct_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;
+
+describe("CatalogProduct Behavior", () => {
+  test("Sync on new aggregate produces Synced", () => thenEvent(whenCmd(givenEvents([]), {
+    TAG: "Sync",
+    name: "Laptop",
+    price: 999.99
+  }), {
+    TAG: "Synced",
+    name: "Laptop",
+    price: 999.99
+  }));
+  test("Sync on already-synced aggregate produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([{
+      TAG: "Synced",
+      name: "Laptop",
+      price: 999.99
+    }]), {
+    TAG: "Sync",
+    name: "Laptop",
+    price: 999.99
+  })));
+  test("UpdatePrice on never-synced aggregate produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([]), {
+    TAG: "UpdatePrice",
+    price: 1.0
+  })));
+  test("UpdatePrice on synced aggregate produces PriceUpdated", () => thenEvent(whenCmd(givenEvents([{
+      TAG: "Synced",
+      name: "Laptop",
+      price: 999.99
+    }]), {
+    TAG: "UpdatePrice",
+    price: 899.99
+  }), {
+    TAG: "PriceUpdated",
+    price: 899.99
+  }));
+});
+
+let Spec = include.Spec;
+
+let thenCompareEvent = include.thenCompareEvent;
+
+let thenEventWithError = include.thenEventWithError;
+
+let thenEvents = include.thenEvents;
+
+let thenCompareEvents = include.thenCompareEvents;
+
+let thenEventsWithError = include.thenEventsWithError;
+
+let thenError = include.thenError;
+
+export {
+  Spec,
+  describe,
+  test,
+  givenEvents,
+  whenCmd,
+  thenEvent,
+  thenCompareEvent,
+  thenNoEvent,
+  thenEventWithError,
+  thenEvents,
+  thenCompareEvents,
+  thenEventsWithError,
+  thenError,
+}
+/* include Not a pure module */

package/lib/bs/tests/CatalogProduct/ReadModel/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})
+  )
+})