@reventlessdev/trait-notification 1.0.0-alpha.50 → 1.0.0-alpha.52

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/trait-notification",
-  "version": "1.0.0-alpha.50",
+  "version": "1.0.0-alpha.52",
   "description": "Notification domain trait: rules, host contract, conformance suite and emitter for a per-recipient contact directory, a kind x channel subscription matrix, and the decision to send, suppress or record a message as undeliverable",
   "license": "Apache-2.0",
   "files": [
@@ -13,8 +13,8 @@
   "dependencies": {
     "sury": "11.0.0",
     "sury-ppx": "11.0.0",
-    "@reventlessdev/reventless-gwt": "1.0.0-alpha.248",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.169"
+    "@reventlessdev/reventless-gwt": "1.0.0-alpha.250",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.171"
   },
   "devDependencies": {
     "rescript": "12.3.1"

package/src/Notification.res

@@ -63,8 +63,8 @@ module type Binding = {
   let transactional: category
   let optional: category
 
-  module Spec: ReventlessGwt.Behavior_GWT.BehaviorSpec
-  module Behavior: ReventlessGwt.Behavior_GWT.Behavior with module Spec = Spec
+  module Spec: ReventlessGwt.Decision_GWT.DecisionSpec
+  module Decision: ReventlessGwt.Decision_GWT.Decision with module Spec = Spec
 
   /** The same facts as the slice **consumes** them, for building history.
 

package/src/Notification_Conformance.res

@@ -13,7 +13,7 @@ to send nothing stay three different facts.
 let suiteName = (host: string) => `${host} conforms to the notification trait`
 
 module Make = (B: Notification.Binding) => {
-  module G = ReventlessGwt.Behavior_GWT.Make(B.Spec, B.Behavior)
+  module G = ReventlessGwt.Decision_GWT.Make(B.Spec, B.Decision)
   module R = Notification_Rules
 
   let announced = Array.concat(B.Consumed.created, [B.Consumed.announced(B.addressA)])

package/src/Notification_Conformance.res.mjs

@@ -1,14 +1,14 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
-import * as Behavior_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Behavior_GWT.res.mjs";
+import * as Decision_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Decision_GWT.res.mjs";
 
 function suiteName(host) {
   return host + ` conforms to the notification trait`;
 }
 
 function Make(B) {
-  let $$let = B.Behavior;
-  let G = Behavior_GWT$ReventlessGwt.Make(B.Spec)({
+  let $$let = B.Decision;
+  let G = Decision_GWT$ReventlessGwt.Make(B.Spec)({
     initialState: $$let.initialState,
     evolve: $$let.evolve,
     decide: $$let.decide
@@ -56,4 +56,4 @@ export {
   suiteName,
   Make,
 }
-/* Behavior_GWT-ReventlessGwt Not a pure module */
+/* Decision_GWT-ReventlessGwt Not a pure module */

package/src/Notification_Scaffold.res

@@ -349,7 +349,7 @@ let postureArms = (c: config) => {
   Array.concat(transactional, [`  | _ => false`])
 }
 
-let sliceBehavior = (c: config): string => {
+let sliceDecision = (c: config): string => {
   let n = namesOf(c)
   let id = n.recipientId
   let first = c.categories->Array.get(0)->Option.getOr("Transactional")
@@ -357,7 +357,7 @@ let sliceBehavior = (c: config): string => {
     Array.flatMap(
       [
         [
-          `@@reventless.behavior`,
+          `@@reventless.decision`,
           ``,
           `// The directory, the matrix and the dispatch decision are the trait's; this file`,
           `// is the mapping onto them, plus the one thing the trait has no opinion about —`,
@@ -622,10 +622,10 @@ let claimsSpec = (c: config): string => {
   ])
 }
 
-let claimsBehavior = (c: config): string => {
+let claimsDecision = (c: config): string => {
   let n = namesOf(c)
   lines([
-    `@@reventless.behavior`,
+    `@@reventless.decision`,
     ``,
     `// The claim set is the trait's, folded through the same value the preferences`,
     `// slice folds. Only the claim half is ever populated here.`,
@@ -861,7 +861,7 @@ let conformanceBinding = (c: config): string => {
     `  let optional: category = ${optional}`,
     ``,
     `  module Spec = ${n.slice}`,
-    `  module Behavior = ${n.slice}_Behavior`,
+    `  module Decision = ${n.slice}_Decision`,
     ``,
     `  let ${id} = "${c.noun->String.toLowerCase}-1"`,
     ``,
@@ -875,9 +875,9 @@ let conformanceBinding = (c: config): string => {
     `    let announced = (${c.contactField}): Spec.consumedEvent =>`,
     `      ${n.announced}({${id}: ${id}, ${c.contactField}: ${c.contactField}})`,
     `    let subscribed = (category, channel): Spec.consumedEvent =>`,
-    `      ${n.subscribed}({${id}: ${id}, category, channel: Behavior.channelOf(channel)})`,
+    `      ${n.subscribed}({${id}: ${id}, category, channel: Decision.channelOf(channel)})`,
     `    let unsubscribed = (category, channel): Spec.consumedEvent =>`,
-    `      ${n.unsubscribed}({${id}: ${id}, category, channel: Behavior.channelOf(channel)})`,
+    `      ${n.unsubscribed}({${id}: ${id}, category, channel: Decision.channelOf(channel)})`,
     `    // Written by ${n.claims} and read here across partitions — this slice`,
     `    // consumes them and produces neither.`,
     `    let claimed = (source, by): Spec.consumedEvent =>`,
@@ -888,9 +888,9 @@ let conformanceBinding = (c: config): string => {
     `  let announce = ${c.contactField} =>`,
     `    Spec.${n.announceCmd}({${id}: ${id}, ${c.contactField}: ${c.contactField}})`,
     `  let subscribe = (category, channel) =>`,
-    `    Spec.${n.subscribeCmd}({${id}: ${id}, category, channel: Behavior.channelOf(channel)})`,
+    `    Spec.${n.subscribeCmd}({${id}: ${id}, category, channel: Decision.channelOf(channel)})`,
     `  let unsubscribe = (category, channel) =>`,
-    `    Spec.${n.unsubscribeCmd}({${id}: ${id}, category, channel: Behavior.channelOf(channel)})`,
+    `    Spec.${n.unsubscribeCmd}({${id}: ${id}, category, channel: Decision.channelOf(channel)})`,
     `  // The wording and the subject are this host's and the trait carries neither, so`,
     `  // the suite supplies whatever it likes and asserts nothing about them.`,
     `  //`,
@@ -920,15 +920,15 @@ let conformanceBinding = (c: config): string => {
     `  let announced = ${c.contactField} =>`,
     `    Spec.${n.announced}({${id}: ${id}, ${c.contactField}: ${c.contactField}})`,
     `  let subscribed = (category, channel) =>`,
-    `    Spec.${n.subscribed}({${id}: ${id}, category, channel: Behavior.channelOf(channel)})`,
+    `    Spec.${n.subscribed}({${id}: ${id}, category, channel: Decision.channelOf(channel)})`,
     `  let unsubscribed = (category, channel) =>`,
-    `    Spec.${n.unsubscribed}({${id}: ${id}, category, channel: Behavior.channelOf(channel)})`,
+    `    Spec.${n.unsubscribed}({${id}: ${id}, category, channel: Decision.channelOf(channel)})`,
     `  let requestedWith = (category, reference, channel, address, origin) =>`,
     `    Spec.${n.requested}({`,
     `      ${id}: ${id},`,
     `      category,`,
     `      reference,`,
-    `      channel: Behavior.channelOf(channel),`,
+    `      channel: Decision.channelOf(channel),`,
     `      address,`,
     `      subjectType: "${subjectTypeOf(c)}",`,
     `      subjectRef: "subject-1",`,
@@ -1224,7 +1224,7 @@ let intakeRelayPatch = (c: config): patch => {
       `        ${id},`,
       `        ${n.intake}.${n.requestCmd}({`,
       `          ${id}: ${id},`,
-      `          category: ${n.slice}_Behavior.categoryOf(rule.category),`,
+      `          category: ${n.slice}_Decision.categoryOf(rule.category),`,
       `          reference: id,`,
       `          subjectType: rule.subjectType,`,
       `          subjectRef: Rule.subjectOf(rule, ~payload),`,
@@ -1261,11 +1261,11 @@ let emit = (~config: config, ~into: string, ~tests: string): output => {
   {
     files: [
       {path: `${into}/StateChange/${n.slice}.res`, contents: sliceSpec(config)},
-      {path: `${into}/StateChange/${n.slice}_Behavior.res`, contents: sliceBehavior(config)},
+      {path: `${into}/StateChange/${n.slice}_Decision.res`, contents: sliceDecision(config)},
       {path: `${into}/StateChange/${n.claims}.res`, contents: claimsSpec(config)},
       {
-        path: `${into}/StateChange/${n.claims}_Behavior.res`,
-        contents: claimsBehavior(config),
+        path: `${into}/StateChange/${n.claims}_Decision.res`,
+        contents: claimsDecision(config),
       },
       {path: `${into}/OutboundTranslation/${n.send}.res`, contents: sendSpec(config)},
       {

package/src/Notification_Scaffold.res.mjs

@@ -254,13 +254,13 @@ function postureArms(c) {
   return transactional.concat([`  | _ => false`]);
 }
 
-function sliceBehavior(c) {
+function sliceDecision(c) {
   let n = namesOf(c);
   let id = n.recipientId;
   let first = Stdlib_Option.getOr(c.categories[0], "Transactional");
   return [
     [
-      `@@reventless.behavior`,
+      `@@reventless.decision`,
       ``,
       `// The directory, the matrix and the dispatch decision are the trait's; this file`,
       `// is the mapping onto them, plus the one thing the trait has no opinion about —`,
@@ -521,10 +521,10 @@ function claimsSpec(c) {
   ].join("\n");
 }
 
-function claimsBehavior(c) {
+function claimsDecision(c) {
   let n = namesOf(c);
   return [
-    `@@reventless.behavior`,
+    `@@reventless.decision`,
     ``,
     `// The claim set is the trait's, folded through the same value the preferences`,
     `// slice folds. Only the claim half is ever populated here.`,
@@ -753,7 +753,7 @@ function conformanceBinding(c) {
     `  let optional: category = ` + optional,
     ``,
     `  module Spec = ` + n.slice,
-    `  module Behavior = ` + n.slice + `_Behavior`,
+    `  module Decision = ` + n.slice + `_Decision`,
     ``,
     `  let ` + id + ` = "` + c.noun.toLowerCase() + `-1"`,
     ``,
@@ -767,9 +767,9 @@ function conformanceBinding(c) {
     `    let announced = (` + c.contactField + `): Spec.consumedEvent =>`,
     `      ` + n.announced + `({` + id + `: ` + id + `, ` + c.contactField + `: ` + c.contactField + `})`,
     `    let subscribed = (category, channel): Spec.consumedEvent =>`,
-    `      ` + n.subscribed + `({` + id + `: ` + id + `, category, channel: Behavior.channelOf(channel)})`,
+    `      ` + n.subscribed + `({` + id + `: ` + id + `, category, channel: Decision.channelOf(channel)})`,
     `    let unsubscribed = (category, channel): Spec.consumedEvent =>`,
-    `      ` + n.unsubscribed + `({` + id + `: ` + id + `, category, channel: Behavior.channelOf(channel)})`,
+    `      ` + n.unsubscribed + `({` + id + `: ` + id + `, category, channel: Decision.channelOf(channel)})`,
     `    // Written by ` + n.claims + ` and read here across partitions — this slice`,
     `    // consumes them and produces neither.`,
     `    let claimed = (source, by): Spec.consumedEvent =>`,
@@ -780,9 +780,9 @@ function conformanceBinding(c) {
     `  let announce = ` + c.contactField + ` =>`,
     `    Spec.` + n.announceCmd + `({` + id + `: ` + id + `, ` + c.contactField + `: ` + c.contactField + `})`,
     `  let subscribe = (category, channel) =>`,
-    `    Spec.` + n.subscribeCmd + `({` + id + `: ` + id + `, category, channel: Behavior.channelOf(channel)})`,
+    `    Spec.` + n.subscribeCmd + `({` + id + `: ` + id + `, category, channel: Decision.channelOf(channel)})`,
     `  let unsubscribe = (category, channel) =>`,
-    `    Spec.` + n.unsubscribeCmd + `({` + id + `: ` + id + `, category, channel: Behavior.channelOf(channel)})`,
+    `    Spec.` + n.unsubscribeCmd + `({` + id + `: ` + id + `, category, channel: Decision.channelOf(channel)})`,
     `  // The wording and the subject are this host's and the trait carries neither, so`,
     `  // the suite supplies whatever it likes and asserts nothing about them.`,
     `  //`,
@@ -812,15 +812,15 @@ function conformanceBinding(c) {
     `  let announced = ` + c.contactField + ` =>`,
     `    Spec.` + n.announced + `({` + id + `: ` + id + `, ` + c.contactField + `: ` + c.contactField + `})`,
     `  let subscribed = (category, channel) =>`,
-    `    Spec.` + n.subscribed + `({` + id + `: ` + id + `, category, channel: Behavior.channelOf(channel)})`,
+    `    Spec.` + n.subscribed + `({` + id + `: ` + id + `, category, channel: Decision.channelOf(channel)})`,
     `  let unsubscribed = (category, channel) =>`,
-    `    Spec.` + n.unsubscribed + `({` + id + `: ` + id + `, category, channel: Behavior.channelOf(channel)})`,
+    `    Spec.` + n.unsubscribed + `({` + id + `: ` + id + `, category, channel: Decision.channelOf(channel)})`,
     `  let requestedWith = (category, reference, channel, address, origin) =>`,
     `    Spec.` + n.requested + `({`,
     `      ` + id + `: ` + id + `,`,
     `      category,`,
     `      reference,`,
-    `      channel: Behavior.channelOf(channel),`,
+    `      channel: Decision.channelOf(channel),`,
     `      address,`,
     `      subjectType: "` + subjectTypeOf(c) + `",`,
     `      subjectRef: "subject-1",`,
@@ -1101,7 +1101,7 @@ function intakeRelayPatch(c) {
       `        ` + id + `,`,
       `        ` + n.intake + `.` + n.requestCmd + `({`,
       `          ` + id + `: ` + id + `,`,
-      `          category: ` + n.slice + `_Behavior.categoryOf(rule.category),`,
+      `          category: ` + n.slice + `_Decision.categoryOf(rule.category),`,
       `          reference: id,`,
       `          subjectType: rule.subjectType,`,
       `          subjectRef: Rule.subjectOf(rule, ~payload),`,
@@ -1136,16 +1136,16 @@ function emit(config, into, tests) {
         contents: sliceSpec(config)
       },
       {
-        path: into + `/StateChange/` + n.slice + `_Behavior.res`,
-        contents: sliceBehavior(config)
+        path: into + `/StateChange/` + n.slice + `_Decision.res`,
+        contents: sliceDecision(config)
       },
       {
         path: into + `/StateChange/` + n.claims + `.res`,
         contents: claimsSpec(config)
       },
       {
-        path: into + `/StateChange/` + n.claims + `_Behavior.res`,
-        contents: claimsBehavior(config)
+        path: into + `/StateChange/` + n.claims + `_Decision.res`,
+        contents: claimsDecision(config)
       },
       {
         path: into + `/OutboundTranslation/` + n.send + `.res`,
@@ -1178,9 +1178,9 @@ export {
   categoryArms,
   sliceSpec,
   postureArms,
-  sliceBehavior,
+  sliceDecision,
   claimsSpec,
-  claimsBehavior,
+  claimsDecision,
   sendSpec,
   sendTranslation,
   conformanceBinding,