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

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

@@ -0,0 +1,23 @@
+// Catalog's extension subscribing to Ordering's OrdersExtensionPoint.
+// Routes ItemOrdered / ItemOrderCancelled events to ProductDemand commands.
+
+@@reventless.extension
+
+module Mapping = {
+  module ExtensionPoint = OrderingSpec.Orders_ExtensionPoint
+  module Delegate = ProductDemand
+
+  open ExtensionPoint
+  open Delegate
+  let mapIncomingEvent = (_id, event, _meta, _pluginDef, _queryEngine) =>
+    switch event {
+    | ItemOrdered({productId, orderId}) => [
+        PublishAggregateCommand(productId, Record({orderId: orderId})),
+      ]
+    | ItemOrderCancelled({productId, orderId}) => [
+        PublishAggregateCommand(productId, Revoke({orderId: orderId})),
+      ]
+    }
+
+  let mapOutgoingEvent = None
+}

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

@@ -0,0 +1,42 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as ProductDemand$CatalogPlugin from "../ProductDemand/Aggregate/ProductDemand.res.mjs";
+
+function mapIncomingEvent(_id, event, _meta, _pluginDef, _queryEngine) {
+  if (event.TAG === "ItemOrdered") {
+    return [{
+        TAG: "PublishAggregateCommand",
+        _0: event.productId,
+        _1: {
+          TAG: "Record",
+          orderId: event.orderId
+        }
+      }];
+  } else {
+    return [{
+        TAG: "PublishAggregateCommand",
+        _0: event.productId,
+        _1: {
+          TAG: "Revoke",
+          orderId: event.orderId
+        }
+      }];
+  }
+}
+
+let Mapping = {
+  ExtensionPoint: undefined,
+  Delegate: undefined,
+  mapIncomingEvent: mapIncomingEvent,
+  mapOutgoingEvent: undefined,
+  delegateModuleUrl: ProductDemand$CatalogPlugin.moduleUrl,
+  moduleUrl: "@reventlessdev/online-shop-aggregates-catalog/src/Extension/Orders_Extension.res.mjs"
+};
+
+let moduleUrl = "@reventlessdev/online-shop-aggregates-catalog/src/Extension/Orders_Extension.res.mjs";
+
+export {
+  Mapping,
+  moduleUrl,
+}
+/* ProductDemand-CatalogPlugin Not a pure module */

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

@@ -0,0 +1,19 @@
+// Maps internal Product aggregate events to the stable ProductsExtensionPoint public API.
+@@reventless.spec
+
+module ExtensionPoint = CatalogSpec.Products_ExtensionPoint
+module Delegate = Product
+
+let mapIncomingCommand = (_id, _command, _meta) => []
+
+let mapOutgoingEvent = Some((id, event, _meta, _queryEngine) =>
+  switch event {
+  | Product.Added({name, price}) => [
+      PublishEvent(id, CatalogSpec.Products_ExtensionPoint.ProductBecameAvailable({productId: id, name, price})),
+    ]
+  | Product.PriceUpdated({price}) => [
+      PublishEvent(id, CatalogSpec.Products_ExtensionPoint.ProductPriceChanged({productId: id, price})),
+    ]
+  | _ => []
+  }
+)

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

@@ -0,0 +1,56 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+
+function mapIncomingCommand(_id, _command, _meta) {
+  return [];
+}
+
+let mapOutgoingEvent = (id, event, _meta, _queryEngine) => {
+  switch (event.TAG) {
+    case "Added" :
+      return [{
+          TAG: "PublishEvent",
+          _0: id,
+          _1: {
+            TAG: "ProductBecameAvailable",
+            productId: id,
+            name: event.name,
+            price: event.price
+          }
+        }];
+    case "NameUpdated" :
+    case "DescriptionUpdated" :
+      return [];
+    case "PriceUpdated" :
+      return [{
+          TAG: "PublishEvent",
+          _0: id,
+          _1: {
+            TAG: "ProductPriceChanged",
+            productId: id,
+            price: event.price
+          }
+        }];
+  }
+};
+
+let name = "Products";
+
+let Id;
+
+let ExtensionPoint;
+
+let Delegate;
+
+let moduleUrl = "@reventlessdev/online-shop-aggregates-catalog/src/ExtensionPoint/Products_ExtensionPointMapping.res.mjs";
+
+export {
+  name,
+  Id,
+  ExtensionPoint,
+  Delegate,
+  mapIncomingCommand,
+  mapOutgoingEvent,
+  moduleUrl,
+}
+/* No side effect */

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.CATALOG_UI_BUNDLE_URL"
+
+module Make = (Platform: ReventlessInfra.Platform.T) => {
+  // Aggregates
+  module CategoryAggregate = Platform.Aggregate.Make(
+    Category,
+    Category_Behavior,
+    ReventlessInfra.NoEventMappings.Make(Category),
+  )
+  module ProductAggregate = Platform.Aggregate.Make(
+    Product,
+    Product_Behavior,
+    ReventlessInfra.NoEventMappings.Make(Product),
+  )
+  module ProductDemandAggregate = Platform.Aggregate.Make(
+    ProductDemand,
+    ProductDemand_Behavior,
+    ReventlessInfra.NoEventMappings.Make(ProductDemand),
+  )
+
+  // ReadModels
+  module CategoriesReadModel = Platform.ReadModel.Make(Categories, Categories_Projections)
+  module ProductDemandsReadModel = Platform.ReadModel.Make(ProductDemands, ProductDemands_Projections)
+  module ProductsReadModel = Platform.ReadModel.Make(Products, Products_Projections)
+
+  // Tasks
+  module ImportProductsTask = Platform.Task.Make(ImportProducts)
+
+  // ExtensionPoints
+  module Products_ExtensionPoint = Platform.ExtensionPoint.Make(Products_ExtensionPointMapping)
+
+  // Extensions
+  module Orders_Extension = Platform.Extension.Make(Orders_Extension.Mapping)
+
+  let pluginStructure = Platform.Plugin.makePluginDefinition(
+    ~name="Catalog",
+    ~aggregates=[module(CategoryAggregate), module(ProductAggregate), module(ProductDemandAggregate)],
+    ~readModels=[module(CategoriesReadModel), module(ProductDemandsReadModel), module(ProductsReadModel)],
+    ~extensions=[module(Orders_Extension)],
+    ~extensionPoints=[module(Products_ExtensionPointMapping)],
+  )
+
+  let make = () =>
+    Platform.Plugin.make(
+      ~name="Catalog",
+      ~heartbeatInterval=5,
+      ~extensionPoints=[module(Products_ExtensionPoint)],
+      ~extensions=[module(Orders_Extension)],
+      ~aggregates=[module(CategoryAggregate), module(ProductAggregate), module(ProductDemandAggregate)],
+      ~readModels=[module(CategoriesReadModel), module(ProductDemandsReadModel), module(ProductsReadModel)],
+      ~tasks=[module(ImportProductsTask)],
+      ~pluginStructure=pluginStructure,
+      ~uiFragments=?uiBundleUrl->Option.map(url =>
+        Platform.Plugin.makeAutoUIManifest(
+          ~remoteEntryUrl=url,
+          ~name="Catalog",
+          ~pluginStructure,
+          ~readModelPositions=["platform-summary"],
+          ~aggregatePositions=["resource-detail"],
+        )
+      ),
+    )
+}

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

@@ -0,0 +1,222 @@
+// 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 Product$CatalogPlugin from "./Product/Aggregate/Product.res.mjs";
+import * as Category$CatalogPlugin from "./Category/Aggregate/Category.res.mjs";
+import * as Products$CatalogPlugin from "./Product/ReadModel/Products.res.mjs";
+import * as Categories$CatalogPlugin from "./Category/ReadModel/Categories.res.mjs";
+import * as ProductDemand$CatalogPlugin from "./ProductDemand/Aggregate/ProductDemand.res.mjs";
+import * as ImportProducts$CatalogPlugin from "./Task/ImportProducts.res.mjs";
+import * as ProductDemands$CatalogPlugin from "./ProductDemand/ReadModel/ProductDemands.res.mjs";
+import * as Orders_Extension$CatalogPlugin from "./Extension/Orders_Extension.res.mjs";
+import * as Product_Behavior$CatalogPlugin from "./Product/Aggregate/Product_Behavior.res.mjs";
+import * as Category_Behavior$CatalogPlugin from "./Category/Aggregate/Category_Behavior.res.mjs";
+import * as NoEventMappings$ReventlessInfra from "@reventlessdev/reventless-infra/src/types/NoEventMappings.res.mjs";
+import * as Orders_ExtensionPoint$OrderingSpec from "@reventlessdev/online-shop-aggregates-ordering-spec/src/Orders_ExtensionPoint.res.mjs";
+import * as Products_Projections$CatalogPlugin from "./Product/ReadModel/Products_Projections.res.mjs";
+import * as Products_ExtensionPoint$CatalogSpec from "@reventlessdev/online-shop-aggregates-catalog-spec/src/Products_ExtensionPoint.res.mjs";
+import * as Categories_Projections$CatalogPlugin from "./Category/ReadModel/Categories_Projections.res.mjs";
+import * as ProductDemand_Behavior$CatalogPlugin from "./ProductDemand/Aggregate/ProductDemand_Behavior.res.mjs";
+import * as ProductDemands_Projections$CatalogPlugin from "./ProductDemand/ReadModel/ProductDemands_Projections.res.mjs";
+import * as Products_ExtensionPointMapping$CatalogPlugin from "./ExtensionPoint/Products_ExtensionPointMapping.res.mjs";
+
+function Make(Platform) {
+  let CategoryAggregate = Platform.Aggregate.Make({
+    Id: Id$Reventless.$$String,
+    name: Category$CatalogPlugin.name,
+    eventSchema: Category$CatalogPlugin.eventSchema,
+    errorSchema: Category$CatalogPlugin.errorSchema,
+    commandSchema: Category$CatalogPlugin.commandSchema,
+    moduleUrl: Category$CatalogPlugin.moduleUrl,
+    commandAuthorization: Category$CatalogPlugin.commandAuthorization
+  })({
+    initialState: Category_Behavior$CatalogPlugin.initialState,
+    evolve: Category_Behavior$CatalogPlugin.evolve,
+    decide: Category_Behavior$CatalogPlugin.decide,
+    moduleUrl: Category_Behavior$CatalogPlugin.moduleUrl
+  })(NoEventMappings$ReventlessInfra.Make({
+    name: Category$CatalogPlugin.name,
+    Id: Id$Reventless.$$String,
+    commandSchema: Category$CatalogPlugin.commandSchema
+  }));
+  let ProductAggregate = Platform.Aggregate.Make({
+    Id: Id$Reventless.$$String,
+    name: Product$CatalogPlugin.name,
+    eventSchema: Product$CatalogPlugin.eventSchema,
+    errorSchema: Product$CatalogPlugin.errorSchema,
+    commandSchema: Product$CatalogPlugin.commandSchema,
+    moduleUrl: Product$CatalogPlugin.moduleUrl,
+    commandAuthorization: Product$CatalogPlugin.commandAuthorization
+  })({
+    initialState: Product_Behavior$CatalogPlugin.initialState,
+    evolve: Product_Behavior$CatalogPlugin.evolve,
+    decide: Product_Behavior$CatalogPlugin.decide,
+    moduleUrl: Product_Behavior$CatalogPlugin.moduleUrl
+  })(NoEventMappings$ReventlessInfra.Make({
+    name: Product$CatalogPlugin.name,
+    Id: Id$Reventless.$$String,
+    commandSchema: Product$CatalogPlugin.commandSchema
+  }));
+  let ProductDemandAggregate = Platform.Aggregate.Make({
+    Id: Id$Reventless.$$String,
+    name: ProductDemand$CatalogPlugin.name,
+    eventSchema: ProductDemand$CatalogPlugin.eventSchema,
+    errorSchema: ProductDemand$CatalogPlugin.errorSchema,
+    commandSchema: ProductDemand$CatalogPlugin.commandSchema,
+    moduleUrl: ProductDemand$CatalogPlugin.moduleUrl,
+    commandAuthorization: ProductDemand$CatalogPlugin.commandAuthorization
+  })({
+    initialState: ProductDemand_Behavior$CatalogPlugin.initialState,
+    evolve: ProductDemand_Behavior$CatalogPlugin.evolve,
+    decide: ProductDemand_Behavior$CatalogPlugin.decide,
+    moduleUrl: ProductDemand_Behavior$CatalogPlugin.moduleUrl
+  })(NoEventMappings$ReventlessInfra.Make({
+    name: ProductDemand$CatalogPlugin.name,
+    Id: Id$Reventless.$$String,
+    commandSchema: ProductDemand$CatalogPlugin.commandSchema
+  }));
+  let CategoriesReadModel = Platform.ReadModel.Make({
+    Id: Id$Reventless.$$String,
+    name: Categories$CatalogPlugin.name,
+    moduleUrl: Categories$CatalogPlugin.moduleUrl,
+    stateSchema: Categories$CatalogPlugin.stateSchema,
+    config: Categories$CatalogPlugin.config,
+    subIdConfig: undefined,
+    authorization: Categories$CatalogPlugin.authorization,
+    visibility: Categories$CatalogPlugin.visibility
+  })({
+    moduleUrl: Categories_Projections$CatalogPlugin.moduleUrl,
+    mappings: Categories_Projections$CatalogPlugin.mappings
+  });
+  let ProductDemandsReadModel = Platform.ReadModel.Make({
+    Id: Id$Reventless.$$String,
+    name: ProductDemands$CatalogPlugin.name,
+    moduleUrl: ProductDemands$CatalogPlugin.moduleUrl,
+    stateSchema: ProductDemands$CatalogPlugin.stateSchema,
+    config: ProductDemands$CatalogPlugin.config,
+    subIdConfig: undefined,
+    authorization: ProductDemands$CatalogPlugin.authorization,
+    visibility: ProductDemands$CatalogPlugin.visibility
+  })({
+    moduleUrl: ProductDemands_Projections$CatalogPlugin.moduleUrl,
+    mappings: ProductDemands_Projections$CatalogPlugin.mappings
+  });
+  let ProductsReadModel = Platform.ReadModel.Make({
+    Id: Id$Reventless.$$String,
+    name: Products$CatalogPlugin.name,
+    moduleUrl: Products$CatalogPlugin.moduleUrl,
+    stateSchema: Products$CatalogPlugin.stateSchema,
+    config: Products$CatalogPlugin.config,
+    subIdConfig: undefined,
+    authorization: Products$CatalogPlugin.authorization,
+    visibility: Products$CatalogPlugin.visibility
+  })({
+    moduleUrl: Products_Projections$CatalogPlugin.moduleUrl,
+    mappings: Products_Projections$CatalogPlugin.mappings
+  });
+  let ImportProductsTask = Platform.Task.Make({
+    name: ImportProducts$CatalogPlugin.name,
+    moduleUrl: ImportProducts$CatalogPlugin.moduleUrl,
+    setup: ImportProducts$CatalogPlugin.setup
+  });
+  let Products_ExtensionPoint = Platform.ExtensionPoint.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: Product$CatalogPlugin.name,
+      eventSchema: Product$CatalogPlugin.eventSchema,
+      errorSchema: Product$CatalogPlugin.errorSchema,
+      commandSchema: Product$CatalogPlugin.commandSchema,
+      moduleUrl: Product$CatalogPlugin.moduleUrl,
+      commandAuthorization: Product$CatalogPlugin.commandAuthorization
+    },
+    moduleUrl: Products_ExtensionPointMapping$CatalogPlugin.moduleUrl,
+    mapIncomingCommand: Products_ExtensionPointMapping$CatalogPlugin.mapIncomingCommand,
+    mapOutgoingEvent: Products_ExtensionPointMapping$CatalogPlugin.mapOutgoingEvent
+  });
+  let Orders_Extension = Platform.Extension.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: ProductDemand$CatalogPlugin.name,
+      eventSchema: ProductDemand$CatalogPlugin.eventSchema,
+      errorSchema: ProductDemand$CatalogPlugin.errorSchema,
+      commandSchema: ProductDemand$CatalogPlugin.commandSchema,
+      moduleUrl: ProductDemand$CatalogPlugin.moduleUrl,
+      commandAuthorization: ProductDemand$CatalogPlugin.commandAuthorization
+    },
+    moduleUrl: Orders_Extension$CatalogPlugin.Mapping.moduleUrl,
+    delegateModuleUrl: Orders_Extension$CatalogPlugin.Mapping.delegateModuleUrl,
+    mapIncomingEvent: Orders_Extension$CatalogPlugin.Mapping.mapIncomingEvent,
+    mapOutgoingEvent: Orders_Extension$CatalogPlugin.Mapping.mapOutgoingEvent
+  });
+  let pluginStructure = Platform.Plugin.makePluginDefinition("Catalog", [
+    CategoryAggregate,
+    ProductAggregate,
+    ProductDemandAggregate
+  ], [
+    CategoriesReadModel,
+    ProductDemandsReadModel,
+    ProductsReadModel
+  ], undefined, undefined, undefined, undefined, undefined, [Orders_Extension], [{
+      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: Product$CatalogPlugin.name,
+        eventSchema: Product$CatalogPlugin.eventSchema,
+        errorSchema: Product$CatalogPlugin.errorSchema,
+        commandSchema: Product$CatalogPlugin.commandSchema,
+        moduleUrl: Product$CatalogPlugin.moduleUrl,
+        commandAuthorization: Product$CatalogPlugin.commandAuthorization
+      },
+      moduleUrl: Products_ExtensionPointMapping$CatalogPlugin.moduleUrl,
+      mapIncomingCommand: Products_ExtensionPointMapping$CatalogPlugin.mapIncomingCommand,
+      mapOutgoingEvent: Products_ExtensionPointMapping$CatalogPlugin.mapOutgoingEvent
+    }]);
+  let make = () => Platform.Plugin.make("Catalog", 5, [Products_ExtensionPoint], [Orders_Extension], [
+    CategoryAggregate,
+    ProductAggregate,
+    ProductDemandAggregate
+  ], [
+    CategoriesReadModel,
+    ProductDemandsReadModel,
+    ProductsReadModel
+  ], [ImportProductsTask], undefined, undefined, undefined, undefined, undefined, Stdlib_Option.map(process.env.CATALOG_UI_BUNDLE_URL, url => Platform.Plugin.makeAutoUIManifest(url, "Catalog", pluginStructure, ["platform-summary"], ["resource-detail"])), pluginStructure, undefined);
+  return {
+    CategoryAggregate: CategoryAggregate,
+    ProductAggregate: ProductAggregate,
+    ProductDemandAggregate: ProductDemandAggregate,
+    CategoriesReadModel: CategoriesReadModel,
+    ProductDemandsReadModel: ProductDemandsReadModel,
+    ProductsReadModel: ProductsReadModel,
+    ImportProductsTask: ImportProductsTask,
+    Products_ExtensionPoint: Products_ExtensionPoint,
+    Orders_Extension: Orders_Extension,
+    pluginStructure: pluginStructure,
+    make: make
+  };
+}
+
+export {
+  Make,
+}
+/* Id-Reventless Not a pure module */

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

@@ -0,0 +1,23 @@
+// Product aggregate specification.
+// A product listing with name, description, and price.
+
+@@reventless.spec
+
+@schema
+type command =
+  | Add({name: string, description: string, price: float})
+  | UpdateName({name: string})
+  | UpdateDescription({description: string})
+  | UpdatePrice({price: float})
+
+@schema
+type event =
+  | Added({name: string, description: string, price: float})
+  | NameUpdated({name: string})
+  | DescriptionUpdated({description: string})
+  | PriceUpdated({price: float})
+
+@schema
+type error =
+  | ProductAlreadyExists
+  | ProductNotFound

package/lib/bs/src/Product/Aggregate/Product.res.mjs

@@ -0,0 +1,71 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+
+let commandSchema = S.union([
+  S.schema(s => ({
+    TAG: "Add",
+    name: s.m(S.string),
+    description: s.m(S.string),
+    price: s.m(S.float)
+  })),
+  S.schema(s => ({
+    TAG: "UpdateName",
+    name: s.m(S.string)
+  })),
+  S.schema(s => ({
+    TAG: "UpdateDescription",
+    description: s.m(S.string)
+  })),
+  S.schema(s => ({
+    TAG: "UpdatePrice",
+    price: s.m(S.float)
+  }))
+]);
+
+let eventSchema = S.union([
+  S.schema(s => ({
+    TAG: "Added",
+    name: s.m(S.string),
+    description: s.m(S.string),
+    price: s.m(S.float)
+  })),
+  S.schema(s => ({
+    TAG: "NameUpdated",
+    name: s.m(S.string)
+  })),
+  S.schema(s => ({
+    TAG: "DescriptionUpdated",
+    description: s.m(S.string)
+  })),
+  S.schema(s => ({
+    TAG: "PriceUpdated",
+    price: s.m(S.float)
+  }))
+]);
+
+let errorSchema = S.union([
+  S.literal("ProductAlreadyExists"),
+  S.literal("ProductNotFound")
+]);
+
+function commandAuthorization(param) {
+  return "AllowAuthenticated";
+}
+
+let name = "Product";
+
+let Id;
+
+let moduleUrl = "@reventlessdev/online-shop-aggregates-catalog/src/Product/Aggregate/Product.res.mjs";
+
+export {
+  name,
+  Id,
+  commandSchema,
+  eventSchema,
+  errorSchema,
+  moduleUrl,
+  commandAuthorization,
+}
+/* commandSchema Not a pure module */

package/lib/bs/src/Product/Aggregate/Product_Behavior.res

@@ -0,0 +1,38 @@
+// Product aggregate behavior.
+// Implements the state machine for adding and updating products.
+
+@@reventless.behavior
+
+@schema
+type state =
+  | NotCreated
+  | Created({name: string, description: string, price: float})
+
+let initialState = NotCreated
+
+let evolve = (state, event) =>
+  switch (state, event) {
+  | (NotCreated, Added({name, description, price})) => Created({name, description, price})
+  | (Created(_), Added({name, description, price})) => Created({name, description, price})
+  | (Created(s), NameUpdated({name})) => Created({...s, name})
+  | (Created(s), DescriptionUpdated({description})) => Created({...s, description})
+  | (Created(s), PriceUpdated({price})) => Created({...s, price})
+  | (NotCreated, _) => state
+  }
+
+let decide = (state, command) =>
+  switch (state, command) {
+  | (NotCreated, Add({name, description, price})) =>
+    Ok([Added({name, description, price})])
+  | (NotCreated, UpdateName(_)) => Error(ProductNotFound)
+  | (NotCreated, UpdateDescription(_)) => Error(ProductNotFound)
+  | (NotCreated, UpdatePrice(_)) => Error(ProductNotFound)
+  | (Created(_), Add(_)) => Error(ProductAlreadyExists)
+  | (Created(s), UpdateName({name})) if name == s.name => Ok([])
+  | (Created(_), UpdateName({name})) => Ok([NameUpdated({name: name})])
+  | (Created(s), UpdateDescription({description})) if description == s.description => Ok([])
+  | (Created(_), UpdateDescription({description})) =>
+    Ok([DescriptionUpdated({description: description})])
+  | (Created(s), UpdatePrice({price})) if price == s.price => Ok([])
+  | (Created(_), UpdatePrice({price})) => Ok([PriceUpdated({price: price})])
+  }