foldkit 0.39.0 → 0.41.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2025 Devin Jameson
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -13,7 +13,7 @@
 <h3 align="center">The frontend framework for correctness.</h3>
 
 <p align="center">
-  <a href="https://foldkit.dev"><strong>Documentation</strong></a> · <a href="https://github.com/foldkit/foldkit#examples"><strong>Examples</strong></a> · <a href="https://foldkit.dev/getting-started"><strong>Getting Started</strong></a>
+  <a href="https://foldkit.dev"><strong>Documentation</strong></a> · <a href="https://foldkit.dev/example-apps"><strong>Examples</strong></a> · <a href="https://foldkit.dev/getting-started"><strong>Getting Started</strong></a>
 </p>
 
 ---
@@ -70,9 +70,11 @@ type Message = typeof Message.Type
 const update = (
   model: Model,
   message: Message,
-): [Model, ReadonlyArray<Command.Command<Message>>] =>
+): readonly [Model, ReadonlyArray<Command.Command<Message>>] =>
   M.value(message).pipe(
-    M.withReturnType<[Model, ReadonlyArray<Command.Command<Message>>]>(),
+    M.withReturnType<
+      readonly [Model, ReadonlyArray<Command.Command<Message>>]
+    >(),
     M.tagsExhaustive({
       ClickedDecrement: () => [{ count: model.count - 1 }, []],
       ClickedIncrement: () => [{ count: model.count + 1 }, []],
@@ -82,7 +84,7 @@ const update = (
 
 // INIT
 
-const init: Runtime.ElementInit<Model, Message> = () => [{ count: 0 }, []]
+const init: Runtime.ProgramInit<Model, Message> = () => [{ count: 0 }, []]
 
 // VIEW
 
@@ -117,7 +119,7 @@ const buttonStyle = 'bg-black text-white hover:bg-gray-700 px-4 py-2 transition'
 
 // RUN
 
-const element = Runtime.makeElement({
+const program = Runtime.makeProgram({
   Model,
   init,
   update,
@@ -125,7 +127,7 @@ const element = Runtime.makeElement({
   container: document.getElementById('root')!,
 })
 
-Runtime.run(element)
+Runtime.run(program)
 ```
 
 Source: [examples/counter/src/main.ts](https://github.com/foldkit/foldkit/blob/main/examples/counter/src/main.ts)
@@ -141,7 +143,8 @@ Foldkit is a complete system, not a collection of libraries you stitch together.
 - **UI Components** — Dialog, menu, tabs, listbox, disclosure — fully accessible primitives that are easy to style and customize.
 - **Field Validation** — Per-field validation state modeled as a discriminated union. Define rules as data, apply them in update, and the Model tracks the result.
 - **Virtual DOM** — Declarative Views powered by [Snabbdom](https://github.com/snabbdom/snabbdom). Fast, keyed diffing. Views are plain functions of your Model.
-- **DevTools** — Built-in overlay for inspecting Messages and Model state. Time-travel mode lets you jump to any point in your app's history.
+- **DevTools** — Built-in overlay for inspecting Messages, Model state, and Commands. Time-travel mode lets you jump to any point in your app's history.
+- **Testing** — Simulate the update loop in tests. Send Messages, resolve Commands inline, and assert on the Model. No mocking libraries, no fake timers, no setup or teardown.
 - **HMR** — Vite plugin with state-preserving hot module replacement. Change your view, keep your state.
 
 ## Correctness You (And Your LLM) Can See
@@ -152,19 +155,20 @@ This is what makes Foldkit unusually AI-friendly. The same property that makes t
 
 ## Examples
 
-- **[Counter](https://github.com/foldkit/foldkit/blob/main/examples/counter/src/main.ts)** — Increment/decrement with reset
-- **[Todo](https://github.com/foldkit/foldkit/blob/main/examples/todo/src/main.ts)** — CRUD operations with localStorage persistence
-- **[Stopwatch](https://github.com/foldkit/foldkit/blob/main/examples/stopwatch/src/main.ts)** — Timer with start/stop/reset
-- **[Crash View](https://github.com/foldkit/foldkit/blob/main/examples/crash-view/src/main.ts)** — Custom crash fallback UI with crash reporting
-- **[Form](https://github.com/foldkit/foldkit/blob/main/examples/form/src/main.ts)** — Form validation with async email checking
-- **[Weather](https://github.com/foldkit/foldkit/blob/main/examples/weather/src/main.ts)** — HTTP requests with async state handling
-- **[Routing](https://github.com/foldkit/foldkit/blob/main/examples/routing/src/main.ts)** — URL routing with parser combinators
-- **[Query Sync](https://github.com/foldkit/foldkit/blob/main/examples/query-sync/src/main.ts)** — URL query parameter sync with filtering and sorting
-- **[Snake](https://github.com/foldkit/foldkit/blob/main/examples/snake/src/main.ts)** — Classic game built with Subscriptions
-- **[Auth](https://github.com/foldkit/foldkit/blob/main/examples/auth/src/main.ts)** — Authentication flow with Submodels and OutMessage
-- **[Shopping Cart](https://github.com/foldkit/foldkit/blob/main/examples/shopping-cart/src/main.ts)** — Nested models and complex state
-- **[WebSocket Chat](https://github.com/foldkit/foldkit/blob/main/examples/websocket-chat/src/main.ts)** — Managed Resources with WebSocket integration
-- **[Typing Game](https://github.com/foldkit/foldkit/tree/main/packages/typing-game)** — Multiplayer typing game with Effect RPC backend
+- **[Counter](https://foldkit.dev/example-apps/counter)** — Increment/decrement with reset
+- **[Todo](https://foldkit.dev/example-apps/todo)** — CRUD operations with localStorage persistence
+- **[Stopwatch](https://foldkit.dev/example-apps/stopwatch)** — Timer with start/stop/reset
+- **[Crash View](https://foldkit.dev/example-apps/crash-view)** — Custom crash fallback UI with crash reporting
+- **[Form](https://foldkit.dev/example-apps/form)** — Form validation with async email checking
+- **[Weather](https://foldkit.dev/example-apps/weather)** — HTTP requests with async state handling
+- **[Routing](https://foldkit.dev/example-apps/routing)** — URL routing with parser combinators
+- **[Query Sync](https://foldkit.dev/example-apps/query-sync)** — URL query parameter sync with filtering and sorting
+- **[Snake](https://foldkit.dev/example-apps/snake)** — Classic game built with Subscriptions
+- **[Auth](https://foldkit.dev/example-apps/auth)** — Authentication flow with Submodels and OutMessage
+- **[Shopping Cart](https://foldkit.dev/example-apps/shopping-cart)** — Nested models and complex state
+- **[WebSocket Chat](https://foldkit.dev/example-apps/websocket-chat)** — Managed Resources with WebSocket integration
+- **[UI Showcase](https://foldkit.dev/example-apps/ui-showcase)** — Interactive showcase of every Foldkit UI component
+- **[Typing Game](https://github.com/foldkit/foldkit/tree/main/packages/typing-game)** — Multiplayer typing game with Effect RPC backend ([play it live](https://typingterminal.com))
 
 ## License
 

package/dist/command/index.d.ts

@@ -12,16 +12,18 @@ export type Command<T, E = never, R = never> = [T] extends [Schema.Schema.Any] ?
     effect: Effect.Effect<T, E, R>;
 }>;
 /** A Command identity created with `Command.define`. Call with an Effect to create a Command. */
-export interface CommandDefinition<out Name extends string> {
+export interface CommandDefinition<Name extends string, ResultMessage = any> {
     readonly [CommandDefinitionTypeId]: CommandDefinitionTypeId;
     readonly name: Name;
-    <A, E, R>(effect: Effect.Effect<A, E, R>): Readonly<{
+    <CommandEffect extends Effect.Effect<ResultMessage, any, any>>(effect: CommandEffect): Readonly<{
         name: Name;
-        effect: Effect.Effect<A, E, R>;
+        effect: CommandEffect;
     }>;
 }
-/** Defines a named Command identity. */
-export declare const define: <const Name extends string>(name: Name) => CommandDefinition<Name>;
+/** Defines a named Command identity with the Messages it returns. */
+export declare const define: {
+    <const Name extends string, Results extends ReadonlyArray<Schema.Schema.Any>>(name: Name, ...results: Results): CommandDefinition<Name, Schema.Schema.Type<Results[number]>>;
+};
 /** Transforms the Effect inside a Command while preserving its name. */
 export declare const mapEffect: {
     <A, E, R, B>(f: (effect: Effect.Effect<A, E, R>) => Effect.Effect<B, E, R>): (command: Readonly<{

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/command/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,qDAAqD;AAErD,eAAO,MAAM,uBAAuB,EAAE,OAAO,MAEN,CAAA;AAEvC,qDAAqD;AACrD,MAAM,MAAM,uBAAuB,GAAG,OAAO,uBAAuB,CAAA;AAEpE,8CAA8C;AAC9C,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAC1E,QAAQ,CAAC;IACP,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CACnD,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC/B,CAAC,CAAA;AAEN,iGAAiG;AACjG,MAAM,WAAW,iBAAiB,CAAC,GAAG,CAAC,IAAI,SAAS,MAAM;IACxD,QAAQ,CAAC,CAAC,uBAAuB,CAAC,EAAE,uBAAuB,CAAA;IAC3D,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EACN,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAC7B,QAAQ,CAAC;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;KAAE,CAAC,CAAA;CAC5D;AAED,wCAAwC;AACxC,eAAO,MAAM,MAAM,GAAI,KAAK,CAAC,IAAI,SAAS,MAAM,EAC9C,MAAM,IAAI,KACT,iBAAiB,CAAC,IAAI,CAexB,CAAA;AAED,wEAAwE;AACxE,eAAO,MAAM,SAAS,EAAE;IACtB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACT,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAC5D,CACD,OAAO,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;KAAE,CAAC,KAChE,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;KAAE,CAAC,CAAA;IAC/D,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EACnB,OAAO,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,EACrE,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAChE,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,CAAA;CAQI,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/command/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,qDAAqD;AAErD,eAAO,MAAM,uBAAuB,EAAE,OAAO,MAEN,CAAA;AAEvC,qDAAqD;AACrD,MAAM,MAAM,uBAAuB,GAAG,OAAO,uBAAuB,CAAA;AAEpE,8CAA8C;AAC9C,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAC1E,QAAQ,CAAC;IACP,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CACnD,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC/B,CAAC,CAAA;AAEN,iGAAiG;AACjG,MAAM,WAAW,iBAAiB,CAAC,IAAI,SAAS,MAAM,EAAE,aAAa,GAAG,GAAG;IACzE,QAAQ,CAAC,CAAC,uBAAuB,CAAC,EAAE,uBAAuB,CAAA;IAC3D,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,CAAC,aAAa,SAAS,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,EAC3D,MAAM,EAAE,aAAa,GACpB,QAAQ,CAAC;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,MAAM,EAAE,aAAa,CAAA;KAAE,CAAC,CAAA;CACnD;AAED,qEAAqE;AACrE,eAAO,MAAM,MAAM,EAAE;IACnB,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,OAAO,SAAS,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAC1E,IAAI,EAAE,IAAI,EACV,GAAG,OAAO,EAAE,OAAO,GAClB,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CAmBhE,CAAA;AAED,wEAAwE;AACxE,eAAO,MAAM,SAAS,EAAE;IACtB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACT,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAC5D,CACD,OAAO,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;KAAE,CAAC,KAChE,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;KAAE,CAAC,CAAA;IAC/D,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EACnB,OAAO,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,EACrE,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAChE,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,CAAA;CAQI,CAAA"}

package/dist/command/index.js

@@ -1,8 +1,8 @@
 /** Type-level brand for CommandDefinition values. */
 /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
 export const CommandDefinitionTypeId = Symbol.for('foldkit/CommandDefinition');
-/** Defines a named Command identity. */
-export const define = (name) => {
+/** Defines a named Command identity with the Messages it returns. */
+export const define = (name, ..._results) => {
     const create = (effect) => ({
         name,
         effect,

package/dist/devtools/overlay.d.ts

@@ -1,5 +1,38 @@
-import { Effect, Option } from 'effect';
+import { Effect, HashSet, Option } from 'effect';
+import * as Command from '../command';
 import type { DevtoolsMode, DevtoolsPosition } from '../runtime/runtime';
 import { type DevtoolsStore } from './store';
+export declare const JumpTo: Command.CommandDefinition<"JumpTo", {
+    readonly _tag: "CompletedJump";
+}>;
+export declare const InspectState: Command.CommandDefinition<"InspectState", {
+    readonly _tag: "ReceivedInspectedState";
+    readonly model: unknown;
+    readonly changedPaths: HashSet.HashSet<string>;
+    readonly affectedPaths: HashSet.HashSet<string>;
+    readonly maybeMessage: Option.Option<unknown>;
+}>;
+export declare const InspectLatest: Command.CommandDefinition<"InspectLatest", {
+    readonly _tag: "ReceivedInspectedState";
+    readonly model: unknown;
+    readonly changedPaths: HashSet.HashSet<string>;
+    readonly affectedPaths: HashSet.HashSet<string>;
+    readonly maybeMessage: Option.Option<unknown>;
+}>;
+export declare const Resume: Command.CommandDefinition<"Resume", {
+    readonly _tag: "CompletedResume";
+}>;
+export declare const Clear: Command.CommandDefinition<"Clear", {
+    readonly _tag: "CompletedClear";
+}>;
+export declare const LockScroll: Command.CommandDefinition<"LockScroll", {
+    readonly _tag: "LockedScroll";
+}>;
+export declare const UnlockScroll: Command.CommandDefinition<"UnlockScroll", {
+    readonly _tag: "UnlockedScroll";
+}>;
+export declare const ScrollToTop: Command.CommandDefinition<"ScrollToTop", {
+    readonly _tag: "ScrolledToTop";
+}>;
 export declare const createOverlay: (store: DevtoolsStore, position: DevtoolsPosition, mode: DevtoolsMode, maybeBanner: Option.Option<string>) => Effect.Effect<void, never, never>;
 //# sourceMappingURL=overlay.d.ts.map

package/dist/devtools/overlay.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"overlay.d.ts","sourceRoot":"","sources":["../../src/devtools/overlay.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,MAAM,EAIN,MAAM,EAQP,MAAM,QAAQ,CAAA;AAOf,OAAO,KAAK,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAA;AAMxE,OAAO,EAAE,KAAK,aAAa,EAA+B,MAAM,SAAS,CAAA;AAszCzE,eAAO,MAAM,aAAa,GACxB,OAAO,aAAa,EACpB,UAAU,gBAAgB,EAC1B,MAAM,YAAY,EAClB,aAAa,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,sCA4ChC,CAAA"}
+{"version":3,"file":"overlay.d.ts","sourceRoot":"","sources":["../../src/devtools/overlay.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,MAAM,EACN,OAAO,EAGP,MAAM,EAQP,MAAM,QAAQ,CAAA;AAEf,OAAO,KAAK,OAAO,MAAM,YAAY,CAAA;AAKrC,OAAO,KAAK,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAA;AAMxE,OAAO,EAAE,KAAK,aAAa,EAA+B,MAAM,SAAS,CAAA;AA4QzE,eAAO,MAAM,MAAM;;EAA0C,CAAA;AAC7D,eAAO,MAAM,YAAY;;;;;;EAGxB,CAAA;AACD,eAAO,MAAM,aAAa;;;;;;EAGzB,CAAA;AACD,eAAO,MAAM,MAAM;;EAA4C,CAAA;AAC/D,eAAO,MAAM,KAAK;;EAA0C,CAAA;AAC5D,eAAO,MAAM,UAAU;;EAA6C,CAAA;AACpE,eAAO,MAAM,YAAY;;EAAiD,CAAA;AAC1E,eAAO,MAAM,WAAW;;EAA+C,CAAA;AAsmCvE,eAAO,MAAM,aAAa,GACxB,OAAO,aAAa,EACpB,UAAU,gBAAgB,EAC1B,MAAM,YAAY,EAClB,aAAa,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,sCA4ChC,CAAA"}

package/dist/devtools/overlay.js

@@ -4,7 +4,7 @@ import * as Command from '../command';
 import { OptionExt } from '../effectExtensions';
 import { createKeyedLazy, html } from '../html';
 import { m } from '../message';
-import { makeElement } from '../runtime/runtime';
+import { makeProgram } from '../runtime/runtime';
 import { makeSubscriptions } from '../runtime/subscription';
 import { evo } from '../struct';
 import { lockScroll, unlockScroll } from '../task/scrollLock';
@@ -29,6 +29,7 @@ const Model = S.Struct({
     isOpen: S.Boolean,
     isMobile: S.Boolean,
     entries: S.Array(DisplayEntry),
+    initCommandNames: S.Array(S.String),
     startIndex: S.Number,
     isPaused: S.Boolean,
     pausedAtIndex: S.Number,
@@ -44,6 +45,7 @@ const Model = S.Struct({
 const Flags = S.Struct({
     isMobile: S.Boolean,
     entries: S.Array(DisplayEntry),
+    initCommandNames: S.Array(S.String),
     startIndex: S.Number,
     isPaused: S.Boolean,
     pausedAtIndex: S.Number,
@@ -75,6 +77,7 @@ const GotInspectorTabsMessage = m('GotInspectorTabsMessage', {
 });
 const ReceivedStoreUpdate = m('ReceivedStoreUpdate', {
     entries: S.Array(DisplayEntry),
+    initCommandNames: S.Array(S.String),
     startIndex: S.Number,
     isPaused: S.Boolean,
     pausedAtIndex: S.Number,
@@ -96,6 +99,7 @@ const toDisplayEntries = ({ entries }) => Array_.map(entries, ({ tag, commandNam
 }));
 const toDisplayState = (state) => ({
     entries: toDisplayEntries(state),
+    initCommandNames: state.initCommandNames,
     startIndex: state.startIndex,
     isPaused: state.isPaused,
     pausedAtIndex: state.pausedAtIndex,
@@ -174,14 +178,14 @@ const computeDiff = (previous, current) => {
     };
 };
 // UPDATE
-const JumpTo = Command.define('JumpTo');
-const InspectState = Command.define('InspectState');
-const InspectLatest = Command.define('InspectLatest');
-const Resume = Command.define('Resume');
-const Clear = Command.define('Clear');
-const LockScroll = Command.define('LockScroll');
-const UnlockScroll = Command.define('UnlockScroll');
-const ScrollToTop = Command.define('ScrollToTop');
+export const JumpTo = Command.define('JumpTo', CompletedJump);
+export const InspectState = Command.define('InspectState', ReceivedInspectedState);
+export const InspectLatest = Command.define('InspectLatest', ReceivedInspectedState);
+export const Resume = Command.define('Resume', CompletedResume);
+export const Clear = Command.define('Clear', CompletedClear);
+export const LockScroll = Command.define('LockScroll', LockedScroll);
+export const UnlockScroll = Command.define('UnlockScroll', UnlockedScroll);
+export const ScrollToTop = Command.define('ScrollToTop', ScrolledToTop);
 const makeUpdate = (store, shadow, mode) => {
     const jumpTo = (index) => JumpTo(Effect.gen(function* () {
         yield* store.jumpTo(index);
@@ -302,7 +306,7 @@ const makeUpdate = (store, shadow, mode) => {
             }),
             [],
         ],
-        ReceivedStoreUpdate: ({ entries, startIndex, isPaused, pausedAtIndex, }) => {
+        ReceivedStoreUpdate: ({ entries, initCommandNames, startIndex, isPaused, pausedAtIndex, }) => {
             const shouldFollowLatest = M.value(mode).pipe(M.when('TimeTravel', () => !isPaused), M.when('Inspect', () => model.isFollowingLatest), M.exhaustive);
             const latestIndex = Array_.match(entries, {
                 onEmpty: () => INIT_INDEX,
@@ -311,6 +315,7 @@ const makeUpdate = (store, shadow, mode) => {
             return [
                 evo(model, {
                     entries: () => entries,
+                    initCommandNames: () => initCommandNames,
                     startIndex: () => startIndex,
                     isPaused: () => isPaused,
                     pausedAtIndex: () => pausedAtIndex,
@@ -513,7 +518,11 @@ const makeView = (position, mode, maybeBanner) => {
     const emptyInspectorView = div([
         Class('flex-1 flex items-center justify-center text-dt-muted text-2xs font-mono min-w-0'),
     ], ['Click a message to inspect']);
-    const INSPECTOR_TABS = ['Model', 'Message'];
+    const INSPECTOR_TABS = [
+        'Model',
+        'Message',
+        'Commands',
+    ];
     const noMessageView = div([
         Class('flex-1 flex items-center justify-center text-dt-muted text-2xs font-mono min-w-0'),
     ], ['init — no Message']);
@@ -529,7 +538,27 @@ const makeView = (position, mode, maybeBanner) => {
             ]),
         ]),
     });
-    const inspectorTabContent = (model, tab, inspectedModel) => M.value(tab).pipe(M.when('Model', () => modelTabContent(model, inspectedModel)), M.when('Message', () => messageTabContent(model)), M.exhaustive);
+    const selectedCommandNames = (model) => {
+        const selectedIndex = M.value(mode).pipe(M.when('TimeTravel', () => model.isPaused ? model.pausedAtIndex : INIT_INDEX), M.when('Inspect', () => model.selectedIndex), M.exhaustive);
+        if (selectedIndex === INIT_INDEX) {
+            return model.initCommandNames;
+        }
+        return pipe(Array_.get(model.entries, selectedIndex - model.startIndex), Option.map(entry => entry.commandNames), Option.getOrElse(() => []));
+    };
+    const commandsTabContent = (model) => Array_.match(selectedCommandNames(model), {
+        onEmpty: () => div([
+            Class('flex-1 flex items-center justify-center text-dt-muted text-2xs font-mono min-w-0'),
+        ], ['No Commands returned']),
+        onNonEmpty: names => div([
+            Class('flex flex-col flex-1 min-h-0 min-w-0 overflow-auto overscroll-none'),
+        ], Array_.map(names, (name, index) => div([
+            Class('flex items-center px-2 py-1 text-base font-mono text-dt border-b gap-1.5'),
+        ], [
+            span([Class(indexClass)], [String(index + 1)]),
+            span([Class('json-tag')], [name]),
+        ]))),
+    });
+    const inspectorTabContent = (model, tab, inspectedModel) => M.value(tab).pipe(M.when('Model', () => modelTabContent(model, inspectedModel)), M.when('Message', () => messageTabContent(model)), M.when('Commands', () => commandsTabContent(model)), M.exhaustive);
     const inspectorPaneView = (model) => div([
         Class('flex flex-col border-l min-w-0 min-h-0 flex-1 dt-inspector-pane'),
     ], [
@@ -734,7 +763,7 @@ export const createOverlay = (store, position, mode, maybeBanner) => Effect.gen(
         },
         [],
     ];
-    const overlayRuntime = makeElement({
+    const overlayRuntime = makeProgram({
         Model,
         Flags,
         flags,

package/dist/devtools/store.d.ts

@@ -11,6 +11,7 @@ export type StoreState = Readonly<{
     entries: ReadonlyArray<HistoryEntry>;
     keyframes: HashMap.HashMap<number, unknown>;
     maybeInitModel: Option.Option<unknown>;
+    initCommandNames: ReadonlyArray<string>;
     startIndex: number;
     isPaused: boolean;
     pausedAtIndex: number;
@@ -22,7 +23,7 @@ export type Bridge = Readonly<{
 }>;
 export declare const createDevtoolsStore: (bridge: Bridge, maxEntries?: number) => Effect.Effect<DevtoolsStore>;
 export type DevtoolsStore = Readonly<{
-    recordInit: (model: unknown) => Effect.Effect<void>;
+    recordInit: (model: unknown, commandNames: ReadonlyArray<string>) => Effect.Effect<void>;
     recordMessage: (message: Readonly<{
         _tag: string;
     }>, modelAfterUpdate: unknown, commandNames: ReadonlyArray<string>, isModelChanged: boolean) => Effect.Effect<void>;

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,EAAS,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,eAAe,EAAQ,MAAM,QAAQ,CAAA;AAE9E,eAAO,MAAM,UAAU,KAAK,CAAA;AAI5B,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;CACxB,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,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;AAWF,eAAO,MAAM,mBAAmB,GAC9B,QAAQ,MAAM,EACd,mBAAgC,KAC/B,MAAM,CAAC,MAAM,CAAC,aAAa,CA2J1B,CAAA;AAEJ,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,UAAU,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACnD,aAAa,EAAE,CACb,OAAO,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,EACnC,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,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,EAAS,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,eAAe,EAAQ,MAAM,QAAQ,CAAA;AAE9E,eAAO,MAAM,UAAU,KAAK,CAAA;AAI5B,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;CACxB,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,CA6J1B,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,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,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

@@ -6,6 +6,7 @@ const emptyState = {
     entries: [],
     keyframes: HashMap.empty(),
     maybeInitModel: Option.none(),
+    initCommandNames: [],
     startIndex: 0,
     isPaused: false,
     pausedAtIndex: 0,
@@ -34,9 +35,10 @@ export const createDevtoolsStore = (bridge, maxEntries = DEFAULT_MAX_ENTRIES) =>
             isPaused: state.isPaused && isPausedAtRetainedIndex,
         };
     };
-    const recordInit = (model) => SubscriptionRef.update(stateRef, state => ({
+    const recordInit = (model, commandNames) => SubscriptionRef.update(stateRef, state => ({
         ...state,
         maybeInitModel: Option.some(model),
+        initCommandNames: commandNames,
         keyframes: HashMap.set(state.keyframes, 0, model),
     }));
     const recordMessage = (message, modelAfterUpdate, commandNames, isModelChanged) => SubscriptionRef.update(stateRef, state => {
@@ -83,6 +85,7 @@ export const createDevtoolsStore = (bridge, maxEntries = DEFAULT_MAX_ENTRIES) =>
     const clear = SubscriptionRef.update(stateRef, state => ({
         ...emptyState,
         maybeInitModel: state.maybeInitModel,
+        initCommandNames: state.initCommandNames,
         keyframes: Option.match(state.maybeInitModel, {
             onNone: () => HashMap.empty(),
             onSome: model => HashMap.set(HashMap.empty(), 0, model),

package/dist/fieldValidation/index.d.ts

@@ -1,46 +1,54 @@
 import { Predicate, Schema as S } from 'effect';
-/** Creates a tagged union of field states (`NotValidated`, `Validating`, `Valid`, `Invalid`) for a given value schema. */
-export declare const makeField: <A, I>(value: S.Schema<A, I>) => {
-    NotValidated: import("../schema").CallableTaggedStruct<"NotValidated", {
-        value: S.Schema<A, I, never>;
+import { CallableTaggedStruct } from '../schema';
+/** A tagged union of field states for use with form validation. */
+export type Field<A, I> = Readonly<{
+    NotValidated: CallableTaggedStruct<'NotValidated', {
+        value: S.Schema<A, I>;
     }>;
-    Validating: import("../schema").CallableTaggedStruct<"Validating", {
-        value: S.Schema<A, I, never>;
+    Validating: CallableTaggedStruct<'Validating', {
+        value: S.Schema<A, I>;
     }>;
-    Valid: import("../schema").CallableTaggedStruct<"Valid", {
-        value: S.Schema<A, I, never>;
+    Valid: CallableTaggedStruct<'Valid', {
+        value: S.Schema<A, I>;
     }>;
-    Invalid: import("../schema").CallableTaggedStruct<"Invalid", {
-        value: S.Schema<A, I, never>;
+    Invalid: CallableTaggedStruct<'Invalid', {
+        value: S.Schema<A, I>;
         errors: S.NonEmptyArray<typeof S.String>;
     }>;
-    Union: S.Union<[import("../schema").CallableTaggedStruct<"NotValidated", {
-        value: S.Schema<A, I, never>;
-    }>, import("../schema").CallableTaggedStruct<"Validating", {
-        value: S.Schema<A, I, never>;
-    }>, import("../schema").CallableTaggedStruct<"Valid", {
-        value: S.Schema<A, I, never>;
-    }>, import("../schema").CallableTaggedStruct<"Invalid", {
-        value: S.Schema<A, I, never>;
-        errors: S.NonEmptyArray<typeof S.String>;
-    }>]>;
-    validate: (fieldValidations: ReadonlyArray<Validation<A>>) => (fieldValue: A) => {
-        readonly _tag: "Valid";
-        readonly value: A;
-    } | {
-        readonly _tag: "Invalid";
-        readonly value: A;
-        readonly errors: readonly [string, ...string[]];
-    };
-    validateAll: (fieldValidations: ReadonlyArray<Validation<A>>) => (fieldValue: A) => {
-        readonly _tag: "Valid";
-        readonly value: A;
-    } | {
-        readonly _tag: "Invalid";
-        readonly value: A;
-        readonly errors: readonly [string, ...string[]];
-    };
-};
+    Union: S.Union<[
+        CallableTaggedStruct<'NotValidated', {
+            value: S.Schema<A, I>;
+        }>,
+        CallableTaggedStruct<'Validating', {
+            value: S.Schema<A, I>;
+        }>,
+        CallableTaggedStruct<'Valid', {
+            value: S.Schema<A, I>;
+        }>,
+        CallableTaggedStruct<'Invalid', {
+            value: S.Schema<A, I>;
+            errors: S.NonEmptyArray<typeof S.String>;
+        }>
+    ]>;
+    validate: (fieldValidations: ReadonlyArray<Validation<A>>) => (fieldValue: A) => Readonly<{
+        _tag: 'Valid';
+        value: A;
+    }> | Readonly<{
+        _tag: 'Invalid';
+        value: A;
+        errors: readonly [string, ...Array<string>];
+    }>;
+    validateAll: (fieldValidations: ReadonlyArray<Validation<A>>) => (fieldValue: A) => Readonly<{
+        _tag: 'Valid';
+        value: A;
+    }> | Readonly<{
+        _tag: 'Invalid';
+        value: A;
+        errors: readonly [string, ...Array<string>];
+    }>;
+}>;
+/** Creates a tagged union of field states (`NotValidated`, `Validating`, `Valid`, `Invalid`) for a given value schema. */
+export declare const makeField: <A, I>(value: S.Schema<A, I>) => Field<A, I>;
 /** An error message for a validation rule — either a static string or a function that receives the invalid value. */
 export type ValidationMessage<T> = string | ((value: T) => string);
 /** A tuple of a predicate and error message used for field validation. */

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,EAIL,SAAS,EACT,MAAM,IAAI,CAAC,EAIZ,MAAM,QAAQ,CAAA;AAIf,0HAA0H;AAC1H,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;iCAO9B,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,YAAY,CAAC;;;;;;;;oCAe/C,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,YAAY,CAAC;;;;;;;;CAuBrE,CAAA;AAED,qHAAqH;AACrH,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,CAAA;AAElE,0EAA0E;AAC1E,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAA;AAE1E,eAAO,MAAM,cAAc,GAAI,CAAC,EAC9B,SAAS,iBAAiB,CAAC,CAAC,CAAC,EAC7B,OAAO,CAAC,KACP,MAAkE,CAAA;AAIrE,mEAAmE;AACnE,eAAO,MAAM,QAAQ,GACnB,UAAS,iBAAiB,CAAC,MAAM,CAAc,KAC9C,UAAU,CAAC,MAAM,CAAiC,CAAA;AAErD,6EAA6E;AAC7E,eAAO,MAAM,SAAS,GACpB,KAAK,MAAM,EACX,UAAU,iBAAiB,CAAC,MAAM,CAAC,KAClC,UAAU,CAAC,MAAM,CAGnB,CAAA;AAED,uFAAuF;AACvF,eAAO,MAAM,SAAS,GACpB,KAAK,MAAM,EACX,UAAU,iBAAiB,CAAC,MAAM,CAAC,KAClC,UAAU,CAAC,MAAM,CAGnB,CAAA;AAED,mFAAmF;AACnF,eAAO,MAAM,OAAO,GAClB,OAAO,MAAM,EACb,UAAS,iBAAiB,CAAC,MAAM,CAAoB,KACpD,UAAU,CAAC,MAAM,CAAwD,CAAA;AAI5E,8EAA8E;AAC9E,eAAO,MAAM,KAAK,GAChB,UAAS,iBAAiB,CAAC,MAAM,CAA2B,KAC3D,UAAU,CAAC,MAAM,CAAkC,CAAA;AAItD,4EAA4E;AAC5E,eAAO,MAAM,GAAG,GACd,UAAS,iBAAiB,CAAC,MAAM,CAAiB,KACjD,UAAU,CAAC,MAAM,CAAgC,CAAA;AAEpD,qFAAqF;AACrF,eAAO,MAAM,UAAU,GACrB,QAAQ,MAAM,EACd,UAAU,iBAAiB,CAAC,MAAM,CAAC,KAClC,UAAU,CAAC,MAAM,CAGnB,CAAA;AAED,mFAAmF;AACnF,eAAO,MAAM,QAAQ,GACnB,QAAQ,MAAM,EACd,UAAU,iBAAiB,CAAC,MAAM,CAAC,KAClC,UAAU,CAAC,MAAM,CAGnB,CAAA;AAED,qFAAqF;AACrF,eAAO,MAAM,QAAQ,GACnB,WAAW,MAAM,EACjB,UAAU,iBAAiB,CAAC,MAAM,CAAC,KAClC,UAAU,CAAC,MAAM,CAGnB,CAAA;AAED,wFAAwF;AACxF,eAAO,MAAM,MAAM,GACjB,UAAU,MAAM,EAChB,UAAU,iBAAiB,CAAC,MAAM,CAAC,KAClC,UAAU,CAAC,MAAM,CAGnB,CAAA;AAID,kGAAkG;AAClG,eAAO,MAAM,GAAG,GACd,KAAK,MAAM,EACX,UAAU,iBAAiB,CAAC,MAAM,CAAC,KAClC,UAAU,CAAC,MAAM,CAGnB,CAAA;AAED,+FAA+F;AAC/F,eAAO,MAAM,GAAG,GACd,KAAK,MAAM,EACX,UAAU,iBAAiB,CAAC,MAAM,CAAC,KAClC,UAAU,CAAC,MAAM,CAGnB,CAAA;AAED,+FAA+F;AAC/F,eAAO,MAAM,OAAO,GAClB,KAAK,MAAM,EACX,KAAK,MAAM,EACX,UAAU,iBAAiB,CAAC,MAAM,CAAC,KAClC,UAAU,CAAC,MAAM,CAMnB,CAAA;AAED,2EAA2E;AAC3E,eAAO,MAAM,QAAQ,GACnB,UAAS,iBAAiB,CAAC,MAAM,CAAsB,KACtD,UAAU,CAAC,MAAM,CAAsC,CAAA;AAE1D,yEAAyE;AACzE,eAAO,MAAM,WAAW,GACtB,UAAS,iBAAiB,CAAC,MAAM,CAA0B,KAC1D,UAAU,CAAC,MAAM,CAA+C,CAAA;AAEnE,kFAAkF;AAClF,eAAO,MAAM,OAAO,GAClB,UAAS,iBAAiB,CAAC,MAAM,CAA4B,KAC5D,UAAU,CAAC,MAAM,CAAgD,CAAA;AAIpE,kGAAkG;AAClG,eAAO,MAAM,KAAK,GAChB,QAAQ,aAAa,CAAC,MAAM,CAAC,EAC7B,UAAU,iBAAiB,CAAC,MAAM,CAAC,KAClC,UAAU,CAAC,MAAM,CAMnB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/fieldValidation/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,SAAS,EACT,MAAM,IAAI,CAAC,EAIZ,MAAM,QAAQ,CAAA;AAEf,OAAO,EAAE,oBAAoB,EAAM,MAAM,WAAW,CAAA;AAEpD,mEAAmE;AACnE,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC;IACjC,YAAY,EAAE,oBAAoB,CAAC,cAAc,EAAE;QAAE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;KAAE,CAAC,CAAA;IAC7E,UAAU,EAAE,oBAAoB,CAAC,YAAY,EAAE;QAAE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;KAAE,CAAC,CAAA;IACzE,KAAK,EAAE,oBAAoB,CAAC,OAAO,EAAE;QAAE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;KAAE,CAAC,CAAA;IAC/D,OAAO,EAAE,oBAAoB,CAC3B,SAAS,EACT;QAAE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAAC,MAAM,EAAE,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAA;KAAE,CACpE,CAAA;IACD,KAAK,EAAE,CAAC,CAAC,KAAK,CACZ;QACE,oBAAoB,CAAC,cAAc,EAAE;YAAE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;SAAE,CAAC;QAC/D,oBAAoB,CAAC,YAAY,EAAE;YAAE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;SAAE,CAAC;QAC7D,oBAAoB,CAAC,OAAO,EAAE;YAAE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;SAAE,CAAC;QACxD,oBAAoB,CAClB,SAAS,EACT;YAAE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAAC,MAAM,EAAE,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAA;SAAE,CACpE;KACF,CACF,CAAA;IACD,QAAQ,EAAE,CAAC,gBAAgB,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAC5D,UAAU,EAAE,CAAC,KAEX,QAAQ,CAAC;QAAE,IAAI,EAAE,OAAO,CAAC;QAAC,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC,GACrC,QAAQ,CAAC;QACP,IAAI,EAAE,SAAS,CAAA;QACf,KAAK,EAAE,CAAC,CAAA;QACR,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;KAC5C,CAAC,CAAA;IACN,WAAW,EAAE,CAAC,gBAAgB,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAC/D,UAAU,EAAE,CAAC,KAEX,QAAQ,CAAC;QAAE,IAAI,EAAE,OAAO,CAAC;QAAC,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC,GACrC,QAAQ,CAAC;QACP,IAAI,EAAE,SAAS,CAAA;QACf,KAAK,EAAE,CAAC,CAAA;QACR,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;KAC5C,CAAC,CAAA;CACP,CAAC,CAAA;AAEF,0HAA0H;AAC1H,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CA6CjE,CAAA;AAED,qHAAqH;AACrH,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,CAAA;AAElE,0EAA0E;AAC1E,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAA;AAE1E,eAAO,MAAM,cAAc,GAAI,CAAC,EAC9B,SAAS,iBAAiB,CAAC,CAAC,CAAC,EAC7B,OAAO,CAAC,KACP,MAAkE,CAAA;AAIrE,mEAAmE;AACnE,eAAO,MAAM,QAAQ,GACnB,UAAS,iBAAiB,CAAC,MAAM,CAAc,KAC9C,UAAU,CAAC,MAAM,CAAiC,CAAA;AAErD,6EAA6E;AAC7E,eAAO,MAAM,SAAS,GACpB,KAAK,MAAM,EACX,UAAU,iBAAiB,CAAC,MAAM,CAAC,KAClC,UAAU,CAAC,MAAM,CAGnB,CAAA;AAED,uFAAuF;AACvF,eAAO,MAAM,SAAS,GACpB,KAAK,MAAM,EACX,UAAU,iBAAiB,CAAC,MAAM,CAAC,KAClC,UAAU,CAAC,MAAM,CAGnB,CAAA;AAED,mFAAmF;AACnF,eAAO,MAAM,OAAO,GAClB,OAAO,MAAM,EACb,UAAS,iBAAiB,CAAC,MAAM,CAAoB,KACpD,UAAU,CAAC,MAAM,CAAwD,CAAA;AAI5E,8EAA8E;AAC9E,eAAO,MAAM,KAAK,GAChB,UAAS,iBAAiB,CAAC,MAAM,CAA2B,KAC3D,UAAU,CAAC,MAAM,CAAkC,CAAA;AAItD,4EAA4E;AAC5E,eAAO,MAAM,GAAG,GACd,UAAS,iBAAiB,CAAC,MAAM,CAAiB,KACjD,UAAU,CAAC,MAAM,CAAgC,CAAA;AAEpD,qFAAqF;AACrF,eAAO,MAAM,UAAU,GACrB,QAAQ,MAAM,EACd,UAAU,iBAAiB,CAAC,MAAM,CAAC,KAClC,UAAU,CAAC,MAAM,CAGnB,CAAA;AAED,mFAAmF;AACnF,eAAO,MAAM,QAAQ,GACnB,QAAQ,MAAM,EACd,UAAU,iBAAiB,CAAC,MAAM,CAAC,KAClC,UAAU,CAAC,MAAM,CAGnB,CAAA;AAED,qFAAqF;AACrF,eAAO,MAAM,QAAQ,GACnB,WAAW,MAAM,EACjB,UAAU,iBAAiB,CAAC,MAAM,CAAC,KAClC,UAAU,CAAC,MAAM,CAGnB,CAAA;AAED,wFAAwF;AACxF,eAAO,MAAM,MAAM,GACjB,UAAU,MAAM,EAChB,UAAU,iBAAiB,CAAC,MAAM,CAAC,KAClC,UAAU,CAAC,MAAM,CAGnB,CAAA;AAID,kGAAkG;AAClG,eAAO,MAAM,GAAG,GACd,KAAK,MAAM,EACX,UAAU,iBAAiB,CAAC,MAAM,CAAC,KAClC,UAAU,CAAC,MAAM,CAGnB,CAAA;AAED,+FAA+F;AAC/F,eAAO,MAAM,GAAG,GACd,KAAK,MAAM,EACX,UAAU,iBAAiB,CAAC,MAAM,CAAC,KAClC,UAAU,CAAC,MAAM,CAGnB,CAAA;AAED,+FAA+F;AAC/F,eAAO,MAAM,OAAO,GAClB,KAAK,MAAM,EACX,KAAK,MAAM,EACX,UAAU,iBAAiB,CAAC,MAAM,CAAC,KAClC,UAAU,CAAC,MAAM,CAMnB,CAAA;AAED,2EAA2E;AAC3E,eAAO,MAAM,QAAQ,GACnB,UAAS,iBAAiB,CAAC,MAAM,CAAsB,KACtD,UAAU,CAAC,MAAM,CAAsC,CAAA;AAE1D,yEAAyE;AACzE,eAAO,MAAM,WAAW,GACtB,UAAS,iBAAiB,CAAC,MAAM,CAA0B,KAC1D,UAAU,CAAC,MAAM,CAA+C,CAAA;AAEnE,kFAAkF;AAClF,eAAO,MAAM,OAAO,GAClB,UAAS,iBAAiB,CAAC,MAAM,CAA4B,KAC5D,UAAU,CAAC,MAAM,CAAgD,CAAA;AAIpE,kGAAkG;AAClG,eAAO,MAAM,KAAK,GAChB,QAAQ,aAAa,CAAC,MAAM,CAAC,EAC7B,UAAU,iBAAiB,CAAC,MAAM,CAAC,KAClC,UAAU,CAAC,MAAM,CAMnB,CAAA"}

package/dist/fieldValidation/public.d.ts

@@ -1,3 +1,3 @@
 export { makeField, required, minLength, maxLength, pattern, email, url, startsWith, endsWith, includes, equals, min, max, between, positive, nonNegative, integer, oneOf, } from './index';
-export type { Validation, ValidationMessage } from './index';
+export type { Field, Validation, ValidationMessage } from './index';
 //# sourceMappingURL=public.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/fieldValidation/public.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,SAAS,EACT,QAAQ,EACR,SAAS,EACT,SAAS,EACT,OAAO,EACP,KAAK,EACL,GAAG,EACH,UAAU,EACV,QAAQ,EACR,QAAQ,EACR,MAAM,EACN,GAAG,EACH,GAAG,EACH,OAAO,EACP,QAAQ,EACR,WAAW,EACX,OAAO,EACP,KAAK,GACN,MAAM,SAAS,CAAA;AAEhB,YAAY,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAA"}
+{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/fieldValidation/public.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,SAAS,EACT,QAAQ,EACR,SAAS,EACT,SAAS,EACT,OAAO,EACP,KAAK,EACL,GAAG,EACH,UAAU,EACV,QAAQ,EACR,QAAQ,EACR,MAAM,EACN,GAAG,EACH,GAAG,EACH,OAAO,EACP,QAAQ,EACR,WAAW,EACX,OAAO,EACP,KAAK,GACN,MAAM,SAAS,CAAA;AAEhB,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAA"}

package/dist/index.d.ts

@@ -10,6 +10,7 @@ export * as Schema from './schema/public';
 export * as Struct from './struct/public';
 export * as Subscription from './subscription/public';
 export * as Task from './task/public';
+export * as Test from './test/public';
 export * as Ui from './ui';
 export * as Url from './url/public';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,kBAAkB,CAAA;AAC3C,OAAO,KAAK,eAAe,MAAM,0BAA0B,CAAA;AAC3D,OAAO,KAAK,eAAe,MAAM,0BAA0B,CAAA;AAC3D,OAAO,KAAK,IAAI,MAAM,eAAe,CAAA;AACrC,OAAO,KAAK,OAAO,MAAM,kBAAkB,CAAA;AAC3C,OAAO,KAAK,UAAU,MAAM,qBAAqB,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,gBAAgB,CAAA;AACvC,OAAO,KAAK,OAAO,MAAM,kBAAkB,CAAA;AAC3C,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AACzC,OAAO,KAAK,YAAY,MAAM,uBAAuB,CAAA;AACrD,OAAO,KAAK,IAAI,MAAM,eAAe,CAAA;AACrC,OAAO,KAAK,EAAE,MAAM,MAAM,CAAA;AAC1B,OAAO,KAAK,GAAG,MAAM,cAAc,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,kBAAkB,CAAA;AAC3C,OAAO,KAAK,eAAe,MAAM,0BAA0B,CAAA;AAC3D,OAAO,KAAK,eAAe,MAAM,0BAA0B,CAAA;AAC3D,OAAO,KAAK,IAAI,MAAM,eAAe,CAAA;AACrC,OAAO,KAAK,OAAO,MAAM,kBAAkB,CAAA;AAC3C,OAAO,KAAK,UAAU,MAAM,qBAAqB,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,gBAAgB,CAAA;AACvC,OAAO,KAAK,OAAO,MAAM,kBAAkB,CAAA;AAC3C,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AACzC,OAAO,KAAK,YAAY,MAAM,uBAAuB,CAAA;AACrD,OAAO,KAAK,IAAI,MAAM,eAAe,CAAA;AACrC,OAAO,KAAK,IAAI,MAAM,eAAe,CAAA;AACrC,OAAO,KAAK,EAAE,MAAM,MAAM,CAAA;AAC1B,OAAO,KAAK,GAAG,MAAM,cAAc,CAAA"}

package/dist/index.js

@@ -10,5 +10,6 @@ export * as Schema from './schema/public';
 export * as Struct from './struct/public';
 export * as Subscription from './subscription/public';
 export * as Task from './task/public';
+export * as Test from './test/public';
 export * as Ui from './ui';
 export * as Url from './url/public';

package/dist/runtime/browserListeners.d.ts

@@ -1,5 +1,5 @@
 import { Queue } from 'effect';
-import { BrowserConfig } from './runtime';
-export declare const addNavigationEventListeners: <Message>(messageQueue: Queue.Queue<Message>, browserConfig: BrowserConfig<Message>) => void;
+import { RoutingConfig } from './runtime';
+export declare const addNavigationEventListeners: <Message>(messageQueue: Queue.Queue<Message>, routingConfig: RoutingConfig<Message>) => void;
 export declare const addBfcacheRestoreListener: () => void;
 //# sourceMappingURL=browserListeners.d.ts.map

package/dist/runtime/browserListeners.js

@@ -1,18 +1,18 @@
 import { Option, Queue, String } from 'effect';
 import { OptionExt, StringExt } from '../effectExtensions';
 import { External, Internal } from './urlRequest';
-export const addNavigationEventListeners = (messageQueue, browserConfig) => {
-    addPopStateListener(messageQueue, browserConfig);
-    addLinkClickListener(messageQueue, browserConfig);
-    addProgrammaticNavigationListener(messageQueue, browserConfig);
+export const addNavigationEventListeners = (messageQueue, routingConfig) => {
+    addPopStateListener(messageQueue, routingConfig);
+    addLinkClickListener(messageQueue, routingConfig);
+    addProgrammaticNavigationListener(messageQueue, routingConfig);
 };
-const addPopStateListener = (messageQueue, browserConfig) => {
+const addPopStateListener = (messageQueue, routingConfig) => {
     const onPopState = () => {
-        Queue.unsafeOffer(messageQueue, browserConfig.onUrlChange(locationToUrl()));
+        Queue.unsafeOffer(messageQueue, routingConfig.onUrlChange(locationToUrl()));
     };
     window.addEventListener('popstate', onPopState);
 };
-const addLinkClickListener = (messageQueue, browserConfig) => {
+const addLinkClickListener = (messageQueue, routingConfig) => {
     const onLinkClick = (event) => {
         const target = event.target;
         if (!target || !('closest' in target)) {
@@ -31,16 +31,16 @@ const addLinkClickListener = (messageQueue, browserConfig) => {
         const linkUrl = new URL(href);
         const currentUrl = new URL(window.location.href);
         if (linkUrl.origin !== currentUrl.origin) {
-            Queue.unsafeOffer(messageQueue, browserConfig.onUrlRequest(External({ href })));
+            Queue.unsafeOffer(messageQueue, routingConfig.onUrlRequest(External({ href })));
             return;
         }
-        Queue.unsafeOffer(messageQueue, browserConfig.onUrlRequest(Internal({ url: urlToFoldkitUrl(linkUrl) })));
+        Queue.unsafeOffer(messageQueue, routingConfig.onUrlRequest(Internal({ url: urlToFoldkitUrl(linkUrl) })));
     };
     document.addEventListener('click', onLinkClick);
 };
-const addProgrammaticNavigationListener = (messageQueue, browserConfig) => {
+const addProgrammaticNavigationListener = (messageQueue, routingConfig) => {
     const onProgrammaticNavigation = () => {
-        Queue.unsafeOffer(messageQueue, browserConfig.onUrlChange(locationToUrl()));
+        Queue.unsafeOffer(messageQueue, routingConfig.onUrlChange(locationToUrl()));
     };
     window.addEventListener('foldkit:urlchange', onProgrammaticNavigation);
 };

package/dist/runtime/crashUI.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"crashUI.d.ts","sourceRoot":"","sources":["../../src/runtime/crashUI.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,EAAE,IAAI,EAAQ,MAAM,SAAS,CAAA;AAEpC,eAAO,MAAM,YAAY;8BACG,OAAO;6BACR,OAAO;CACjC,CAAA;AAmBD,eAAO,MAAM,gBAAgB,GAC3B,SAAS,QAAQ,CAAC;IAAE,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC,EACnC,YAAY,OAAO,KAClB,IA4LF,CAAA"}
+{"version":3,"file":"crashUI.d.ts","sourceRoot":"","sources":["../../src/runtime/crashUI.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,EAAE,IAAI,EAAQ,MAAM,SAAS,CAAA;AAEpC,eAAO,MAAM,YAAY;8BACG,OAAO;6BACR,OAAO;CACjC,CAAA;AAmBD,eAAO,MAAM,gBAAgB,GAC3B,SAAS,QAAQ,CAAC;IAAE,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC,EACnC,YAAY,OAAO,KAClB,IA0LF,CAAA"}