foldkit 0.24.0 → 0.26.0

package/README.md

@@ -1,41 +1,52 @@
-# Foldkit
+<p align="center">
+  <picture>
+    <source media="(prefers-color-scheme: dark)" srcset="https://raw.githubusercontent.com/devinjameson/foldkit/main/packages/website/public/logo-dark.svg">
+    <source media="(prefers-color-scheme: light)" srcset="https://raw.githubusercontent.com/devinjameson/foldkit/main/packages/website/public/logo.svg">
+    <img src="https://raw.githubusercontent.com/devinjameson/foldkit/main/packages/website/public/logo.svg" alt="Foldkit" width="350">
+  </picture>
+</p>
 
-> ⚠️ Foldkit is pre-1.0. APIs may change between minor versions.
+<p align="center">
+  <a href="https://www.npmjs.com/package/foldkit"><img src="https://img.shields.io/npm/v/foldkit" alt="npm version"></a>
+</p>
 
-**Foldkit** is an [Elm](https://elm-lang.org/)-inspired framework for building web applications powered by [Effect](https://effect.website/).
+<h3 align="center">Beautifully boring frontend applications.</h3>
 
-> Like origami: simple parts become intricate when folded together.
+<p align="center">
+  <a href="https://foldkit.dev"><strong>Documentation</strong></a> · <a href="https://github.com/devinjameson/foldkit#examples"><strong>Examples</strong></a> · <a href="https://foldkit.dev/getting-started"><strong>Getting Started</strong></a>
+</p>
 
 ---
 
-## Philosophy
+Foldkit is an [Elm Architecture](https://guide.elm-lang.org/architecture/) framework for TypeScript, powered by [Effect](https://effect.website/). One Model, one update function, one way to do things. No hooks, no local state, no hidden mutations.
 
-Foldkit applies functional programming principles to web application development.
+> [!WARNING]
+> Foldkit is pre-1.0. APIs may change between minor versions.
 
-- **Pure updates** — State transitions are deterministic functions: `(model: Model, message: Message): Model` is the only way to change state.
-- **Controlled side effects** — Side effects are described as `Command<Message>` values and executed by the runtime, not performed directly in update functions.
-- **Explicit state transitions** — Every state change is modeled as a specific message type and is captured in the update function.
+## Who It's For
 
----
+Foldkit is for developers who want their architecture to prevent bugs, not just catch them. If you want a single pattern that scales from a counter to a multiplayer game without complexity creep, this is it.
+
+It's not incremental. There's no React interop, no escape hatch from Effect, no way to "just use hooks for this one part." You're all in or you're not.
+
+## Built on Effect
 
-## Installation
+Every Foldkit application is an [Effect](https://effect.website/) program. Your Model is a [Schema](https://effect.website/docs/schema/introduction/). Side effects are values you return, not callbacks you fire — the runtime handles when and how. If you already know Effect, Foldkit feels natural. If you're new to Effect, Foldkit is a great way to immerse yourself in it.
 
-The best way to get started with Foldkit is to use `create-foldkit-app`. This
-will guide you through creating a new Foldkit project with your preferred
-package manager and example template.
+## Get Started
+
+`create-foldkit-app` is the recommended way to start a new project. It scaffolds a complete setup with Tailwind, TypeScript, ESLint, Prettier, and the Vite plugin for state-preserving HMR — and lets you choose from a set of examples as your starting point.
 
 ```bash
 npx create-foldkit-app@latest --wizard
 ```
 
----
+## Counter
 
-### Simple Counter Example
-
-See the full example at [examples/counter/src/main.ts](https://github.com/devinjameson/foldkit/blob/main/examples/counter/src/main.ts)
+This is a complete Foldkit program. State lives in a single Model. Events become Messages. A pure function handles every transition.
 
 ```ts
-import { Match as M, Schema } from 'effect'
+import { Match as M, Schema as S } from 'effect'
 import { Runtime } from 'foldkit'
 import { Command } from 'foldkit/command'
 import { Html, html } from 'foldkit/html'
@@ -43,7 +54,7 @@ import { m } from 'foldkit/message'
 
 // MODEL
 
-const Model = Schema.Number
+const Model = S.Struct({ count: S.Number })
 type Model = typeof Model.Type
 
 // MESSAGE
@@ -52,33 +63,33 @@ const ClickedDecrement = m('ClickedDecrement')
 const ClickedIncrement = m('ClickedIncrement')
 const ClickedReset = m('ClickedReset')
 
-const Message = Schema.Union(ClickedDecrement, ClickedIncrement, ClickedReset)
+const Message = S.Union(ClickedDecrement, ClickedIncrement, ClickedReset)
 export type Message = typeof Message.Type
 
 // UPDATE
 
 const update = (
-  count: Model,
+  model: Model,
   message: Message,
 ): [Model, ReadonlyArray<Command<Message>>] =>
   M.value(message).pipe(
     M.withReturnType<[Model, ReadonlyArray<Command<Message>>]>(),
     M.tagsExhaustive({
-      ClickedDecrement: () => [count - 1, []],
-      ClickedIncrement: () => [count + 1, []],
-      ClickedReset: () => [0, []],
+      ClickedDecrement: () => [{ count: model.count - 1 }, []],
+      ClickedIncrement: () => [{ count: model.count + 1 }, []],
+      ClickedReset: () => [{ count: 0 }, []],
     }),
   )
 
 // INIT
 
-const init: Runtime.ElementInit<Model, Message> = () => [0, []]
+const init: Runtime.ElementInit<Model, Message> = () => [{ count: 0 }, []]
 
 // VIEW
 
 const { div, button, Class, OnClick } = html<Message>()
 
-const view = (count: Model): Html =>
+const view = (model: Model): Html =>
   div(
     [
       Class(
@@ -86,7 +97,10 @@ const view = (count: Model): Html =>
       ),
     ],
     [
-      div([Class('text-6xl font-bold text-gray-800')], [count.toString()]),
+      div(
+        [Class('text-6xl font-bold text-gray-800')],
+        [model.count.toString()],
+      ),
       div(
         [Class('flex flex-wrap justify-center gap-4')],
         [
@@ -115,41 +129,42 @@ const element = Runtime.makeElement({
 Runtime.run(element)
 ```
 
----
-
-## Development
+Source: [examples/counter/src/main.ts](https://github.com/devinjameson/foldkit/blob/main/examples/counter/src/main.ts)
 
-Explore the examples locally:
+## What Ships With Foldkit
 
-```bash
-git clone https://github.com/devinjameson/foldkit.git
-cd foldkit
-pnpm install
+Foldkit is a complete system, not a collection of libraries you stitch together.
 
-# In one terminal - build Foldkit in watch mode
-pnpm dev:core
+- **Commands** — Side effects are described as Effects that return Messages and are executed by the runtime. Use any Effect combinator you want — retry, timeout, race, parallel. You write the Effect, the runtime runs it.
+- **Routing** — Type-safe bidirectional routing. URLs parse into typed routes and routes build back into URLs. No string matching, no mismatches between parsing and building.
+- **Subscriptions** — Declare which streams your app needs as a function of the Model. The runtime diffs and switches them when the Model changes.
+- **Managed Resources** — Model-driven lifecycle for long-lived browser resources like WebSockets, AudioContext, and RTCPeerConnection. Acquire on state change, release on cleanup.
+- **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.
+- **HMR** — Vite plugin with state-preserving hot module replacement. Change your view, keep your state.
 
-# In another terminal - run the counter example
-pnpm dev:example:counter
-```
+## Correctness You (And Your LLM) Can See
 
----
+Every state change flows through one update function. Every side effect is declared explicitly — in Commands, Subscription streams, and Managed Resource lifecycles. You don't have to hold a mental model of what runs when — you can point at it.
 
-## Status
+This is what makes Foldkit unusually AI-friendly. The same property that makes the code easy for humans to reason about makes it easy for LLMs to generate and review. The architecture makes correctness visible, whether the reader is a person or an LLM.
 
-We're building in the open. Feedback, issues, and contributions are welcome.
+## Examples
 
----
-
-## Roadmap
-
-- [x] Core program loop with ADT-based update
-- [x] DOM rendering
-- [x] Optimized DOM rendering (minimal diffs, efficient updates)
-- [x] Router integration
-- [ ] Devtools + tracing
-
----
+- **[Counter](https://github.com/devinjameson/foldkit/blob/main/examples/counter/src/main.ts)** — Increment/decrement with reset
+- **[Stopwatch](https://github.com/devinjameson/foldkit/blob/main/examples/stopwatch/src/main.ts)** — Timer with start/stop/reset
+- **[Weather](https://github.com/devinjameson/foldkit/blob/main/examples/weather/src/main.ts)** — HTTP requests with async state handling
+- **[Todo](https://github.com/devinjameson/foldkit/blob/main/examples/todo/src/main.ts)** — CRUD operations with localStorage persistence
+- **[Form](https://github.com/devinjameson/foldkit/blob/main/examples/form/src/main.ts)** — Form validation with async email checking
+- **[Routing](https://github.com/devinjameson/foldkit/blob/main/examples/routing/src/main.ts)** — URL routing with parser combinators
+- **[Shopping Cart](https://github.com/devinjameson/foldkit/blob/main/examples/shopping-cart/src/main.ts)** — Nested models and complex state
+- **[Snake](https://github.com/devinjameson/foldkit/blob/main/examples/snake/src/main.ts)** — Classic game built with Subscriptions
+- **[WebSocket Chat](https://github.com/devinjameson/foldkit/blob/main/examples/websocket-chat/src/main.ts)** — Managed Resources with WebSocket integration
+- **[Auth](https://github.com/devinjameson/foldkit/blob/main/examples/auth/src/main.ts)** — Authentication flow with model-as-union
+- **[Query Sync](https://github.com/devinjameson/foldkit/blob/main/examples/query-sync/src/main.ts)** — URL query parameter sync with filtering and sorting
+- **[Error View](https://github.com/devinjameson/foldkit/blob/main/examples/error-view/src/main.ts)** — Custom error fallback UI
+- **[Typing Game](https://github.com/devinjameson/foldkit/tree/main/packages/typing-game)** — Multiplayer typing game with Effect RPC backend
 
 ## License
 

package/dist/fieldValidation/index.d.ts

@@ -12,7 +12,7 @@ export declare const makeField: <A, I>(value: S.Schema<A, I>) => {
     }>;
     Invalid: import("../schema").CallableTaggedStruct<"Invalid", {
         value: S.Schema<A, I, never>;
-        error: typeof S.String;
+        errors: S.NonEmptyArray<typeof S.String>;
     }>;
     Union: S.Union<[import("../schema").CallableTaggedStruct<"NotValidated", {
         value: S.Schema<A, I, never>;
@@ -22,53 +22,62 @@ export declare const makeField: <A, I>(value: S.Schema<A, I>) => {
         value: S.Schema<A, I, never>;
     }>, import("../schema").CallableTaggedStruct<"Invalid", {
         value: S.Schema<A, I, never>;
-        error: typeof S.String;
+        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[]];
+    };
 };
+/** 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. */
-export type Validation<T> = [Predicate.Predicate<T>, string];
+export type Validation<T> = [Predicate.Predicate<T>, ValidationMessage<T>];
+export declare const resolveMessage: <T>(message: ValidationMessage<T>, value: T) => string;
 /** Creates a `Validation` that checks if a string is non-empty. */
-export declare const required: (message?: string) => Validation<string>;
+export declare const required: (message?: ValidationMessage<string>) => Validation<string>;
 /** Creates a `Validation` that checks if a string meets a minimum length. */
-export declare const minLength: (min: number, message?: string) => Validation<string>;
+export declare const minLength: (min: number, message?: ValidationMessage<string>) => Validation<string>;
 /** Creates a `Validation` that checks if a string does not exceed a maximum length. */
-export declare const maxLength: (max: number, message?: string) => Validation<string>;
+export declare const maxLength: (max: number, message?: ValidationMessage<string>) => Validation<string>;
 /** Creates a `Validation` that checks if a string matches a regular expression. */
-export declare const pattern: (regex: RegExp, message?: string) => Validation<string>;
+export declare const pattern: (regex: RegExp, message?: ValidationMessage<string>) => Validation<string>;
 /** Creates a `Validation` that checks if a string is a valid email format. */
-export declare const email: (message?: string) => Validation<string>;
+export declare const email: (message?: ValidationMessage<string>) => Validation<string>;
 /** Creates a `Validation` that checks if a string is a valid URL format. */
-export declare const url: (message?: string) => Validation<string>;
+export declare const url: (message?: ValidationMessage<string>) => Validation<string>;
 /** Creates a `Validation` that checks if a string begins with a specified prefix. */
-export declare const startsWith: (prefix: string, message?: string) => Validation<string>;
+export declare const startsWith: (prefix: string, message?: ValidationMessage<string>) => Validation<string>;
 /** Creates a `Validation` that checks if a string ends with a specified suffix. */
-export declare const endsWith: (suffix: string, message?: string) => Validation<string>;
+export declare const endsWith: (suffix: string, message?: ValidationMessage<string>) => Validation<string>;
 /** Creates a `Validation` that checks if a string contains a specified substring. */
-export declare const includes: (substring: string, message?: string) => Validation<string>;
+export declare const includes: (substring: string, message?: ValidationMessage<string>) => Validation<string>;
 /** Creates a `Validation` that checks if a string exactly matches an expected value. */
-export declare const equals: (expected: string, message?: string) => Validation<string>;
+export declare const equals: (expected: string, message?: ValidationMessage<string>) => Validation<string>;
 /** Creates a `Validation` that checks if a number is greater than or equal to a minimum value. */
-export declare const min: (num: number, message?: string) => Validation<number>;
+export declare const min: (num: number, message?: ValidationMessage<number>) => Validation<number>;
 /** Creates a `Validation` that checks if a number is less than or equal to a maximum value. */
-export declare const max: (num: number, message?: string) => Validation<number>;
+export declare const max: (num: number, message?: ValidationMessage<number>) => Validation<number>;
 /** Creates a `Validation` that checks if a number falls within a specified inclusive range. */
-export declare const between: (min: number, max: number, message?: string) => Validation<number>;
+export declare const between: (min: number, max: number, message?: ValidationMessage<number>) => Validation<number>;
 /** Creates a `Validation` that checks if a number is greater than zero. */
-export declare const positive: (message?: string) => Validation<number>;
+export declare const positive: (message?: ValidationMessage<number>) => Validation<number>;
 /** Creates a `Validation` that checks if a number is zero or greater. */
-export declare const nonNegative: (message?: string) => Validation<number>;
+export declare const nonNegative: (message?: ValidationMessage<number>) => Validation<number>;
 /** Creates a `Validation` that checks if a number is a whole number (integer). */
-export declare const integer: (message?: string) => Validation<number>;
+export declare const integer: (message?: ValidationMessage<number>) => Validation<number>;
 /** Creates a `Validation` that checks if a string is one of a specified set of allowed values. */
-export declare const oneOf: (values: ReadonlyArray<string>, message?: string) => Validation<string>;
-/** Runs validations against a value, returning the first failure as `Invalid` or `Valid` if all pass. */
-export declare const validateField: <T>(fieldValidations: ReadonlyArray<Validation<T>>) => (value: T) => {
-    _tag: "Invalid";
-    value: T;
-    error: string;
-} | {
-    _tag: "Valid";
-    value: T;
-    error?: never;
-};
+export declare const oneOf: (values: ReadonlyArray<string>, message?: ValidationMessage<string>) => Validation<string>;
 //# sourceMappingURL=index.d.ts.map

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,EAGZ,MAAM,QAAQ,CAAA;AAIf,0HAA0H;AAC1H,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;CAapD,CAAA;AAED,0EAA0E;AAC1E,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;AAI5D,mEAAmE;AACnE,eAAO,MAAM,QAAQ,GAAI,gBAAoB,KAAG,UAAU,CAAC,MAAM,CAGhE,CAAA;AAED,6EAA6E;AAC7E,eAAO,MAAM,SAAS,GACpB,KAAK,MAAM,EACX,UAAU,MAAM,KACf,UAAU,CAAC,MAAM,CAGnB,CAAA;AAED,uFAAuF;AACvF,eAAO,MAAM,SAAS,GACpB,KAAK,MAAM,EACX,UAAU,MAAM,KACf,UAAU,CAAC,MAAM,CAGnB,CAAA;AAED,mFAAmF;AACnF,eAAO,MAAM,OAAO,GAClB,OAAO,MAAM,EACb,gBAA0B,KACzB,UAAU,CAAC,MAAM,CAAwD,CAAA;AAI5E,8EAA8E;AAC9E,eAAO,MAAM,KAAK,GAAI,gBAAiC,KAAG,UAAU,CAAC,MAAM,CAC5C,CAAA;AAI/B,4EAA4E;AAC5E,eAAO,MAAM,GAAG,GAAI,gBAAuB,KAAG,UAAU,CAAC,MAAM,CAClC,CAAA;AAE7B,qFAAqF;AACrF,eAAO,MAAM,UAAU,GACrB,QAAQ,MAAM,EACd,UAAU,MAAM,KACf,UAAU,CAAC,MAAM,CAGnB,CAAA;AAED,mFAAmF;AACnF,eAAO,MAAM,QAAQ,GACnB,QAAQ,MAAM,EACd,UAAU,MAAM,KACf,UAAU,CAAC,MAAM,CAGnB,CAAA;AAED,qFAAqF;AACrF,eAAO,MAAM,QAAQ,GACnB,WAAW,MAAM,EACjB,UAAU,MAAM,KACf,UAAU,CAAC,MAAM,CAGnB,CAAA;AAED,wFAAwF;AACxF,eAAO,MAAM,MAAM,GACjB,UAAU,MAAM,EAChB,UAAU,MAAM,KACf,UAAU,CAAC,MAAM,CAGnB,CAAA;AAID,kGAAkG;AAClG,eAAO,MAAM,GAAG,GAAI,KAAK,MAAM,EAAE,UAAU,MAAM,KAAG,UAAU,CAAC,MAAM,CAGpE,CAAA;AAED,+FAA+F;AAC/F,eAAO,MAAM,GAAG,GAAI,KAAK,MAAM,EAAE,UAAU,MAAM,KAAG,UAAU,CAAC,MAAM,CAGpE,CAAA;AAED,+FAA+F;AAC/F,eAAO,MAAM,OAAO,GAClB,KAAK,MAAM,EACX,KAAK,MAAM,EACX,UAAU,MAAM,KACf,UAAU,CAAC,MAAM,CAGnB,CAAA;AAED,2EAA2E;AAC3E,eAAO,MAAM,QAAQ,GAAI,gBAA4B,KAAG,UAAU,CAAC,MAAM,CAGxE,CAAA;AAED,yEAAyE;AACzE,eAAO,MAAM,WAAW,GACtB,gBAAgC,KAC/B,UAAU,CAAC,MAAM,CAA+C,CAAA;AAEnE,kFAAkF;AAClF,eAAO,MAAM,OAAO,GAClB,gBAAkC,KACjC,UAAU,CAAC,MAAM,CAAgD,CAAA;AAIpE,kGAAkG;AAClG,eAAO,MAAM,KAAK,GAChB,QAAQ,aAAa,CAAC,MAAM,CAAC,EAC7B,UAAU,MAAM,KACf,UAAU,CAAC,MAAM,CAInB,CAAA;AAID,yGAAyG;AACzG,eAAO,MAAM,aAAa,GACvB,CAAC,EAAE,kBAAkB,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MACjD,OAAO,CAAC;;;;;;;;CAeR,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;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"}

package/dist/fieldValidation/index.js

@@ -1,25 +1,38 @@
-import { Array, Number as Number_, Option, Schema as S, String, flow, } from 'effect';
+import { Array, Number as Number_, Option, Predicate, Schema as S, String, flow, pipe, } from 'effect';
 import { ts } from '../schema';
 /** Creates a tagged union of field states (`NotValidated`, `Validating`, `Valid`, `Invalid`) for a given value schema. */
 export const makeField = (value) => {
     const NotValidated = ts('NotValidated', { value });
     const Validating = ts('Validating', { value });
     const Valid = ts('Valid', { value });
-    const Invalid = ts('Invalid', { value, error: S.String });
+    const Invalid = ts('Invalid', { value, errors: S.NonEmptyArray(S.String) });
+    const validate = (fieldValidations) => (fieldValue) => pipe(fieldValidations, Array.findFirst(([predicate]) => !predicate(fieldValue)), Option.match({
+        onNone: () => Valid({ value: fieldValue }),
+        onSome: ([, message]) => Invalid({
+            value: fieldValue,
+            errors: [resolveMessage(message, fieldValue)],
+        }),
+    }));
+    const validateAll = (fieldValidations) => (fieldValue) => pipe(fieldValidations, Array.filterMap(([predicate, message]) => predicate(fieldValue)
+        ? Option.none()
+        : Option.some(resolveMessage(message, fieldValue))), Array.match({
+        onEmpty: () => Valid({ value: fieldValue }),
+        onNonEmpty: errors => Invalid({ value: fieldValue, errors }),
+    }));
     return {
         NotValidated,
         Validating,
         Valid,
         Invalid,
         Union: S.Union(NotValidated, Validating, Valid, Invalid),
+        validate,
+        validateAll,
     };
 };
+export const resolveMessage = (message, value) => (typeof message === 'string' ? message : message(value));
 // STRING VALIDATORS
 /** Creates a `Validation` that checks if a string is non-empty. */
-export const required = (message = 'Required') => [
-    String.isNonEmpty,
-    message,
-];
+export const required = (message = 'Required') => [String.isNonEmpty, message];
 /** Creates a `Validation` that checks if a string meets a minimum length. */
 export const minLength = (min, message) => [
     flow(String.length, Number_.greaterThanOrEqualTo(min)),
@@ -71,14 +84,11 @@ export const max = (num, message) => [
 ];
 /** Creates a `Validation` that checks if a number falls within a specified inclusive range. */
 export const between = (min, max, message) => [
-    value => value >= min && value <= max,
+    Predicate.and(Number_.greaterThanOrEqualTo(min), Number_.lessThanOrEqualTo(max)),
     message ?? `Must be between ${min} and ${max}`,
 ];
 /** Creates a `Validation` that checks if a number is greater than zero. */
-export const positive = (message = 'Must be positive') => [
-    Number_.greaterThan(0),
-    message,
-];
+export const positive = (message = 'Must be positive') => [Number_.greaterThan(0), message];
 /** Creates a `Validation` that checks if a number is zero or greater. */
 export const nonNegative = (message = 'Must be non-negative') => [Number_.greaterThanOrEqualTo(0), message];
 /** Creates a `Validation` that checks if a number is a whole number (integer). */
@@ -87,23 +97,8 @@ export const integer = (message = 'Must be a whole number') => [value => Number.
 /** Creates a `Validation` that checks if a string is one of a specified set of allowed values. */
 export const oneOf = (values, message) => {
     const joinedValues = Array.join(values, ', ');
-    const message_ = message ?? `Must be one of: ${joinedValues}`;
-    return [value => Array.contains(values, value), message_];
-};
-// VALIDATE
-/** Runs validations against a value, returning the first failure as `Invalid` or `Valid` if all pass. */
-export const validateField = (fieldValidations) => (value) => {
-    for (const [predicate, message] of fieldValidations) {
-        if (!predicate(value)) {
-            return {
-                _tag: 'Invalid',
-                value,
-                error: message,
-            };
-        }
-    }
-    return {
-        _tag: 'Valid',
-        value,
-    };
+    return [
+        value => Array.contains(values, value),
+        message ?? `Must be one of: ${joinedValues}`,
+    ];
 };

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, validateField, } from './index';
-export type { Validation } from './index';
+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';
 //# 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,EACL,aAAa,GACd,MAAM,SAAS,CAAA;AAEhB,YAAY,EAAE,UAAU,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,UAAU,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAA"}

package/dist/fieldValidation/public.js

@@ -1 +1 @@
-export { makeField, required, minLength, maxLength, pattern, email, url, startsWith, endsWith, includes, equals, min, max, between, positive, nonNegative, integer, oneOf, validateField, } from './index';
+export { makeField, required, minLength, maxLength, pattern, email, url, startsWith, endsWith, includes, equals, min, max, between, positive, nonNegative, integer, oneOf, } from './index';

package/dist/html/index.d.ts

@@ -13,7 +13,8 @@ export type Html = Effect.Effect<VNode | null, never, Dispatch>;
 type Child = Html | string;
 /** Union of all valid HTML, SVG, and MathML tag names. */
 export type TagName = 'a' | 'abbr' | 'address' | 'area' | 'article' | 'aside' | 'audio' | 'b' | 'base' | 'bdi' | 'bdo' | 'blockquote' | 'body' | 'br' | 'button' | 'canvas' | 'caption' | 'cite' | 'code' | 'col' | 'colgroup' | 'data' | 'datalist' | 'dd' | 'del' | 'details' | 'dfn' | 'dialog' | 'div' | 'dl' | 'dt' | 'em' | 'embed' | 'fieldset' | 'figcaption' | 'figure' | 'footer' | 'form' | 'h1' | 'h2' | 'h3' | 'h4' | 'h5' | 'h6' | 'head' | 'header' | 'hgroup' | 'hr' | 'html' | 'i' | 'iframe' | 'img' | 'input' | 'ins' | 'kbd' | 'label' | 'legend' | 'li' | 'link' | 'main' | 'map' | 'mark' | 'menu' | 'meta' | 'meter' | 'nav' | 'noscript' | 'object' | 'ol' | 'optgroup' | 'option' | 'output' | 'p' | 'picture' | 'portal' | 'pre' | 'progress' | 'q' | 'rp' | 'rt' | 'ruby' | 's' | 'samp' | 'script' | 'search' | 'section' | 'select' | 'slot' | 'small' | 'source' | 'span' | 'strong' | 'style' | 'sub' | 'summary' | 'sup' | 'table' | 'tbody' | 'td' | 'template' | 'textarea' | 'tfoot' | 'th' | 'thead' | 'time' | 'title' | 'tr' | 'track' | 'u' | 'ul' | 'var' | 'video' | 'wbr' | 'animate' | 'animateMotion' | 'animateTransform' | 'circle' | 'clipPath' | 'defs' | 'desc' | 'ellipse' | 'feBlend' | 'feColorMatrix' | 'feComponentTransfer' | 'feComposite' | 'feConvolveMatrix' | 'feDiffuseLighting' | 'feDisplacementMap' | 'feDistantLight' | 'feDropShadow' | 'feFlood' | 'feFuncA' | 'feFuncB' | 'feFuncG' | 'feFuncR' | 'feGaussianBlur' | 'feImage' | 'feMerge' | 'feMergeNode' | 'feMorphology' | 'feOffset' | 'fePointLight' | 'feSpecularLighting' | 'feSpotLight' | 'feTile' | 'feTurbulence' | 'filter' | 'foreignObject' | 'g' | 'image' | 'line' | 'linearGradient' | 'marker' | 'mask' | 'metadata' | 'mpath' | 'path' | 'pattern' | 'polygon' | 'polyline' | 'radialGradient' | 'rect' | 'set' | 'stop' | 'svg' | 'switch' | 'symbol' | 'text' | 'textPath' | 'tspan' | 'use' | 'view' | 'annotation' | 'annotation-xml' | 'math' | 'maction' | 'menclose' | 'merror' | 'mfenced' | 'mfrac' | 'mglyph' | 'mi' | 'mlabeledtr' | 'mlongdiv' | 'mmultiscripts' | 'mn' | 'mo' | 'mover' | 'mpadded' | 'mphantom' | 'mprescripts' | 'mroot' | 'mrow' | 'ms' | 'mscarries' | 'mscarry' | 'msgroup' | 'msline' | 'mspace' | 'msqrt' | 'msrow' | 'mstack' | 'mstyle' | 'msub' | 'msubsup' | 'msup' | 'mtable' | 'mtd' | 'mtext' | 'mtr' | 'munder' | 'munderover' | 'semantics';
-type Attribute<Message> = Data.TaggedEnum<{
+/** Union of all HTML, SVG, and MathML attributes a virtual DOM element can carry. */
+export type Attribute<Message> = Data.TaggedEnum<{
     Key: {
         readonly value: string;
     };
@@ -302,6 +303,24 @@ type Attribute<Message> = Data.TaggedEnum<{
     AriaActiveDescendant: {
         readonly value: string;
     };
+    AriaSort: {
+        readonly value: string;
+    };
+    AriaMultiSelectable: {
+        readonly value: boolean;
+    };
+    AriaModal: {
+        readonly value: boolean;
+    };
+    AriaBusy: {
+        readonly value: boolean;
+    };
+    AriaErrorMessage: {
+        readonly value: string;
+    };
+    AriaRoleDescription: {
+        readonly value: string;
+    };
     Attribute: {
         readonly key: string;
         readonly value: string;
@@ -401,14 +420,6 @@ type Attribute<Message> = Data.TaggedEnum<{
         readonly f: (element: Element) => void;
     };
 }>;
-declare const Attribute: <A>(args: {
-    readonly key: string;
-    readonly value: string;
-}) => {
-    readonly _tag: "Attribute";
-    readonly key: string;
-    readonly value: string;
-};
 type AttributeWithoutKey<Message> = Exclude<Attribute<Message>, {
     _tag: 'Key';
 }>;
@@ -856,6 +867,30 @@ export declare const html: <Message>() => {
         readonly _tag: "AriaActiveDescendant";
         readonly value: string;
     };
+    AriaSort: (value: string) => {
+        readonly _tag: "AriaSort";
+        readonly value: string;
+    };
+    AriaMultiSelectable: (value: boolean) => {
+        readonly _tag: "AriaMultiSelectable";
+        readonly value: boolean;
+    };
+    AriaModal: (value: boolean) => {
+        readonly _tag: "AriaModal";
+        readonly value: boolean;
+    };
+    AriaBusy: (value: boolean) => {
+        readonly _tag: "AriaBusy";
+        readonly value: boolean;
+    };
+    AriaErrorMessage: (value: string) => {
+        readonly _tag: "AriaErrorMessage";
+        readonly value: string;
+    };
+    AriaRoleDescription: (value: string) => {
+        readonly _tag: "AriaRoleDescription";
+        readonly value: string;
+    };
     Attribute: (key: string, value: string) => {
         readonly _tag: "Attribute";
         readonly key: string;