@reventlessdev/reventless-gwt 1.0.0-alpha.74

package/tests/MappingGwtTest.res.mjs

@@ -0,0 +1,592 @@
+// 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 Mapping_GWT$ReventlessGwt from "../src/Mapping_GWT.res.mjs";
+
+S.enableJson();
+
+let name = "Category";
+
+let commandSchema = S.schema(s => ({
+  TAG: "AddCategory",
+  categoryId: s.m(S.string),
+  name: s.m(S.string)
+}));
+
+let eventSchema = S.schema(s => ({
+  TAG: "CategoryAdded",
+  categoryId: s.m(S.string),
+  name: s.m(S.string)
+}));
+
+let errorSchema = S.literal("CategoryAlreadyExists");
+
+let moduleUrl = "";
+
+function commandAuthorization(param) {
+  return "AllowAuthenticated";
+}
+
+let CategorySpec = {
+  Id: undefined,
+  name: name,
+  commandSchema: commandSchema,
+  eventSchema: eventSchema,
+  errorSchema: errorSchema,
+  moduleUrl: moduleUrl,
+  commandAuthorization: commandAuthorization
+};
+
+function evolve(_state, event) {
+  return "Created";
+}
+
+function decide(state, cmd) {
+  if (state === "NotCreated") {
+    return {
+      TAG: "Ok",
+      _0: [{
+          TAG: "CategoryAdded",
+          categoryId: cmd.categoryId,
+          name: cmd.name
+        }]
+    };
+  } else {
+    return {
+      TAG: "Error",
+      _0: "CategoryAlreadyExists"
+    };
+  }
+}
+
+let moduleUrl$1 = "";
+
+let CategoryBehavior = {
+  Spec: undefined,
+  initialState: "NotCreated",
+  evolve: evolve,
+  decide: decide,
+  moduleUrl: moduleUrl$1
+};
+
+let name$1 = "Product";
+
+let commandSchema$1 = S.schema(s => ({
+  TAG: "MirrorCategory",
+  productId: s.m(S.string),
+  categoryId: s.m(S.string),
+  name: s.m(S.string)
+}));
+
+let eventSchema$1 = S.schema(s => ({
+  TAG: "ProductCategoryMirrored",
+  productId: s.m(S.string),
+  categoryId: s.m(S.string),
+  name: s.m(S.string)
+}));
+
+let errorSchema$1 = S.literal("ProductAlreadyMirrored");
+
+let moduleUrl$2 = "";
+
+function commandAuthorization$1(param) {
+  return "AllowAuthenticated";
+}
+
+let ProductSpec = {
+  Id: undefined,
+  name: name$1,
+  commandSchema: commandSchema$1,
+  eventSchema: eventSchema$1,
+  errorSchema: errorSchema$1,
+  moduleUrl: moduleUrl$2,
+  commandAuthorization: commandAuthorization$1
+};
+
+function evolve$1(_state, event) {
+  return "Mirrored";
+}
+
+function decide$1(state, cmd) {
+  if (state === "Pristine") {
+    return {
+      TAG: "Ok",
+      _0: [{
+          TAG: "ProductCategoryMirrored",
+          productId: cmd.productId,
+          categoryId: cmd.categoryId,
+          name: cmd.name
+        }]
+    };
+  } else {
+    return {
+      TAG: "Error",
+      _0: "ProductAlreadyMirrored"
+    };
+  }
+}
+
+let moduleUrl$3 = "";
+
+let ProductBehavior = {
+  Spec: undefined,
+  initialState: "Pristine",
+  evolve: evolve$1,
+  decide: decide$1,
+  moduleUrl: moduleUrl$3
+};
+
+let consumedEventSchema = S.schema(s => ({
+  TAG: "NotificationSent",
+  notificationId: s.m(DcbTag$Reventless.string)
+}));
+
+function evolve$2(_state, event) {
+  return {
+    sent: true
+  };
+}
+
+let commandSchema$2 = S.schema(s => ({
+  TAG: "SendNotification",
+  notificationId: s.m(DcbTag$Reventless.string),
+  message: s.m(S.string)
+}));
+
+let errorSchema$2 = S.literal("NotificationAlreadySent");
+
+let eventSchema$2 = S.schema(s => ({
+  TAG: "NotificationSent",
+  notificationId: s.m(DcbTag$Reventless.string),
+  message: s.m(S.string)
+}));
+
+function decide$2(state, command) {
+  if (state.sent) {
+    return {
+      TAG: "Error",
+      _0: "NotificationAlreadySent"
+    };
+  } else {
+    return {
+      TAG: "Ok",
+      _0: [{
+          TAG: "NotificationSent",
+          notificationId: command.notificationId,
+          message: command.message
+        }]
+    };
+  }
+}
+
+function commandAuthorization$2(param) {
+  return "AllowAuthenticated";
+}
+
+let NotificationSlice_initialState = {
+  sent: false
+};
+
+let NotificationSlice = {
+  name: "Notification",
+  initialState: NotificationSlice_initialState,
+  consumedEventSchema: consumedEventSchema,
+  evolve: evolve$2,
+  commandSchema: commandSchema$2,
+  errorSchema: errorSchema$2,
+  eventSchema: eventSchema$2,
+  decide: decide$2,
+  commandAuthorization: commandAuthorization$2,
+  readConsistency: "EscalateOnRetry"
+};
+
+let consumedEventSchema$1 = S.schema(s => ({
+  TAG: "StockReserved",
+  itemId: s.m(DcbTag$Reventless.string)
+}));
+
+function evolve$3(_state, event) {
+  return {
+    reserved: true
+  };
+}
+
+let commandSchema$3 = S.schema(s => ({
+  TAG: "ReserveStock",
+  itemId: s.m(DcbTag$Reventless.string),
+  quantity: s.m(S.int)
+}));
+
+let errorSchema$3 = S.literal("OutOfStock");
+
+let eventSchema$3 = S.schema(s => ({
+  TAG: "StockReserved",
+  itemId: s.m(DcbTag$Reventless.string),
+  quantity: s.m(S.int)
+}));
+
+function decide$3(state, command) {
+  if (state.reserved) {
+    return {
+      TAG: "Error",
+      _0: "OutOfStock"
+    };
+  } else {
+    return {
+      TAG: "Ok",
+      _0: [{
+          TAG: "StockReserved",
+          itemId: command.itemId,
+          quantity: command.quantity
+        }]
+    };
+  }
+}
+
+function commandAuthorization$3(param) {
+  return "AllowAuthenticated";
+}
+
+let InventorySlice_initialState = {
+  reserved: false
+};
+
+let InventorySlice = {
+  name: "Inventory",
+  initialState: InventorySlice_initialState,
+  consumedEventSchema: consumedEventSchema$1,
+  evolve: evolve$3,
+  commandSchema: commandSchema$3,
+  errorSchema: errorSchema$3,
+  eventSchema: eventSchema$3,
+  decide: decide$3,
+  commandAuthorization: commandAuthorization$3,
+  readConsistency: "EscalateOnRetry"
+};
+
+let CategorySource = Mapping_GWT$ReventlessGwt.FromBehavior({
+  Id: {
+    schema: Id$Reventless.StringPure.schema,
+    make: prim => prim,
+    makeFromString: prim => prim,
+    toString: prim => prim,
+    cmp: Id$Reventless.StringPure.cmp
+  },
+  name: name,
+  eventSchema: eventSchema,
+  errorSchema: errorSchema,
+  commandSchema: commandSchema,
+  moduleUrl: moduleUrl,
+  commandAuthorization: commandAuthorization
+})({
+  Spec: {
+    Id: {
+      schema: Id$Reventless.StringPure.schema,
+      make: prim => prim,
+      makeFromString: prim => prim,
+      toString: prim => prim,
+      cmp: Id$Reventless.StringPure.cmp
+    },
+    name: name,
+    eventSchema: eventSchema,
+    errorSchema: errorSchema,
+    commandSchema: commandSchema,
+    moduleUrl: moduleUrl,
+    commandAuthorization: commandAuthorization
+  },
+  initialState: "NotCreated",
+  evolve: evolve,
+  decide: decide,
+  moduleUrl: moduleUrl$1
+});
+
+let ProductTarget = Mapping_GWT$ReventlessGwt.FromBehavior({
+  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$1,
+  errorSchema: errorSchema$1,
+  commandSchema: commandSchema$1,
+  moduleUrl: moduleUrl$2,
+  commandAuthorization: commandAuthorization$1
+})({
+  Spec: {
+    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$1,
+    errorSchema: errorSchema$1,
+    commandSchema: commandSchema$1,
+    moduleUrl: moduleUrl$2,
+    commandAuthorization: commandAuthorization$1
+  },
+  initialState: "Pristine",
+  evolve: evolve$1,
+  decide: decide$1,
+  moduleUrl: moduleUrl$3
+});
+
+let NotificationSource = Mapping_GWT$ReventlessGwt.FromStateChangeSlice(NotificationSlice);
+
+let NotificationTarget = Mapping_GWT$ReventlessGwt.FromStateChangeSlice(NotificationSlice);
+
+let InventoryTarget = Mapping_GWT$ReventlessGwt.FromStateChangeSlice(InventorySlice);
+
+function map(_sourceId, event, _q) {
+  let categoryId = event.categoryId;
+  return [{
+      TAG: "Publish",
+      _0: "prod-for-" + categoryId,
+      _1: {
+        TAG: "MirrorCategory",
+        productId: "prod-for-" + categoryId,
+        categoryId: categoryId,
+        name: event.name
+      }
+    }];
+}
+
+let AggrToAggrMapping = {
+  Source: undefined,
+  Target: undefined,
+  map: map
+};
+
+let AggrToAggrGwt = Mapping_GWT$ReventlessGwt.Make({
+  Source: CategorySource,
+  Target: ProductTarget,
+  map: map
+});
+
+AggrToAggrGwt.describe("Category → Product (Aggr → Aggr)", () => AggrToAggrGwt.test("AddCategory produces ProductCategoryMirrored on product", undefined, () => AggrToAggrGwt.thenTargetEvent(AggrToAggrGwt.whenSourceCmd(AggrToAggrGwt.andTargetEvents(AggrToAggrGwt.givenSourceEvents([]), []), "c1", {
+  TAG: "AddCategory",
+  categoryId: "c1",
+  name: "Books"
+}), "prod-for-c1", {
+  TAG: "ProductCategoryMirrored",
+  productId: "prod-for-c1",
+  categoryId: "c1",
+  name: "Books"
+})));
+
+function map$1(_sourceId, event, _q) {
+  let categoryId = event.categoryId;
+  return [{
+      TAG: "Publish",
+      _0: "notif-" + categoryId,
+      _1: {
+        TAG: "SendNotification",
+        notificationId: "notif-" + categoryId,
+        message: `Category ` + event.name + ` was created`
+      }
+    }];
+}
+
+let AggrToDcbMapping = {
+  Source: undefined,
+  Target: undefined,
+  map: map$1
+};
+
+let AggrToDcbGwt = Mapping_GWT$ReventlessGwt.Make({
+  Source: CategorySource,
+  Target: {
+    name: NotificationTarget.name,
+    Id: {
+      schema: Id$Reventless.StringPure.schema,
+      make: prim => prim,
+      makeFromString: prim => prim,
+      toString: prim => prim,
+      cmp: Id$Reventless.StringPure.cmp
+    },
+    initialState: NotificationTarget.initialState,
+    consumedEventSchema: NotificationTarget.consumedEventSchema,
+    evolve: NotificationTarget.evolve,
+    commandSchema: NotificationTarget.commandSchema,
+    eventSchema: NotificationTarget.eventSchema,
+    errorSchema: NotificationTarget.errorSchema,
+    decide: NotificationTarget.decide
+  },
+  map: map$1
+});
+
+AggrToDcbGwt.describe("Category → Notification (Aggr → DCB)", () => AggrToDcbGwt.test("AddCategory triggers NotificationSent on the DCB slice", undefined, () => AggrToDcbGwt.thenTargetEvent(AggrToDcbGwt.whenSourceCmd(AggrToDcbGwt.andTargetEvents(AggrToDcbGwt.givenSourceEvents([]), []), "c2", {
+  TAG: "AddCategory",
+  categoryId: "c2",
+  name: "Media"
+}), "notif-c2", {
+  TAG: "NotificationSent",
+  notificationId: "notif-c2",
+  message: "Category Media was created"
+})));
+
+let InventorySource = Mapping_GWT$ReventlessGwt.FromStateChangeSlice(InventorySlice);
+
+function map$2(_sourceId, event, _q) {
+  let itemId = event.itemId;
+  return [{
+      TAG: "Publish",
+      _0: "prod-" + itemId,
+      _1: {
+        TAG: "MirrorCategory",
+        productId: "prod-" + itemId,
+        categoryId: itemId,
+        name: itemId
+      }
+    }];
+}
+
+let DcbToAggrMapping = {
+  Source: undefined,
+  Target: undefined,
+  map: map$2
+};
+
+let DcbToAggrGwt = Mapping_GWT$ReventlessGwt.Make({
+  Source: {
+    name: InventorySource.name,
+    Id: {
+      schema: Id$Reventless.StringPure.schema,
+      make: prim => prim,
+      makeFromString: prim => prim,
+      toString: prim => prim,
+      cmp: Id$Reventless.StringPure.cmp
+    },
+    initialState: InventorySource.initialState,
+    consumedEventSchema: InventorySource.consumedEventSchema,
+    evolve: InventorySource.evolve,
+    commandSchema: InventorySource.commandSchema,
+    eventSchema: InventorySource.eventSchema,
+    errorSchema: InventorySource.errorSchema,
+    decide: InventorySource.decide
+  },
+  Target: ProductTarget,
+  map: map$2
+});
+
+DcbToAggrGwt.describe("Inventory → Product (DCB → Aggr)", () => DcbToAggrGwt.test("ReserveStock triggers ProductCategoryMirrored", undefined, () => DcbToAggrGwt.thenTargetEvent(DcbToAggrGwt.whenSourceCmd(DcbToAggrGwt.andTargetEvents(DcbToAggrGwt.givenSourceEvents([]), []), "i1", {
+  TAG: "ReserveStock",
+  itemId: "i1",
+  quantity: 5
+}), "prod-i1", {
+  TAG: "ProductCategoryMirrored",
+  productId: "prod-i1",
+  categoryId: "i1",
+  name: "i1"
+})));
+
+function map$3(_sourceId, event, _q) {
+  let itemId = event.itemId;
+  return [{
+      TAG: "Publish",
+      _0: "reserved-" + itemId,
+      _1: {
+        TAG: "SendNotification",
+        notificationId: "reserved-" + itemId,
+        message: `Reserved ` + event.quantity.toString() + ` of ` + itemId
+      }
+    }];
+}
+
+let DcbToDcbMapping = {
+  Source: undefined,
+  Target: undefined,
+  map: map$3
+};
+
+let DcbToDcbGwt = Mapping_GWT$ReventlessGwt.Make({
+  Source: {
+    name: InventorySource.name,
+    Id: {
+      schema: Id$Reventless.StringPure.schema,
+      make: prim => prim,
+      makeFromString: prim => prim,
+      toString: prim => prim,
+      cmp: Id$Reventless.StringPure.cmp
+    },
+    initialState: InventorySource.initialState,
+    consumedEventSchema: InventorySource.consumedEventSchema,
+    evolve: InventorySource.evolve,
+    commandSchema: InventorySource.commandSchema,
+    eventSchema: InventorySource.eventSchema,
+    errorSchema: InventorySource.errorSchema,
+    decide: InventorySource.decide
+  },
+  Target: {
+    name: NotificationTarget.name,
+    Id: {
+      schema: Id$Reventless.StringPure.schema,
+      make: prim => prim,
+      makeFromString: prim => prim,
+      toString: prim => prim,
+      cmp: Id$Reventless.StringPure.cmp
+    },
+    initialState: NotificationTarget.initialState,
+    consumedEventSchema: NotificationTarget.consumedEventSchema,
+    evolve: NotificationTarget.evolve,
+    commandSchema: NotificationTarget.commandSchema,
+    eventSchema: NotificationTarget.eventSchema,
+    errorSchema: NotificationTarget.errorSchema,
+    decide: NotificationTarget.decide
+  },
+  map: map$3
+});
+
+DcbToDcbGwt.describe("Inventory → Notification (DCB → DCB)", () => {
+  DcbToDcbGwt.test("ReserveStock triggers NotificationSent", undefined, () => DcbToDcbGwt.thenTargetEvent(DcbToDcbGwt.whenSourceCmd(DcbToDcbGwt.andTargetEvents(DcbToDcbGwt.givenSourceEvents([]), []), "i7", {
+    TAG: "ReserveStock",
+    itemId: "i7",
+    quantity: 2
+  }), "reserved-i7", {
+    TAG: "NotificationSent",
+    notificationId: "reserved-i7",
+    message: "Reserved 2 of i7"
+  }));
+  DcbToDcbGwt.test("existing NotificationSent causes target decide to reject", undefined, () => DcbToDcbGwt.thenTargetError(DcbToDcbGwt.whenSourceCmd(DcbToDcbGwt.andTargetEvents(DcbToDcbGwt.givenSourceEvents([]), [[
+      "reserved-i7",
+      [{
+          TAG: "NotificationSent",
+          notificationId: "reserved-i7"
+        }]
+    ]]), "i7", {
+    TAG: "ReserveStock",
+    itemId: "i7",
+    quantity: 2
+  }), "NotificationAlreadySent"));
+});
+
+export {
+  CategorySpec,
+  CategoryBehavior,
+  ProductSpec,
+  ProductBehavior,
+  NotificationSlice,
+  InventorySlice,
+  CategorySource,
+  ProductTarget,
+  NotificationSource,
+  NotificationTarget,
+  InventoryTarget,
+  AggrToAggrMapping,
+  AggrToAggrGwt,
+  AggrToDcbMapping,
+  AggrToDcbGwt,
+  InventorySource,
+  DcbToAggrMapping,
+  DcbToAggrGwt,
+  DcbToDcbMapping,
+  DcbToDcbGwt,
+}
+/*  Not a pure module */

package/tests/OutboundTranslationGwtTest.res

@@ -0,0 +1,59 @@
+// Worked example for OutboundTranslationSlice_GWT — a "send tracking email"
+// slice. Collect builds a TODO from OrderShipped; translate is mocked to
+// exercise both happy path (fire-and-forget success) and failure (retry).
+
+@@reventless.gwt
+
+module SendTrackingEmailSlice = {
+  let name = "SendTrackingEmail"
+
+  @schema
+  type consumedEvent = OrderShipped({orderId: string, email: string})
+
+  @schema
+  type outboundItem = {orderId: string, email: string}
+
+  @schema
+  type inboundCommand = NoOp
+
+  let collect = event =>
+    switch event {
+    | OrderShipped({orderId, email}) => [(orderId, {orderId, email})]
+    }
+}
+
+describe("SendTrackingEmail OutboundTranslationSlice", () => {
+  test("collect: OrderShipped queues an outbound TODO", async () =>
+    givenEvent(OrderShipped({orderId: "o1", email: "x@y"}))
+    ->whenCollect
+    ->thenTodos([("o1", {orderId: "o1", email: "x@y"})])
+  )
+
+  test("translate success is fire-and-forget → #Completed", () =>
+    givenTodo("o1", {orderId: "o1", email: "x@y"})
+    ->whenTranslateMocked((_id, _item) => Promise.resolve(Ok(None)))
+    ->thenTodoStatus("o1", #Completed)
+  )
+
+  test("translate failure records a retry → #Pending", () =>
+    givenTodo("o1", {orderId: "o1", email: "x@y"})
+    ->whenTranslateMocked((_id, _item) => Promise.resolve(Error("smtp down")))
+    ->thenTodoStatus("o1", #Pending)
+  )
+
+  test("retrying translate succeeds on the third attempt → 2 retries recorded", () => {
+    let calls = ref(0)
+    givenTodo("o1", {orderId: "o1", email: "x@y"})
+    ->whenTranslateRetrying(~maxRetries=3, (_id, _item) => {
+      calls := calls.contents + 1
+      Promise.resolve(calls.contents < 3 ? Error("smtp down") : Ok(None))
+    })
+    ->thenRetryRecorded(2)
+  })
+
+  test("translate that keeps failing exhausts maxRetries", () =>
+    givenTodo("o1", {orderId: "o1", email: "x@y"})
+    ->whenTranslateRetrying(~maxRetries=3, (_id, _item) => Promise.resolve(Error("smtp down")))
+    ->thenRetryRecorded(3)
+  )
+})