foldkit 0.81.0 → 0.82.0

package/dist/devTools/protocol.js

@@ -12,7 +12,7 @@ export const SerializedEntry = S.Struct({
     changedPaths: S.Array(S.String),
     affectedPaths: S.Array(S.String),
     submodelPath: S.Array(S.String),
-    maybeLeafTag: S.Option(S.String),
+    maybeLeafTag: S.OptionFromNullOr(S.String),
 });
 /** Metadata about a single keyframe. The index identifies the point in history where the runtime can replay back to. */
 export const KeyframeInfo = S.Struct({
@@ -27,19 +27,19 @@ export const RuntimeInfo = S.Struct({
 // REQUEST
 /** Request the current Model snapshot, optionally narrowed to a path and/or expanded. */
 export const RequestGetModel = ts('RequestGetModel', {
-    maybePath: S.Option(S.String),
+    maybePath: S.OptionFromNullOr(S.String),
     expand: S.Boolean,
 });
 /** Request a historical Model snapshot at an absolute history index, optionally narrowed to a path and/or expanded. Use `index: -1` for the initial Model. */
 export const RequestGetModelAt = ts('RequestGetModelAt', {
     index: S.Number,
-    maybePath: S.Option(S.String),
+    maybePath: S.OptionFromNullOr(S.String),
     expand: S.Boolean,
 });
 /** Request recent history entries, optionally starting from a given index. */
 export const RequestListMessages = ts('RequestListMessages', {
     limit: S.Number,
-    maybeSinceIndex: S.Option(S.Number),
+    maybeSinceIndex: S.OptionFromNullOr(S.Number),
 });
 /** Request a single history entry by index. To inspect the Model around the entry, call `RequestGetModelAt` with `index - 1` (before) and `index` (after). */
 export const RequestGetMessage = ts('RequestGetMessage', {
@@ -64,7 +64,19 @@ export const RequestDispatchMessage = ts('RequestDispatchMessage', {
 /** Request the list of currently connected browser runtimes. Handled by the Vite plugin, not forwarded to a runtime. */
 export const RequestListRuntimes = ts('RequestListRuntimes');
 /** A request from the MCP server. RequestListRuntimes is handled at the Vite plugin layer; all other requests are routed to a browser runtime. */
-export const Request = S.Union(RequestGetModel, RequestGetModelAt, RequestListMessages, RequestGetMessage, RequestListKeyframes, RequestReplayToKeyframe, RequestResume, RequestDispatchMessage, RequestListRuntimes, RequestGetInit, RequestGetRuntimeState);
+export const Request = S.Union([
+    RequestGetModel,
+    RequestGetModelAt,
+    RequestListMessages,
+    RequestGetMessage,
+    RequestListKeyframes,
+    RequestReplayToKeyframe,
+    RequestResume,
+    RequestDispatchMessage,
+    RequestListRuntimes,
+    RequestGetInit,
+    RequestGetRuntimeState,
+]);
 // RESPONSE
 /** Response carrying a Model snapshot. The `value` is the resolved subtree at `atPath` (or the whole Model when no path was supplied). When `summarized` is true, large arrays/records/strings have been collapsed to `_summary` placeholders to keep payloads small for AI agents; pass `expand: true` on the Request to receive the literal value. */
 export const ResponseModel = ts('ResponseModel', {
@@ -75,7 +87,7 @@ export const ResponseModel = ts('ResponseModel', {
 /** Response carrying a page of history entries. `maybeNextIndex` is `Some` when more entries are available beyond this page (pass it as `RequestListMessages.maybeSinceIndex` to fetch the next page) and `None` when this page reaches the current end of history. */
 export const ResponseMessages = ts('ResponseMessages', {
     entries: S.Array(SerializedEntry),
-    maybeNextIndex: S.Option(S.Number),
+    maybeNextIndex: S.OptionFromNullOr(S.Number),
 });
 /** Response carrying a single history entry. Model snapshots are not included; use `RequestGetModelAt` with `index - 1` and `index` to inspect Model state around the entry. */
 export const ResponseMessage = ts('ResponseMessage', {
@@ -101,7 +113,7 @@ export const ResponseRuntimes = ts('ResponseRuntimes', {
 });
 /** Response carrying the recorded init data. `maybeModel` is `None` until the runtime has finished its first render and recorded init; once set it stays set for the rest of the runtime's life. `commandNames` lists the Commands returned from the application's `init` function in the order they were produced. */
 export const ResponseInit = ts('ResponseInit', {
-    maybeModel: S.Option(S.Unknown),
+    maybeModel: S.OptionFromNullOr(S.Unknown),
     commandNames: S.Array(S.String),
 });
 /** Response carrying a snapshot of the runtime's DevTools state. `currentIndex` is the absolute index of the most recently recorded Message, or -1 when no Messages have been recorded yet. `startIndex` is the earliest absolute index still retained in the rolling buffer (older entries are evicted past `maxEntries`). `totalEntries` is the number of retained entries. `isPaused` is true while the runtime is paused at a replayed snapshot; `maybePausedAtIndex` is `Some(index)` then and `None` otherwise. `hasInitModel` is true once the runtime has finished initialising. */
@@ -110,7 +122,7 @@ export const ResponseRuntimeState = ts('ResponseRuntimeState', {
     startIndex: S.Number,
     totalEntries: S.Number,
     isPaused: S.Boolean,
-    maybePausedAtIndex: S.Option(S.Number),
+    maybePausedAtIndex: S.OptionFromNullOr(S.Number),
     hasInitModel: S.Boolean,
 });
 /** Response carrying an error reason for a failed Request. */
@@ -118,7 +130,19 @@ export const ResponseError = ts('ResponseError', {
     reason: S.String,
 });
 /** A response replying to a Request. */
-export const Response = S.Union(ResponseModel, ResponseMessages, ResponseMessage, ResponseKeyframes, ResponseReplayed, ResponseResumed, ResponseDispatched, ResponseRuntimes, ResponseInit, ResponseRuntimeState, ResponseError);
+export const Response = S.Union([
+    ResponseModel,
+    ResponseMessages,
+    ResponseMessage,
+    ResponseKeyframes,
+    ResponseReplayed,
+    ResponseResumed,
+    ResponseDispatched,
+    ResponseRuntimes,
+    ResponseInit,
+    ResponseRuntimeState,
+    ResponseError,
+]);
 // EVENT
 /** A new browser runtime connected. */
 export const EventConnected = ts('EventConnected', {
@@ -129,12 +153,12 @@ export const EventDisconnected = ts('EventDisconnected', {
     connectionId: S.String,
 });
 /** A runtime lifecycle event used by the Vite plugin to track which browser tabs are connected. Not forwarded to MCP clients. */
-export const Event = S.Union(EventConnected, EventDisconnected);
+export const Event = S.Union([EventConnected, EventDisconnected]);
 // FRAME
 /** A wire frame carrying a Request from the MCP server. The id is opaque, used only by the MCP server to correlate the matching Response. The maybeConnectionId routes the request to a specific runtime when present. */
 export const RequestFrame = S.Struct({
     id: S.String,
-    maybeConnectionId: S.Option(S.String),
+    maybeConnectionId: S.OptionFromNullOr(S.String),
     request: Request,
 });
 /** A wire frame carrying a Response, correlated to a Request by id. */
@@ -144,6 +168,6 @@ export const ResponseFrame = S.Struct({
 });
 /** A wire frame carrying a runtime lifecycle event from the bridge to the Vite plugin. */
 export const EventFrame = S.Struct({
-    maybeConnectionId: S.Option(S.String),
+    maybeConnectionId: S.OptionFromNullOr(S.String),
     event: Event,
 });

package/dist/devTools/serialize.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"serialize.d.ts","sourceRoot":"","sources":["../../src/devTools/serialize.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AACpD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAG9C;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,GAAI,OAAO,OAAO,KAAG,OAiBjD,CAAA;AAEH;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,GAC5B,OAAO,YAAY,EACnB,OAAO,MAAM,KACZ,eAkBF,CAAA"}
+{"version":3,"file":"serialize.d.ts","sourceRoot":"","sources":["../../src/devTools/serialize.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AACpD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAG9C;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,GAAI,OAAO,OAAO,KAAG,OAiBjD,CAAA;AAEH;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,GAC5B,OAAO,YAAY,EACnB,OAAO,MAAM,KACZ,eAkBF,CAAA"}

package/dist/devTools/serialize.js

@@ -1,4 +1,4 @@
-import { Array as Array_, Function, HashSet, Match as M, Predicate, Record, } from 'effect';
+import { Array as Array_, Function, Match as M, Predicate, Record, } from 'effect';
 import { extractSubmodelInfo } from './submodelPath.js';
 /**
  * Convert DOM-class instances (File, Blob, Date, URL) to plain-object
@@ -16,7 +16,7 @@ export const toInspectableValue = (value) => M.value(value).pipe(M.when(M.instan
 })), M.when(M.instanceOf(Blob), blob => ({
     size: blob.size,
     type: blob.type,
-})), M.when(M.instanceOf(Date), date => date.toISOString()), M.when(M.instanceOf(URL), ({ href }) => href), M.when(Array.isArray, Array_.map(toInspectableValue)), M.when(Predicate.isReadonlyRecord, Record.map(toInspectableValue)), M.orElse(Function.identity));
+})), M.when(M.instanceOf(Date), date => date.toISOString()), M.when(M.instanceOf(URL), ({ href }) => href), M.when(Array.isArray, Array_.map(toInspectableValue)), M.when(Predicate.isObject, Record.map(toInspectableValue)), M.orElse(Function.identity));
 /**
  * Convert a `HistoryEntry` plus its absolute index into the wire-friendly
  * `SerializedEntry` shape. Flattens the diff's `HashSet` path collections to
@@ -32,8 +32,8 @@ export const toSerializedEntry = (entry, index) => {
         commandNames: entry.commandNames,
         timestamp: entry.timestamp,
         isModelChanged: entry.isModelChanged,
-        changedPaths: HashSet.toValues(entry.diff.changedPaths),
-        affectedPaths: HashSet.toValues(entry.diff.affectedPaths),
+        changedPaths: Array_.fromIterable(entry.diff.changedPaths),
+        affectedPaths: Array_.fromIterable(entry.diff.affectedPaths),
         submodelPath,
         maybeLeafTag,
     };

package/dist/devTools/store.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"store.d.ts","sourceRoot":"","sources":["../../src/devTools/store.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,MAAM,EACN,OAAO,EACP,OAAO,EACP,MAAM,EAIN,eAAe,EAEhB,MAAM,QAAQ,CAAA;AAEf,eAAO,MAAM,UAAU,KAAK,CAAA;AAM5B,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,YAAY,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;IACrC,aAAa,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;CACvC,CAAC,CAAA;AAEF,eAAO,MAAM,SAAS,EAAE,UAGvB,CAAA;AAKD,eAAO,MAAM,WAAW,GACtB,UAAU,OAAO,EACjB,SAAS,OAAO,KACf,UAgFF,CAAA;AAID,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,GAAG,EAAE,MAAM,CAAA;IACX,OAAO,EAAE,OAAO,CAAA;IAChB,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACnC,SAAS,EAAE,MAAM,CAAA;IACjB,cAAc,EAAE,OAAO,CAAA;IACvB,IAAI,EAAE,UAAU,CAAA;CACjB,CAAC,CAAA;AAEF,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,OAAO,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;IACpC,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC3C,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IACtC,gBAAgB,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACvC,UAAU,EAAE,MAAM,CAAA;IAClB,QAAQ,EAAE,OAAO,CAAA;IACjB,aAAa,EAAE,MAAM,CAAA;CACtB,CAAC,CAAA;AAEF,MAAM,MAAM,MAAM,GAAG,QAAQ,CAAC;IAC5B,MAAM,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,KAAK,OAAO,CAAA;IACrD,MAAM,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC/C,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;CACxC,CAAC,CAAA;AAYF,eAAO,MAAM,mBAAmB,GAC9B,QAAQ,MAAM,EACd,mBAAgC,KAC/B,MAAM,CAAC,MAAM,CAAC,aAAa,CA0L1B,CAAA;AAEJ,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,UAAU,EAAE,CACV,KAAK,EAAE,OAAO,EACd,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,KAChC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACxB,aAAa,EAAE,CACb,OAAO,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,EACnC,iBAAiB,EAAE,OAAO,EAC1B,gBAAgB,EAAE,OAAO,EACzB,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,EACnC,cAAc,EAAE,OAAO,KACpB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACxB,eAAe,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAC1D,iBAAiB,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAA;IAC3E,cAAc,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IAC5D,MAAM,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC9C,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC3B,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC1B,QAAQ,EAAE,eAAe,CAAC,eAAe,CAAC,UAAU,CAAC,CAAA;CACtD,CAAC,CAAA"}
+{"version":3,"file":"store.d.ts","sourceRoot":"","sources":["../../src/devTools/store.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,MAAM,EACN,OAAO,EACP,OAAO,EACP,MAAM,EAIN,eAAe,EAEhB,MAAM,QAAQ,CAAA;AAEf,eAAO,MAAM,UAAU,KAAK,CAAA;AAM5B,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,YAAY,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;IACrC,aAAa,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;CACvC,CAAC,CAAA;AAEF,eAAO,MAAM,SAAS,EAAE,UAGvB,CAAA;AAKD,eAAO,MAAM,WAAW,GACtB,UAAU,OAAO,EACjB,SAAS,OAAO,KACf,UA6EF,CAAA;AAID,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,GAAG,EAAE,MAAM,CAAA;IACX,OAAO,EAAE,OAAO,CAAA;IAChB,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACnC,SAAS,EAAE,MAAM,CAAA;IACjB,cAAc,EAAE,OAAO,CAAA;IACvB,IAAI,EAAE,UAAU,CAAA;CACjB,CAAC,CAAA;AAEF,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,OAAO,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;IACpC,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC3C,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IACtC,gBAAgB,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACvC,UAAU,EAAE,MAAM,CAAA;IAClB,QAAQ,EAAE,OAAO,CAAA;IACjB,aAAa,EAAE,MAAM,CAAA;CACtB,CAAC,CAAA;AAEF,MAAM,MAAM,MAAM,GAAG,QAAQ,CAAC;IAC5B,MAAM,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,KAAK,OAAO,CAAA;IACrD,MAAM,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC/C,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;CACxC,CAAC,CAAA;AAYF,eAAO,MAAM,mBAAmB,GAC9B,QAAQ,MAAM,EACd,mBAAgC,KAC/B,MAAM,CAAC,MAAM,CAAC,aAAa,CA0L1B,CAAA;AAEJ,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,UAAU,EAAE,CACV,KAAK,EAAE,OAAO,EACd,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,KAChC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACxB,aAAa,EAAE,CACb,OAAO,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,EACnC,iBAAiB,EAAE,OAAO,EAC1B,gBAAgB,EAAE,OAAO,EACzB,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,EACnC,cAAc,EAAE,OAAO,KACpB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACxB,eAAe,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAC1D,iBAAiB,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAA;IAC3E,cAAc,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IAC5D,MAAM,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC9C,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC3B,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC1B,QAAQ,EAAE,eAAe,CAAC,eAAe,CAAC,UAAU,CAAC,CAAA;CACtD,CAAC,CAAA"}

package/dist/devTools/store.js

@@ -20,8 +20,7 @@ export const computeDiff = (previous, current) => {
         if (Array.isArray(curr) && Array.isArray(prev)) {
             walkArray(prev, curr, path);
         }
-        else if (Predicate.isReadonlyRecord(curr) &&
-            Predicate.isReadonlyRecord(prev)) {
+        else if (Predicate.isObject(curr) && Predicate.isObject(prev)) {
             walkObject(prev, curr, path);
         }
         else {

package/dist/devTools/submodelPath.d.ts

@@ -1,6 +1,6 @@
 import { Option } from 'effect';
 export declare const GOT_MESSAGE_PATTERN: RegExp;
-export declare const isTagged: (u: unknown, overrideOptions?: import("effect/SchemaAST").ParseOptions | number) => u is {
+export declare const isTagged: <I>(input: I) => input is I & {
     readonly _tag: string;
 };
 /** Submodel chain information extracted from a recorded Message. */

package/dist/devTools/summarize.d.ts

@@ -1,11 +1,11 @@
 import { Schema as S } from 'effect';
-declare const PathResolution: S.Union<[import("../schema/index.js").CallableTaggedStruct<"Found", {
-    value: typeof S.Unknown;
-    atPath: typeof S.String;
+declare const PathResolution: S.Union<readonly [import("../schema/index.js").CallableTaggedStruct<"Found", {
+    value: S.Unknown;
+    atPath: S.String;
 }>, import("../schema/index.js").CallableTaggedStruct<"NotFound", {
-    failedAt: typeof S.String;
-    reason: typeof S.String;
-    availableKeys: S.Array$<typeof S.String>;
+    failedAt: S.String;
+    reason: S.String;
+    availableKeys: S.$Array<S.String>;
 }>]>;
 /**
  * Result of resolving a dot-string path against a Model snapshot.

package/dist/devTools/summarize.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"summarize.d.ts","sourceRoot":"","sources":["../../src/devTools/summarize.ts"],"names":[],"mappings":"AAAA,OAAO,EAOL,MAAM,IAAI,CAAC,EACZ,MAAM,QAAQ,CAAA;AAwBf,QAAA,MAAM,cAAc;;;;;;;IAA2B,CAAA;AAE/C;;;;;;;;GAQG;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AAiCvD;;;;GAIG;AACH,eAAO,MAAM,WAAW,GAAI,MAAM,OAAO,EAAE,MAAM,MAAM,KAAG,cAmCzD,CAAA;AA2DD;;;;;;;;;GASG;AACH,eAAO,MAAM,cAAc,GAAI,OAAO,OAAO,KAAG,OAAgC,CAAA;AAYhF;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAC7B,UAAU,OAAO,CAAC,cAAc,EAAE;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC,KACtD,MAIC,CAAA"}
+{"version":3,"file":"summarize.d.ts","sourceRoot":"","sources":["../../src/devTools/summarize.ts"],"names":[],"mappings":"AAAA,OAAO,EAOL,MAAM,IAAI,CAAC,EACZ,MAAM,QAAQ,CAAA;AAwBf,QAAA,MAAM,cAAc;;;;;;;IAA6B,CAAA;AAEjD;;;;;;;;GAQG;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AAiCvD;;;;GAIG;AACH,eAAO,MAAM,WAAW,GAAI,MAAM,OAAO,EAAE,MAAM,MAAM,KAAG,cAmCzD,CAAA;AAyDD;;;;;;;;;GASG;AACH,eAAO,MAAM,cAAc,GAAI,OAAO,OAAO,KAAG,OAAgC,CAAA;AAYhF;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAC7B,UAAU,OAAO,CAAC,cAAc,EAAE;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC,KACtD,MAIC,CAAA"}

package/dist/devTools/summarize.js

@@ -16,12 +16,12 @@ const NotFound = ts('NotFound', {
     reason: S.String,
     availableKeys: S.Array(S.String),
 });
-const PathResolution = S.Union(Found, NotFound);
-const isExpandable = (value) => Predicate.isReadonlyRecord(value) || Array.isArray(value);
-const keysOf = (value) => M.value(value).pipe(M.when(Array.isArray, items => Array_.makeBy(items.length, index => index.toString())), M.when(Predicate.isReadonlyRecord, Record.keys), M.orElse(() => []));
+const PathResolution = S.Union([Found, NotFound]);
+const isExpandable = (value) => Predicate.isObject(value) || Array.isArray(value);
+const keysOf = (value) => M.value(value).pipe(M.when(Array.isArray, items => Array_.makeBy(items.length, index => index.toString())), M.when(Predicate.isObject, Record.keys), M.orElse(() => []));
 const segmentsOf = (path) => path === ROOT ? [] : path.split(PATH_SEPARATOR).slice(1);
 const isRootAnchored = (path) => path === ROOT || path.startsWith(`${ROOT}${PATH_SEPARATOR}`);
-const descend = (parent, segment) => M.value(parent).pipe(M.when(Array.isArray, array => Option.liftPredicate(Number(segment), Number.isInteger).pipe(Option.flatMap(index => Array_.get(array, index)))), M.when(Predicate.isReadonlyRecord, record => Record.get(record, segment)), M.orElse(() => Option.none()));
+const descend = (parent, segment) => M.value(parent).pipe(M.when(Array.isArray, array => Option.liftPredicate(Number(segment), Number.isInteger).pipe(Option.flatMap(index => Array_.get(array, index)))), M.when(Predicate.isObject, record => Record.get(record, segment)), M.orElse(() => Option.none()));
 /**
  * Walk a dot-string path against a Model snapshot. Returns the resolved value
  * on success, or a structured `NotFound` describing the deepest segment that
@@ -86,7 +86,7 @@ const summarizeRecord = (value, depth) => {
     }
     return Record.map(value, child => summarizeAt(child, depth + 1));
 };
-const summarizeAt = (value, depth) => M.value(value).pipe(M.when(Predicate.isString, truncateString), M.when(Array.isArray, items => summarizeArray(items, depth)), M.when(Predicate.isReadonlyRecord, record => summarizeRecord(record, depth)), M.orElse(Function.identity));
+const summarizeAt = (value, depth) => M.value(value).pipe(M.when(Predicate.isString, truncateString), M.when(Array.isArray, items => summarizeArray(items, depth)), M.when(Predicate.isObject, record => summarizeRecord(record, depth)), M.orElse(Function.identity));
 /**
  * Apply structural summarization rules to a value:
  * - Arrays collapse to `{ _summary, length, sample: [head, last] }` at every depth.
@@ -99,7 +99,7 @@ const summarizeAt = (value, depth) => M.value(value).pipe(M.when(Predicate.isStr
  */
 export const summarizeValue = (value) => summarizeAt(value, 0);
 // FORMAT
-const formatAvailableKeys = (keys) => OptionExt.when(Array_.isNonEmptyReadonlyArray(keys), `Available keys: ${keys.join(', ')}.`);
+const formatAvailableKeys = (keys) => OptionExt.when(Array_.isReadonlyArrayNonEmpty(keys), `Available keys: ${keys.join(', ')}.`);
 /**
  * Format a `NotFound` resolution as a single human-readable line for the
  * `ResponseError.reason` channel. Includes the available keys at the failure

package/dist/devTools/webSocketBridge.d.ts

@@ -19,6 +19,6 @@ type Hot = NonNullable<ImportMeta['hot']>;
  * Production-safe: callers must check `import.meta.hot` is defined before
  * invoking this. The function assumes a live HMR connection.
  */
-export declare const startWebSocketBridge: (store: DevToolsStore, hot: Hot, dispatch: (message: unknown) => Effect.Effect<void>, maybeMessageSchema: Option.Option<S.Schema<any, any, never>>) => Effect.Effect<void>;
+export declare const startWebSocketBridge: (store: DevToolsStore, hot: Hot, dispatch: (message: unknown) => Effect.Effect<void>, maybeMessageSchema: Option.Option<S.Codec<any, any>>) => Effect.Effect<void>;
 export {};
 //# sourceMappingURL=webSocketBridge.d.ts.map

package/dist/devTools/webSocketBridge.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"webSocketBridge.d.ts","sourceRoot":"","sources":["../../src/devTools/webSocketBridge.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,MAAM,EAIN,MAAM,EAGN,MAAM,IAAI,CAAC,EAGZ,MAAM,QAAQ,CAAA;AAyBf,OAAO,EAAE,KAAK,aAAa,EAAc,MAAM,YAAY,CAAA;AAQ3D,KAAK,GAAG,GAAG,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAA;AAczC;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,oBAAoB,GAC/B,OAAO,aAAa,EACpB,KAAK,GAAG,EACR,UAAU,CAAC,OAAO,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EACnD,oBAAoB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,KAC3D,MAAM,CAAC,MAAM,CAAC,IAAI,CA0EjB,CAAA"}
+{"version":3,"file":"webSocketBridge.d.ts","sourceRoot":"","sources":["../../src/devTools/webSocketBridge.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,MAAM,EAIN,MAAM,EAEN,MAAM,IAAI,CAAC,EAGZ,MAAM,QAAQ,CAAA;AA0Bf,OAAO,EAAE,KAAK,aAAa,EAAc,MAAM,YAAY,CAAA;AAQ3D,KAAK,GAAG,GAAG,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAA;AAczC;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,oBAAoB,GAC/B,OAAO,aAAa,EACpB,KAAK,GAAG,EACR,UAAU,CAAC,OAAO,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EACnD,oBAAoB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,KACnD,MAAM,CAAC,MAAM,CAAC,IAAI,CA+EjB,CAAA"}

package/dist/devTools/webSocketBridge.js

@@ -1,6 +1,6 @@
-import { Array, Cause, Effect, Either, HashMap, Match, Option, Order, Runtime, Schema as S, SubscriptionRef, pipe, } from 'effect';
+import { Array, Cause, Effect, Exit, HashMap, Match, Option, Order, Schema as S, SubscriptionRef, pipe, } from 'effect';
 import { OptionExt } from '../effectExtensions/index.js';
-import { EventConnected, EventDisconnected, KeyframeInfo, RequestFrame, ResponseDispatched, ResponseError, ResponseInit, ResponseKeyframes, ResponseMessage, ResponseMessages, ResponseModel, ResponseReplayed, ResponseResumed, ResponseRuntimeState, RuntimeInfo, } from './protocol.js';
+import { EventConnected, EventDisconnected, EventFrame, KeyframeInfo, RequestFrame, ResponseDispatched, ResponseError, ResponseFrame, ResponseInit, ResponseKeyframes, ResponseMessage, ResponseMessages, ResponseModel, ResponseReplayed, ResponseResumed, ResponseRuntimeState, RuntimeInfo, } from './protocol.js';
 import { toInspectableValue, toSerializedEntry } from './serialize.js';
 import { INIT_INDEX } from './store.js';
 import { formatPathNotFound, resolvePath, summarizeValue, } from './summarize.js';
@@ -29,16 +29,17 @@ const currentAbsoluteIndex = (entriesLength, startIndex) => (entriesLength === 0
  */
 export const startWebSocketBridge = (store, hot, dispatch, maybeMessageSchema) => Effect.gen(function* () {
     const connectionId = generateConnectionId();
-    const runtime = yield* Effect.runtime();
+    const capturedContext = yield* Effect.context();
+    const encodeEventFrame = S.encodeUnknownSync(EventFrame);
+    const encodeResponseFrame = S.encodeUnknownSync(ResponseFrame);
     const sendEvent = (event) => {
-        hot.send(EVENT_CHANNEL, {
+        hot.send(EVENT_CHANNEL, encodeEventFrame({
             maybeConnectionId: Option.some(connectionId),
             event,
-        });
+        }));
     };
     const sendResponse = (id, response) => {
-        const frame = { id, response };
-        hot.send(RESPONSE_CHANNEL, frame);
+        hot.send(RESPONSE_CHANNEL, encodeResponseFrame({ id, response }));
     };
     sendEvent(EventConnected({
         runtime: RuntimeInfo.make({
@@ -52,17 +53,17 @@ export const startWebSocketBridge = (store, hot, dispatch, maybeMessageSchema) =
         sendResponse(id, response);
     });
     const handleRequestFrame = (frame) => {
-        const decoded = S.decodeUnknownEither(RequestFrame)(frame);
-        Either.match(decoded, {
-            onLeft: error => {
+        const decoded = S.decodeUnknownExit(RequestFrame)(frame);
+        Exit.match(decoded, {
+            onFailure: error => {
                 console.warn('[foldkit:devTools] malformed request frame', error);
             },
-            onRight: ({ id, maybeConnectionId, request }) => {
+            onSuccess: ({ id, maybeConnectionId, request }) => {
                 const isForUs = Option.exists(maybeConnectionId, targetId => targetId === connectionId);
                 if (!isForUs) {
                     return;
                 }
-                Runtime.runFork(runtime)(handleRequest(id, request));
+                Effect.runForkWith(capturedContext)(handleRequest(id, request));
             },
         });
     };
@@ -90,7 +91,7 @@ const readModelResponse = (store, index, maybePath, expand) => Effect.gen(functi
     const model = yield* store.getModelAtIndex(index);
     const path = Option.getOrElse(maybePath, () => 'root');
     return presentResolution(resolvePath(toInspectableValue(model), path), expand);
-}).pipe(Effect.catchAllCause(cause => Effect.succeed(ResponseError({
+}).pipe(Effect.catchCause(cause => Effect.succeed(ResponseError({
     reason: `Failed to read Model at index ${index}: ${Cause.pretty(cause)}`,
 }))));
 const dispatchRequest = (store, dispatch, maybeMessageSchema, request) => Match.value(request).pipe(Match.tagsExhaustive({
@@ -125,7 +126,7 @@ const dispatchRequest = (store, dispatch, maybeMessageSchema, request) => Match.
     }),
     RequestListKeyframes: () => Effect.gen(function* () {
         const state = yield* SubscriptionRef.get(store.stateRef);
-        const sortedKeyframeIndices = pipe(state.keyframes, HashMap.keys, Array.fromIterable, Array.sort(Order.number));
+        const sortedKeyframeIndices = pipe(state.keyframes, HashMap.keys, Array.fromIterable, Array.sort(Order.Number));
         const indicesWithInit = Option.match(state.maybeInitModel, {
             onNone: () => sortedKeyframeIndices,
             onSome: () => [INIT_INDEX, ...sortedKeyframeIndices],
@@ -137,13 +138,13 @@ const dispatchRequest = (store, dispatch, maybeMessageSchema, request) => Match.
         yield* store.jumpTo(keyframeIndex);
         const model = yield* store.getModelAtIndex(keyframeIndex);
         return ResponseReplayed({ model: toInspectableValue(model) });
-    }), Effect.catchAllCause(cause => Effect.succeed(ResponseError({
+    }), Effect.catchCause(cause => Effect.succeed(ResponseError({
         reason: `Failed to replay to keyframe ${keyframeIndex}: ${Cause.pretty(cause)}`,
     })))),
     RequestResume: () => Effect.gen(function* () {
         yield* store.resume;
         return ResponseResumed();
-    }).pipe(Effect.catchAllCause(cause => Effect.succeed(ResponseError({
+    }).pipe(Effect.catchCause(cause => Effect.succeed(ResponseError({
         reason: `Failed to resume: ${Cause.pretty(cause)}`,
     })))),
     RequestDispatchMessage: ({ message }) => Option.match(maybeMessageSchema, {
@@ -151,12 +152,12 @@ const dispatchRequest = (store, dispatch, maybeMessageSchema, request) => Match.
             reason: 'Cannot dispatch: DevToolsConfig.Message not configured. Pass your Message Schema to enable dispatch.',
         })),
         onSome: messageSchema => Effect.gen(function* () {
-            const decodedMessage = yield* S.decodeUnknown(messageSchema)(message);
+            const decodedMessage = yield* S.decodeUnknownEffect(messageSchema)(message);
             const stateBefore = yield* SubscriptionRef.get(store.stateRef);
             const acceptedAtIndex = stateBefore.startIndex + stateBefore.entries.length;
             yield* dispatch(decodedMessage);
             return ResponseDispatched({ acceptedAtIndex });
-        }).pipe(Effect.catchAll(error => Effect.succeed(ResponseError({
+        }).pipe(Effect.catch(error => Effect.succeed(ResponseError({
             reason: `Invalid Message: ${error instanceof Error ? error.message : String(error)}\n\nReceived (typeof ${typeof message}): ${JSON.stringify(message)}`,
         })))),
     }),

package/dist/fieldValidation/index.d.ts

@@ -6,31 +6,31 @@ export type Rule = readonly [Predicate.Predicate<string>, RuleMessage];
 export declare const resolveMessage: (message: RuleMessage, value: string) => string;
 /** The `NotValidated` state: user hasn't interacted yet. */
 export declare const NotValidated: import("../schema/index.js").CallableTaggedStruct<"NotValidated", {
-    value: typeof S.String;
+    value: S.String;
 }>;
 /** The `Validating` state: async validation is in flight. */
 export declare const Validating: import("../schema/index.js").CallableTaggedStruct<"Validating", {
-    value: typeof S.String;
+    value: S.String;
 }>;
 /** The `Valid` state: every rule passed. */
 export declare const Valid: import("../schema/index.js").CallableTaggedStruct<"Valid", {
-    value: typeof S.String;
+    value: S.String;
 }>;
 /** The `Invalid` state: one or more rules failed. Carries a non-empty `errors` array. */
 export declare const Invalid: import("../schema/index.js").CallableTaggedStruct<"Invalid", {
-    value: typeof S.String;
-    errors: S.NonEmptyArray<typeof S.String>;
+    value: S.String;
+    errors: S.NonEmptyArray<S.String>;
 }>;
 /** The four-state union that represents a field's value in the Model. */
-export declare const Field: S.Union<[import("../schema/index.js").CallableTaggedStruct<"NotValidated", {
-    value: typeof S.String;
+export declare const Field: S.Union<readonly [import("../schema/index.js").CallableTaggedStruct<"NotValidated", {
+    value: S.String;
 }>, import("../schema/index.js").CallableTaggedStruct<"Validating", {
-    value: typeof S.String;
+    value: S.String;
 }>, import("../schema/index.js").CallableTaggedStruct<"Valid", {
-    value: typeof S.String;
+    value: S.String;
 }>, import("../schema/index.js").CallableTaggedStruct<"Invalid", {
-    value: typeof S.String;
-    errors: S.NonEmptyArray<typeof S.String>;
+    value: S.String;
+    errors: S.NonEmptyArray<S.String>;
 }>]>;
 export type Field = typeof Field.Type;
 /** A field's validation rules: the required message (if any), the list of rules,

package/dist/fieldValidation/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/fieldValidation/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,MAAM,EACN,SAAS,EACT,MAAM,IAAI,CAAC,EAIZ,MAAM,QAAQ,CAAA;AAOf,0GAA0G;AAC1G,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,CAAA;AAE9D,0EAA0E;AAC1E,MAAM,MAAM,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,CAAA;AAEtE,eAAO,MAAM,cAAc,GAAI,SAAS,WAAW,EAAE,OAAO,MAAM,KAAG,MACb,CAAA;AAIxD,4DAA4D;AAC5D,eAAO,MAAM,YAAY;;EAA0C,CAAA;AAEnE,6DAA6D;AAC7D,eAAO,MAAM,UAAU;;EAAwC,CAAA;AAE/D,4CAA4C;AAC5C,eAAO,MAAM,KAAK;;EAAmC,CAAA;AAErD,yFAAyF;AACzF,eAAO,MAAM,OAAO;;;EAGlB,CAAA;AAEF,yEAAyE;AACzE,eAAO,MAAM,KAAK;;;;;;;;;IAAoD,CAAA;AACtE,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC;;;;2EAI2E;AAC3E,MAAM,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC3B,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;IAC3C,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;IAC1B,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAA;CACpC,CAAC,CAAA;AAEF,uCAAuC;AACvC,MAAM,MAAM,gBAAgB,GAAG,QAAQ,CAAC;IACtC;;;uDAGmD;IACnD,QAAQ,CAAC,EAAE,WAAW,CAAA;IACtB,KAAK,CAAC,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;IAC3B;;mDAE+C;IAC/C,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAA;CACrC,CAAC,CAAA;AAEF,eAAO,MAAM,SAAS,GAAI,UAAS,gBAAqB,KAAG,KAIzD,CAAA;AAIF;;;;;4EAK4E;AAC5E,eAAO,MAAM,QAAQ,GAClB,OAAO,KAAK,MACZ,OAAO,MAAM,KAAG,KAiBhB,CAAA;AAEH;uEACuE;AACvE,eAAO,MAAM,WAAW,GACrB,OAAO,KAAK,MACZ,OAAO,MAAM,KAAG,KAkBhB,CAAA;AAEH;;;;;;;;+CAQ+C;AAC/C,eAAO,MAAM,OAAO,GACjB,OAAO,KAAK,MACZ,OAAO,KAAK,KAAG,OAQf,CAAA;AAEH;sEACsE;AACtE,eAAO,MAAM,UAAU,GAAI,OAAO,KAAK,KAAG,OACJ,CAAA;AAEtC;;;;kBAIkB;AAClB,eAAO,MAAM,SAAS,GAAI,OAAO,KAAK,KAAG,OAAmC,CAAA;AAE5E;iEACiE;AACjE,eAAO,MAAM,QAAQ,GACnB,OAAO,aAAa,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,KAC5C,OAAwE,CAAA;AAE3E;wEACwE;AACxE,eAAO,MAAM,UAAU,GAAI,QAAQ,aAAa,CAAC,KAAK,CAAC,KAAG,OAC3B,CAAA;AAI/B,uEAAuE;AACvE,eAAO,MAAM,SAAS,GAAI,KAAK,MAAM,EAAE,UAAU,WAAW,KAAG,IAG9D,CAAA;AAED,iFAAiF;AACjF,eAAO,MAAM,SAAS,GAAI,KAAK,MAAM,EAAE,UAAU,WAAW,KAAG,IAG9D,CAAA;AAED,6EAA6E;AAC7E,eAAO,MAAM,OAAO,GAClB,OAAO,MAAM,EACb,UAAS,WAA8B,KACtC,IAA2D,CAAA;AAI9D,wEAAwE;AACxE,eAAO,MAAM,KAAK,GAAI,UAAS,WAAqC,KAAG,IACxC,CAAA;AAK/B;;;gEAGgE;AAChE,eAAO,MAAM,GAAG,GACd,UAAS,QAAQ,CAAC;IAChB,OAAO,CAAC,EAAE,WAAW,CAAA;IACrB,eAAe,CAAC,EAAE,OAAO,CAAA;CAC1B,CAAM,KACN,IAMF,CAAA;AAED,+EAA+E;AAC/E,eAAO,MAAM,UAAU,GAAI,QAAQ,MAAM,EAAE,UAAU,WAAW,KAAG,IAGlE,CAAA;AAED,6EAA6E;AAC7E,eAAO,MAAM,QAAQ,GAAI,QAAQ,MAAM,EAAE,UAAU,WAAW,KAAG,IAGhE,CAAA;AAED,+EAA+E;AAC/E,eAAO,MAAM,QAAQ,GAAI,WAAW,MAAM,EAAE,UAAU,WAAW,KAAG,IAGnE,CAAA;AAED,kFAAkF;AAClF,eAAO,MAAM,MAAM,GAAI,UAAU,MAAM,EAAE,UAAU,WAAW,KAAG,IAGhE,CAAA;AAED,4FAA4F;AAC5F,eAAO,MAAM,KAAK,GAChB,QAAQ,aAAa,CAAC,MAAM,CAAC,EAC7B,UAAU,WAAW,KACpB,IAMF,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/fieldValidation/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,MAAM,EACN,SAAS,EAET,MAAM,IAAI,CAAC,EAIZ,MAAM,QAAQ,CAAA;AAMf,0GAA0G;AAC1G,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,CAAA;AAE9D,0EAA0E;AAC1E,MAAM,MAAM,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,CAAA;AAEtE,eAAO,MAAM,cAAc,GAAI,SAAS,WAAW,EAAE,OAAO,MAAM,KAAG,MACb,CAAA;AAIxD,4DAA4D;AAC5D,eAAO,MAAM,YAAY;;EAA0C,CAAA;AAEnE,6DAA6D;AAC7D,eAAO,MAAM,UAAU;;EAAwC,CAAA;AAE/D,4CAA4C;AAC5C,eAAO,MAAM,KAAK;;EAAmC,CAAA;AAErD,yFAAyF;AACzF,eAAO,MAAM,OAAO;;;EAGlB,CAAA;AAEF,yEAAyE;AACzE,eAAO,MAAM,KAAK;;;;;;;;;IAAsD,CAAA;AACxE,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC;;;;2EAI2E;AAC3E,MAAM,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC3B,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;IAC3C,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;IAC1B,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAA;CACpC,CAAC,CAAA;AAEF,uCAAuC;AACvC,MAAM,MAAM,gBAAgB,GAAG,QAAQ,CAAC;IACtC;;;uDAGmD;IACnD,QAAQ,CAAC,EAAE,WAAW,CAAA;IACtB,KAAK,CAAC,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;IAC3B;;mDAE+C;IAC/C,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAA;CACrC,CAAC,CAAA;AAEF,eAAO,MAAM,SAAS,GAAI,UAAS,gBAAqB,KAAG,KAIzD,CAAA;AAIF;;;;;4EAK4E;AAC5E,eAAO,MAAM,QAAQ,GAClB,OAAO,KAAK,MACZ,OAAO,MAAM,KAAG,KAiBhB,CAAA;AAEH;uEACuE;AACvE,eAAO,MAAM,WAAW,GACrB,OAAO,KAAK,MACZ,OAAO,MAAM,KAAG,KAoBhB,CAAA;AAEH;;;;;;;;+CAQ+C;AAC/C,eAAO,MAAM,OAAO,GACjB,OAAO,KAAK,MACZ,OAAO,KAAK,KAAG,OAQf,CAAA;AAEH;sEACsE;AACtE,eAAO,MAAM,UAAU,GAAI,OAAO,KAAK,KAAG,OACJ,CAAA;AAEtC;;;;kBAIkB;AAClB,eAAO,MAAM,SAAS,GAAI,OAAO,KAAK,KAAG,OAAmC,CAAA;AAE5E;iEACiE;AACjE,eAAO,MAAM,QAAQ,GACnB,OAAO,aAAa,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,KAC5C,OAAwE,CAAA;AAE3E;wEACwE;AACxE,eAAO,MAAM,UAAU,GAAI,QAAQ,aAAa,CAAC,KAAK,CAAC,KAAG,OAC3B,CAAA;AAI/B,uEAAuE;AACvE,eAAO,MAAM,SAAS,GAAI,KAAK,MAAM,EAAE,UAAU,WAAW,KAAG,IAG9D,CAAA;AAED,iFAAiF;AACjF,eAAO,MAAM,SAAS,GAAI,KAAK,MAAM,EAAE,UAAU,WAAW,KAAG,IAG9D,CAAA;AAED,6EAA6E;AAC7E,eAAO,MAAM,OAAO,GAClB,OAAO,MAAM,EACb,UAAS,WAA8B,KACtC,IAA2D,CAAA;AAI9D,wEAAwE;AACxE,eAAO,MAAM,KAAK,GAAI,UAAS,WAAqC,KAAG,IACxC,CAAA;AAK/B;;;gEAGgE;AAChE,eAAO,MAAM,GAAG,GACd,UAAS,QAAQ,CAAC;IAChB,OAAO,CAAC,EAAE,WAAW,CAAA;IACrB,eAAe,CAAC,EAAE,OAAO,CAAA;CAC1B,CAAM,KACN,IAMF,CAAA;AAED,+EAA+E;AAC/E,eAAO,MAAM,UAAU,GAAI,QAAQ,MAAM,EAAE,UAAU,WAAW,KAAG,IAGlE,CAAA;AAED,6EAA6E;AAC7E,eAAO,MAAM,QAAQ,GAAI,QAAQ,MAAM,EAAE,UAAU,WAAW,KAAG,IAGhE,CAAA;AAED,+EAA+E;AAC/E,eAAO,MAAM,QAAQ,GAAI,WAAW,MAAM,EAAE,UAAU,WAAW,KAAG,IAGnE,CAAA;AAED,kFAAkF;AAClF,eAAO,MAAM,MAAM,GAAI,UAAU,MAAM,EAAE,UAAU,WAAW,KAAG,IAGhE,CAAA;AAED,4FAA4F;AAC5F,eAAO,MAAM,KAAK,GAChB,QAAQ,aAAa,CAAC,MAAM,CAAC,EAC7B,UAAU,WAAW,KACpB,IAMF,CAAA"}

package/dist/fieldValidation/index.js

@@ -1,5 +1,4 @@
-import { Array, Number as Number_, Option, Schema as S, String, flow, pipe, } from 'effect';
-import { OptionExt } from '../effectExtensions/index.js';
+import { Array, Number as Number_, Option, Result, Schema as S, String, flow, pipe, } from 'effect';
 import { ts } from '../schema/index.js';
 export const resolveMessage = (message, value) => typeof message === 'string' ? message : message(value);
 // STATE
@@ -15,9 +14,9 @@ export const Invalid = ts('Invalid', {
     errors: S.NonEmptyArray(S.String),
 });
 /** The four-state union that represents a field's value in the Model. */
-export const Field = S.Union(NotValidated, Validating, Valid, Invalid);
+export const Field = S.Union([NotValidated, Validating, Valid, Invalid]);
 export const makeRules = (options = {}) => ({
-    requiredMessage: Option.fromNullable(options.required),
+    requiredMessage: Option.fromNullishOr(options.required),
     rules: options.rules ?? [],
     isEmpty: options.isEmpty ?? String.isEmpty,
 });
@@ -49,7 +48,9 @@ export const validateAll = (rules) => (value) => {
             onSome: message => Invalid({ value, errors: [resolveMessage(message, value)] }),
         });
     }
-    return pipe(rules.rules, Array.filterMap(([predicate, message]) => OptionExt.when(!predicate(value), resolveMessage(message, value))), Array.match({
+    return pipe(rules.rules, Array.filterMap(([predicate, message]) => !predicate(value)
+        ? Result.succeed(resolveMessage(message, value))
+        : Result.failVoid), Array.match({
         onEmpty: () => Valid({ value }),
         onNonEmpty: errors => Invalid({ value, errors }),
     }));
@@ -90,12 +91,12 @@ export const anyInvalid = (states) => Array.some(states, isInvalid);
 // STRING RULES
 /** Creates a `Rule` that checks if a string meets a minimum length. */
 export const minLength = (min, message) => [
-    flow(String.length, Number_.greaterThanOrEqualTo(min)),
+    flow(String.length, Number_.isGreaterThanOrEqualTo(min)),
     message ?? `Must be at least ${min} characters`,
 ];
 /** Creates a `Rule` that checks if a string does not exceed a maximum length. */
 export const maxLength = (max, message) => [
-    flow(String.length, Number_.lessThanOrEqualTo(max)),
+    flow(String.length, Number_.isLessThanOrEqualTo(max)),
     message ?? `Must be at most ${max} characters`,
 ];
 /** Creates a `Rule` that checks if a string matches a regular expression. */

package/dist/file/error.d.ts

@@ -1,4 +1,4 @@
-declare const FileReadError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const FileReadError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "FileReadError";
 } & Readonly<A>;
 /** Error raised when a `FileReader` operation fails. */

package/dist/file/file.d.ts

@@ -11,7 +11,7 @@ export type File = globalThis.File;
  * Use in Model fields that hold user-selected files:
  *
  * ```ts
- * attachedResume: S.OptionFromSelf(File.File)
+ * attachedResume: S.Option(File.File)
  * ```
  */
 export declare const File: S.Schema<File>;

package/dist/file/file.js

@@ -4,7 +4,7 @@ import { Schema as S } from 'effect';
  * Use in Model fields that hold user-selected files:
  *
  * ```ts
- * attachedResume: S.OptionFromSelf(File.File)
+ * attachedResume: S.Option(File.File)
  * ```
  */
 export const File = S.instanceOf(globalThis.File);

package/dist/file/reader.d.ts

@@ -6,14 +6,14 @@ import type { File } from './file.js';
  *
  * Fails with a `FileReadError` if the browser's `FileReader` encounters an
  * error (e.g. the file was deleted while reading). Handle failures with
- * `Effect.catchAll` to convert them into a failure Message.
+ * `Effect.catch` to convert them into a failure Message.
  *
  * @example
  * ```typescript
  * ReadResumeText(
  *   File.readAsText(file).pipe(
  *     Effect.map(text => GotResumeText({ text })),
- *     Effect.catchAll(error => Effect.succeed(FailedReadResume({ error: error.reason }))),
+ *     Effect.catch(error => Effect.succeed(FailedReadResume({ error: error.reason }))),
  *   ),
  * )
  * ```
@@ -28,7 +28,7 @@ export declare const readAsText: (file: File) => Effect.Effect<string, FileReadE
  * ReadImagePreview(
  *   File.readAsDataUrl(imageFile).pipe(
  *     Effect.map(dataUrl => GotImagePreview({ dataUrl })),
- *     Effect.catchAll(error => Effect.succeed(FailedReadImage({ error: error.reason }))),
+ *     Effect.catch(error => Effect.succeed(FailedReadImage({ error: error.reason }))),
  *   ),
  * )
  * ```
@@ -47,7 +47,7 @@ export declare const readAsDataUrl: (file: File) => Effect.Effect<string, FileRe
  *   File.readAsArrayBuffer(file).pipe(
  *     Effect.flatMap(buffer => uploadToServer(buffer)),
  *     Effect.map(() => SucceededUpload()),
- *     Effect.catchAll(error => Effect.succeed(FailedUpload({ reason: String(error) }))),
+ *     Effect.catch(error => Effect.succeed(FailedUpload({ reason: String(error) }))),
  *   ),
  * )
  * ```

package/dist/file/reader.js

@@ -1,6 +1,6 @@
 import { Effect } from 'effect';
 import { FileReadError } from './error.js';
-const readFile = (file, mode, extract) => Effect.async((resume, signal) => {
+const readFile = (file, mode, extract) => Effect.callback((resume, signal) => {
     const reader = new FileReader();
     const handleLoad = () => {
         const extracted = extract(reader);
@@ -43,14 +43,14 @@ const readFile = (file, mode, extract) => Effect.async((resume, signal) => {
  *
  * Fails with a `FileReadError` if the browser's `FileReader` encounters an
  * error (e.g. the file was deleted while reading). Handle failures with
- * `Effect.catchAll` to convert them into a failure Message.
+ * `Effect.catch` to convert them into a failure Message.
  *
  * @example
  * ```typescript
  * ReadResumeText(
  *   File.readAsText(file).pipe(
  *     Effect.map(text => GotResumeText({ text })),
- *     Effect.catchAll(error => Effect.succeed(FailedReadResume({ error: error.reason }))),
+ *     Effect.catch(error => Effect.succeed(FailedReadResume({ error: error.reason }))),
  *   ),
  * )
  * ```
@@ -65,7 +65,7 @@ export const readAsText = (file) => readFile(file, 'text', reader => typeof read
  * ReadImagePreview(
  *   File.readAsDataUrl(imageFile).pipe(
  *     Effect.map(dataUrl => GotImagePreview({ dataUrl })),
- *     Effect.catchAll(error => Effect.succeed(FailedReadImage({ error: error.reason }))),
+ *     Effect.catch(error => Effect.succeed(FailedReadImage({ error: error.reason }))),
  *   ),
  * )
  * ```
@@ -84,7 +84,7 @@ export const readAsDataUrl = (file) => readFile(file, 'dataUrl', reader => typeo
  *   File.readAsArrayBuffer(file).pipe(
  *     Effect.flatMap(buffer => uploadToServer(buffer)),
  *     Effect.map(() => SucceededUpload()),
- *     Effect.catchAll(error => Effect.succeed(FailedUpload({ reason: String(error) }))),
+ *     Effect.catch(error => Effect.succeed(FailedUpload({ reason: String(error) }))),
  *   ),
  * )
  * ```

package/dist/file/select.js

@@ -1,5 +1,5 @@
 import { Array, Effect } from 'effect';
-const openPicker = ({ accept, multiple, }) => Effect.async((resume, signal) => {
+const openPicker = ({ accept, multiple, }) => Effect.callback((resume, signal) => {
     const input = document.createElement('input');
     input.type = 'file';
     input.accept = accept.join(',');