@reventlessdev/online-shop-dcb-ordering 1.0.0-alpha.103

package/lib/bs/src/Customer/StateChangeSlice/ChangeAddress.res

@@ -0,0 +1,20 @@
+// ChangeAddress StateChangeSlice.
+// Requires customer to exist and not be deactivated; idempotent when address is unchanged.
+@@reventless.spec
+
+@schema
+type consumedEvent =
+  | CustomerRegistered({address: string})
+  | AddressChanged({address: string})
+  | CustomerDeactivated
+
+@schema
+type command = ChangeAddress({customerId: string, address: string})
+
+@schema
+type error =
+  | CustomerNotFound
+  | CustomerAlreadyDeactivated
+
+@schema
+type event = AddressChanged({customerId: string, address: string})

package/lib/bs/src/Customer/StateChangeSlice/ChangeAddress.res.mjs

@@ -0,0 +1,58 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+
+let consumedEventSchema = S.union([
+  S.schema(s => ({
+    TAG: "CustomerRegistered",
+    address: s.m(S.string)
+  })),
+  S.schema(s => ({
+    TAG: "AddressChanged",
+    address: s.m(S.string)
+  })),
+  S.literal("CustomerDeactivated")
+]);
+
+let commandSchema = S.schema(s => ({
+  TAG: "ChangeAddress",
+  customerId: s.m(DcbTag$Reventless.string),
+  address: s.m(S.string)
+}));
+
+let errorSchema = S.union([
+  S.literal("CustomerNotFound"),
+  S.literal("CustomerAlreadyDeactivated")
+]);
+
+let eventSchema = S.schema(s => ({
+  TAG: "AddressChanged",
+  customerId: s.m(DcbTag$Reventless.string),
+  address: s.m(S.string)
+}));
+
+function commandAuthorization(param) {
+  return "AllowAuthenticated";
+}
+
+let name = "ChangeAddress";
+
+let Id;
+
+let moduleUrl = "@reventlessdev/online-shop-dcb-ordering/src/Customer/StateChangeSlice/ChangeAddress.res.mjs";
+
+let readConsistency = "EscalateOnRetry";
+
+export {
+  name,
+  Id,
+  consumedEventSchema,
+  commandSchema,
+  errorSchema,
+  eventSchema,
+  moduleUrl,
+  commandAuthorization,
+  readConsistency,
+}
+/* consumedEventSchema Not a pure module */

package/lib/bs/src/Customer/StateChangeSlice/ChangeAddress_Behavior.res

@@ -0,0 +1,30 @@
+@@reventless.behavior
+
+type state = {exists: bool, deactivated: bool, currentAddress: string}
+
+let initialState = {exists: false, deactivated: false, currentAddress: ""}
+
+let evolve = (state, event) =>
+  switch event {
+  | CustomerRegistered({address}) => {
+      exists: true,
+      deactivated: false,
+      currentAddress: address,
+    }
+  | AddressChanged({address}) => {...state, currentAddress: address}
+  | CustomerDeactivated => {...state, deactivated: true}
+  }
+
+let decide = (state, command) =>
+  switch command {
+  | ChangeAddress({customerId, address}) =>
+    if !state.exists {
+      Error(CustomerNotFound)
+    } else if state.deactivated {
+      Error(CustomerAlreadyDeactivated)
+    } else if address == state.currentAddress {
+      Ok([]) // idempotent — address unchanged
+    } else {
+      Ok([AddressChanged({customerId, address})])
+    }
+  }

package/lib/bs/src/Customer/StateChangeSlice/ChangeAddress_Behavior.res.mjs

@@ -0,0 +1,74 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+
+function evolve(state, event) {
+  if (typeof event !== "object") {
+    return {
+      exists: state.exists,
+      deactivated: true,
+      currentAddress: state.currentAddress
+    };
+  } else if (event.TAG === "CustomerRegistered") {
+    return {
+      exists: true,
+      deactivated: false,
+      currentAddress: event.address
+    };
+  } else {
+    return {
+      exists: state.exists,
+      deactivated: state.deactivated,
+      currentAddress: event.address
+    };
+  }
+}
+
+function decide(state, command) {
+  if (!state.exists) {
+    return {
+      TAG: "Error",
+      _0: "CustomerNotFound"
+    };
+  }
+  if (state.deactivated) {
+    return {
+      TAG: "Error",
+      _0: "CustomerAlreadyDeactivated"
+    };
+  }
+  let address = command.address;
+  if (address === state.currentAddress) {
+    return {
+      TAG: "Ok",
+      _0: []
+    };
+  } else {
+    return {
+      TAG: "Ok",
+      _0: [{
+          TAG: "AddressChanged",
+          customerId: command.customerId,
+          address: address
+        }]
+    };
+  }
+}
+
+let Spec;
+
+let initialState = {
+  exists: false,
+  deactivated: false,
+  currentAddress: ""
+};
+
+let moduleUrl = "@reventlessdev/online-shop-dcb-ordering/src/Customer/StateChangeSlice/ChangeAddress_Behavior.res.mjs";
+
+export {
+  Spec,
+  initialState,
+  evolve,
+  decide,
+  moduleUrl,
+}
+/* No side effect */

package/lib/bs/src/Customer/StateChangeSlice/ChangeEmail.res

@@ -0,0 +1,20 @@
+// ChangeEmail StateChangeSlice.
+// Requires customer to exist and not be deactivated; idempotent when email is unchanged.
+@@reventless.spec
+
+@schema
+type consumedEvent =
+  | CustomerRegistered({email: string})
+  | EmailChanged({email: string})
+  | CustomerDeactivated
+
+@schema
+type command = ChangeEmail({customerId: string, email: string})
+
+@schema
+type error =
+  | CustomerNotFound
+  | CustomerAlreadyDeactivated
+
+@schema
+type event = EmailChanged({customerId: string, email: string})

package/lib/bs/src/Customer/StateChangeSlice/ChangeEmail.res.mjs

@@ -0,0 +1,58 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+
+let consumedEventSchema = S.union([
+  S.schema(s => ({
+    TAG: "CustomerRegistered",
+    email: s.m(S.string)
+  })),
+  S.schema(s => ({
+    TAG: "EmailChanged",
+    email: s.m(S.string)
+  })),
+  S.literal("CustomerDeactivated")
+]);
+
+let commandSchema = S.schema(s => ({
+  TAG: "ChangeEmail",
+  customerId: s.m(DcbTag$Reventless.string),
+  email: s.m(S.string)
+}));
+
+let errorSchema = S.union([
+  S.literal("CustomerNotFound"),
+  S.literal("CustomerAlreadyDeactivated")
+]);
+
+let eventSchema = S.schema(s => ({
+  TAG: "EmailChanged",
+  customerId: s.m(DcbTag$Reventless.string),
+  email: s.m(S.string)
+}));
+
+function commandAuthorization(param) {
+  return "AllowAuthenticated";
+}
+
+let name = "ChangeEmail";
+
+let Id;
+
+let moduleUrl = "@reventlessdev/online-shop-dcb-ordering/src/Customer/StateChangeSlice/ChangeEmail.res.mjs";
+
+let readConsistency = "EscalateOnRetry";
+
+export {
+  name,
+  Id,
+  consumedEventSchema,
+  commandSchema,
+  errorSchema,
+  eventSchema,
+  moduleUrl,
+  commandAuthorization,
+  readConsistency,
+}
+/* consumedEventSchema Not a pure module */

package/lib/bs/src/Customer/StateChangeSlice/ChangeEmail_Behavior.res

@@ -0,0 +1,26 @@
+@@reventless.behavior
+
+type state = {exists: bool, deactivated: bool, currentEmail: string}
+
+let initialState = {exists: false, deactivated: false, currentEmail: ""}
+
+let evolve = (state, event) =>
+  switch event {
+  | CustomerRegistered({email}) => {exists: true, deactivated: false, currentEmail: email}
+  | EmailChanged({email}) => {...state, currentEmail: email}
+  | CustomerDeactivated => {...state, deactivated: true}
+  }
+
+let decide = (state, command) =>
+  switch command {
+  | ChangeEmail({customerId, email}) =>
+    if !state.exists {
+      Error(CustomerNotFound)
+    } else if state.deactivated {
+      Error(CustomerAlreadyDeactivated)
+    } else if email == state.currentEmail {
+      Ok([]) // idempotent — email unchanged
+    } else {
+      Ok([EmailChanged({customerId, email})])
+    }
+  }

package/lib/bs/src/Customer/StateChangeSlice/ChangeEmail_Behavior.res.mjs

@@ -0,0 +1,74 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+
+function evolve(state, event) {
+  if (typeof event !== "object") {
+    return {
+      exists: state.exists,
+      deactivated: true,
+      currentEmail: state.currentEmail
+    };
+  } else if (event.TAG === "CustomerRegistered") {
+    return {
+      exists: true,
+      deactivated: false,
+      currentEmail: event.email
+    };
+  } else {
+    return {
+      exists: state.exists,
+      deactivated: state.deactivated,
+      currentEmail: event.email
+    };
+  }
+}
+
+function decide(state, command) {
+  if (!state.exists) {
+    return {
+      TAG: "Error",
+      _0: "CustomerNotFound"
+    };
+  }
+  if (state.deactivated) {
+    return {
+      TAG: "Error",
+      _0: "CustomerAlreadyDeactivated"
+    };
+  }
+  let email = command.email;
+  if (email === state.currentEmail) {
+    return {
+      TAG: "Ok",
+      _0: []
+    };
+  } else {
+    return {
+      TAG: "Ok",
+      _0: [{
+          TAG: "EmailChanged",
+          customerId: command.customerId,
+          email: email
+        }]
+    };
+  }
+}
+
+let Spec;
+
+let initialState = {
+  exists: false,
+  deactivated: false,
+  currentEmail: ""
+};
+
+let moduleUrl = "@reventlessdev/online-shop-dcb-ordering/src/Customer/StateChangeSlice/ChangeEmail_Behavior.res.mjs";
+
+export {
+  Spec,
+  initialState,
+  evolve,
+  decide,
+  moduleUrl,
+}
+/* No side effect */

package/lib/bs/src/Customer/StateChangeSlice/DeactivateCustomer.res

@@ -0,0 +1,17 @@
+// DeactivateCustomer StateChangeSlice.
+// Requires customer to exist; idempotent if already deactivated.
+@@reventless.spec
+
+@schema
+type consumedEvent =
+  | CustomerRegistered
+  | CustomerDeactivated
+
+@schema
+type command = DeactivateCustomer({customerId: string})
+
+@schema
+type error = CustomerNotFound
+
+@schema
+type event = CustomerDeactivated({customerId: string})

package/lib/bs/src/Customer/StateChangeSlice/DeactivateCustomer.res.mjs

@@ -0,0 +1,46 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+
+let consumedEventSchema = S.union([
+  S.literal("CustomerRegistered"),
+  S.literal("CustomerDeactivated")
+]);
+
+let commandSchema = S.schema(s => ({
+  TAG: "DeactivateCustomer",
+  customerId: s.m(DcbTag$Reventless.string)
+}));
+
+let errorSchema = S.literal("CustomerNotFound");
+
+let eventSchema = S.schema(s => ({
+  TAG: "CustomerDeactivated",
+  customerId: s.m(DcbTag$Reventless.string)
+}));
+
+function commandAuthorization(param) {
+  return "AllowAuthenticated";
+}
+
+let name = "DeactivateCustomer";
+
+let Id;
+
+let moduleUrl = "@reventlessdev/online-shop-dcb-ordering/src/Customer/StateChangeSlice/DeactivateCustomer.res.mjs";
+
+let readConsistency = "EscalateOnRetry";
+
+export {
+  name,
+  Id,
+  consumedEventSchema,
+  commandSchema,
+  errorSchema,
+  eventSchema,
+  moduleUrl,
+  commandAuthorization,
+  readConsistency,
+}
+/* consumedEventSchema Not a pure module */

package/lib/bs/src/Customer/StateChangeSlice/DeactivateCustomer_Behavior.res

@@ -0,0 +1,23 @@
+@@reventless.behavior
+
+type state = {exists: bool, deactivated: bool}
+
+let initialState = {exists: false, deactivated: false}
+
+let evolve = (state, event) =>
+  switch event {
+  | CustomerRegistered => {exists: true, deactivated: false}
+  | CustomerDeactivated => {...state, deactivated: true}
+  }
+
+let decide = (state, command) =>
+  switch command {
+  | DeactivateCustomer({customerId: theId}) =>
+    if !state.exists {
+      Error(CustomerNotFound)
+    } else if state.deactivated {
+      Ok([]) // idempotent — already deactivated
+    } else {
+      Ok([CustomerDeactivated({customerId: theId})])
+    }
+  }

package/lib/bs/src/Customer/StateChangeSlice/DeactivateCustomer_Behavior.res.mjs

@@ -0,0 +1,58 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+
+function evolve(state, event) {
+  if (event === "CustomerRegistered") {
+    return {
+      exists: true,
+      deactivated: false
+    };
+  } else {
+    return {
+      exists: state.exists,
+      deactivated: true
+    };
+  }
+}
+
+function decide(state, command) {
+  if (state.exists) {
+    if (state.deactivated) {
+      return {
+        TAG: "Ok",
+        _0: []
+      };
+    } else {
+      return {
+        TAG: "Ok",
+        _0: [{
+            TAG: "CustomerDeactivated",
+            customerId: command.customerId
+          }]
+      };
+    }
+  } else {
+    return {
+      TAG: "Error",
+      _0: "CustomerNotFound"
+    };
+  }
+}
+
+let Spec;
+
+let initialState = {
+  exists: false,
+  deactivated: false
+};
+
+let moduleUrl = "@reventlessdev/online-shop-dcb-ordering/src/Customer/StateChangeSlice/DeactivateCustomer_Behavior.res.mjs";
+
+export {
+  Spec,
+  initialState,
+  evolve,
+  decide,
+  moduleUrl,
+}
+/* No side effect */

package/lib/bs/src/Customer/StateChangeSlice/RegisterCustomer.res

@@ -0,0 +1,22 @@
+// RegisterCustomer StateChangeSlice.
+// Handles the RegisterCustomer command; rejects duplicate registration.
+@@reventless.spec
+
+@schema
+type consumedEvent =
+  | CustomerRegistered
+
+@schema
+type command =
+  | RegisterCustomer({customerId: string, email: string, address: string})
+
+@schema
+type error = CustomerAlreadyRegistered
+
+@schema
+type event =
+  | CustomerRegistered({
+      customerId: string,
+      email: string,
+      address: string,
+    })

package/lib/bs/src/Customer/StateChangeSlice/RegisterCustomer.res.mjs

@@ -0,0 +1,47 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+
+let consumedEventSchema = S.literal("CustomerRegistered");
+
+let commandSchema = S.schema(s => ({
+  TAG: "RegisterCustomer",
+  customerId: s.m(DcbTag$Reventless.string),
+  email: s.m(S.string),
+  address: s.m(S.string)
+}));
+
+let errorSchema = S.literal("CustomerAlreadyRegistered");
+
+let eventSchema = S.schema(s => ({
+  TAG: "CustomerRegistered",
+  customerId: s.m(DcbTag$Reventless.string),
+  email: s.m(S.string),
+  address: s.m(S.string)
+}));
+
+function commandAuthorization(param) {
+  return "AllowAuthenticated";
+}
+
+let name = "RegisterCustomer";
+
+let Id;
+
+let moduleUrl = "@reventlessdev/online-shop-dcb-ordering/src/Customer/StateChangeSlice/RegisterCustomer.res.mjs";
+
+let readConsistency = "EscalateOnRetry";
+
+export {
+  name,
+  Id,
+  consumedEventSchema,
+  commandSchema,
+  errorSchema,
+  eventSchema,
+  moduleUrl,
+  commandAuthorization,
+  readConsistency,
+}
+/* consumedEventSchema Not a pure module */

package/lib/bs/src/Customer/StateChangeSlice/RegisterCustomer_Behavior.res

@@ -0,0 +1,20 @@
+@@reventless.behavior
+
+type state = {exists: bool}
+
+let initialState = {exists: false}
+
+let evolve = (_state, event) =>
+  switch event {
+  | CustomerRegistered => {exists: true}
+  }
+
+let decide = (state, command) =>
+  switch command {
+  | RegisterCustomer({customerId, email, address}) =>
+    if state.exists {
+      Error(CustomerAlreadyRegistered)
+    } else {
+      Ok([CustomerRegistered({customerId, email, address})])
+    }
+  }