@reventlessdev/reventless-gwt 1.0.0-alpha.212 → 1.0.0-alpha.214

package/CHANGELOG.md

@@ -3,6 +3,27 @@
 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.214 (2026-09-21)
+
+* feat(spec)!: typed projection keys ([fc6a018](https://github.com/ReventlessDev/reventless-core/commit/fc6a01811ba788f3289e84a435a09f77fa627e1a))
+
+### BREAKING CHANGES
+
+* a projection that keys a row by a payload `string`, or uses
+the envelope id as a `string`, converts explicitly with
+`Target.Id.makeFromString` / `Source.Id.toString`. `StateChangeSlice.Spec` no
+longer requires `module Id`.
+
+
+
+# 1.0.0-alpha.213 (2026-09-21)
+
+**Note:** Version bump only for package @reventlessdev/reventless-gwt
+
+
+
+
+
 # 1.0.0-alpha.212 (2026-09-20)
 
 **Note:** Version bump only for package @reventlessdev/reventless-gwt

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-gwt",
-  "version": "1.0.0-alpha.212",
+  "version": "1.0.0-alpha.214",
   "description": "Given-When-Then DSLs and test harness for Reventless slice testing",
   "license": "Apache-2.0",
   "jest": {
@@ -17,14 +17,14 @@
     "@reventlessdev/rescript-effect": "0.1.0-alpha.33",
     "@reventlessdev/rescript-jest": "1.0.0-alpha.10",
     "@reventlessdev/rescript-node": "2.0.0-alpha.12",
-    "@reventlessdev/reventless-core": "3.0.0-alpha.265",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.166",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.138"
+    "@reventlessdev/reventless-core": "3.0.0-alpha.267",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.168",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.140"
   },
   "devDependencies": {
     "rescript": "12.3.0",
     "sury-ppx": "11.0.0-rc.2",
-    "@reventlessdev/reventless-ppx": "1.0.0-alpha.80"
+    "@reventlessdev/reventless-ppx": "1.0.0-alpha.81"
   },
   "peerDependencies": {
     "rescript": "12.3.0"

package/src/MultiSourceProjection_GWT.res

@@ -33,6 +33,8 @@ module Make = (Projection: Reventless.Projection.Mapping): (
   T with type sourceEvent := Projection.sourceEvent and type targetState := Projection.targetState
 ) => {
   let testId = ref(TestFixtures.id)
+  // The envelope carries the source's id type; the store is keyed by strings.
+  let sourceId = () => Projection.SourceId.makeFromString(testId.contents)
   let meta = ref(TestFixtures.meta)
 
   let describe = JestBind.describe
@@ -129,6 +131,10 @@ module Make = (Projection: Reventless.Projection.Mapping): (
     ->Array.map(event' =>
       event'
       ->Projection.project
+      ->Reventless.Projection.mapActionId(
+        ~to_=Projection.targetIdToString,
+        ~from=Projection.targetIdFromString,
+      )
       ->ReventlessCore.Projection.rewriteTrail(~at=event'.meta.time, Projection.targetStateSchema)
     )
     ->handleActions({
@@ -146,13 +152,13 @@ module Make = (Projection: Reventless.Projection.Mapping): (
 
   let givenEvents = events =>
     Dict.make()->update(
-      events->Array.map(event => {Message.id: testId.contents, meta: meta.contents, event}),
+      events->Array.map(event => {Message.id: sourceId(), meta: meta.contents, event}),
     )
 
   let givenEventsWithTime = events =>
     Dict.make()->update(
       events->Array.map(((time, event)) => {
-        Message.id: testId.contents,
+        Message.id: sourceId(),
         meta: {...meta.contents, time},
         event,
       }),
@@ -162,14 +168,14 @@ module Make = (Projection: Reventless.Projection.Mapping): (
     () =>
       (
         async () =>
-          await (await store)->update([{Message.id: testId.contents, meta: meta.contents, event}])
+          await (await store)->update([{Message.id: sourceId(), meta: meta.contents, event}])
       )()
   let whenEvents = (store, events): storeThunk =>
     () =>
       (
         async () =>
           await (await store)->update(
-            events->Array.map(event => {Message.id: testId.contents, meta: meta.contents, event}),
+            events->Array.map(event => {Message.id: sourceId(), meta: meta.contents, event}),
           )
       )()
   let whenEventWithTime = (store, time, event): storeThunk =>
@@ -177,7 +183,7 @@ module Make = (Projection: Reventless.Projection.Mapping): (
       (
         async () =>
           await (await store)->update([
-            {Message.id: testId.contents, meta: {...meta.contents, time}, event},
+            {Message.id: sourceId(), meta: {...meta.contents, time}, event},
           ])
       )()
   let whenEventsWithTime = (store, events): storeThunk =>
@@ -186,7 +192,7 @@ module Make = (Projection: Reventless.Projection.Mapping): (
         async () =>
           await (await store)->update(
             events->Array.map(((time, event)) => {
-              Message.id: testId.contents,
+              Message.id: sourceId(),
               meta: {...meta.contents, time},
               event,
             }),

package/src/MultiSourceProjection_GWT.res.mjs

@@ -7,6 +7,7 @@ import * as Stream from "effect/Stream";
 import * as Primitive_object from "@rescript/runtime/lib/es6/Primitive_object.js";
 import * as Primitive_string from "@rescript/runtime/lib/es6/Primitive_string.js";
 import * as Outcome$ReventlessGwt from "./Outcome.res.mjs";
+import * as Projection$Reventless from "@reventlessdev/reventless-spec/src/types/Projection.res.mjs";
 import * as JestBind$ReventlessGwt from "./JestBind.res.mjs";
 import * as Message$ReventlessCore from "@reventlessdev/reventless-core/src/Message.res.mjs";
 import * as Projection$ReventlessCore from "@reventlessdev/reventless-core/src/Projection.res.mjs";
@@ -45,7 +46,7 @@ function Make(Projection) {
   };
   let handleActions = (actions, operations) => Projection$ReventlessCore.handleActions(undefined, actions, operations, Projection.subIdConfig);
   let update = async (store, events$p) => {
-    await handleActions(events$p.map(event$p => Projection$ReventlessCore.rewriteTrail(Projection.project(event$p), event$p.meta.time, Projection.targetStateSchema)), {
+    await handleActions(events$p.map(event$p => Projection$ReventlessCore.rewriteTrail(Projection$Reventless.mapActionId(Projection.project(event$p), Projection.targetIdToString, Projection.targetIdFromString), event$p.meta.time, Projection.targetStateSchema)), {
       load: extra => Promise.resolve({
         TAG: "Ok",
         _0: states(store, extra)
@@ -169,32 +170,32 @@ function Make(Projection) {
     }
   };
   let givenEvents = events => update({}, events.map(event => ({
-    id: testId.contents,
+    id: Projection.SourceId.makeFromString(testId.contents),
     meta: meta.contents,
     event: event
   })));
   let givenEventsWithTime = events => update({}, events.map(param => {
     let newrecord = {...meta.contents};
     return {
-      id: testId.contents,
+      id: Projection.SourceId.makeFromString(testId.contents),
       meta: (newrecord.time = param[0], newrecord),
       event: param[1]
     };
   }));
   let whenEvent = (store, event) => (() => (async () => await update(await store, [{
-      id: testId.contents,
+      id: Projection.SourceId.makeFromString(testId.contents),
       meta: meta.contents,
       event: event
     }]))());
   let whenEvents = (store, events) => (() => (async () => await update(await store, events.map(event => ({
-    id: testId.contents,
+    id: Projection.SourceId.makeFromString(testId.contents),
     meta: meta.contents,
     event: event
   }))))());
   let whenEventWithTime = (store, time, event) => (() => (async () => {
     let newrecord = {...meta.contents};
     return await update(await store, [{
-        id: testId.contents,
+        id: Projection.SourceId.makeFromString(testId.contents),
         meta: (newrecord.time = time, newrecord),
         event: event
       }]);
@@ -202,7 +203,7 @@ function Make(Projection) {
   let whenEventsWithTime = (store, events) => (() => (async () => await update(await store, events.map(param => {
     let newrecord = {...meta.contents};
     return {
-      id: testId.contents,
+      id: Projection.SourceId.makeFromString(testId.contents),
       meta: (newrecord.time = param[0], newrecord),
       event: param[1]
     };

package/src/Projection_GWT.res

@@ -20,6 +20,8 @@ module type Spec = {
 
   let stateSchema: S.t<state>
 
+  module Key: Reventless.Id.T
+
   @schema
   type consumedEvent
 
@@ -31,7 +33,7 @@ module type Projection = {
   module Spec: Spec
 
   let project: Reventless.StateViewSlice.consumed<Spec.consumedEvent> => array<
-    Reventless.Projection.action<string, Spec.state>,
+    Reventless.Projection.action<Spec.Key.t, Spec.state>,
   >
 }
 
@@ -176,8 +178,10 @@ module Make = (Spec: Spec, Projection: Projection with module Spec := Spec): (
           recordedAt: TestFixtures.recordedAt,
         }
         ->Projection.project
-        ->Array.map(
-          ReventlessCore.Projection.rewriteTrail(_, ~at=TestFixtures.meta.time, Spec.stateSchema),
+        ->Array.map(action =>
+          action
+          ->Reventless.Projection.mapActionId(~to_=Spec.Key.toString, ~from=Spec.Key.makeFromString)
+          ->ReventlessCore.Projection.rewriteTrail(~at=TestFixtures.meta.time, Spec.stateSchema)
         )
       )
       ->Array.flat

package/src/Projection_GWT.res.mjs

@@ -7,6 +7,7 @@ import * as Stream from "effect/Stream";
 import * as Primitive_object from "@rescript/runtime/lib/es6/Primitive_object.js";
 import * as Primitive_string from "@rescript/runtime/lib/es6/Primitive_string.js";
 import * as Outcome$ReventlessGwt from "./Outcome.res.mjs";
+import * as Projection$Reventless from "@reventlessdev/reventless-spec/src/types/Projection.res.mjs";
 import * as JestBind$ReventlessGwt from "./JestBind.res.mjs";
 import * as Message$ReventlessCore from "@reventlessdev/reventless-core/src/Message.res.mjs";
 import * as Projection$ReventlessCore from "@reventlessdev/reventless-core/src/Projection.res.mjs";
@@ -63,7 +64,7 @@ function Make(Spec) {
         event: ev,
         meta: TestFixtures$ReventlessGwt.meta,
         recordedAt: TestFixtures$ReventlessGwt.recordedAt
-      }).map(__x => Projection$ReventlessCore.rewriteTrail(__x, TestFixtures$ReventlessGwt.meta.time, Spec.stateSchema))).flat();
+      }).map(action => Projection$ReventlessCore.rewriteTrail(Projection$Reventless.mapActionId(action, Spec.Key.toString, Spec.Key.makeFromString), TestFixtures$ReventlessGwt.meta.time, Spec.stateSchema))).flat();
       await runActions(actions, {
         load: extra => Promise.resolve({
           TAG: "Ok",

package/tests/FlowGwtTest.res

@@ -120,6 +120,7 @@ module ShipOrderBehavior = {
 }
 
 module OrdersViewSlice = {
+  module Key = Reventless.Id.StringPure
   let name = "OrdersView"
 
   @schema

package/tests/FlowGwtTest.res.mjs

@@ -1,6 +1,7 @@
 // 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 DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
 import * as Flow_GWT$ReventlessGwt from "../src/Flow_GWT.res.mjs";
 
@@ -254,6 +255,8 @@ let ShipOrderBehavior = {
   decide: decide$1
 };
 
+let name = "OrdersView";
+
 let stateSchema = Sury.$schema(s => ({
   orderId: s.m(Sury.string),
   item: s.m(Sury.string),
@@ -273,7 +276,8 @@ let consumedEventSchema$3 = Sury.union([
 ]);
 
 let OrdersViewSlice = {
-  name: "OrdersView",
+  Key: undefined,
+  name: name,
   stateSchema: stateSchema,
   consumedEventSchema: consumedEventSchema$3,
   subIdConfig: undefined,
@@ -355,7 +359,19 @@ let Ship = Flow_GWT$ReventlessGwt.CommandStep(ShipOrderSlice)({
   decide: decide$1
 });
 
-let View = Flow_GWT$ReventlessGwt.ViewStep(OrdersViewSlice)({
+let View = Flow_GWT$ReventlessGwt.ViewStep({
+  name: name,
+  stateSchema: stateSchema,
+  Key: {
+    schema: Id$Reventless.StringPure.schema,
+    make: prim => prim,
+    makeFromString: prim => prim,
+    toString: prim => prim,
+    cmp: Id$Reventless.StringPure.cmp
+  },
+  consumedEventSchema: consumedEventSchema$3,
+  subIdConfig: undefined
+})({
   project: project
 });
 

package/tests/QueryGwtTest.res

@@ -115,6 +115,7 @@ CategoriesQuery.describe("Categories ReadModel queries", () => {
 module OrdersView = {
   let name = "OrdersView"
   let moduleUrl = ""
+  module Key = Reventless.Id.StringPure
 
   @schema
   type state = {orderId: string, customerId: string, total: int}

package/tests/QueryGwtTest.res.mjs

@@ -242,6 +242,7 @@ let subIdConfig = {
 let OrdersView = {
   name: name$1,
   moduleUrl: moduleUrl$1,
+  Key: undefined,
   stateSchema: stateSchema$1,
   consumedEventSchema: consumedEventSchema,
   project: project,
@@ -255,6 +256,13 @@ let OrdersQuery = Query_GWT$ReventlessGwt.Make(Query_GWT$ReventlessGwt.FromState
   name: name$1,
   moduleUrl: moduleUrl$1,
   stateSchema: stateSchema$1,
+  Key: {
+    schema: Id$Reventless.StringPure.schema,
+    make: prim => prim,
+    makeFromString: prim => prim,
+    toString: prim => prim,
+    cmp: Id$Reventless.StringPure.cmp
+  },
   consumedEventSchema: consumedEventSchema,
   config: config$1,
   subIdConfig: subIdConfig,

package/tests/StateViewSliceGwtTest.res

@@ -11,6 +11,7 @@
 open Reventless.Projection
 
 module CategoriesView = {
+  module Key = Reventless.Id.StringPure
   let name = "CategoriesView"
 
   @schema

package/tests/StateViewSliceGwtTest.res.mjs

@@ -1,8 +1,11 @@
 // 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 Projection_GWT$ReventlessGwt from "../src/Projection_GWT.res.mjs";
 
+let name = "CategoriesView";
+
 let stateSchema = Sury.$schema(s => ({
   categoryId: s.m(Sury.string),
   name: s.m(Sury.string),
@@ -27,7 +30,8 @@ let consumedEventSchema = Sury.union([
 ]);
 
 let CategoriesView = {
-  name: "CategoriesView",
+  Key: undefined,
+  name: name,
   stateSchema: stateSchema,
   consumedEventSchema: consumedEventSchema,
   subIdConfig: undefined,
@@ -78,7 +82,19 @@ let CategoriesViewProjection = {
   project: project
 };
 
-let include = Projection_GWT$ReventlessGwt.Make(CategoriesView)({
+let include = Projection_GWT$ReventlessGwt.Make({
+  name: name,
+  stateSchema: stateSchema,
+  Key: {
+    schema: Id$Reventless.StringPure.schema,
+    make: prim => prim,
+    makeFromString: prim => prim,
+    toString: prim => prim,
+    cmp: Id$Reventless.StringPure.cmp
+  },
+  consumedEventSchema: consumedEventSchema,
+  subIdConfig: undefined
+})({
   project: project
 });