@reventlessdev/reventless-gwt 1.0.0-alpha.231 → 1.0.0-alpha.233

package/tests/StateChangeSliceAuthorizeGwtTest.res.mjs

@@ -0,0 +1,326 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Sury from "sury";
+import * as Owner$Reventless from "@reventlessdev/reventless-spec/src/components/Owner.res.mjs";
+import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+import * as Behavior_GWT$ReventlessGwt from "../src/Behavior_GWT.res.mjs";
+
+let name = "Shelve";
+
+let Roles = {};
+
+let consumedEventSchema = Sury.$schema(s => ({
+  TAG: "ShelfOpened",
+  shelfId: s.m(DcbTag$Reventless.string)
+}));
+
+let commandSchema = Sury.union([
+  Sury.$schema(s => ({
+    TAG: "Shelve",
+    shelfId: s.m(DcbTag$Reventless.string)
+  })),
+  Sury.$schema(s => ({
+    TAG: "Browse",
+    shelfId: s.m(DcbTag$Reventless.string)
+  })),
+  Sury.$schema(s => ({
+    TAG: "Peek",
+    shelfId: s.m(DcbTag$Reventless.string)
+  })),
+  Sury.$schema(s => ({
+    TAG: "Purge",
+    shelfId: s.m(DcbTag$Reventless.string)
+  }))
+]);
+
+let errorSchema = Sury.$unit;
+
+let eventSchema = Sury.$schema(s => ({
+  TAG: "Done",
+  shelfId: s.m(DcbTag$Reventless.string)
+}));
+
+function commandAuthorization(command) {
+  switch (command.TAG) {
+    case "Shelve" :
+      return {
+        TAG: "AllowRoles",
+        _0: [
+          "Admin",
+          "Merchandiser"
+        ]
+      };
+    case "Browse" :
+      return "AllowAuthenticated";
+    case "Peek" :
+      return "AllowAnonymous";
+    case "Purge" :
+      return "DenyAll";
+  }
+}
+
+function commandTransition(param) {
+  return "Undeclared";
+}
+
+let traits = [];
+
+let ShelveSlice = {
+  name: name,
+  Roles: Roles,
+  consumedEventSchema: consumedEventSchema,
+  commandSchema: commandSchema,
+  errorSchema: errorSchema,
+  eventSchema: eventSchema,
+  commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits,
+  readConsistency: "EscalateOnRetry"
+};
+
+function evolve(_state, _event) {
+  
+}
+
+function decide(_state, command) {
+  return {
+    TAG: "Ok",
+    _0: [{
+        TAG: "Done",
+        shelfId: command.shelfId
+      }]
+  };
+}
+
+let ShelveSliceBehavior = {
+  Spec: undefined,
+  initialState: undefined,
+  evolve: evolve,
+  decide: decide
+};
+
+let include = Behavior_GWT$ReventlessGwt.Make({
+  name: name,
+  consumedEventSchema: consumedEventSchema,
+  commandSchema: commandSchema,
+  errorSchema: errorSchema,
+  eventSchema: eventSchema,
+  commandAuthorization: commandAuthorization
+})({
+  initialState: undefined,
+  evolve: evolve,
+  decide: decide
+});
+
+let describe = include.describe;
+
+let test = include.test;
+
+let givenEvents = include.givenEvents;
+
+let Caller = include.Caller;
+
+let asCaller = include.asCaller;
+
+let whenCmd = include.whenCmd;
+
+let thenEvent = include.thenEvent;
+
+let thenRefused = include.thenRefused;
+
+let s1 = "s1";
+
+describe("a command's rule, checked against the caller's roles", () => {
+  test("accepted for each role the rule names: Admin", () => thenEvent(whenCmd(asCaller(givenEvents([]), Caller.inRoles(["Admin"])), {
+    TAG: "Shelve",
+    shelfId: s1
+  }), {
+    TAG: "Done",
+    shelfId: s1
+  }));
+  test("accepted for each role the rule names: Merchandiser", () => thenEvent(whenCmd(asCaller(givenEvents([]), Caller.inRoles(["Merchandiser"])), {
+    TAG: "Shelve",
+    shelfId: s1
+  }), {
+    TAG: "Done",
+    shelfId: s1
+  }));
+  test("refused for a signed-in caller holding none of them", () => thenRefused(whenCmd(asCaller(givenEvents([]), Caller.owner("c1", undefined)), {
+    TAG: "Shelve",
+    shelfId: s1
+  })));
+  test("refused for an anonymous caller", () => thenRefused(whenCmd(asCaller(givenEvents([]), Caller.anonymous), {
+    TAG: "Shelve",
+    shelfId: s1
+  })));
+  test("refused for an operator, who holds no role", () => thenRefused(whenCmd(asCaller(givenEvents([]), Caller.operator), {
+    TAG: "Shelve",
+    shelfId: s1
+  })));
+  test("DenyAll refuses every caller, Admin included", () => thenRefused(whenCmd(asCaller(givenEvents([]), Caller.inRoles(["Admin"])), {
+    TAG: "Purge",
+    shelfId: s1
+  })));
+  test("AllowAnonymous accepts an anonymous caller", () => thenEvent(whenCmd(asCaller(givenEvents([]), Caller.anonymous), {
+    TAG: "Peek",
+    shelfId: s1
+  }), {
+    TAG: "Done",
+    shelfId: s1
+  }));
+  test("the default rule refuses an anonymous caller", () => thenRefused(whenCmd(asCaller(givenEvents([]), Caller.anonymous), {
+    TAG: "Browse",
+    shelfId: s1
+  })));
+  test("a scenario without asCaller is checked against no rule", () => thenEvent(whenCmd(givenEvents([]), {
+    TAG: "Purge",
+    shelfId: s1
+  }), {
+    TAG: "Done",
+    shelfId: s1
+  }));
+});
+
+let name$1 = "Claim";
+
+let Roles$1 = {};
+
+let consumedEventSchema$1 = Sury.$schema(s => ({
+  TAG: "ShelfClaimed",
+  shelfId: s.m(DcbTag$Reventless.string),
+  owner: s.m(Owner$Reventless.string)
+}));
+
+let commandSchema$1 = Sury.$schema(s => ({
+  TAG: "Shelve",
+  shelfId: s.m(DcbTag$Reventless.string)
+}));
+
+let errorSchema$1 = Sury.$unit;
+
+let eventSchema$1 = Sury.$schema(s => ({
+  TAG: "Done",
+  shelfId: s.m(DcbTag$Reventless.string)
+}));
+
+function commandAuthorization$1(command) {
+  return {
+    TAG: "AllowRoles",
+    _0: ["Merchandiser"]
+  };
+}
+
+function commandTransition$1(param) {
+  return "Undeclared";
+}
+
+let traits$1 = [];
+
+let ClaimSlice = {
+  name: name$1,
+  Roles: Roles$1,
+  consumedEventSchema: consumedEventSchema$1,
+  commandSchema: commandSchema$1,
+  errorSchema: errorSchema$1,
+  eventSchema: eventSchema$1,
+  commandAuthorization: commandAuthorization$1,
+  commandTransition: commandTransition$1,
+  traits: traits$1,
+  readConsistency: "EscalateOnRetry"
+};
+
+function evolve$1(_state, _event) {
+  
+}
+
+function decide$1(_state, command) {
+  return {
+    TAG: "Ok",
+    _0: [{
+        TAG: "Done",
+        shelfId: command.shelfId
+      }]
+  };
+}
+
+let Claim = Behavior_GWT$ReventlessGwt.Make({
+  name: name$1,
+  consumedEventSchema: consumedEventSchema$1,
+  commandSchema: commandSchema$1,
+  errorSchema: errorSchema$1,
+  eventSchema: eventSchema$1,
+  commandAuthorization: commandAuthorization$1
+})({
+  initialState: undefined,
+  evolve: evolve$1,
+  decide: decide$1
+});
+
+let claimedByC1 = [{
+    TAG: "ShelfClaimed",
+    shelfId: s1,
+    owner: "c1"
+  }];
+
+describe("the rule, then ownership", () => {
+  Claim.test("an owner holding the role acts on what they own", () => Claim.thenEvent(Claim.whenCmd(Claim.asCaller(Claim.givenEvents(claimedByC1), Claim.Caller.owner("c1", ["Merchandiser"])), {
+    TAG: "Shelve",
+    shelfId: s1
+  }), {
+    TAG: "Done",
+    shelfId: s1
+  }));
+  Claim.test("passing the rule does not let a caller act on someone else's thing", () => Claim.thenRefused(Claim.whenCmd(Claim.asCaller(Claim.givenEvents(claimedByC1), Claim.Caller.owner("c2", ["Merchandiser"])), {
+    TAG: "Shelve",
+    shelfId: s1
+  })));
+  Claim.test("owning a thing does not pass a rule the owner fails", () => Claim.thenRefused(Claim.whenCmd(Claim.asCaller(Claim.givenEvents(claimedByC1), Claim.Caller.owner("c1", undefined)), {
+    TAG: "Shelve",
+    shelfId: s1
+  })));
+});
+
+let Spec = include.Spec;
+
+let todo = include.todo;
+
+let thenEvents = include.thenEvents;
+
+let thenNoEvent = include.thenNoEvent;
+
+let thenEventWithError = include.thenEventWithError;
+
+let thenEventsWithError = include.thenEventsWithError;
+
+let thenError = include.thenError;
+
+let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
+
+let thenAppendsConditionedOnExactly = include.thenAppendsConditionedOnExactly;
+
+export {
+  ShelveSlice,
+  ShelveSliceBehavior,
+  Spec,
+  describe,
+  todo,
+  test,
+  givenEvents,
+  Caller,
+  asCaller,
+  whenCmd,
+  thenEvent,
+  thenEvents,
+  thenNoEvent,
+  thenEventWithError,
+  thenEventsWithError,
+  thenError,
+  thenRefused,
+  thenAppendsConditionedOn,
+  thenAppendsConditionedOnExactly,
+  s1,
+  ClaimSlice,
+  Claim,
+  claimedByC1,
+}
+/* consumedEventSchema Not a pure module */

package/tests/StateChangeSliceGwtTest.res.mjs

@@ -405,6 +405,10 @@ let Spec = include.Spec;
 
 let todo = include.todo;
 
+let Caller = include.Caller;
+
+let asCaller = include.asCaller;
+
 let thenEvents = include.thenEvents;
 
 let thenNoEvent = include.thenNoEvent;
@@ -413,6 +417,8 @@ let thenEventWithError = include.thenEventWithError;
 
 let thenEventsWithError = include.thenEventsWithError;
 
+let thenRefused = include.thenRefused;
+
 export {
   AddCategorySlice,
   AddCategorySliceBehavior,
@@ -421,6 +427,8 @@ export {
   todo,
   test,
   givenEvents,
+  Caller,
+  asCaller,
   whenCmd,
   thenEvent,
   thenEvents,
@@ -428,6 +436,7 @@ export {
   thenEventWithError,
   thenEventsWithError,
   thenError,
+  thenRefused,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
   MissingTagSlice,