@reventlessdev/online-shop-hybrid-ordering 1.0.0-alpha.274 → 1.0.0-alpha.276

package/CHANGELOG.md

@@ -3,6 +3,30 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+# 1.0.0-alpha.276 (2026-10-16)
+
+### Bug Fixes
+
+* **examples:** a digest time needs marketing by email ([8fd0baa](https://github.com/ReventlessDev/reventless-core/commit/8fd0baa78310d2c001ecf8c04546b789f5e19bb1))
+
+
+# 1.0.0-alpha.275 (2026-10-16)
+
+* feat!(automation): schedules set by events ([53bc436](https://github.com/ReventlessDev/reventless-core/commit/53bc4363dffce81ef36475728bf0dae704716021))
+* feat!(automation): declared schedules tick an automation ([420acd2](https://github.com/ReventlessDev/reventless-core/commit/420acd2233aadf700141a31d9d3e0fdc8074bef7))
+### Features
+
+* **examples:** a marketing digest at the time each customer chooses ([3521b10](https://github.com/ReventlessDev/reventless-core/commit/3521b10c4f3ff64f3e4561e94e051892cdfe5d5f))
+
+### BREAKING CHANGES
+
+* a hand-written AutomationSlice.Mapping.Make the PPX does
+not see must define `let reschedule = _ => []`.
+* a hand-written AutomationSlice spec the PPX does not see must
+declare `let schedule = None`.
+
+
+
 # 1.0.0-alpha.274 (2026-10-15)
 
 * feat!: an automation's process takes ~now, and collect the event's recorded time ([8c8f3f5](https://github.com/ReventlessDev/reventless-core/commit/8c8f3f570474b1658b605b726077debc7d6a1dc7))

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/online-shop-hybrid-ordering",
-  "version": "1.0.0-alpha.274",
+  "version": "1.0.0-alpha.276",
   "description": "Online Shop Hybrid example — Ordering plugin (Customer aggregate + Order/CatalogProduct DCB)",
   "license": "Apache-2.0",
   "jest": {
@@ -21,20 +21,20 @@
   },
   "dependencies": {
     "sury": "11.0.0",
-    "@reventlessdev/online-shop-hybrid-catalog-spec": "1.0.0-alpha.161",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.192",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.23",
-    "@reventlessdev/reventless-gwt": "1.0.0-alpha.243",
-    "@reventlessdev/online-shop-hybrid-ordering-spec": "1.0.0-alpha.160",
-    "@reventlessdev/reventless-local": "3.0.0-alpha.286",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.164",
-    "@reventlessdev/trait-address-geocoding": "1.0.0-alpha.45",
-    "@reventlessdev/trait-notification": "1.0.0-alpha.45"
+    "@reventlessdev/online-shop-hybrid-catalog-spec": "1.0.0-alpha.162",
+    "@reventlessdev/online-shop-hybrid-ordering-spec": "1.0.0-alpha.161",
+    "@reventlessdev/reventless-gwt": "1.0.0-alpha.244",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.193",
+    "@reventlessdev/reventless-local": "3.0.0-alpha.287",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.165",
+    "@reventlessdev/trait-address-geocoding": "1.0.0-alpha.46",
+    "@reventlessdev/trait-notification": "1.0.0-alpha.46"
   },
   "devDependencies": {
     "rescript": "12.3.1",
     "sury-ppx": "11.0.0",
-    "@reventlessdev/reventless-ppx": "1.0.0-alpha.100"
+    "@reventlessdev/reventless-ppx": "1.0.0-alpha.102"
   },
   "peerDependencies": {
     "rescript": "^12.3.1"

package/src/Notification/Automation/MarketingDigest.res

@@ -0,0 +1,32 @@
+// MarketingDigest AutomationSlice.
+//
+// A digest of the shop's offers, sent to each recipient at the time of day they
+// chose. The slice declares no `schedule`: every time comes from an event, one per
+// recipient, keyed by their id, so the tick names whose time came.
+//
+// Not the notification trait's `Digest` delivery, which gathers a rule's
+// occurrences into one message per window. This one has no occurrences to gather;
+// it is a message the shop sends on the recipient's clock.
+
+@@reventless.spec
+
+@schema
+type todoItem = {recipientId: string}
+
+@schema
+type command =
+  | RequestNotification({
+      recipientId: string,
+      category: NotificationPreferences.category,
+      reference: string,
+      subjectType: string,
+      subjectRef: string,
+      subject: string,
+      body: string,
+      sourceId: string,
+      origin: NotificationPreferences.origin,
+    })
+
+let maxRetries = 3
+let heartbeatInterval = 60
+let targetName = "NotificationPreferences"

package/src/Notification/Automation/MarketingDigest.res.mjs

@@ -0,0 +1,62 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Sury from "sury";
+import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+import * as NotificationPreferences$OrderingPlugin from "../StateChange/NotificationPreferences.res.mjs";
+
+let todoItemSchema = Sury.$schema(s => ({
+  recipientId: s.m(Sury.string)
+}));
+
+let commandSchema = Sury.$schema(s => ({
+  TAG: "RequestNotification",
+  recipientId: s.m(DcbTag$Reventless.string),
+  category: s.m(NotificationPreferences$OrderingPlugin.categorySchema),
+  reference: s.m(Sury.string),
+  subjectType: s.m(Sury.string),
+  subjectRef: s.m(Sury.string),
+  subject: s.m(Sury.string),
+  body: s.m(Sury.string),
+  sourceId: s.m(DcbTag$Reventless.string),
+  origin: s.m(NotificationPreferences$OrderingPlugin.originSchema)
+}));
+
+function authorizationOf(param) {
+  return "AllowAuthenticated";
+}
+
+function commandTransition(param) {
+  return "Undeclared";
+}
+
+let traits = [];
+
+let name = "MarketingDigest";
+
+let Id;
+
+let maxRetries = 3;
+
+let heartbeatInterval = 60;
+
+let targetName = "NotificationPreferences";
+
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/Automation/MarketingDigest.res.mjs";
+
+let schedule;
+
+export {
+  name,
+  Id,
+  todoItemSchema,
+  commandSchema,
+  maxRetries,
+  heartbeatInterval,
+  targetName,
+  moduleUrl,
+  authorizationOf,
+  commandTransition,
+  traits,
+  schedule,
+}
+/* todoItemSchema Not a pure module */

package/src/Notification/Automation/MarketingDigest_Automation.res

@@ -0,0 +1,99 @@
+@@reventless.automation
+
+// The recipient's choice and their unsubscribing set and clear their schedule;
+// every outcome of a request finishes the day's digest, as in `NotificationIntake`.
+module OrderingDcbSource = {
+  let name = "OrderingDcbEventLog"
+
+  @schema
+  type event =
+    | DigestTimeChosen({recipientId: string, hour: int, minute: int, zone: string})
+    | NotificationUnsubscribed({
+        recipientId: string,
+        category: NotificationPreferences.category,
+        channel: NotificationPreferences.channel,
+      })
+    | NotificationRequested({reference: string})
+    | NotificationSuppressed({reference: string})
+    | NotificationUndeliverable({reference: string})
+    | NotificationDeferred({reference: string})
+}
+
+/** The recipient's time of day, on their own clock. */
+let dailyAt = (~hour, ~minute, ~zone) => Reventless.Schedule.Calendar({
+  calendar: Daily({hour, minute}),
+  zone: ?(zone == "" ? None : Some(zone)),
+})
+
+// The key is the recipient whose time came.
+module FromClock = Mapping.Make(
+  Reventless.Clock,
+  MarketingDigest,
+  {
+    open Reventless.Clock
+    let collect = (Tick({key, at}), ~sourceId as _, _ctx) => [
+      (itemId(key, at), ({recipientId: key}: MarketingDigest.todoItem)),
+    ]
+    let resolve = _ => None
+  },
+)
+
+module FromOrderingDcb = Mapping.Make(
+  OrderingDcbSource,
+  MarketingDigest,
+  {
+    open OrderingDcbSource
+
+    let collect = (_, ~sourceId as _, _ctx) => []
+
+    let resolve = event =>
+      switch event {
+      | NotificationRequested({reference})
+      | NotificationSuppressed({reference})
+      | NotificationUndeliverable({reference})
+      | NotificationDeferred({reference}) =>
+        Some(reference)
+      | DigestTimeChosen(_)
+      | NotificationUnsubscribed(_) =>
+        None
+      }
+
+    // Unsubscribing from marketing by email stops the digest: a time can only be
+    // chosen while it is on, and a schedule that only ever sends nothing is one
+    // nobody should pay for.
+    let reschedule = event =>
+      switch event {
+      | DigestTimeChosen({recipientId, hour, minute, zone}) => [
+          Set({key: recipientId, time: dailyAt(~hour, ~minute, ~zone)}),
+        ]
+      | NotificationUnsubscribed({recipientId, category: Marketing, channel: Email}) => [
+          Clear({key: recipientId}),
+        ]
+      | _ => []
+      }
+  },
+)
+
+let mappings: array<module(Mapping)> = [module(FromClock), module(FromOrderingDcb)]
+
+// The item id travels as the request's reference and comes back on its outcome.
+// The wording is fixed: what the offers are is the catalog's, and this shop has
+// no campaign component yet to say.
+let process = (id, item: MarketingDigest.todoItem) => Some((
+  item.recipientId,
+  MarketingDigest.RequestNotification({
+    recipientId: item.recipientId,
+    category: Marketing,
+    reference: id,
+    subjectType: "",
+    subjectRef: "",
+    subject: "This week's offers",
+    body: "A look at what is new in the shop this week.",
+    sourceId: `${OrderingDcbSource.name}:DigestTimeChosen`,
+    origin: Default,
+  }),
+))
+
+// A day's digest that never got an answer is not worth announcing: tomorrow's
+// comes regardless.
+let onExhausted = (_id, _item) => None

package/src/Notification/Automation/MarketingDigest_Automation.res.mjs

@@ -0,0 +1,217 @@
+// 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 Clock$Reventless from "@reventlessdev/reventless-spec/src/components/Clock.res.mjs";
+import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+import * as AutomationSlice$Reventless from "@reventlessdev/reventless-spec/src/components/AutomationSlice.res.mjs";
+import * as MarketingDigest$OrderingPlugin from "./MarketingDigest.res.mjs";
+import * as NotificationPreferences$OrderingPlugin from "../StateChange/NotificationPreferences.res.mjs";
+
+let M = AutomationSlice$Reventless.Mappings.Make({
+  name: MarketingDigest$OrderingPlugin.name,
+  moduleUrl: MarketingDigest$OrderingPlugin.moduleUrl,
+  todoItemSchema: MarketingDigest$OrderingPlugin.todoItemSchema,
+  commandSchema: MarketingDigest$OrderingPlugin.commandSchema,
+  maxRetries: MarketingDigest$OrderingPlugin.maxRetries,
+  heartbeatInterval: MarketingDigest$OrderingPlugin.heartbeatInterval,
+  targetName: MarketingDigest$OrderingPlugin.targetName,
+  schedule: undefined
+});
+
+let name = "OrderingDcbEventLog";
+
+let eventSchema = Sury.union([
+  Sury.$schema(s => ({
+    TAG: "DigestTimeChosen",
+    recipientId: s.m(DcbTag$Reventless.string),
+    hour: s.m(Sury.int32),
+    minute: s.m(Sury.int32),
+    zone: s.m(Sury.string)
+  })),
+  Sury.$schema(s => ({
+    TAG: "NotificationUnsubscribed",
+    recipientId: s.m(DcbTag$Reventless.string),
+    category: s.m(NotificationPreferences$OrderingPlugin.categorySchema),
+    channel: s.m(NotificationPreferences$OrderingPlugin.channelSchema)
+  })),
+  Sury.$schema(s => ({
+    TAG: "NotificationRequested",
+    reference: s.m(Sury.string)
+  })),
+  Sury.$schema(s => ({
+    TAG: "NotificationSuppressed",
+    reference: s.m(Sury.string)
+  })),
+  Sury.$schema(s => ({
+    TAG: "NotificationUndeliverable",
+    reference: s.m(Sury.string)
+  })),
+  Sury.$schema(s => ({
+    TAG: "NotificationDeferred",
+    reference: s.m(Sury.string)
+  }))
+]);
+
+let OrderingDcbSource = {
+  Id: undefined,
+  name: name,
+  eventSchema: eventSchema
+};
+
+function dailyAt(hour, minute, zone) {
+  return {
+    TAG: "Calendar",
+    calendar: {
+      TAG: "Daily",
+      hour: hour,
+      minute: minute
+    },
+    zone: zone === "" ? undefined : zone
+  };
+}
+
+function collect(param, param$1, _ctx) {
+  let key = param.key;
+  return [[
+      Clock$Reventless.itemId(key, param.at),
+      {
+        recipientId: key
+      }
+    ]];
+}
+
+function resolve(param) {
+  
+}
+
+function reschedule(param) {
+  return [];
+}
+
+let FromClock = AutomationSlice$Reventless.Mapping.Make({
+  Id: Id$Reventless.$$String,
+  name: Clock$Reventless.name,
+  eventSchema: Clock$Reventless.eventSchema
+})({
+  name: MarketingDigest$OrderingPlugin.name,
+  moduleUrl: MarketingDigest$OrderingPlugin.moduleUrl,
+  todoItemSchema: MarketingDigest$OrderingPlugin.todoItemSchema,
+  commandSchema: MarketingDigest$OrderingPlugin.commandSchema,
+  maxRetries: MarketingDigest$OrderingPlugin.maxRetries,
+  heartbeatInterval: MarketingDigest$OrderingPlugin.heartbeatInterval,
+  targetName: MarketingDigest$OrderingPlugin.targetName,
+  schedule: undefined
+})({
+  collect: collect,
+  resolve: resolve,
+  reschedule: reschedule
+});
+
+function collect$1(param, param$1, _ctx) {
+  return [];
+}
+
+function resolve$1(event) {
+  switch (event.TAG) {
+    case "DigestTimeChosen" :
+    case "NotificationUnsubscribed" :
+      return;
+    default:
+      return event.reference;
+  }
+}
+
+function reschedule$1(event) {
+  switch (event.TAG) {
+    case "DigestTimeChosen" :
+      return [{
+          TAG: "Set",
+          key: event.recipientId,
+          time: dailyAt(event.hour, event.minute, event.zone)
+        }];
+    case "NotificationUnsubscribed" :
+      switch (event.category) {
+        case "OrderConfirmation" :
+        case "ShippingUpdate" :
+          return [];
+        case "Marketing" :
+          switch (event.channel) {
+            case "Email" :
+              return [{
+                  TAG: "Clear",
+                  key: event.recipientId
+                }];
+            case "Sms" :
+            case "Push" :
+              return [];
+          }
+      }
+    default:
+      return [];
+  }
+}
+
+let FromOrderingDcb = AutomationSlice$Reventless.Mapping.Make({
+  Id: Id$Reventless.$$String,
+  name: name,
+  eventSchema: eventSchema
+})({
+  name: MarketingDigest$OrderingPlugin.name,
+  moduleUrl: MarketingDigest$OrderingPlugin.moduleUrl,
+  todoItemSchema: MarketingDigest$OrderingPlugin.todoItemSchema,
+  commandSchema: MarketingDigest$OrderingPlugin.commandSchema,
+  maxRetries: MarketingDigest$OrderingPlugin.maxRetries,
+  heartbeatInterval: MarketingDigest$OrderingPlugin.heartbeatInterval,
+  targetName: MarketingDigest$OrderingPlugin.targetName,
+  schedule: undefined
+})({
+  collect: collect$1,
+  resolve: resolve$1,
+  reschedule: reschedule$1
+});
+
+let mappings = [
+  FromClock,
+  FromOrderingDcb
+];
+
+function process(id, item, param) {
+  return [
+    item.recipientId,
+    {
+      TAG: "RequestNotification",
+      recipientId: item.recipientId,
+      category: "Marketing",
+      reference: id,
+      subjectType: "",
+      subjectRef: "",
+      subject: "This week's offers",
+      body: "A look at what is new in the shop this week.",
+      sourceId: name + `:DigestTimeChosen`,
+      origin: "Default"
+    }
+  ];
+}
+
+function onExhausted(_id, _item) {
+  
+}
+
+let Spec;
+
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/Automation/MarketingDigest_Automation.res.mjs";
+
+export {
+  Spec,
+  M,
+  OrderingDcbSource,
+  dailyAt,
+  FromClock,
+  FromOrderingDcb,
+  mappings,
+  process,
+  onExhausted,
+  moduleUrl,
+}
+/* M Not a pure module */

package/src/Notification/Automation/NotificationIntake.res.mjs

@@ -46,6 +46,8 @@ let targetName = "NotificationPreferences";
 
 let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/Automation/NotificationIntake.res.mjs";
 
+let schedule;
+
 export {
   name,
   Id,
@@ -58,5 +60,6 @@ export {
   authorizationOf,
   commandTransition,
   traits,
+  schedule,
 }
 /* todoItemSchema Not a pure module */

package/src/Notification/Automation/NotificationIntake_Automation.res.mjs

@@ -19,7 +19,8 @@ let M = AutomationSlice$Reventless.Mappings.Make({
   commandSchema: NotificationIntake$OrderingPlugin.commandSchema,
   maxRetries: NotificationIntake$OrderingPlugin.maxRetries,
   heartbeatInterval: NotificationIntake$OrderingPlugin.heartbeatInterval,
-  targetName: NotificationIntake$OrderingPlugin.targetName
+  targetName: NotificationIntake$OrderingPlugin.targetName,
+  schedule: undefined
 });
 
 let name = "OrderingDcbEventLog";
@@ -132,6 +133,10 @@ function resolve(event) {
   }
 }
 
+function reschedule(param) {
+  return [];
+}
+
 let FromOrderingDcb = AutomationSlice$Reventless.Mapping.Make({
   Id: Id$Reventless.$$String,
   name: name,
@@ -143,10 +148,12 @@ let FromOrderingDcb = AutomationSlice$Reventless.Mapping.Make({
   commandSchema: NotificationIntake$OrderingPlugin.commandSchema,
   maxRetries: NotificationIntake$OrderingPlugin.maxRetries,
   heartbeatInterval: NotificationIntake$OrderingPlugin.heartbeatInterval,
-  targetName: NotificationIntake$OrderingPlugin.targetName
+  targetName: NotificationIntake$OrderingPlugin.targetName,
+  schedule: undefined
 })({
   collect: collect,
-  resolve: resolve
+  resolve: resolve,
+  reschedule: reschedule
 });
 
 let mappings = [FromOrderingDcb];

package/src/Notification/StateChange/NotificationPreferences.res

@@ -68,6 +68,12 @@ type command =
   // the field with the authenticated caller before the command is published.
   | Subscribe({@owner recipientId: string, category: category, channel: channel})
   | Unsubscribe({@owner recipientId: string, category: category, channel: channel})
+  // When in the day the recipient wants the marketing digest, on their own clock:
+  // an hour and minute, read in `zone` (an IANA name such as "Europe/Berlin"; empty
+  // is UTC). Plain fields rather than a `Schedule.time`, because a person picks a
+  // time of day, and an input cannot carry a tagged union. `MarketingDigest` turns
+  // it into the recipient's schedule.
+  | ChooseDigestTime({@owner recipientId: string, hour: int, minute: int, zone: string})
   // Also relayed: a notifiable thing happened. `reference` is the requester's own
   // key for it, echoed back on whichever outcome follows, so the automation that
   // asked can tell its work is finished. Opaque here on purpose — this slice must
@@ -112,12 +118,19 @@ type error =
   // refusal, unlike the relayed commands, which record a fact instead: a person
   // is at the other end of this one and can be told.
   | RecipientUnknown
+  // An hour outside 0 to 23 or a minute outside 0 to 59.
+  | DigestTimeInvalid
+  // A digest time for a recipient who does not take marketing by email: every
+  // digest would be suppressed, and their unsubscribing, which changes nothing,
+  // could never stop the schedule.
+  | MarketingNotSubscribed
 
 @schema
 type event =
   | RecipientAnnounced({recipientId: string, email: string})
   | NotificationSubscribed({recipientId: string, category: category, channel: channel})
   | NotificationUnsubscribed({recipientId: string, category: category, channel: channel})
+  | DigestTimeChosen({recipientId: string, hour: int, minute: int, zone: string})
   // The addressed message. `address` is the snapshot the send slice delivers to,
   // and the reason this event exists rather than the send slice reading state.
   | NotificationRequested({

package/src/Notification/StateChange/NotificationPreferences.res.mjs

@@ -74,6 +74,13 @@ let commandSchema = Sury.union([
     category: s.m(categorySchema),
     channel: s.m(channelSchema)
   })),
+  Sury.$schema(s => ({
+    TAG: "ChooseDigestTime",
+    recipientId: s.m(Owner$Reventless.mark(DcbTag$Reventless.string)),
+    hour: s.m(Sury.int32),
+    minute: s.m(Sury.int32),
+    zone: s.m(Sury.string)
+  })),
   Sury.$schema(s => ({
     TAG: "RequestNotification",
     recipientId: s.m(DcbTag$Reventless.string),
@@ -100,7 +107,11 @@ let commandSchema = Sury.union([
   }))
 ]);
 
-let errorSchema = Sury.literal("RecipientUnknown");
+let errorSchema = Sury.union([
+  Sury.literal("RecipientUnknown"),
+  Sury.literal("DigestTimeInvalid"),
+  Sury.literal("MarketingNotSubscribed")
+]);
 
 let eventSchema = Sury.union([
   Sury.$schema(s => ({
@@ -120,6 +131,13 @@ let eventSchema = Sury.union([
     category: s.m(categorySchema),
     channel: s.m(channelSchema)
   })),
+  Sury.$schema(s => ({
+    TAG: "DigestTimeChosen",
+    recipientId: s.m(DcbTag$Reventless.string),
+    hour: s.m(Sury.int32),
+    minute: s.m(Sury.int32),
+    zone: s.m(Sury.string)
+  })),
   Sury.$schema(s => ({
     TAG: "NotificationRequested",
     recipientId: s.m(DcbTag$Reventless.string),

package/src/Notification/StateChange/NotificationPreferences_Behavior.res

@@ -215,6 +215,20 @@ let decide = (state, command) =>
       )
     )
 
+  // Not the trait's: when a digest comes is this shop's offer, and the trait holds
+  // no time. Only a recipient the directory knows, who takes marketing by email,
+  // may choose one; unsubscribing from it is then what stops the digest.
+  | ChooseDigestTime({recipientId, hour, minute, zone}) =>
+    if state.contacts->Array.length == 0 {
+      Error(RecipientUnknown)
+    } else if hour < 0 || hour > 23 || minute < 0 || minute > 59 {
+      Error(DigestTimeInvalid)
+    } else if !(state->Rules.enabled(~posture, "Marketing", Email)) {
+      Error(MarketingNotSubscribed)
+    } else {
+      Ok([DigestTimeChosen({recipientId, hour, minute, zone})])
+    }
+
   // Reported by the send slice once the provider has settled. No rule to state —
   // the outcome is whatever the provider said — so these stay here rather than
   // being pushed through a trait that would only pass them along.

package/src/Notification/StateChange/NotificationPreferences_Behavior.res.mjs

@@ -209,6 +209,37 @@ function decide(state, command) {
         category: categoryKey(command.category),
         channel: channelKey(command.channel)
       });
+    case "ChooseDigestTime" :
+      if (state.contacts.length === 0) {
+        return {
+          TAG: "Error",
+          _0: "RecipientUnknown"
+        };
+      }
+      let minute = command.minute;
+      let hour = command.hour;
+      if (hour < 0 || hour > 23 || minute < 0 || minute > 59) {
+        return {
+          TAG: "Error",
+          _0: "DigestTimeInvalid"
+        };
+      } else if (Notification_Rules$TraitNotification.enabled(state, posture, "Marketing", "Email")) {
+        return {
+          TAG: "Ok",
+          _0: [{
+              TAG: "DigestTimeChosen",
+              recipientId: command.recipientId,
+              hour: hour,
+              minute: minute,
+              zone: command.zone
+            }]
+        };
+      } else {
+        return {
+          TAG: "Error",
+          _0: "MarketingNotSubscribed"
+        };
+      }
     case "RequestNotification" :
       let origin = command.origin;
       let body = command.body;

package/src/Order/Automation/AutoShipOrder.res.mjs

@@ -35,6 +35,8 @@ let targetName = "ShipOrder";
 
 let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Order/Automation/AutoShipOrder.res.mjs";
 
+let schedule;
+
 export {
   name,
   Id,
@@ -47,5 +49,6 @@ export {
   authorizationOf,
   commandTransition,
   traits,
+  schedule,
 }
 /* todoItemSchema Not a pure module */