@reventlessdev/reventless-gwt 1.0.0-alpha.242 → 1.0.0-alpha.244

package/tests/AutomationDeadlineGwtTest.res

@@ -0,0 +1,113 @@
+// A deadline tested at a fixed time: an order not shipped within three days of
+// being placed is cancelled. `collect` counts the due time from the event's
+// recorded time; `process` compares it with `~now`. `atTime` and `~recordedAt`
+// say when the events happened, `~now` when the sweep runs.
+
+module CancelUnshipped = {
+  let name = "CancelUnshipped"
+  let moduleUrl = ""
+
+  @schema
+  type todoItem = {orderId: string, dueAt: float}
+
+  @schema
+  type command = CancelOrder({orderId: string})
+
+  let maxRetries = 3
+  let heartbeatInterval = 60
+  let targetName = "Order"
+  let schedule = None
+}
+
+let day = 24. *. 60. *. 60. *. 1000.
+let day0 = Date.fromString("2026-10-01T09:00:00Z")->Date.getTime
+
+module CancelUnshipped_Automation = {
+  module M = Reventless.AutomationSlice.Mappings.Make(CancelUnshipped)
+  module type Mapping = M.Mapping
+  let moduleUrl = ""
+
+  module Orders = {
+    module Id = Reventless.Id.String
+    let name = "Orders"
+    @schema
+    type event =
+      | OrderPlaced({orderId: string})
+      | OrderShipped({orderId: string})
+  }
+
+  module FromOrders = Reventless.AutomationSlice.Mapping.Make(
+    Orders,
+    CancelUnshipped,
+    {
+      let collect = (event, ~sourceId as _, ctx: Reventless.AutomationSlice.context) =>
+        switch (event, ctx.recordedAt) {
+        | (Orders.OrderPlaced({orderId}), Some(placedAt)) => [
+            (orderId, ({orderId, dueAt: placedAt +. 3. *. day}: CancelUnshipped.todoItem)),
+          ]
+        | _ => []
+        }
+      let resolve = event =>
+        switch event {
+        | Orders.OrderShipped({orderId}) => Some(orderId)
+        | OrderPlaced(_) => None
+        }
+      let reschedule = _ => []
+    },
+  )
+
+  let mappings: array<module(Mapping)> = [module(FromOrders)]
+
+  let process = (id, item: CancelUnshipped.todoItem, ~now) =>
+    now >= item.dueAt ? Some((id, CancelUnshipped.CancelOrder({orderId: item.orderId}))) : None
+  let onExhausted = (_id, _item: CancelUnshipped.todoItem) => None
+}
+
+open CancelUnshipped
+open CancelUnshipped_Automation
+include Automation_GWT.FromSlice(CancelUnshipped, CancelUnshipped_Automation)
+module O = Mapping(FromOrders)
+
+describe("a deadline at a fixed time", () => {
+  test("collect counts the due time from the event's recorded time", () =>
+    O.givenEvent(OrderPlaced({orderId: "o1"}))
+    ->O.whenCollect(~recordedAt=day0)
+    ->thenTodos([("o1", {orderId: "o1", dueAt: day0 +. 3. *. day})])
+  )
+
+  test("not yet due on day 2: no command", () =>
+    givenEvents([O.event(OrderPlaced({orderId: "o1"}))])
+    ->atTime(day0)
+    ->whenSweep(~now=day0 +. 2. *. day)
+    ->thenCommands([])
+  )
+
+  test("due on day 3: CancelOrder", () =>
+    givenEvents([O.event(OrderPlaced({orderId: "o1"}))])
+    ->atTime(day0)
+    ->whenSweep(~now=day0 +. 3. *. day)
+    ->thenCommands([("o1", CancelOrder({orderId: "o1"}))])
+  )
+
+  test("shipped on day 2: nothing on day 3", () =>
+    givenEvents([
+      O.event(OrderPlaced({orderId: "o1"}), ~recordedAt=day0),
+      O.event(OrderShipped({orderId: "o1"}), ~recordedAt=day0 +. 2. *. day),
+    ])
+    ->whenSweep(~now=day0 +. 3. *. day)
+    ->thenCommands([])
+  )
+
+  test("a sweep given no time runs when the events happened", () =>
+    givenEvents([O.event(OrderPlaced({orderId: "o1"}))])
+    ->atTime(day0)
+    ->whenSweep
+    ->thenCommands([])
+  )
+
+  test("process is given the time a scenario fixes", () =>
+    givenTodo("o1", {orderId: "o1", dueAt: day0})
+    ->whenProcess(~now=day0)
+    ->thenCommand("o1", CancelOrder({orderId: "o1"}))
+  )
+})

package/tests/AutomationDeadlineGwtTest.res.mjs

@@ -0,0 +1,291 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Sury from "sury";
+import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
+import * as AutomationSlice$Reventless from "@reventlessdev/reventless-spec/src/components/AutomationSlice.res.mjs";
+import * as Automation_GWT$ReventlessGwt from "../src/Automation_GWT.res.mjs";
+
+let todoItemSchema = Sury.$schema(s => ({
+  orderId: s.m(Sury.string),
+  dueAt: s.m(Sury.number)
+}));
+
+let commandSchema = Sury.$schema(s => ({
+  TAG: "CancelOrder",
+  orderId: s.m(Sury.string)
+}));
+
+function authorizationOf(param) {
+  return "AllowAuthenticated";
+}
+
+function commandTransition(param) {
+  return "Undeclared";
+}
+
+let traits = [];
+
+let CancelUnshipped = {
+  name: "CancelUnshipped",
+  moduleUrl: "",
+  todoItemSchema: todoItemSchema,
+  commandSchema: commandSchema,
+  maxRetries: 3,
+  heartbeatInterval: 60,
+  targetName: "Order",
+  schedule: undefined,
+  authorizationOf: authorizationOf,
+  commandTransition: commandTransition,
+  traits: traits
+};
+
+let day = 24 * 60 * 60 * 1000;
+
+let day0 = new Date("2026-10-01T09:00:00Z").getTime();
+
+let M = AutomationSlice$Reventless.Mappings.Make(CancelUnshipped);
+
+let moduleUrl = "";
+
+let name = "Orders";
+
+let eventSchema = Sury.union([
+  Sury.$schema(s => ({
+    TAG: "OrderPlaced",
+    orderId: s.m(Sury.string)
+  })),
+  Sury.$schema(s => ({
+    TAG: "OrderShipped",
+    orderId: s.m(Sury.string)
+  }))
+]);
+
+let Orders = {
+  Id: undefined,
+  name: name,
+  eventSchema: eventSchema
+};
+
+function collect(event, param, ctx) {
+  let match = ctx.recordedAt;
+  if (event.TAG !== "OrderPlaced") {
+    return [];
+  }
+  if (match === undefined) {
+    return [];
+  }
+  let orderId = event.orderId;
+  return [[
+      orderId,
+      {
+        orderId: orderId,
+        dueAt: match + 3 * day
+      }
+    ]];
+}
+
+function resolve(event) {
+  if (event.TAG === "OrderPlaced") {
+    return;
+  } else {
+    return event.orderId;
+  }
+}
+
+function reschedule(param) {
+  return [];
+}
+
+let FromOrders = AutomationSlice$Reventless.Mapping.Make({
+  Id: Id$Reventless.$$String,
+  name: name,
+  eventSchema: eventSchema
+})(CancelUnshipped)({
+  collect: collect,
+  resolve: resolve,
+  reschedule: reschedule
+});
+
+let mappings = [FromOrders];
+
+function process(id, item, now) {
+  if (now >= item.dueAt) {
+    return [
+      id,
+      {
+        TAG: "CancelOrder",
+        orderId: item.orderId
+      }
+    ];
+  }
+}
+
+function onExhausted(_id, _item) {
+  
+}
+
+let CancelUnshipped_Automation = {
+  M: M,
+  moduleUrl: moduleUrl,
+  Orders: Orders,
+  FromOrders: FromOrders,
+  mappings: mappings,
+  process: process,
+  onExhausted: onExhausted
+};
+
+let include = Automation_GWT$ReventlessGwt.FromSlice(CancelUnshipped)({
+  process: process,
+  onExhausted: onExhausted,
+  moduleUrl: moduleUrl,
+  mappings: mappings
+});
+
+let describe = include.describe;
+
+let test = include.test;
+
+let thenTodos = include.thenTodos;
+
+let Mapping = include.Mapping;
+
+let givenTodo = include.givenTodo;
+
+let whenProcess = include.whenProcess;
+
+let thenCommand = include.thenCommand;
+
+let givenEvents = include.givenEvents;
+
+let atTime = include.atTime;
+
+let whenSweep = include.whenSweep;
+
+let thenCommands = include.thenCommands;
+
+let O = Mapping(FromOrders);
+
+describe("a deadline at a fixed time", () => {
+  test("collect counts the due time from the event's recorded time", () => thenTodos(O.whenCollect(O.givenEvent({
+    TAG: "OrderPlaced",
+    orderId: "o1"
+  }), undefined, undefined, day0), [[
+      "o1",
+      {
+        orderId: "o1",
+        dueAt: day0 + 3 * day
+      }
+    ]]));
+  test("not yet due on day 2: no command", () => thenCommands(whenSweep(atTime(givenEvents([O.event({
+      TAG: "OrderPlaced",
+      orderId: "o1"
+    }, undefined, undefined)]), day0), undefined, day0 + 2 * day), []));
+  test("due on day 3: CancelOrder", () => thenCommands(whenSweep(atTime(givenEvents([O.event({
+      TAG: "OrderPlaced",
+      orderId: "o1"
+    }, undefined, undefined)]), day0), undefined, day0 + 3 * day), [[
+      "o1",
+      {
+        TAG: "CancelOrder",
+        orderId: "o1"
+      }
+    ]]));
+  test("shipped on day 2: nothing on day 3", () => thenCommands(whenSweep(givenEvents([
+    O.event({
+      TAG: "OrderPlaced",
+      orderId: "o1"
+    }, undefined, day0),
+    O.event({
+      TAG: "OrderShipped",
+      orderId: "o1"
+    }, undefined, day0 + 2 * day)
+  ]), undefined, day0 + 3 * day), []));
+  test("a sweep given no time runs when the events happened", () => thenCommands(whenSweep(atTime(givenEvents([O.event({
+      TAG: "OrderPlaced",
+      orderId: "o1"
+    }, undefined, undefined)]), day0), undefined, undefined), []));
+  test("process is given the time a scenario fixes", () => thenCommand(whenProcess(givenTodo("o1", {
+    orderId: "o1",
+    dueAt: day0
+  }), day0), "o1", {
+    TAG: "CancelOrder",
+    orderId: "o1"
+  }));
+});
+
+let Route = include.Route;
+
+let testContext = include.testContext;
+
+let withRecordedAt = include.withRecordedAt;
+
+let encTodos = include.encTodos;
+
+let encPair = include.encPair;
+
+let thenResolved = include.thenResolved;
+
+let whenExhausted = include.whenExhausted;
+
+let thenNoCommand = include.thenNoCommand;
+
+let latestRecorded = include.latestRecorded;
+
+let routeEach = include.routeEach;
+
+let routeAll = include.routeAll;
+
+let foldSchedules = include.foldSchedules;
+
+let declaredRows = include.declaredRows;
+
+let sweep = include.sweep;
+
+let tick = include.tick;
+
+let whenTick = include.whenTick;
+
+let andThenEvents = include.andThenEvents;
+
+let thenSchedules = include.thenSchedules;
+
+let thenScenarioTodos = include.thenScenarioTodos;
+
+export {
+  CancelUnshipped,
+  day,
+  day0,
+  CancelUnshipped_Automation,
+  Route,
+  describe,
+  test,
+  testContext,
+  withRecordedAt,
+  encTodos,
+  encPair,
+  thenTodos,
+  thenResolved,
+  Mapping,
+  givenTodo,
+  whenProcess,
+  whenExhausted,
+  thenCommand,
+  thenNoCommand,
+  givenEvents,
+  atTime,
+  latestRecorded,
+  routeEach,
+  routeAll,
+  foldSchedules,
+  declaredRows,
+  sweep,
+  whenSweep,
+  tick,
+  whenTick,
+  thenCommands,
+  andThenEvents,
+  thenSchedules,
+  thenScenarioTodos,
+  O,
+}
+/* todoItemSchema Not a pure module */

package/tests/AutomationFromSliceGwtTest.res

@@ -18,6 +18,7 @@ module ShipPaid = {
   let maxRetries = 3
   let heartbeatInterval = 60
   let targetName = "Order"
+  let schedule = None
 }
 
 module ShipPaid_Automation = {
@@ -57,6 +58,7 @@ module ShipPaid_Automation = {
         | Orders.OrderCancelled({orderId}) => Some(orderId)
         | OrderPlaced(_) => None
         }
+      let reschedule = _ => []
     },
   )
 
@@ -74,12 +76,16 @@ module ShipPaid_Automation = {
         | Payments.Refunded(_) => None
         | Captured(_) => None
         }
+      let reschedule = _ => []
     },
   )
 
   let mappings: array<module(Mapping)> = [module(FromOrders), module(FromPayments)]
 
-  let process = (id, _item: ShipPaid.todoItem) => Some((id, ShipPaid.Ship({orderId: id})))
+  let process = (id, _item: ShipPaid.todoItem, ~now as _) => Some((
+    id,
+    ShipPaid.Ship({orderId: id}),
+  ))
   let onExhausted = (id, _item: ShipPaid.todoItem) => Some((id, ShipPaid.GiveUp({orderId: id})))
 }
 

package/tests/AutomationFromSliceGwtTest.res.mjs

@@ -38,6 +38,7 @@ let ShipPaid = {
   maxRetries: 3,
   heartbeatInterval: 60,
   targetName: "Order",
+  schedule: undefined,
   authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits
@@ -106,13 +107,18 @@ function resolve(event) {
   }
 }
 
+function reschedule(param) {
+  return [];
+}
+
 let FromOrders = AutomationSlice$Reventless.Mapping.Make({
   Id: Id$Reventless.$$String,
   name: name,
   eventSchema: eventSchema
 })(ShipPaid)({
   collect: collect,
-  resolve: resolve
+  resolve: resolve,
+  reschedule: reschedule
 });
 
 function collect$1(event, sourceId, _ctx) {
@@ -132,13 +138,18 @@ function resolve$1(event) {
   
 }
 
+function reschedule$1(param) {
+  return [];
+}
+
 let FromPayments = AutomationSlice$Reventless.Mapping.Make({
   Id: Id$Reventless.$$String,
   name: name$1,
   eventSchema: eventSchema$1
 })(ShipPaid)({
   collect: collect$1,
-  resolve: resolve$1
+  resolve: resolve$1,
+  reschedule: reschedule$1
 });
 
 let mappings = [
@@ -146,7 +157,7 @@ let mappings = [
   FromPayments
 ];
 
-function process(id, _item) {
+function process(id, _item, param) {
   return [
     id,
     {
@@ -221,7 +232,7 @@ describe("Automation_GWT.FromSlice", () => {
   test("collect through one mapping", () => thenTodos(O.whenCollect(O.givenEvent({
     TAG: "OrderPlaced",
     orderId: "o1"
-  }), undefined, undefined), [[
+  }), undefined, undefined, undefined), [[
       "o1",
       {
         orderId: "o1"
@@ -230,7 +241,7 @@ describe("Automation_GWT.FromSlice", () => {
   test("collect keys by the source id where the event does not name it", () => thenTodos(P.whenCollect(P.givenEvent({
     TAG: "Captured",
     amount: 5
-  }), "o2", undefined), [[
+  }), "o2", undefined, undefined), [[
       "o2",
       {
         orderId: "o2"
@@ -242,7 +253,7 @@ describe("Automation_GWT.FromSlice", () => {
   })), "o1"));
   test("process", () => thenCommand(whenProcess(givenTodo("o1", {
     orderId: "o1"
-  })), "o1", {
+  }), undefined), "o1", {
     TAG: "Ship",
     orderId: "o1"
   }));
@@ -256,12 +267,12 @@ describe("Automation_GWT.FromSlice", () => {
     P.event({
       TAG: "Captured",
       amount: 5
-    }, "o2"),
+    }, "o2", undefined),
     O.event({
       TAG: "OrderPlaced",
       orderId: "o1"
-    }, undefined)
-  ]), undefined), [
+    }, undefined, undefined)
+  ]), undefined, undefined), [
     [
       "o2",
       {
@@ -281,20 +292,20 @@ describe("Automation_GWT.FromSlice", () => {
     O.event({
       TAG: "OrderCancelled",
       orderId: "o1"
-    }, undefined),
+    }, undefined, undefined),
     O.event({
       TAG: "OrderPlaced",
       orderId: "o1"
-    }, undefined),
+    }, undefined, undefined),
     O.event({
       TAG: "OrderPlaced",
       orderId: "o3"
-    }, undefined),
+    }, undefined, undefined),
     O.event({
       TAG: "OrderCancelled",
       orderId: "o3"
-    }, undefined)
-  ]), undefined), [[
+    }, undefined, undefined)
+  ]), undefined, undefined), [[
       "o1",
       {
         orderId: "o1"
@@ -303,26 +314,44 @@ describe("Automation_GWT.FromSlice", () => {
   test("andThenEvents drains what later events resolve", () => thenScenarioTodos(andThenEvents(whenSweep(givenEvents([O.event({
       TAG: "OrderPlaced",
       orderId: "o1"
-    }, undefined)]), undefined), [O.event({
+    }, undefined, undefined)]), undefined, undefined), [O.event({
       TAG: "OrderCancelled",
       orderId: "o1"
-    }, undefined)], undefined), []));
+    }, undefined, undefined)], undefined), []));
 });
 
 let Route = include.Route;
 
 let testContext = include.testContext;
 
+let withRecordedAt = include.withRecordedAt;
+
 let encTodos = include.encTodos;
 
 let encPair = include.encPair;
 
 let thenNoCommand = include.thenNoCommand;
 
+let atTime = include.atTime;
+
+let latestRecorded = include.latestRecorded;
+
+let routeEach = include.routeEach;
+
 let routeAll = include.routeAll;
 
+let foldSchedules = include.foldSchedules;
+
+let declaredRows = include.declaredRows;
+
 let sweep = include.sweep;
 
+let tick = include.tick;
+
+let whenTick = include.whenTick;
+
+let thenSchedules = include.thenSchedules;
+
 export {
   ShipPaid,
   ShipPaid_Automation,
@@ -330,6 +359,7 @@ export {
   describe,
   test,
   testContext,
+  withRecordedAt,
   encTodos,
   encPair,
   thenTodos,
@@ -341,11 +371,19 @@ export {
   thenCommand,
   thenNoCommand,
   givenEvents,
+  atTime,
+  latestRecorded,
+  routeEach,
   routeAll,
+  foldSchedules,
+  declaredRows,
   sweep,
   whenSweep,
+  tick,
+  whenTick,
   thenCommands,
   andThenEvents,
+  thenSchedules,
   thenScenarioTodos,
   O,
   P,

package/tests/AutomationGwtTest.res

@@ -31,7 +31,7 @@ module ShipOrderSlice = {
     | _ => None
     }
 
-  let process = (_id, item) => Some((
+  let process = (_id, item, ~now as _) => Some((
     item.orderId,
     CreateShipment({orderId: item.orderId, address: item.shippingAddress}),
   ))

package/tests/AutomationGwtTest.res.mjs

@@ -49,7 +49,7 @@ function resolve(event) {
   }
 }
 
-function process(_id, item) {
+function process(_id, item, param) {
   return [
     item.orderId,
     {
@@ -139,7 +139,7 @@ describe("ShipOrder AutomationSlice", () => {
   test("process: pending TODO emits CreateShipment", () => thenCommand(whenProcess(givenTodo("o1", {
     orderId: "o1",
     shippingAddress: "1 Main St"
-  })), "o1", {
+  }), undefined), "o1", {
     TAG: "CreateShipment",
     orderId: "o1",
     address: "1 Main St"
@@ -149,7 +149,7 @@ describe("ShipOrder AutomationSlice", () => {
         TAG: "OrderPlaced",
         orderId: "o1",
         shippingAddress: "1 Main St"
-      }]));
+      }]), undefined);
     let commandsOk = thenCommands(s, [[
         "o1",
         {