@reventlessdev/reventless-gwt 1.0.0-alpha.238 → 1.0.0-alpha.240

package/tests/FlowCrossPluginGwtTest.res

@@ -81,7 +81,7 @@ module ProductDelegate = {
   @schema type error = NoError
   let moduleUrl = ""
   type role = Reventless.Role.name
-  let commandAuthorization = (_: command): Reventless.Authorization.rule<role> => AllowAuthenticated
+  let authorizationOf = (_: string): Reventless.Authorization.rule<role> => AllowAuthenticated
   type lifecycleState = unit
   let commandTransition = (_: command): Reventless.Transition.t<lifecycleState> => Unrestricted
 }
@@ -121,7 +121,7 @@ module OrderDelegate = {
   @schema type error = NoError
   let moduleUrl = ""
   type role = Reventless.Role.name
-  let commandAuthorization = (_: command): Reventless.Authorization.rule<role> => AllowAuthenticated
+  let authorizationOf = (_: string): Reventless.Authorization.rule<role> => AllowAuthenticated
   type lifecycleState = unit
   let commandTransition = (_: command): Reventless.Transition.t<lifecycleState> => Unrestricted
 }
@@ -159,7 +159,7 @@ module RecordDemandSlice = {
     DemandRecorded({productId: @s.matches(Reventless.DcbTag.string) string, orderId: string})
   let moduleUrl = ""
   type role = Reventless.Role.name
-  let commandAuthorization = (_: command): Reventless.Authorization.rule<role> => AllowAuthenticated
+  let authorizationOf = (_: string): Reventless.Authorization.rule<role> => AllowAuthenticated
   type lifecycleState = unit
   let commandTransition = (_: command): Reventless.Transition.t<lifecycleState> => Unrestricted
 }
@@ -220,7 +220,7 @@ module SyncProductSlice = {
       })
   let moduleUrl = ""
   type role = Reventless.Role.name
-  let commandAuthorization = (_: command): Reventless.Authorization.rule<role> => AllowAuthenticated
+  let authorizationOf = (_: string): Reventless.Authorization.rule<role> => AllowAuthenticated
   type lifecycleState = unit
   let commandTransition = (_: command): Reventless.Transition.t<lifecycleState> => Unrestricted
 }

package/tests/FlowCrossPluginGwtTest.res.mjs

@@ -26,7 +26,7 @@ let eventSchema = Sury.$schema(s => ({
   price: s.m(Sury.number)
 }));
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -42,7 +42,7 @@ let AddProductSlice = {
   commandSchema: commandSchema,
   errorSchema: errorSchema,
   eventSchema: eventSchema,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits,
   readConsistency: "EscalateOnRetry"
@@ -95,7 +95,7 @@ let eventSchema$1 = Sury.$schema(s => ({
 
 let directiveSchema = Sury.literal("NoDirective");
 
-function commandAuthorization$1(param) {
+function authorizationOf$1(param) {
   return "AllowAuthenticated";
 }
 
@@ -111,7 +111,7 @@ let ProductsEpSpec = {
   commandSchema: commandSchema$1,
   eventSchema: eventSchema$1,
   directiveSchema: directiveSchema,
-  commandAuthorization: commandAuthorization$1,
+  authorizationOf: authorizationOf$1,
   commandTransition: commandTransition$1,
   traits: traits$1
 };
@@ -131,7 +131,7 @@ let errorSchema$1 = Sury.literal("NoError");
 
 let moduleUrl = "";
 
-function commandAuthorization$2(param) {
+function authorizationOf$2(param) {
   return "AllowAuthenticated";
 }
 
@@ -148,7 +148,7 @@ let ProductDelegate = {
   eventSchema: eventSchema$2,
   errorSchema: errorSchema$1,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization$2,
+  authorizationOf: authorizationOf$2,
   commandTransition: commandTransition$2,
   traits: traits$2
 };
@@ -200,7 +200,7 @@ let eventSchema$3 = Sury.$schema(s => ({
 
 let directiveSchema$1 = Sury.literal("NoDirective");
 
-function commandAuthorization$3(param) {
+function authorizationOf$3(param) {
   return "AllowAuthenticated";
 }
 
@@ -216,7 +216,7 @@ let OrdersEpSpec = {
   commandSchema: commandSchema$3,
   eventSchema: eventSchema$3,
   directiveSchema: directiveSchema$1,
-  commandAuthorization: commandAuthorization$3,
+  authorizationOf: authorizationOf$3,
   commandTransition: commandTransition$3,
   traits: traits$3
 };
@@ -235,7 +235,7 @@ let errorSchema$2 = Sury.literal("NoError");
 
 let moduleUrl$2 = "";
 
-function commandAuthorization$4(param) {
+function authorizationOf$4(param) {
   return "AllowAuthenticated";
 }
 
@@ -252,7 +252,7 @@ let OrderDelegate = {
   eventSchema: eventSchema$4,
   errorSchema: errorSchema$2,
   moduleUrl: moduleUrl$2,
-  commandAuthorization: commandAuthorization$4,
+  authorizationOf: authorizationOf$4,
   commandTransition: commandTransition$4,
   traits: traits$4
 };
@@ -317,7 +317,7 @@ let eventSchema$5 = Sury.$schema(s => ({
 
 let moduleUrl$4 = "";
 
-function commandAuthorization$5(param) {
+function authorizationOf$5(param) {
   return "AllowAuthenticated";
 }
 
@@ -335,7 +335,7 @@ let RecordDemandSlice = {
   errorSchema: errorSchema$3,
   eventSchema: eventSchema$5,
   moduleUrl: moduleUrl$4,
-  commandAuthorization: commandAuthorization$5,
+  authorizationOf: authorizationOf$5,
   commandTransition: commandTransition$5,
   traits: traits$5,
   readConsistency: "EscalateOnRetry"
@@ -427,7 +427,7 @@ let eventSchema$6 = Sury.$schema(s => ({
 
 let moduleUrl$6 = "";
 
-function commandAuthorization$6(param) {
+function authorizationOf$6(param) {
   return "AllowAuthenticated";
 }
 
@@ -445,7 +445,7 @@ let SyncProductSlice = {
   errorSchema: errorSchema$4,
   eventSchema: eventSchema$6,
   moduleUrl: moduleUrl$6,
-  commandAuthorization: commandAuthorization$6,
+  authorizationOf: authorizationOf$6,
   commandTransition: commandTransition$6,
   traits: traits$6,
   readConsistency: "EscalateOnRetry"
@@ -545,7 +545,7 @@ let eventSchema$7 = Sury.$schema(s => ({
   productIds: s.m(Sury.array(DcbTag$Reventless.stringForKey("productId")))
 }));
 
-function commandAuthorization$7(param) {
+function authorizationOf$7(param) {
   return "AllowAuthenticated";
 }
 
@@ -561,7 +561,7 @@ let PlaceOrderSlice = {
   commandSchema: commandSchema$7,
   errorSchema: errorSchema$5,
   eventSchema: eventSchema$7,
-  commandAuthorization: commandAuthorization$7,
+  authorizationOf: authorizationOf$7,
   commandTransition: commandTransition$7,
   traits: traits$7,
   readConsistency: "EscalateOnRetry"
@@ -648,7 +648,7 @@ let ProductsEp = Flow_GWT$ReventlessGwt.ExtensionPointStep({
     errorSchema: errorSchema$1,
     commandSchema: commandSchema$2,
     moduleUrl: moduleUrl,
-    commandAuthorization: commandAuthorization$2,
+    authorizationOf: authorizationOf$2,
     commandTransition: commandTransition$2,
     traits: traits$2
   },
@@ -674,7 +674,7 @@ let ProductsExt = Flow_GWT$ReventlessGwt.ExtensionStep({
     errorSchema: errorSchema$4,
     commandSchema: commandSchema$6,
     moduleUrl: moduleUrl$6,
-    commandAuthorization: commandAuthorization$6,
+    authorizationOf: authorizationOf$6,
     commandTransition: commandTransition$6,
     traits: traits$6
   },
@@ -692,7 +692,7 @@ let Sync = Flow_GWT$ReventlessGwt.CommandStep({
   commandSchema: commandSchema$6,
   errorSchema: errorSchema$4,
   eventSchema: eventSchema$6,
-  commandAuthorization: commandAuthorization$6
+  authorizationOf: authorizationOf$6
 })({
   initialState: initialState$2,
   evolve: evolve$2,
@@ -720,7 +720,7 @@ let OrdersEp = Flow_GWT$ReventlessGwt.ExtensionPointStep({
     errorSchema: errorSchema$2,
     commandSchema: commandSchema$4,
     moduleUrl: moduleUrl$2,
-    commandAuthorization: commandAuthorization$4,
+    authorizationOf: authorizationOf$4,
     commandTransition: commandTransition$4,
     traits: traits$4
   },
@@ -746,7 +746,7 @@ let OrdersExt = Flow_GWT$ReventlessGwt.ExtensionStep({
     errorSchema: errorSchema$3,
     commandSchema: commandSchema$5,
     moduleUrl: moduleUrl$4,
-    commandAuthorization: commandAuthorization$5,
+    authorizationOf: authorizationOf$5,
     commandTransition: commandTransition$5,
     traits: traits$5
   },
@@ -764,7 +764,7 @@ let Demand = Flow_GWT$ReventlessGwt.CommandStep({
   commandSchema: commandSchema$5,
   errorSchema: errorSchema$3,
   eventSchema: eventSchema$5,
-  commandAuthorization: commandAuthorization$5
+  authorizationOf: authorizationOf$5
 })({
   initialState: initialState$1,
   evolve: evolve$1,

package/tests/FlowGwtTest.res.mjs

@@ -24,7 +24,7 @@ let eventSchema = Sury.$schema(s => ({
   item: s.m(Sury.string)
 }));
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -40,7 +40,7 @@ let PlaceOrderSlice = {
   commandSchema: commandSchema,
   errorSchema: errorSchema,
   eventSchema: eventSchema,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits,
   readConsistency: "EscalateOnRetry"
@@ -136,7 +136,7 @@ function onExhausted(_id, _todo) {
   
 }
 
-function commandAuthorization$1(param) {
+function authorizationOf$1(param) {
   return "AllowAuthenticated";
 }
 
@@ -155,7 +155,7 @@ let AutoShipSlice = {
   resolve: resolve,
   process: process,
   onExhausted: onExhausted,
-  commandAuthorization: commandAuthorization$1,
+  authorizationOf: authorizationOf$1,
   commandTransition: commandTransition$1,
   traits: traits$1
 };
@@ -183,7 +183,7 @@ let eventSchema$1 = Sury.$schema(s => ({
   orderId: s.m(DcbTag$Reventless.string)
 }));
 
-function commandAuthorization$2(param) {
+function authorizationOf$2(param) {
   return "AllowAuthenticated";
 }
 
@@ -199,7 +199,7 @@ let ShipOrderSlice = {
   commandSchema: commandSchema$2,
   errorSchema: errorSchema$1,
   eventSchema: eventSchema$1,
-  commandAuthorization: commandAuthorization$2,
+  authorizationOf: authorizationOf$2,
   commandTransition: commandTransition$2,
   traits: traits$2,
   readConsistency: "EscalateOnRetry"

package/tests/InboundFromSliceGwtTest.res

@@ -0,0 +1,63 @@
+// InboundTranslation_GWT.FromSlice: input decoded as it arrives, translated by
+// the slice's own `translate`, and commands checked against their schema.
+
+module PaymentHook = {
+  let name = "PaymentHook"
+  let moduleUrl = ""
+
+  @schema
+  type externalInput = {orderId: string, status: string}
+
+  @schema
+  type command = ConfirmPayment({orderId: string})
+
+  let targetName = "Order"
+  let externalSystem = Some("Payments")
+  type role = Reventless.Role.name
+  let authorizationOf = _ => Reventless.Authorization.AllowAuthenticated
+}
+
+module PaymentHook_Translation = {
+  let moduleUrl = ""
+  let translate = (input: PaymentHook.externalInput) =>
+    switch input.status {
+    | "paid" => Ok([(input.orderId, PaymentHook.ConfirmPayment({orderId: input.orderId}))])
+    | "pending" => Ok([])
+    | other => Error(`Unknown status: ${other}`)
+    }
+}
+
+open PaymentHook
+include InboundTranslation_GWT.FromSlice(PaymentHook, PaymentHook_Translation)
+
+let json = (pairs: array<(string, string)>) =>
+  pairs->Array.map(((k, v)) => (k, JSON.Encode.string(v)))->Dict.fromArray->JSON.Encode.object
+
+describe("InboundTranslation_GWT.FromSlice", () => {
+  test("input translates to a command", () =>
+    whenInput({orderId: "o1", status: "paid"})->thenCommand("o1", ConfirmPayment({orderId: "o1"}))
+  )
+
+  test("received JSON decodes before it translates", () =>
+    whenReceived(json([("orderId", "o1"), ("status", "paid")]))->thenCommand(
+      "o1",
+      ConfirmPayment({orderId: "o1"}),
+    )
+  )
+
+  test("input that does not decode is refused before translate", () =>
+    whenReceived(json([("status", "paid")]))->thenRefusedInput("orderId")
+  )
+
+  test("input translate declines is not understood", () =>
+    whenInput({orderId: "o1", status: "lost"})->thenNotUnderstood("Unknown status: lost")
+  )
+
+  test("thenTranslateError is the older name", () =>
+    whenInput({orderId: "o1", status: "lost"})->thenTranslateError("Unknown status: lost")
+  )
+
+  test("no commands is an answer", () =>
+    whenInput({orderId: "o1", status: "pending"})->thenNoCommand
+  )
+})

package/tests/InboundFromSliceGwtTest.res.mjs

@@ -0,0 +1,164 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Sury from "sury";
+import * as InboundTranslation_GWT$ReventlessGwt from "../src/InboundTranslation_GWT.res.mjs";
+
+let externalInputSchema = Sury.$schema(s => ({
+  orderId: s.m(Sury.string),
+  status: s.m(Sury.string)
+}));
+
+let commandSchema = Sury.$schema(s => ({
+  TAG: "ConfirmPayment",
+  orderId: s.m(Sury.string)
+}));
+
+function authorizationOf(param) {
+  return "AllowAuthenticated";
+}
+
+let traits = [];
+
+let PaymentHook_externalSystem = "Payments";
+
+let PaymentHook = {
+  name: "PaymentHook",
+  moduleUrl: "",
+  externalInputSchema: externalInputSchema,
+  commandSchema: commandSchema,
+  targetName: "Order",
+  externalSystem: PaymentHook_externalSystem,
+  authorizationOf: authorizationOf,
+  traits: traits
+};
+
+let moduleUrl = "";
+
+function translate(input) {
+  let other = input.status;
+  switch (other) {
+    case "paid" :
+      return {
+        TAG: "Ok",
+        _0: [[
+            input.orderId,
+            {
+              TAG: "ConfirmPayment",
+              orderId: input.orderId
+            }
+          ]]
+      };
+    case "pending" :
+      return {
+        TAG: "Ok",
+        _0: []
+      };
+    default:
+      return {
+        TAG: "Error",
+        _0: `Unknown status: ` + other
+      };
+  }
+}
+
+let PaymentHook_Translation = {
+  moduleUrl: moduleUrl,
+  translate: translate
+};
+
+let include = InboundTranslation_GWT$ReventlessGwt.FromSlice(PaymentHook)({
+  translate: translate,
+  moduleUrl: moduleUrl
+});
+
+let describe = include.describe;
+
+let test = include.test;
+
+let whenInput = include.whenInput;
+
+let whenReceived = include.whenReceived;
+
+let thenCommand = include.thenCommand;
+
+let thenNoCommand = include.thenNoCommand;
+
+let thenNotUnderstood = include.thenNotUnderstood;
+
+let thenTranslateError = include.thenTranslateError;
+
+let thenRefusedInput = include.thenRefusedInput;
+
+function json(pairs) {
+  return Object.fromEntries(pairs.map(param => [
+    param[0],
+    param[1]
+  ]));
+}
+
+describe("InboundTranslation_GWT.FromSlice", () => {
+  test("input translates to a command", () => thenCommand(whenInput({
+    orderId: "o1",
+    status: "paid"
+  }), "o1", {
+    TAG: "ConfirmPayment",
+    orderId: "o1"
+  }));
+  test("received JSON decodes before it translates", () => thenCommand(whenReceived(json([
+    [
+      "orderId",
+      "o1"
+    ],
+    [
+      "status",
+      "paid"
+    ]
+  ])), "o1", {
+    TAG: "ConfirmPayment",
+    orderId: "o1"
+  }));
+  test("input that does not decode is refused before translate", () => thenRefusedInput(whenReceived(json([[
+      "status",
+      "paid"
+    ]])), "orderId"));
+  test("input translate declines is not understood", () => thenNotUnderstood(whenInput({
+    orderId: "o1",
+    status: "lost"
+  }), "Unknown status: lost"));
+  test("thenTranslateError is the older name", () => thenTranslateError(whenInput({
+    orderId: "o1",
+    status: "lost"
+  }), "Unknown status: lost"));
+  test("no commands is an answer", () => thenNoCommand(whenInput({
+    orderId: "o1",
+    status: "pending"
+  })));
+});
+
+let encPairs = include.encPairs;
+
+let describeOther = include.describeOther;
+
+let roundTrips = include.roundTrips;
+
+let thenCommands = include.thenCommands;
+
+export {
+  PaymentHook,
+  PaymentHook_Translation,
+  describe,
+  test,
+  encPairs,
+  whenInput,
+  whenReceived,
+  describeOther,
+  roundTrips,
+  thenCommands,
+  thenCommand,
+  thenNoCommand,
+  thenNotUnderstood,
+  thenTranslateError,
+  thenRefusedInput,
+  json,
+}
+/* externalInputSchema Not a pure module */

package/tests/InboundTranslationGwtTest.res.mjs

@@ -37,14 +37,10 @@ function translate(input) {
   }
 }
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
-function commandTransition(param) {
-  return "Undeclared";
-}
-
 let traits = [];
 
 let PaymentWebhookSlice = {
@@ -52,8 +48,7 @@ let PaymentWebhookSlice = {
   externalInputSchema: externalInputSchema,
   commandSchema: commandSchema,
   translate: translate,
-  commandAuthorization: commandAuthorization,
-  commandTransition: commandTransition,
+  authorizationOf: authorizationOf,
   traits: traits,
   externalSystem: undefined
 };

package/tests/MappingGwtTest.res.mjs

@@ -23,7 +23,7 @@ let errorSchema = Sury.literal("CategoryAlreadyExists");
 
 let moduleUrl = "";
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -40,7 +40,7 @@ let CategorySpec = {
   eventSchema: eventSchema,
   errorSchema: errorSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits
 };
@@ -98,7 +98,7 @@ let errorSchema$1 = Sury.literal("ProductAlreadyMirrored");
 
 let moduleUrl$2 = "";
 
-function commandAuthorization$1(param) {
+function authorizationOf$1(param) {
   return "AllowAuthenticated";
 }
 
@@ -115,7 +115,7 @@ let ProductSpec = {
   eventSchema: eventSchema$1,
   errorSchema: errorSchema$1,
   moduleUrl: moduleUrl$2,
-  commandAuthorization: commandAuthorization$1,
+  authorizationOf: authorizationOf$1,
   commandTransition: commandTransition$1,
   traits: traits$1
 };
@@ -197,7 +197,7 @@ function decide$2(state, command) {
   }
 }
 
-function commandAuthorization$2(param) {
+function authorizationOf$2(param) {
   return "AllowAuthenticated";
 }
 
@@ -220,7 +220,7 @@ let NotificationSlice = {
   errorSchema: errorSchema$2,
   eventSchema: eventSchema$2,
   decide: decide$2,
-  commandAuthorization: commandAuthorization$2,
+  authorizationOf: authorizationOf$2,
   commandTransition: commandTransition$2,
   traits: traits$2,
   readConsistency: "EscalateOnRetry"
@@ -269,7 +269,7 @@ function decide$3(state, command) {
   }
 }
 
-function commandAuthorization$3(param) {
+function authorizationOf$3(param) {
   return "AllowAuthenticated";
 }
 
@@ -292,7 +292,7 @@ let InventorySlice = {
   errorSchema: errorSchema$3,
   eventSchema: eventSchema$3,
   decide: decide$3,
-  commandAuthorization: commandAuthorization$3,
+  authorizationOf: authorizationOf$3,
   commandTransition: commandTransition$3,
   traits: traits$3,
   readConsistency: "EscalateOnRetry"
@@ -311,7 +311,7 @@ let CategorySource = Mapping_GWT$ReventlessGwt.FromBehavior({
   errorSchema: errorSchema,
   commandSchema: commandSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits
 })({
@@ -328,7 +328,7 @@ let CategorySource = Mapping_GWT$ReventlessGwt.FromBehavior({
     errorSchema: errorSchema,
     commandSchema: commandSchema,
     moduleUrl: moduleUrl,
-    commandAuthorization: commandAuthorization,
+    authorizationOf: authorizationOf,
     commandTransition: commandTransition,
     traits: traits
   },
@@ -352,7 +352,7 @@ let ProductTarget = Mapping_GWT$ReventlessGwt.FromBehavior({
   errorSchema: errorSchema$1,
   commandSchema: commandSchema$1,
   moduleUrl: moduleUrl$2,
-  commandAuthorization: commandAuthorization$1,
+  authorizationOf: authorizationOf$1,
   commandTransition: commandTransition$1,
   traits: traits$1
 })({
@@ -369,7 +369,7 @@ let ProductTarget = Mapping_GWT$ReventlessGwt.FromBehavior({
     errorSchema: errorSchema$1,
     commandSchema: commandSchema$1,
     moduleUrl: moduleUrl$2,
-    commandAuthorization: commandAuthorization$1,
+    authorizationOf: authorizationOf$1,
     commandTransition: commandTransition$1,
     traits: traits$1
   },