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

package/lib/bs/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/lib/bs/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/lib/bs/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
+  }

package/lib/bs/src/Customer/Aggregate/Customer_Behavior.res.mjs

@@ -0,0 +1,143 @@
+// 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: "Active",
+    email: s.m(S.string),
+    address: s.m(S.string)
+  })),
+  S.literal("Deactivated")
+]);
+
+function evolve(state, event) {
+  if (typeof state !== "object") {
+    if (state === "NotCreated" && typeof event === "object" && event.TAG === "Registered") {
+      return {
+        TAG: "Active",
+        email: event.email,
+        address: event.address
+      };
+    } else {
+      return state;
+    }
+  }
+  if (typeof event !== "object") {
+    return "Deactivated";
+  }
+  switch (event.TAG) {
+    case "Registered" :
+      return {
+        TAG: "Active",
+        email: event.email,
+        address: event.address
+      };
+    case "EmailUpdated" :
+      return {
+        TAG: "Active",
+        email: event.email,
+        address: state.address
+      };
+    case "AddressUpdated" :
+      return {
+        TAG: "Active",
+        email: state.email,
+        address: event.address
+      };
+  }
+}
+
+function decide(state, command) {
+  if (typeof state !== "object") {
+    if (state === "NotCreated") {
+      if (typeof command !== "object" || command.TAG !== "Register") {
+        return {
+          TAG: "Error",
+          _0: "CustomerNotFound"
+        };
+      } else {
+        return {
+          TAG: "Ok",
+          _0: [{
+              TAG: "Registered",
+              email: command.email,
+              address: command.address
+            }]
+        };
+      }
+    } else if (typeof command !== "object") {
+      return {
+        TAG: "Ok",
+        _0: []
+      };
+    } else {
+      return {
+        TAG: "Error",
+        _0: "CustomerAlreadyDeactivated"
+      };
+    }
+  }
+  if (typeof command !== "object") {
+    return {
+      TAG: "Ok",
+      _0: ["Deactivated"]
+    };
+  }
+  switch (command.TAG) {
+    case "Register" :
+      return {
+        TAG: "Error",
+        _0: "CustomerAlreadyRegistered"
+      };
+    case "UpdateEmail" :
+      let email = command.email;
+      if (email === state.email) {
+        return {
+          TAG: "Ok",
+          _0: []
+        };
+      } else {
+        return {
+          TAG: "Ok",
+          _0: [{
+              TAG: "EmailUpdated",
+              email: email
+            }]
+        };
+      }
+    case "UpdateAddress" :
+      let address = command.address;
+      if (address === state.address) {
+        return {
+          TAG: "Ok",
+          _0: []
+        };
+      } else {
+        return {
+          TAG: "Ok",
+          _0: [{
+              TAG: "AddressUpdated",
+              address: address
+            }]
+        };
+      }
+  }
+}
+
+let Spec;
+
+let initialState = "NotCreated";
+
+let moduleUrl = "@reventlessdev/online-shop-aggregates-ordering/src/Customer/Aggregate/Customer_Behavior.res.mjs";
+
+export {
+  Spec,
+  stateSchema,
+  initialState,
+  evolve,
+  decide,
+  moduleUrl,
+}
+/* stateSchema Not a pure module */

package/lib/bs/src/Customer/ReadModel/Customers.res

@@ -0,0 +1,12 @@
+// Customers read model specification.
+// Query-side state for registered customers.
+
+@@reventless.spec
+
+@schema
+type state = {
+  email: string,
+  address: string,
+  deactivated: bool,
+}
+

package/lib/bs/src/Customer/ReadModel/Customers.res.mjs

@@ -0,0 +1,36 @@
+// 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";
+
+let stateSchema = S.schema(s => ({
+  email: s.m(S.string),
+  address: s.m(S.string),
+  deactivated: s.m(S.bool)
+}));
+
+let config = ReadModel$Reventless.config(undefined, undefined, undefined);
+
+let name = "Customers";
+
+let Id;
+
+let subIdConfig;
+
+let moduleUrl = "@reventlessdev/online-shop-aggregates-ordering/src/Customer/ReadModel/Customers.res.mjs";
+
+let authorization = "AllowAuthenticated";
+
+let visibility = "Public";
+
+export {
+  name,
+  Id,
+  stateSchema,
+  config,
+  subIdConfig,
+  moduleUrl,
+  authorization,
+  visibility,
+}
+/* stateSchema Not a pure module */

package/lib/bs/src/Customer/ReadModel/Customers_Projections.res

@@ -0,0 +1,21 @@
+// Customer projection mappings.
+// Maps Customer aggregate events to Customers read model state changes.
+@@reventless.mappings
+
+module CustomerMapping = Mapping.Make(
+  Customer,
+  Customers,
+  {
+    open Customer
+    let project = ({event, id, _}) =>
+      switch event {
+      | Registered({email, address}) =>
+        Set(id, {Customers.email: email, address, deactivated: false})
+      | EmailUpdated({email}) => Update(id, state => {...state, email})
+      | AddressUpdated({address}) => Update(id, state => {...state, address})
+      | Deactivated => Update(id, state => {...state, deactivated: true})
+      }
+  },
+)
+
+let mappings: array<module(Mapping)> = [module(CustomerMapping)]

package/lib/bs/src/Customer/ReadModel/Customers_Projections.res.mjs

@@ -0,0 +1,91 @@
+// 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 Customer$OrderingPlugin from "../Aggregate/Customer.res.mjs";
+import * as Customers$OrderingPlugin from "./Customers.res.mjs";
+
+let M = Projection$Reventless.Mappings.Make({
+  Id: Id$Reventless.$$String,
+  name: Customers$OrderingPlugin.name,
+  stateSchema: Customers$OrderingPlugin.stateSchema,
+  subIdConfig: undefined
+});
+
+function project(param) {
+  let event = param.event;
+  let id = param.id;
+  if (typeof event !== "object") {
+    return {
+      TAG: "Update",
+      _0: id,
+      _1: state => ({
+        email: state.email,
+        address: state.address,
+        deactivated: true
+      })
+    };
+  }
+  switch (event.TAG) {
+    case "Registered" :
+      return {
+        TAG: "Set",
+        _0: id,
+        _1: {
+          email: event.email,
+          address: event.address,
+          deactivated: false
+        }
+      };
+    case "EmailUpdated" :
+      let email = event.email;
+      return {
+        TAG: "Update",
+        _0: id,
+        _1: state => ({
+          email: email,
+          address: state.address,
+          deactivated: state.deactivated
+        })
+      };
+    case "AddressUpdated" :
+      let address = event.address;
+      return {
+        TAG: "Update",
+        _0: id,
+        _1: state => ({
+          email: state.email,
+          address: address,
+          deactivated: state.deactivated
+        })
+      };
+  }
+}
+
+let CustomerMapping = Projection$Reventless.Mapping.Make({
+  Id: Id$Reventless.$$String,
+  name: Customer$OrderingPlugin.name,
+  eventSchema: Customer$OrderingPlugin.eventSchema
+})({
+  Id: Id$Reventless.$$String,
+  name: Customers$OrderingPlugin.name,
+  stateSchema: Customers$OrderingPlugin.stateSchema,
+  subIdConfig: undefined
+})({
+  project: project
+});
+
+let mappings = [CustomerMapping];
+
+let Target;
+
+let moduleUrl = "@reventlessdev/online-shop-aggregates-ordering/src/Customer/ReadModel/Customers_Projections.res.mjs";
+
+export {
+  Target,
+  M,
+  CustomerMapping,
+  mappings,
+  moduleUrl,
+}
+/* M Not a pure module */

package/lib/bs/src/Extension/Products_Extension.res

@@ -0,0 +1,23 @@
+// Ordering's extension subscribing to Catalog's ProductsExtensionPoint.
+// Routes ProductBecameAvailable / ProductPriceChanged events to CatalogProduct commands.
+
+@@reventless.extension
+
+module Mapping = {
+  module ExtensionPoint = CatalogSpec.Products_ExtensionPoint
+  module Delegate = CatalogProduct
+
+  open ExtensionPoint
+  open Delegate
+  let mapIncomingEvent = (_id, event, _meta, _pluginDef, _queryEngine) =>
+    switch event {
+    | ProductBecameAvailable({productId, name, price}) => [
+        PublishAggregateCommand(productId, Sync({name, price})),
+      ]
+    | ProductPriceChanged({productId, price}) => [
+        PublishAggregateCommand(productId, UpdatePrice({price: price})),
+      ]
+    }
+
+  let mapOutgoingEvent = None
+}

package/lib/bs/src/Extension/Products_Extension.res.mjs

@@ -0,0 +1,43 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as CatalogProduct$OrderingPlugin from "../CatalogProduct/Aggregate/CatalogProduct.res.mjs";
+
+function mapIncomingEvent(_id, event, _meta, _pluginDef, _queryEngine) {
+  if (event.TAG === "ProductBecameAvailable") {
+    return [{
+        TAG: "PublishAggregateCommand",
+        _0: event.productId,
+        _1: {
+          TAG: "Sync",
+          name: event.name,
+          price: event.price
+        }
+      }];
+  } else {
+    return [{
+        TAG: "PublishAggregateCommand",
+        _0: event.productId,
+        _1: {
+          TAG: "UpdatePrice",
+          price: event.price
+        }
+      }];
+  }
+}
+
+let Mapping = {
+  ExtensionPoint: undefined,
+  Delegate: undefined,
+  mapIncomingEvent: mapIncomingEvent,
+  mapOutgoingEvent: undefined,
+  delegateModuleUrl: CatalogProduct$OrderingPlugin.moduleUrl,
+  moduleUrl: "@reventlessdev/online-shop-aggregates-ordering/src/Extension/Products_Extension.res.mjs"
+};
+
+let moduleUrl = "@reventlessdev/online-shop-aggregates-ordering/src/Extension/Products_Extension.res.mjs";
+
+export {
+  Mapping,
+  moduleUrl,
+}
+/* CatalogProduct-OrderingPlugin Not a pure module */

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

@@ -0,0 +1,28 @@
+// Maps internal Order aggregate events to the stable OrdersExtensionPoint public API.
+// Decomposes a batch OrderPlaced (multiple productIds) into one ItemOrdered per product.
+@@reventless.spec
+
+module ExtensionPoint = OrderingSpec.Orders_ExtensionPoint
+module Delegate = Order
+
+let mapIncomingCommand = (_id, _command, _meta) => []
+
+let mapOutgoingEvent = Some((_id, event, _meta, _queryEngine) =>
+  switch event {
+  | Order.Placed({customerId, productIds}) =>
+    productIds->Array.map(productId =>
+      PublishEvent(
+        productId,
+        OrderingSpec.Orders_ExtensionPoint.ItemOrdered({productId, orderId: _id, customerId}),
+      )
+    )
+  | Order.Cancelled({productIds}) =>
+    productIds->Array.map(productId =>
+      PublishEvent(
+        productId,
+        OrderingSpec.Orders_ExtensionPoint.ItemOrderCancelled({productId, orderId: _id}),
+      )
+    )
+  | _ => []
+  }
+)

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

@@ -0,0 +1,59 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+
+function mapIncomingCommand(_id, _command, _meta) {
+  return [];
+}
+
+let mapOutgoingEvent = (_id, event, _meta, _queryEngine) => {
+  if (typeof event !== "object") {
+    return [];
+  }
+  switch (event.TAG) {
+    case "Placed" :
+      let customerId = event.customerId;
+      return event.productIds.map(productId => ({
+        TAG: "PublishEvent",
+        _0: productId,
+        _1: {
+          TAG: "ItemOrdered",
+          productId: productId,
+          orderId: _id,
+          customerId: customerId
+        }
+      }));
+    case "Cancelled" :
+      return event.productIds.map(productId => ({
+        TAG: "PublishEvent",
+        _0: productId,
+        _1: {
+          TAG: "ItemOrderCancelled",
+          productId: productId,
+          orderId: _id
+        }
+      }));
+    case "Refunded" :
+      return [];
+  }
+};
+
+let name = "Orders";
+
+let Id;
+
+let ExtensionPoint;
+
+let Delegate;
+
+let moduleUrl = "@reventlessdev/online-shop-aggregates-ordering/src/ExtensionPoint/Orders_ExtensionPointMapping.res.mjs";
+
+export {
+  name,
+  Id,
+  ExtensionPoint,
+  Delegate,
+  mapIncomingCommand,
+  mapOutgoingEvent,
+  moduleUrl,
+}
+/* No side effect */

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

@@ -0,0 +1,27 @@
+// Order aggregate specification.
+// A confirmed purchase referencing Product IDs and a CustomerId.
+
+@@reventless.spec
+
+@schema
+type command =
+  | Place({customerId: string, @ref("AvailableProducts") @noDcbTag productIds: array<string>})
+  | @allowedStates([Orders.Placed]) Ship
+  | @allowedStates([Orders.Placed]) Cancel
+  | @allowedStates([Orders.Cancelled]) Refund({reason: string})
+
+@schema
+type event =
+  | Placed({customerId: string, productIds: array<string>})
+  | Shipped
+  | Cancelled({productIds: array<string>})
+  | Refunded({reason: string})
+
+@schema
+type error =
+  | OrderAlreadyPlaced
+  | OrderNotFound
+  | OrderAlreadyShipped
+  | OrderAlreadyCancelled
+  | OrderNotCancelled
+  | OrderAlreadyRefunded