@reventlessdev/reventless-gwt 1.0.0-alpha.74

package/tests/FlowCrossPluginGwtTest.res.mjs

@@ -0,0 +1,798 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
+import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+import * as Flow_GWT$ReventlessGwt from "../src/Flow_GWT.res.mjs";
+
+S.enableJson();
+
+let consumedEventSchema = S.schema(s => ({
+  TAG: "ProductAdded",
+  productId: s.m(DcbTag$Reventless.string)
+}));
+
+let commandSchema = S.schema(s => ({
+  TAG: "AddProduct",
+  productId: s.m(DcbTag$Reventless.string),
+  name: s.m(S.string),
+  price: s.m(S.float)
+}));
+
+let errorSchema = S.literal("AlreadyAdded");
+
+let eventSchema = S.schema(s => ({
+  TAG: "ProductAdded",
+  productId: s.m(DcbTag$Reventless.string),
+  name: s.m(S.string),
+  price: s.m(S.float)
+}));
+
+function commandAuthorization(param) {
+  return "AllowAuthenticated";
+}
+
+let AddProductSlice = {
+  name: "AddProduct",
+  consumedEventSchema: consumedEventSchema,
+  commandSchema: commandSchema,
+  errorSchema: errorSchema,
+  eventSchema: eventSchema,
+  commandAuthorization: commandAuthorization,
+  readConsistency: "EscalateOnRetry"
+};
+
+let initialState = {
+  added: false
+};
+
+function evolve(_state, event) {
+  return {
+    added: true
+  };
+}
+
+function decide(state, command) {
+  if (state.added) {
+    return {
+      TAG: "Error",
+      _0: "AlreadyAdded"
+    };
+  } else {
+    return {
+      TAG: "Ok",
+      _0: [{
+          TAG: "ProductAdded",
+          productId: command.productId,
+          name: command.name,
+          price: command.price
+        }]
+    };
+  }
+}
+
+let AddProductBehavior = {
+  Spec: undefined,
+  initialState: initialState,
+  evolve: evolve,
+  decide: decide
+};
+
+let commandSchema$1 = S.literal("NoCommand");
+
+let eventSchema$1 = S.schema(s => ({
+  TAG: "ProductBecameAvailable",
+  productId: s.m(S.string),
+  name: s.m(S.string),
+  price: s.m(S.float)
+}));
+
+let directiveSchema = S.literal("NoDirective");
+
+function commandAuthorization$1(param) {
+  return "AllowAuthenticated";
+}
+
+let ProductsEpSpec = {
+  name: "Catalog.Products",
+  moduleUrl: "",
+  commandSchema: commandSchema$1,
+  eventSchema: eventSchema$1,
+  directiveSchema: directiveSchema,
+  commandAuthorization: commandAuthorization$1
+};
+
+let name = "Product";
+
+let commandSchema$2 = S.literal("NoCommand");
+
+let eventSchema$2 = S.schema(s => ({
+  TAG: "ProductAdded",
+  productId: s.m(S.string),
+  name: s.m(S.string),
+  price: s.m(S.float)
+}));
+
+let errorSchema$1 = S.literal("NoError");
+
+let moduleUrl = "";
+
+function commandAuthorization$2(param) {
+  return "AllowAuthenticated";
+}
+
+let ProductDelegate = {
+  Id: undefined,
+  name: name,
+  commandSchema: commandSchema$2,
+  eventSchema: eventSchema$2,
+  errorSchema: errorSchema$1,
+  moduleUrl: moduleUrl,
+  commandAuthorization: commandAuthorization$2
+};
+
+let moduleUrl$1 = "test:FlowCrossPluginGwtTest:ProductsEpMapping";
+
+function mapIncomingCommand(_id, _command, _meta) {
+  return [];
+}
+
+let mapOutgoingEvent = (_id, event, _meta, _q) => {
+  let productId = event.productId;
+  return [{
+      TAG: "PublishEvent",
+      _0: productId,
+      _1: {
+        TAG: "ProductBecameAvailable",
+        productId: productId,
+        name: event.name,
+        price: event.price
+      }
+    }];
+};
+
+let ProductsEpMapping = {
+  ExtensionPoint: undefined,
+  Delegate: undefined,
+  moduleUrl: moduleUrl$1,
+  mapIncomingCommand: mapIncomingCommand,
+  mapOutgoingEvent: mapOutgoingEvent
+};
+
+let commandSchema$3 = S.literal("NoCommand");
+
+let eventSchema$3 = S.schema(s => ({
+  TAG: "ItemOrdered",
+  productId: s.m(S.string),
+  orderId: s.m(S.string)
+}));
+
+let directiveSchema$1 = S.literal("NoDirective");
+
+function commandAuthorization$3(param) {
+  return "AllowAuthenticated";
+}
+
+let OrdersEpSpec = {
+  name: "Ordering.Orders",
+  moduleUrl: "",
+  commandSchema: commandSchema$3,
+  eventSchema: eventSchema$3,
+  directiveSchema: directiveSchema$1,
+  commandAuthorization: commandAuthorization$3
+};
+
+let name$1 = "Order";
+
+let commandSchema$4 = S.literal("NoCommand");
+
+let eventSchema$4 = S.schema(s => ({
+  TAG: "OrderPlaced",
+  orderId: s.m(S.string),
+  productIds: s.m(S.array(S.string))
+}));
+
+let errorSchema$2 = S.literal("NoError");
+
+let moduleUrl$2 = "";
+
+function commandAuthorization$4(param) {
+  return "AllowAuthenticated";
+}
+
+let OrderDelegate = {
+  Id: undefined,
+  name: name$1,
+  commandSchema: commandSchema$4,
+  eventSchema: eventSchema$4,
+  errorSchema: errorSchema$2,
+  moduleUrl: moduleUrl$2,
+  commandAuthorization: commandAuthorization$4
+};
+
+let moduleUrl$3 = "test:FlowCrossPluginGwtTest:OrdersEpMapping";
+
+function mapIncomingCommand$1(_id, _command, _meta) {
+  return [];
+}
+
+let mapOutgoingEvent$1 = (_id, event, _meta, _q) => {
+  let orderId = event.orderId;
+  return event.productIds.map(pid => ({
+    TAG: "PublishEvent",
+    _0: pid,
+    _1: {
+      TAG: "ItemOrdered",
+      productId: pid,
+      orderId: orderId
+    }
+  }));
+};
+
+let OrdersEpMapping = {
+  ExtensionPoint: undefined,
+  Delegate: undefined,
+  moduleUrl: moduleUrl$3,
+  mapIncomingCommand: mapIncomingCommand$1,
+  mapOutgoingEvent: mapOutgoingEvent$1
+};
+
+let name$2 = "RecordDemand";
+
+let consumedEventSchema$1 = S.schema(s => ({
+  TAG: "DemandRecorded",
+  productId: s.m(DcbTag$Reventless.string),
+  orderId: s.m(S.string)
+}));
+
+let commandSchema$5 = S.schema(s => ({
+  TAG: "RecordDemand",
+  productId: s.m(DcbTag$Reventless.string),
+  orderId: s.m(S.string)
+}));
+
+let errorSchema$3 = S.literal("NoError");
+
+let eventSchema$5 = S.schema(s => ({
+  TAG: "DemandRecorded",
+  productId: s.m(DcbTag$Reventless.string),
+  orderId: s.m(S.string)
+}));
+
+let moduleUrl$4 = "";
+
+function commandAuthorization$5(param) {
+  return "AllowAuthenticated";
+}
+
+let RecordDemandSlice = {
+  Id: undefined,
+  name: name$2,
+  consumedEventSchema: consumedEventSchema$1,
+  commandSchema: commandSchema$5,
+  errorSchema: errorSchema$3,
+  eventSchema: eventSchema$5,
+  moduleUrl: moduleUrl$4,
+  commandAuthorization: commandAuthorization$5,
+  readConsistency: "EscalateOnRetry"
+};
+
+let initialState$1 = {
+  count: 0
+};
+
+function evolve$1(state, event) {
+  return {
+    count: state.count + 1 | 0
+  };
+}
+
+function decide$1(_state, command) {
+  return {
+    TAG: "Ok",
+    _0: [{
+        TAG: "DemandRecorded",
+        productId: command.productId,
+        orderId: command.orderId
+      }]
+  };
+}
+
+let RecordDemandBehavior = {
+  Spec: undefined,
+  initialState: initialState$1,
+  evolve: evolve$1,
+  decide: decide$1
+};
+
+let moduleUrl$5 = "";
+
+let delegateModuleUrl = "";
+
+function mapIncomingEvent(_id, event, _meta, _pd, _q) {
+  return [{
+      TAG: "PublishStateChangeSliceCommand",
+      _0: {
+        TAG: "RecordDemand",
+        productId: event.productId,
+        orderId: event.orderId
+      }
+    }];
+}
+
+let OrdersExtMapping = {
+  ExtensionPoint: undefined,
+  Delegate: undefined,
+  moduleUrl: moduleUrl$5,
+  delegateModuleUrl: delegateModuleUrl,
+  mapIncomingEvent: mapIncomingEvent,
+  mapOutgoingEvent: undefined
+};
+
+let name$3 = "SyncProduct";
+
+let consumedEventSchema$2 = S.schema(s => ({
+  TAG: "ProductSynced",
+  productId: s.m(DcbTag$Reventless.string)
+}));
+
+let commandSchema$6 = S.schema(s => ({
+  TAG: "SyncProduct",
+  productId: s.m(DcbTag$Reventless.string),
+  name: s.m(S.string),
+  price: s.m(S.float)
+}));
+
+let errorSchema$4 = S.literal("NoError");
+
+let eventSchema$6 = S.schema(s => ({
+  TAG: "ProductSynced",
+  productId: s.m(DcbTag$Reventless.string),
+  name: s.m(S.string),
+  price: s.m(S.float)
+}));
+
+let moduleUrl$6 = "";
+
+function commandAuthorization$6(param) {
+  return "AllowAuthenticated";
+}
+
+let SyncProductSlice = {
+  Id: undefined,
+  name: name$3,
+  consumedEventSchema: consumedEventSchema$2,
+  commandSchema: commandSchema$6,
+  errorSchema: errorSchema$4,
+  eventSchema: eventSchema$6,
+  moduleUrl: moduleUrl$6,
+  commandAuthorization: commandAuthorization$6,
+  readConsistency: "EscalateOnRetry"
+};
+
+let initialState$2 = {
+  synced: false
+};
+
+function evolve$2(_state, event) {
+  return {
+    synced: true
+  };
+}
+
+function decide$2(_state, command) {
+  return {
+    TAG: "Ok",
+    _0: [{
+        TAG: "ProductSynced",
+        productId: command.productId,
+        name: command.name,
+        price: command.price
+      }]
+  };
+}
+
+let SyncProductBehavior = {
+  Spec: undefined,
+  initialState: initialState$2,
+  evolve: evolve$2,
+  decide: decide$2
+};
+
+let moduleUrl$7 = "";
+
+let delegateModuleUrl$1 = "";
+
+function mapIncomingEvent$1(_id, event, _meta, _pd, _q) {
+  return [{
+      TAG: "PublishStateChangeSliceCommand",
+      _0: {
+        TAG: "SyncProduct",
+        productId: event.productId,
+        name: event.name,
+        price: event.price
+      }
+    }];
+}
+
+let ProductsExtMapping = {
+  ExtensionPoint: undefined,
+  Delegate: undefined,
+  moduleUrl: moduleUrl$7,
+  delegateModuleUrl: delegateModuleUrl$1,
+  mapIncomingEvent: mapIncomingEvent$1,
+  mapOutgoingEvent: undefined
+};
+
+let consumedEventSchema$3 = S.union([
+  S.schema(s => ({
+    TAG: "OrderPlaced",
+    orderId: s.m(DcbTag$Reventless.string)
+  })),
+  S.schema(s => ({
+    TAG: "ProductSynced",
+    productId: s.m(DcbTag$Reventless.string)
+  }))
+]);
+
+let commandSchema$7 = S.schema(s => ({
+  TAG: "PlaceOrder",
+  orderId: s.m(DcbTag$Reventless.string),
+  productIds: s.m(S.array(DcbTag$Reventless.stringForKey("productId")))
+}));
+
+let errorSchema$5 = S.union([
+  S.literal("OrderAlreadyPlaced"),
+  S.schema(s => ({
+    TAG: "ProductsNotAvailable",
+    missing: s.m(S.array(S.string))
+  }))
+]);
+
+let eventSchema$7 = S.schema(s => ({
+  TAG: "OrderPlaced",
+  orderId: s.m(DcbTag$Reventless.string),
+  productIds: s.m(S.array(DcbTag$Reventless.stringForKey("productId")))
+}));
+
+function commandAuthorization$7(param) {
+  return "AllowAuthenticated";
+}
+
+let PlaceOrderSlice = {
+  name: "PlaceOrder",
+  consumedEventSchema: consumedEventSchema$3,
+  commandSchema: commandSchema$7,
+  errorSchema: errorSchema$5,
+  eventSchema: eventSchema$7,
+  commandAuthorization: commandAuthorization$7,
+  readConsistency: "EscalateOnRetry"
+};
+
+let initialState_placed = [];
+
+let initialState_available = [];
+
+let initialState$3 = {
+  placed: initialState_placed,
+  available: initialState_available
+};
+
+function evolve$3(state, event) {
+  if (event.TAG === "OrderPlaced") {
+    return {
+      placed: state.placed.concat([event.orderId]),
+      available: state.available
+    };
+  } else {
+    return {
+      placed: state.placed,
+      available: state.available.concat([event.productId])
+    };
+  }
+}
+
+function decide$3(state, command) {
+  let orderId = command.orderId;
+  if (state.placed.includes(orderId)) {
+    return {
+      TAG: "Error",
+      _0: "OrderAlreadyPlaced"
+    };
+  }
+  let productIds = command.productIds;
+  let missing = productIds.filter(p => !state.available.includes(p));
+  if (missing.length !== 0) {
+    return {
+      TAG: "Error",
+      _0: {
+        TAG: "ProductsNotAvailable",
+        missing: missing
+      }
+    };
+  } else {
+    return {
+      TAG: "Ok",
+      _0: [{
+          TAG: "OrderPlaced",
+          orderId: orderId,
+          productIds: productIds
+        }]
+    };
+  }
+}
+
+let PlaceOrderBehavior = {
+  Spec: undefined,
+  initialState: initialState$3,
+  evolve: evolve$3,
+  decide: decide$3
+};
+
+let AddProduct = Flow_GWT$ReventlessGwt.CommandStep(AddProductSlice)({
+  initialState: initialState,
+  evolve: evolve,
+  decide: decide
+});
+
+let ProductsEp = Flow_GWT$ReventlessGwt.ExtensionPointStep({
+  ExtensionPoint: ProductsEpSpec,
+  Delegate: {
+    Id: {
+      schema: Id$Reventless.StringPure.schema,
+      make: prim => prim,
+      makeFromString: prim => prim,
+      toString: prim => prim,
+      cmp: Id$Reventless.StringPure.cmp
+    },
+    name: name,
+    eventSchema: eventSchema$2,
+    errorSchema: errorSchema$1,
+    commandSchema: commandSchema$2,
+    moduleUrl: moduleUrl,
+    commandAuthorization: commandAuthorization$2
+  },
+  moduleUrl: moduleUrl$1,
+  mapIncomingCommand: mapIncomingCommand,
+  mapOutgoingEvent: mapOutgoingEvent
+});
+
+let ProductsExt = Flow_GWT$ReventlessGwt.ExtensionStep({
+  ExtensionPoint: ProductsEpSpec,
+  Delegate: {
+    Id: {
+      schema: Id$Reventless.StringPure.schema,
+      make: prim => prim,
+      makeFromString: prim => prim,
+      toString: prim => prim,
+      cmp: Id$Reventless.StringPure.cmp
+    },
+    name: name$3,
+    eventSchema: eventSchema$6,
+    errorSchema: errorSchema$4,
+    commandSchema: commandSchema$6,
+    moduleUrl: moduleUrl$6,
+    commandAuthorization: commandAuthorization$6
+  },
+  moduleUrl: moduleUrl$7,
+  delegateModuleUrl: delegateModuleUrl$1,
+  mapIncomingEvent: mapIncomingEvent$1,
+  mapOutgoingEvent: undefined
+});
+
+let Sync = Flow_GWT$ReventlessGwt.CommandStep({
+  name: name$3,
+  consumedEventSchema: consumedEventSchema$2,
+  commandSchema: commandSchema$6,
+  errorSchema: errorSchema$4,
+  eventSchema: eventSchema$6
+})({
+  initialState: initialState$2,
+  evolve: evolve$2,
+  decide: decide$2
+});
+
+let Place = Flow_GWT$ReventlessGwt.CommandStep(PlaceOrderSlice)({
+  initialState: initialState$3,
+  evolve: evolve$3,
+  decide: decide$3
+});
+
+let OrdersEp = Flow_GWT$ReventlessGwt.ExtensionPointStep({
+  ExtensionPoint: OrdersEpSpec,
+  Delegate: {
+    Id: {
+      schema: Id$Reventless.StringPure.schema,
+      make: prim => prim,
+      makeFromString: prim => prim,
+      toString: prim => prim,
+      cmp: Id$Reventless.StringPure.cmp
+    },
+    name: name$1,
+    eventSchema: eventSchema$4,
+    errorSchema: errorSchema$2,
+    commandSchema: commandSchema$4,
+    moduleUrl: moduleUrl$2,
+    commandAuthorization: commandAuthorization$4
+  },
+  moduleUrl: moduleUrl$3,
+  mapIncomingCommand: mapIncomingCommand$1,
+  mapOutgoingEvent: mapOutgoingEvent$1
+});
+
+let OrdersExt = Flow_GWT$ReventlessGwt.ExtensionStep({
+  ExtensionPoint: OrdersEpSpec,
+  Delegate: {
+    Id: {
+      schema: Id$Reventless.StringPure.schema,
+      make: prim => prim,
+      makeFromString: prim => prim,
+      toString: prim => prim,
+      cmp: Id$Reventless.StringPure.cmp
+    },
+    name: name$2,
+    eventSchema: eventSchema$5,
+    errorSchema: errorSchema$3,
+    commandSchema: commandSchema$5,
+    moduleUrl: moduleUrl$4,
+    commandAuthorization: commandAuthorization$5
+  },
+  moduleUrl: moduleUrl$5,
+  delegateModuleUrl: delegateModuleUrl,
+  mapIncomingEvent: mapIncomingEvent,
+  mapOutgoingEvent: undefined
+});
+
+let Demand = Flow_GWT$ReventlessGwt.CommandStep({
+  name: name$2,
+  consumedEventSchema: consumedEventSchema$1,
+  commandSchema: commandSchema$5,
+  errorSchema: errorSchema$3,
+  eventSchema: eventSchema$5
+})({
+  initialState: initialState$1,
+  evolve: evolve$1,
+  decide: decide$1
+});
+
+Flow_GWT$ReventlessGwt.describe("Cross-plugin flow", () => {
+  Flow_GWT$ReventlessGwt.test("Tier 2 — a product added in Catalog becomes orderable in Ordering via sync", undefined, () => Place.thenEvent(Place.whenCommand(Sync.thenEvent(Sync.whenCommand(ProductsExt.thenIssuesCommand(ProductsExt.whenExtensionReacts(ProductsEp.thenPublicEvent(ProductsEp.whenPublishedThrough(AddProduct.thenEvent(AddProduct.whenCommand(Flow_GWT$ReventlessGwt.start, {
+    TAG: "AddProduct",
+    productId: "p1",
+    name: "Book",
+    price: 9.99
+  }), {
+    TAG: "ProductAdded",
+    productId: "p1",
+    name: "Book",
+    price: 9.99
+  })), {
+    TAG: "ProductBecameAvailable",
+    productId: "p1",
+    name: "Book",
+    price: 9.99
+  })), {
+    TAG: "SyncProduct",
+    productId: "p1",
+    name: "Book",
+    price: 9.99
+  }), {
+    TAG: "SyncProduct",
+    productId: "p1",
+    name: "Book",
+    price: 9.99
+  }), {
+    TAG: "ProductSynced",
+    productId: "p1",
+    name: "Book",
+    price: 9.99
+  }), {
+    TAG: "PlaceOrder",
+    orderId: "o1",
+    productIds: ["p1"]
+  }), {
+    TAG: "OrderPlaced",
+    orderId: "o1",
+    productIds: ["p1"]
+  }));
+  Flow_GWT$ReventlessGwt.test("Tier 2 — placing an order without the cross-plugin sync is rejected", undefined, () => Place.thenError(Place.whenCommand(Flow_GWT$ReventlessGwt.start, {
+    TAG: "PlaceOrder",
+    orderId: "o1",
+    productIds: ["p1"]
+  }), {
+    TAG: "ProductsNotAvailable",
+    missing: ["p1"]
+  }));
+  Flow_GWT$ReventlessGwt.test("Tier 3 — a batch order fans out to one demand command per product across the boundary", undefined, () => Demand.thenEvent(Demand.whenCommand(OrdersExt.thenIssuesCommands(OrdersExt.whenExtensionReacts(OrdersEp.thenPublicEvents(OrdersEp.whenPublishedThrough(Place.thenEvent(Place.whenCommand(Sync.givenEvents(Flow_GWT$ReventlessGwt.start, [
+    {
+      TAG: "ProductSynced",
+      productId: "p1",
+      name: "Book",
+      price: 9.99
+    },
+    {
+      TAG: "ProductSynced",
+      productId: "p2",
+      name: "Pen",
+      price: 1.5
+    }
+  ]), {
+    TAG: "PlaceOrder",
+    orderId: "o1",
+    productIds: [
+      "p1",
+      "p2"
+    ]
+  }), {
+    TAG: "OrderPlaced",
+    orderId: "o1",
+    productIds: [
+      "p1",
+      "p2"
+    ]
+  })), [
+    {
+      TAG: "ItemOrdered",
+      productId: "p1",
+      orderId: "o1"
+    },
+    {
+      TAG: "ItemOrdered",
+      productId: "p2",
+      orderId: "o1"
+    }
+  ])), [
+    {
+      TAG: "RecordDemand",
+      productId: "p1",
+      orderId: "o1"
+    },
+    {
+      TAG: "RecordDemand",
+      productId: "p2",
+      orderId: "o1"
+    }
+  ]), {
+    TAG: "RecordDemand",
+    productId: "p1",
+    orderId: "o1"
+  }), {
+    TAG: "DemandRecorded",
+    productId: "p1",
+    orderId: "o1"
+  }));
+});
+
+let EPM;
+
+let EM;
+
+export {
+  EPM,
+  EM,
+  AddProductSlice,
+  AddProductBehavior,
+  ProductsEpSpec,
+  ProductDelegate,
+  ProductsEpMapping,
+  OrdersEpSpec,
+  OrderDelegate,
+  OrdersEpMapping,
+  RecordDemandSlice,
+  RecordDemandBehavior,
+  OrdersExtMapping,
+  SyncProductSlice,
+  SyncProductBehavior,
+  ProductsExtMapping,
+  PlaceOrderSlice,
+  PlaceOrderBehavior,
+  AddProduct,
+  ProductsEp,
+  ProductsExt,
+  Sync,
+  Place,
+  OrdersEp,
+  OrdersExt,
+  Demand,
+}
+/*  Not a pure module */