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

package/lib/ocaml/Products_Extension_GWT.res

@@ -0,0 +1,21 @@
+// Boundary GWT for Ordering's Products extension: public Catalog events become
+// CatalogProduct commands on Ordering's local shadow aggregate.
+@@reventless.gwt
+
+// `Mapping` is brought into scope by the PPX `open Products_Extension`; opening
+// it surfaces the extension point's events and the delegate's commands.
+open Mapping
+
+describe("Products Extension delegate", () => {
+  test("ProductBecameAvailable issues Sync", () =>
+    whenIncomingEvent(
+      ExtensionPoint.ProductBecameAvailable({productId: "p1", name: "Book", price: 9.99}),
+    )->thenPublishesAggregateCommand("p1", Delegate.Sync({name: "Book", price: 9.99}))
+  )
+
+  test("ProductPriceChanged issues UpdatePrice", () =>
+    whenIncomingEvent(
+      ExtensionPoint.ProductPriceChanged({productId: "p1", price: 7.5}),
+    )->thenPublishesAggregateCommand("p1", Delegate.UpdatePrice({price: 7.5}))
+  )
+})

package/package.json

@@ -0,0 +1,52 @@
+{
+  "name": "@reventlessdev/online-shop-aggregates-ordering",
+  "version": "3.0.0-alpha.101",
+  "description": "Online Shop example — Ordering plugin (Customer & Order aggregates)",
+  "license": "Apache-2.0",
+  "jest": {
+    "testMatch": [
+      "<rootDir>/tests/**/*Test.res.mjs",
+      "<rootDir>/tests/**/*_GWT.res.mjs"
+    ],
+    "moduleFileExtensions": [
+      "js",
+      "mjs"
+    ],
+    "moduleNameMapper": {
+      "^@npmcli/arborist$": "<rootDir>/__mocks__/emptyModule.js",
+      "^spdx-license-ids$": "<rootDir>/../../../node_modules/spdx-license-ids/index.json",
+      "^spdx-license-ids/deprecated$": "<rootDir>/../../../node_modules/spdx-license-ids/deprecated.json",
+      "^spdx-exceptions$": "<rootDir>/../../../node_modules/spdx-exceptions/index.json"
+    }
+  },
+  "dependencies": {
+    "sury": "^11.0.0-alpha.4",
+    "@reventlessdev/online-shop-aggregates-catalog-spec": "3.0.0-alpha.57",
+    "@reventlessdev/online-shop-aggregates-ordering-spec": "3.0.0-alpha.57",
+    "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.14",
+    "@reventlessdev/reventless-gwt": "1.0.0-alpha.74",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.81",
+    "@reventlessdev/reventless-local": "3.0.0-alpha.113",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.61"
+  },
+  "devDependencies": {
+    "rescript": "^12.3.0",
+    "sury-ppx": "11.0.0-alpha.2",
+    "@reventlessdev/reventless-ppx": "1.0.0-alpha.47"
+  },
+  "peerDependencies": {
+    "rescript": "^12.3.0"
+  },
+  "publishConfig": {
+    "registry": "https://registry.npmjs.org"
+  },
+  "scripts": {
+    "generate": "generate-plugin src/",
+    "prebuild": "pnpm run generate",
+    "build": "rescript build",
+    "start": "rescript watch",
+    "clean": "rescript clean",
+    "rebuild": "pnpm run clean && pnpm run build -- -with-deps",
+    "test": "NODE_OPTIONS='--experimental-vm-modules' npx jest"
+  }
+}

package/rescript.json

@@ -0,0 +1,39 @@
+{
+  "name": "@reventlessdev/online-shop-aggregates-ordering",
+  "package-specs": {
+    "module": "esmodule",
+    "in-source": true
+  },
+  "namespace": "OrderingPlugin",
+  "ppx-flags": [
+    "@reventlessdev/reventless-ppx/bin",
+    "sury-ppx/bin"
+  ],
+  "warnings": {
+    "error": "-44+101"
+  },
+  "sources": [
+    {
+      "dir": "src",
+      "subdirs": true
+    },
+    {
+      "dir": "tests",
+      "subdirs": true
+    }
+  ],
+  "dependencies": [
+    "sury",
+    "@reventlessdev/rescript-pulumi-pulumi",
+    "@reventlessdev/reventless-spec",
+    "@reventlessdev/reventless-infra",
+    "@reventlessdev/reventless-local",
+    "@reventlessdev/reventless-gwt",
+    "@reventlessdev/online-shop-aggregates-ordering-spec",
+    "@reventlessdev/online-shop-aggregates-catalog-spec"
+  ],
+  "dev-dependencies": [
+  ],
+  "compiler-flags": [],
+  "suffix": ".res.mjs"
+}

package/src/CatalogProduct/Aggregate/CatalogProduct.res

@@ -0,0 +1,18 @@
+// CatalogProduct aggregate specification.
+// Stores a synced shadow of Catalog products inside Ordering,
+// driven by Catalog's ProductsExtensionPoint.
+
+@@reventless.spec
+
+@schema
+type command =
+  | Sync({name: string, price: float})
+  | UpdatePrice({price: float})
+
+@schema
+type event =
+  | Synced({name: string, price: float})
+  | PriceUpdated({price: float})
+
+@schema
+type error = unit // always succeeds — sync is idempotent

package/src/CatalogProduct/Aggregate/CatalogProduct.res.mjs

@@ -0,0 +1,50 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+
+let commandSchema = S.union([
+  S.schema(s => ({
+    TAG: "Sync",
+    name: s.m(S.string),
+    price: s.m(S.float)
+  })),
+  S.schema(s => ({
+    TAG: "UpdatePrice",
+    price: s.m(S.float)
+  }))
+]);
+
+let eventSchema = S.union([
+  S.schema(s => ({
+    TAG: "Synced",
+    name: s.m(S.string),
+    price: s.m(S.float)
+  })),
+  S.schema(s => ({
+    TAG: "PriceUpdated",
+    price: s.m(S.float)
+  }))
+]);
+
+function commandAuthorization(param) {
+  return "AllowAuthenticated";
+}
+
+let name = "CatalogProduct";
+
+let Id;
+
+let errorSchema = S.unit;
+
+let moduleUrl = "@reventlessdev/online-shop-aggregates-ordering/src/CatalogProduct/Aggregate/CatalogProduct.res.mjs";
+
+export {
+  name,
+  Id,
+  commandSchema,
+  eventSchema,
+  errorSchema,
+  moduleUrl,
+  commandAuthorization,
+}
+/* commandSchema Not a pure module */

package/src/CatalogProduct/Aggregate/CatalogProduct_Behavior.res

@@ -0,0 +1,27 @@
+// CatalogProduct aggregate behavior.
+// Idempotently syncs Catalog product state into Ordering.
+
+@@reventless.behavior
+
+@schema
+type state =
+  | NotCreated
+  | Created({name: string, price: float})
+
+let initialState = NotCreated
+
+let evolve = (state, event) =>
+  switch (state, event) {
+  | (NotCreated, Synced({name, price})) => Created({name, price})
+  | (Created(_), Synced({name, price})) => Created({name, price})
+  | (Created(s), PriceUpdated({price})) => Created({...s, price})
+  | (NotCreated, PriceUpdated(_)) => state
+  }
+
+let decide = (state, command) =>
+  switch (state, command) {
+  | (NotCreated, Sync({name, price})) => Ok([Synced({name, price})])
+  | (NotCreated, UpdatePrice(_)) => Ok([]) // no aggregate yet — idempotent
+  | (Created(_), Sync(_)) => Ok([]) // already exists — idempotent
+  | (Created(_), UpdatePrice({price})) => Ok([PriceUpdated({price: price})])
+  }

package/src/CatalogProduct/Aggregate/CatalogProduct_Behavior.res.mjs

@@ -0,0 +1,87 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+
+let stateSchema = S.union([
+  S.literal("NotCreated"),
+  S.schema(s => ({
+    TAG: "Created",
+    name: s.m(S.string),
+    price: s.m(S.float)
+  }))
+]);
+
+function evolve(state, event) {
+  if (typeof state !== "object") {
+    if (event.TAG === "Synced") {
+      return {
+        TAG: "Created",
+        name: event.name,
+        price: event.price
+      };
+    } else {
+      return state;
+    }
+  } else if (event.TAG === "Synced") {
+    return {
+      TAG: "Created",
+      name: event.name,
+      price: event.price
+    };
+  } else {
+    return {
+      TAG: "Created",
+      name: state.name,
+      price: event.price
+    };
+  }
+}
+
+function decide(state, command) {
+  if (typeof state !== "object") {
+    if (command.TAG === "Sync") {
+      return {
+        TAG: "Ok",
+        _0: [{
+            TAG: "Synced",
+            name: command.name,
+            price: command.price
+          }]
+      };
+    } else {
+      return {
+        TAG: "Ok",
+        _0: []
+      };
+    }
+  } else if (command.TAG === "Sync") {
+    return {
+      TAG: "Ok",
+      _0: []
+    };
+  } else {
+    return {
+      TAG: "Ok",
+      _0: [{
+          TAG: "PriceUpdated",
+          price: command.price
+        }]
+    };
+  }
+}
+
+let Spec;
+
+let initialState = "NotCreated";
+
+let moduleUrl = "@reventlessdev/online-shop-aggregates-ordering/src/CatalogProduct/Aggregate/CatalogProduct_Behavior.res.mjs";
+
+export {
+  Spec,
+  stateSchema,
+  initialState,
+  evolve,
+  decide,
+  moduleUrl,
+}
+/* stateSchema Not a pure module */

package/src/CatalogProduct/ReadModel/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/src/CatalogProduct/ReadModel/AvailableProducts.res.mjs

@@ -0,0 +1,53 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
+import * as StateAnnotations$Reventless from "@reventlessdev/reventless-spec/src/components/StateAnnotations.res.mjs";
+
+let stateSchema = S.schema(s => ({
+  name: s.m(S.string),
+  price: s.m(S.float)
+}));
+
+let config = ReadModel$Reventless.config(undefined, undefined, undefined);
+
+let stateSchema$1 = S.Metadata.set(stateSchema, StateAnnotations$Reventless.stateAnnotationsId, {
+  ids: [],
+  compositeIds: [],
+  subIds: [],
+  compositeSubIds: [],
+  indexes: [],
+  hidden: [],
+  summary: [],
+  drillTargets: [],
+  drillTargetKeys: [],
+  collapsed: [],
+  scan: [],
+  scanSort: [],
+  status: undefined,
+  visibility: "Internal"
+});
+
+let name = "AvailableProducts";
+
+let Id;
+
+let subIdConfig;
+
+let moduleUrl = "@reventlessdev/online-shop-aggregates-ordering/src/CatalogProduct/ReadModel/AvailableProducts.res.mjs";
+
+let authorization = "AllowAuthenticated";
+
+let visibility = "Internal";
+
+export {
+  name,
+  Id,
+  config,
+  subIdConfig,
+  stateSchema$1 as stateSchema,
+  moduleUrl,
+  authorization,
+  visibility,
+}
+/* stateSchema Not a pure module */

package/src/CatalogProduct/ReadModel/AvailableProducts_Projections.res

@@ -0,0 +1,20 @@
+// AvailableProducts projection mappings.
+// Maps CatalogProduct aggregate events to the AvailableProducts read model.
+@@reventless.mappings
+
+module CatalogProductMapping = Mapping.Make(
+  CatalogProduct,
+  AvailableProducts,
+  {
+    open CatalogProduct
+    let project = ({event, id, _}) =>
+      switch event {
+      | Synced({name, price}) =>
+        Set(id, {AvailableProducts.name: name, price})
+      | PriceUpdated({price}) =>
+        Update(id, state => {...state, price})
+      }
+  },
+)
+
+let mappings: array<module(Mapping)> = [module(CatalogProductMapping)]

package/src/CatalogProduct/ReadModel/AvailableProducts_Projections.res.mjs

@@ -0,0 +1,65 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
+import * as Projection$Reventless from "@reventlessdev/reventless-spec/src/types/Projection.res.mjs";
+import * as CatalogProduct$OrderingPlugin from "../Aggregate/CatalogProduct.res.mjs";
+import * as AvailableProducts$OrderingPlugin from "./AvailableProducts.res.mjs";
+
+let M = Projection$Reventless.Mappings.Make({
+  Id: Id$Reventless.$$String,
+  name: AvailableProducts$OrderingPlugin.name,
+  stateSchema: AvailableProducts$OrderingPlugin.stateSchema,
+  subIdConfig: undefined
+});
+
+function project(param) {
+  let event = param.event;
+  let id = param.id;
+  if (event.TAG === "Synced") {
+    return {
+      TAG: "Set",
+      _0: id,
+      _1: {
+        name: event.name,
+        price: event.price
+      }
+    };
+  }
+  let price = event.price;
+  return {
+    TAG: "Update",
+    _0: id,
+    _1: state => ({
+      name: state.name,
+      price: price
+    })
+  };
+}
+
+let CatalogProductMapping = Projection$Reventless.Mapping.Make({
+  Id: Id$Reventless.$$String,
+  name: CatalogProduct$OrderingPlugin.name,
+  eventSchema: CatalogProduct$OrderingPlugin.eventSchema
+})({
+  Id: Id$Reventless.$$String,
+  name: AvailableProducts$OrderingPlugin.name,
+  stateSchema: AvailableProducts$OrderingPlugin.stateSchema,
+  subIdConfig: undefined
+})({
+  project: project
+});
+
+let mappings = [CatalogProductMapping];
+
+let Target;
+
+let moduleUrl = "@reventlessdev/online-shop-aggregates-ordering/src/CatalogProduct/ReadModel/AvailableProducts_Projections.res.mjs";
+
+export {
+  Target,
+  M,
+  CatalogProductMapping,
+  mappings,
+  moduleUrl,
+}
+/* M Not a pure module */

package/src/Customer/Aggregate/Customer.res

@@ -0,0 +1,24 @@
+// Customer aggregate specification.
+// A registered buyer with contact details and account status.
+
+@@reventless.spec
+
+@schema
+type command =
+  | Register({email: string, address: string})
+  | UpdateEmail({email: string})
+  | UpdateAddress({address: string})
+  | Deactivate
+
+@schema
+type event =
+  | Registered({email: string, address: string})
+  | EmailUpdated({email: string})
+  | AddressUpdated({address: string})
+  | Deactivated
+
+@schema
+type error =
+  | CustomerAlreadyRegistered
+  | CustomerNotFound
+  | CustomerAlreadyDeactivated

package/src/Customer/Aggregate/Customer.res.mjs

@@ -0,0 +1,64 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+
+let commandSchema = S.union([
+  S.schema(s => ({
+    TAG: "Register",
+    email: s.m(S.string),
+    address: s.m(S.string)
+  })),
+  S.schema(s => ({
+    TAG: "UpdateEmail",
+    email: s.m(S.string)
+  })),
+  S.schema(s => ({
+    TAG: "UpdateAddress",
+    address: s.m(S.string)
+  })),
+  S.literal("Deactivate")
+]);
+
+let eventSchema = S.union([
+  S.schema(s => ({
+    TAG: "Registered",
+    email: s.m(S.string),
+    address: s.m(S.string)
+  })),
+  S.schema(s => ({
+    TAG: "EmailUpdated",
+    email: s.m(S.string)
+  })),
+  S.schema(s => ({
+    TAG: "AddressUpdated",
+    address: s.m(S.string)
+  })),
+  S.literal("Deactivated")
+]);
+
+let errorSchema = S.union([
+  S.literal("CustomerAlreadyRegistered"),
+  S.literal("CustomerNotFound"),
+  S.literal("CustomerAlreadyDeactivated")
+]);
+
+function commandAuthorization(param) {
+  return "AllowAuthenticated";
+}
+
+let name = "Customer";
+
+let Id;
+
+let moduleUrl = "@reventlessdev/online-shop-aggregates-ordering/src/Customer/Aggregate/Customer.res.mjs";
+
+export {
+  name,
+  Id,
+  commandSchema,
+  eventSchema,
+  errorSchema,
+  moduleUrl,
+  commandAuthorization,
+}
+/* commandSchema Not a pure module */

package/src/Customer/Aggregate/Customer_Behavior.res

@@ -0,0 +1,41 @@
+// Customer aggregate behavior.
+// Implements the state machine for registering and managing customers.
+
+@@reventless.behavior
+
+@schema
+type state =
+  | NotCreated
+  | Active({email: string, address: string})
+  | Deactivated
+
+let initialState = NotCreated
+
+let evolve = (state, event) =>
+  switch (state, event) {
+  | (NotCreated, Registered({email, address})) => Active({email, address})
+  | (Active(_), Registered({email, address})) => Active({email, address})
+  | (Active(s), EmailUpdated({email})) => Active({...s, email})
+  | (Active(s), AddressUpdated({address})) => Active({...s, address})
+  | (Active(_), Customer.Deactivated) => Deactivated
+  | (Deactivated, _) => state
+  | (NotCreated, _) => state
+  }
+
+let decide = (state, command) =>
+  switch (state, command) {
+  | (NotCreated, Register({email, address})) => Ok([Registered({email, address})])
+  | (NotCreated, UpdateEmail(_)) => Error(CustomerNotFound)
+  | (NotCreated, UpdateAddress(_)) => Error(CustomerNotFound)
+  | (NotCreated, Deactivate) => Error(CustomerNotFound)
+  | (Active(_), Register(_)) => Error(CustomerAlreadyRegistered)
+  | (Active(s), UpdateEmail({email})) if email == s.email => Ok([])
+  | (Active(_), UpdateEmail({email})) => Ok([EmailUpdated({email: email})])
+  | (Active(s), UpdateAddress({address})) if address == s.address => Ok([])
+  | (Active(_), UpdateAddress({address})) => Ok([AddressUpdated({address: address})])
+  | (Active(_), Deactivate) => Ok([Customer.Deactivated])
+  | (Deactivated, Register(_)) => Error(CustomerAlreadyDeactivated)
+  | (Deactivated, UpdateEmail(_)) => Error(CustomerAlreadyDeactivated)
+  | (Deactivated, UpdateAddress(_)) => Error(CustomerAlreadyDeactivated)
+  | (Deactivated, Deactivate) => Ok([]) // idempotent
+  }