@reventlessdev/reventless-core 3.0.0-alpha.180 → 3.0.0-alpha.181

package/tests/plugin/StateChangeSlice/PsPlaceOrder.res.mjs

@@ -0,0 +1,62 @@
+// 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.schema(s => ({
+  TAG: "CatalogProductSynced",
+  productId: s.m(DcbTag$Reventless.string)
+}));
+
+function evolve(_state, _event) {
+  return true;
+}
+
+let commandSchema = S.schema(s => ({
+  TAG: "PlaceOrder",
+  orderId: s.m(DcbTag$Reventless.string)
+}));
+
+let errorSchema = S.literal("AlreadyPlaced");
+
+let eventSchema = S.schema(s => ({
+  TAG: "OrderPlaced",
+  orderId: s.m(DcbTag$Reventless.string)
+}));
+
+function decide(_state, _command) {
+  return {
+    TAG: "Ok",
+    _0: []
+  };
+}
+
+function commandAuthorization(param) {
+  return "AllowAuthenticated";
+}
+
+let name = "PlaceOrder";
+
+let Id;
+
+let initialState = false;
+
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChangeSlice/PsPlaceOrder.res.mjs";
+
+let readConsistency = "EscalateOnRetry";
+
+export {
+  name,
+  Id,
+  initialState,
+  consumedEventSchema,
+  evolve,
+  commandSchema,
+  errorSchema,
+  eventSchema,
+  decide,
+  moduleUrl,
+  commandAuthorization,
+  readConsistency,
+}
+/* consumedEventSchema Not a pure module */

package/tests/plugin/StateChangeSlice/PsShipOrder.res

@@ -15,8 +15,11 @@ let evolve = (_state, _event) => true
 
 // CancelShipment is payload-less — it compiles to a bare string literal, so it
 // exercises toCommandDef's payload-less branch (still surfaced in `commands`).
+// It is also `@noApi` (internal/admin only): a two-variant slice with exactly
+// one API-exposed command, which is the case that used to leak the exposed
+// command's slice mutation field onto the non-exposed variant.
 @schema
-type command = ShipOrder({orderId: string}) | CancelShipment
+type command = @targetState("Shipped") ShipOrder({orderId: string}) | @noApi CancelShipment
 
 @schema
 type error = OrderNotFound

package/tests/plugin/StateChangeSlice/PsShipOrder.res.mjs

@@ -0,0 +1,77 @@
+// 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";
+import * as Api$ReventlessInfra from "@reventlessdev/reventless-infra/src/components/Api.res.mjs";
+
+let consumedEventSchema = S.union([
+  S.literal("OrderPlaced"),
+  S.literal("OrderShipped"),
+  S.literal("OrderCancelled")
+]);
+
+function evolve(_state, _event) {
+  return true;
+}
+
+let commandSchema = S.union([
+  S.schema(s => ({
+    TAG: "ShipOrder",
+    orderId: s.m(DcbTag$Reventless.string)
+  })),
+  S.literal("CancelShipment")
+]);
+
+let errorSchema = S.literal("OrderNotFound");
+
+let eventSchema = S.union([
+  S.schema(s => ({
+    TAG: "OrderShipped",
+    orderId: s.m(DcbTag$Reventless.string)
+  })),
+  S.literal("ShipmentVoided")
+]);
+
+function decide(_state, _command) {
+  return {
+    TAG: "Ok",
+    _0: []
+  };
+}
+
+let commandSchema$1 = Api$ReventlessInfra.markNoApiVariants(commandSchema, ["CancelShipment"]);
+
+let commandSchema$2 = Api$ReventlessInfra.markTargetState(commandSchema$1, [[
+    "ShipOrder",
+    "Shipped"
+  ]]);
+
+function commandAuthorization(param) {
+  return "AllowAuthenticated";
+}
+
+let name = "ShipOrder";
+
+let Id;
+
+let initialState = false;
+
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChangeSlice/PsShipOrder.res.mjs";
+
+let readConsistency = "EscalateOnRetry";
+
+export {
+  name,
+  Id,
+  initialState,
+  consumedEventSchema,
+  evolve,
+  errorSchema,
+  eventSchema,
+  decide,
+  commandSchema$2 as commandSchema,
+  moduleUrl,
+  commandAuthorization,
+  readConsistency,
+}
+/* consumedEventSchema Not a pure module */

package/tests/plugin/StateViewSlice/PsAnnotatedView.res

@@ -7,7 +7,7 @@
 
 @schema
 type consumedEvent =
-  | ItemRecorded({itemId: string, ownerId: string, version: string, name: string})
+  | ItemRecorded({itemId: string, ownerId: string, version: string, name: string, total: float})
 
 @schema
 type state = {
@@ -15,10 +15,11 @@ type state = {
   @subId version: string,
   @index("byOwner") ownerId: string,
   name: string,
+  @semantic("currency") @metric({aggregate: "sum", label: "Revenue"}) total: float,
 }
 
-let project = event =>
+let project = ({event}: Reventless.StateViewSlice.consumed<consumedEvent>) =>
   switch event {
-  | ItemRecorded({itemId, ownerId, version, name}) =>
-    [Set(itemId, {itemId, ownerId, version, name})]
+  | ItemRecorded({itemId, ownerId, version, name, total}) =>
+    [Set(itemId, {itemId, ownerId, version, name, total})]
   }

package/tests/plugin/StateViewSlice/PsAnnotatedView.res.mjs

@@ -0,0 +1,110 @@
+// 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";
+import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
+import * as StateAnnotations$Reventless from "@reventlessdev/reventless-spec/src/components/StateAnnotations.res.mjs";
+
+let consumedEventSchema = S.schema(s => ({
+  TAG: "ItemRecorded",
+  itemId: s.m(DcbTag$Reventless.string),
+  ownerId: s.m(DcbTag$Reventless.string),
+  version: s.m(S.string),
+  name: s.m(S.string),
+  total: s.m(S.float)
+}));
+
+let stateSchema = S.schema(s => ({
+  itemId: s.m(S.string),
+  version: s.m(S.string),
+  ownerId: s.m(S.string),
+  name: s.m(S.string),
+  total: s.m(S.float)
+}));
+
+function project(param) {
+  let event = param.event;
+  let itemId = event.itemId;
+  return [{
+      TAG: "Set",
+      _0: itemId,
+      _1: {
+        itemId: itemId,
+        version: event.version,
+        ownerId: event.ownerId,
+        name: event.name,
+        total: event.total
+      }
+    }];
+}
+
+let config = ReadModel$Reventless.config(undefined, undefined, [{
+    index: "byOwner",
+    type_: "S",
+    idField: "ownerId",
+    projectionType: "ALL"
+  }]);
+
+let subIdConfig = {
+  subIdField: "version",
+  getSubId: (state => state.version)
+};
+
+let makeId = (state => state.itemId);
+
+let stateSchema$1 = S.Metadata.set(stateSchema, StateAnnotations$Reventless.stateAnnotationsId, {
+  ids: ["itemId"],
+  compositeIds: [],
+  subIds: ["version"],
+  compositeSubIds: [],
+  indexes: [[
+      "ownerId",
+      "byOwner"
+    ]],
+  hidden: [],
+  summary: [],
+  drillTargets: [],
+  drillTargetKeys: [],
+  collapsed: [],
+  scan: [],
+  scanSort: [],
+  semantic: [[
+      "total",
+      "currency"
+    ]],
+  metric: [[
+      "total",
+      {
+        aggregate: "sum",
+        label: "Revenue"
+      }
+    ]],
+  status: undefined,
+  groupBy: undefined,
+  visibility: undefined
+});
+
+let name = "AnnotatedView";
+
+let Id;
+
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateViewSlice/PsAnnotatedView.res.mjs";
+
+let authorization = "AllowAuthenticated";
+
+let visibility = "Public";
+
+export {
+  name,
+  Id,
+  consumedEventSchema,
+  project,
+  config,
+  subIdConfig,
+  makeId,
+  stateSchema$1 as stateSchema,
+  moduleUrl,
+  authorization,
+  visibility,
+}
+/* consumedEventSchema Not a pure module */

package/tests/plugin/StateViewSlice/PsAvailableProductsView.res

@@ -11,7 +11,7 @@ type consumedEvent =
 @schema
 type state = {productId: string, name: string}
 
-let project = event =>
+let project = ({event}: Reventless.StateViewSlice.consumed<consumedEvent>) =>
   switch event {
   | CatalogProductSynced({productId, name}) => [Set(productId, {productId, name})]
   | CatalogProductPriceChanged({productId}) => [Update(productId, s => s)]

package/tests/plugin/StateViewSlice/PsAvailableProductsView.res.mjs

@@ -0,0 +1,70 @@
+// 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";
+import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
+
+let consumedEventSchema = S.union([
+  S.schema(s => ({
+    TAG: "CatalogProductSynced",
+    productId: s.m(DcbTag$Reventless.string),
+    name: s.m(S.string)
+  })),
+  S.schema(s => ({
+    TAG: "CatalogProductPriceChanged",
+    productId: s.m(DcbTag$Reventless.string)
+  }))
+]);
+
+let stateSchema = S.schema(s => ({
+  productId: s.m(S.string),
+  name: s.m(S.string)
+}));
+
+function project(param) {
+  let event = param.event;
+  if (event.TAG !== "CatalogProductSynced") {
+    return [{
+        TAG: "Update",
+        _0: event.productId,
+        _1: s => s
+      }];
+  }
+  let productId = event.productId;
+  return [{
+      TAG: "Set",
+      _0: productId,
+      _1: {
+        productId: productId,
+        name: event.name
+      }
+    }];
+}
+
+let config = ReadModel$Reventless.config(undefined, undefined, undefined);
+
+let name = "AvailableProducts";
+
+let Id;
+
+let subIdConfig;
+
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateViewSlice/PsAvailableProductsView.res.mjs";
+
+let authorization = "AllowAuthenticated";
+
+let visibility = "Public";
+
+export {
+  name,
+  Id,
+  consumedEventSchema,
+  stateSchema,
+  project,
+  config,
+  subIdConfig,
+  moduleUrl,
+  authorization,
+  visibility,
+}
+/* consumedEventSchema Not a pure module */

package/tests/plugin/StateViewSlice/PsCustomersView.res

@@ -15,7 +15,7 @@ type state = {
   @displayName lastName: string,
 }
 
-let project = event =>
+let project = ({event}: Reventless.StateViewSlice.consumed<consumedEvent>) =>
   switch event {
   | CustomerAdded({customerId, firstName, lastName}) =>
     [Set(customerId, {customerId, firstName, lastName})]

package/tests/plugin/StateViewSlice/PsCustomersView.res.mjs

@@ -0,0 +1,70 @@
+// 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";
+import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
+import * as DisplayName$Reventless from "@reventlessdev/reventless-spec/src/components/DisplayName.res.mjs";
+
+let consumedEventSchema = S.schema(s => ({
+  TAG: "CustomerAdded",
+  customerId: s.m(DcbTag$Reventless.string),
+  firstName: s.m(S.string),
+  lastName: s.m(S.string)
+}));
+
+let stateSchema = S.schema(s => ({
+  customerId: s.m(S.string),
+  firstName: s.m(S.string),
+  lastName: s.m(S.string),
+  displayName: s.m(S.option(S.string))
+}));
+
+let stateSchema$1 = S.Metadata.set(stateSchema, DisplayName$Reventless.displayNameId, {
+  fields: [
+    "firstName",
+    "lastName"
+  ],
+  separator: " "
+});
+
+function project(param) {
+  let event = param.event;
+  let customerId = event.customerId;
+  return [{
+      TAG: "Set",
+      _0: customerId,
+      _1: {
+        customerId: customerId,
+        firstName: event.firstName,
+        lastName: event.lastName
+      }
+    }];
+}
+
+let config = ReadModel$Reventless.config(undefined, undefined, undefined);
+
+let name = "Customers";
+
+let Id;
+
+let subIdConfig;
+
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateViewSlice/PsCustomersView.res.mjs";
+
+let authorization = "AllowAuthenticated";
+
+let visibility = "Public";
+
+export {
+  name,
+  Id,
+  consumedEventSchema,
+  stateSchema$1 as stateSchema,
+  project,
+  config,
+  subIdConfig,
+  moduleUrl,
+  authorization,
+  visibility,
+}
+/* consumedEventSchema Not a pure module */

package/tests/plugin/StateViewSlice/PsOrdersView.res

@@ -12,7 +12,7 @@ type consumedEvent =
 @schema
 type state = {orderId: string, customerName: string}
 
-let project = event =>
+let project = ({event}: Reventless.StateViewSlice.consumed<consumedEvent>) =>
   switch event {
   | OrderPlaced({orderId, customerName}) => [Set(orderId, {orderId, customerName})]
   | OrderShipped({orderId}) => [Update(orderId, s => s)]

package/tests/plugin/StateViewSlice/PsOrdersView.res.mjs

@@ -0,0 +1,82 @@
+// 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";
+import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
+
+let consumedEventSchema = S.union([
+  S.schema(s => ({
+    TAG: "OrderPlaced",
+    orderId: s.m(DcbTag$Reventless.string),
+    customerName: s.m(S.string)
+  })),
+  S.schema(s => ({
+    TAG: "OrderShipped",
+    orderId: s.m(DcbTag$Reventless.string)
+  })),
+  S.schema(s => ({
+    TAG: "OrderCancelled",
+    orderId: s.m(DcbTag$Reventless.string)
+  }))
+]);
+
+let stateSchema = S.schema(s => ({
+  orderId: s.m(S.string),
+  customerName: s.m(S.string)
+}));
+
+function project(param) {
+  let event = param.event;
+  switch (event.TAG) {
+    case "OrderPlaced" :
+      let orderId = event.orderId;
+      return [{
+          TAG: "Set",
+          _0: orderId,
+          _1: {
+            orderId: orderId,
+            customerName: event.customerName
+          }
+        }];
+    case "OrderShipped" :
+      return [{
+          TAG: "Update",
+          _0: event.orderId,
+          _1: s => s
+        }];
+    case "OrderCancelled" :
+      return [{
+          TAG: "Update",
+          _0: event.orderId,
+          _1: s => s
+        }];
+  }
+}
+
+let config = ReadModel$Reventless.config(undefined, undefined, undefined);
+
+let name = "Orders";
+
+let Id;
+
+let subIdConfig;
+
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateViewSlice/PsOrdersView.res.mjs";
+
+let authorization = "AllowAuthenticated";
+
+let visibility = "Public";
+
+export {
+  name,
+  Id,
+  consumedEventSchema,
+  stateSchema,
+  project,
+  config,
+  subIdConfig,
+  moduleUrl,
+  authorization,
+  visibility,
+}
+/* consumedEventSchema Not a pure module */

package/tests/poc/StructuralSubtypingPoc.res.mjs

@@ -0,0 +1,61 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+
+function acceptSubset(M) {
+  return M.Spec.name;
+}
+
+function coerceSuperset(M) {
+  return M;
+}
+
+function passSupersetsAsSubsets(aggregates) {
+  return aggregates.map(M => M);
+}
+
+function finishAggregates(aggregates) {
+  aggregates.forEach(M => M.AggregateRuntimeBuilder.finish());
+}
+
+function platformImplSatisfiesSpec(P) {
+  let $$let = P.Aggregate.Make;
+  return {
+    Aggregate: {
+      Make: funarg => $$let(funarg)
+    }
+  };
+}
+
+function coerceReadModelSuperset(M) {
+  return M;
+}
+
+function coerceSupersetV2(M) {
+  return M;
+}
+
+function passSupersetsAsSubsetsV2(aggregates) {
+  return aggregates.map(M => M);
+}
+
+function platformImplSatisfiesSpecV2(P) {
+  let $$let = P.Aggregate.Make;
+  return {
+    Aggregate: {
+      Make: funarg => $$let(funarg)
+    }
+  };
+}
+
+export {
+  acceptSubset,
+  coerceSuperset,
+  passSupersetsAsSubsets,
+  finishAggregates,
+  platformImplSatisfiesSpec,
+  coerceReadModelSuperset,
+  coerceSupersetV2,
+  passSupersetsAsSubsetsV2,
+  platformImplSatisfiesSpecV2,
+}
+/* No side effect */

package/tests/projection/ProjectionOptimizeTest.res.mjs

@@ -0,0 +1,75 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Stdlib_Array from "@rescript/runtime/lib/es6/Stdlib_Array.js";
+import * as Projection$ReventlessCore from "../../src/Projection.res.mjs";
+
+globalThis.describe("Projection.optimizeActions", () => {
+  globalThis.test("does not duplicate the pre-merge action (off-by-one regression)", () => {
+    let optimized = Projection$ReventlessCore.optimizeActions([
+      {
+        TAG: "Delete",
+        _0: "a"
+      },
+      {
+        TAG: "Update",
+        _0: "a",
+        _1: x => x + 1 | 0
+      },
+      {
+        TAG: "Set",
+        _0: "a",
+        _1: 99
+      }
+    ]);
+    globalThis.expect(optimized.length).toBe(2);
+    let sets = Stdlib_Array.filterMap(optimized, a => {
+      if (typeof a !== "object" || a.TAG !== "Set") {
+        return;
+      } else {
+        return [
+          a._0,
+          a._1
+        ];
+      }
+    });
+    globalThis.expect(sets).toEqual([[
+        "a",
+        99
+      ]]);
+  });
+  globalThis.test("merges a same-id Create+Update chain into a single Create", () => {
+    let optimized = Projection$ReventlessCore.optimizeActions([
+      {
+        TAG: "Create",
+        _0: "a",
+        _1: 0
+      },
+      {
+        TAG: "Update",
+        _0: "a",
+        _1: x => x + 1 | 0
+      },
+      {
+        TAG: "Update",
+        _0: "a",
+        _1: x => x + 10 | 0
+      }
+    ]);
+    let creates = Stdlib_Array.filterMap(optimized, a => {
+      if (typeof a !== "object" || a.TAG !== "Create") {
+        return;
+      } else {
+        return [
+          a._0,
+          a._1
+        ];
+      }
+    });
+    globalThis.expect(creates).toEqual([[
+        "a",
+        11
+      ]]);
+  });
+});
+
+/*  Not a pure module */