@shivaedev/effect-form 0.0.0 → 0.1.0

package/CHANGELOG.md

@@ -0,0 +1,18 @@
+# Changelog
+
+## 0.1.0 - 2026-09-26
+
+### Added
+
+- Extract schema-derived form state, submission, field messages, draft
+  preservation, and optional React hooks from Antumbra.
+- Merge received values per field: untouched fields adopt refreshed server
+  values while edited fields keep local input.
+- Keep a refresh received during an in-flight save as the baseline instead of
+  replacing it with the older submitted values.
+- Show an async check message only while the field still holds the value it was
+  computed for.
+- Clear optional field values and notify subscribers when a received or reverted
+  baseline omits the field.
+- Allow submit handlers to use the native atom runtime's scope, registry, and
+  reactivity services.

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 ShivaeDev
+
+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

@@ -1,3 +1,52 @@
 # @shivaedev/effect-form
 
-This version only reserves the name. Releases are published from https://github.com/ShivaeDev/platform.
+Schema-derived form state built on Effect atoms. The core has no React dependency; optional hooks are exported from `@shivaedev/effect-form/react`.
+
+```ts
+import { Effect, Layer, Schema } from "effect";
+import * as Atom from "effect/unstable/reactivity/Atom";
+import { make } from "@shivaedev/effect-form";
+
+const runtime = Atom.runtime(Layer.empty);
+const profile = make(Schema.Struct({ name: Schema.NonEmptyString }), {
+  initialValues: { name: "" },
+  runtime,
+  onSubmit: (values, submitter) =>
+    values.name === "reserved"
+      ? submitter.fail("name", "Choose another name")
+      : Effect.succeed(values),
+});
+```
+
+Fields hold the schema's encoded values; submission snapshots and decodes them before calling the handler. The handler receives the decoded values and, as its third argument, the encoded snapshot that was submitted (edits made while an async schema decodes are not part of it). Its dependencies and schema decoding services must be provided by the supplied atom runtime. Its success and error types are preserved in `form.submit`.
+
+Submit handlers can also use the native runtime's `Scope`, `AtomRegistry`, and `Reactivity` services. For example, wrap a successful RPC save in `Reactivity.mutation(keys)` to invalidate queries in the same atom runtime. Application services still need to be supplied by the configured runtime.
+
+Use an AtomRegistry to mount/read atoms and call `registry.set(profile.submit, undefined)` to submit. In React, use the atom-react registry provider and the hooks:
+
+```tsx
+import { useField, useSubmit } from "@shivaedev/effect-form/react";
+
+function Profile() {
+  const name = useField(profile, "name");
+  const submit = useSubmit(profile);
+  return <form onSubmit={(event) => { event.preventDefault(); submit.run(); }}>
+    <input value={name.value} onBlur={name.onBlur}
+      onChange={(event) => name.onChange(event.target.value)} />
+    <span>{name.error}</span>
+    <button disabled={submit.submitting}>Save</button>
+  </form>;
+}
+```
+
+Create one stable form instance per editing session; do not recreate it during every render. Applications own general submission error rendering through `submit.result`.
+
+- Field errors appear after a change, blur, or submission. Editing clears a server field rejection.
+- Optional debounced `checks` provide advisory field messages. A message shows only while the field still holds the value it was computed for; pending, failed or outdated checks show nothing. They do not block submission; authoritative validation belongs in the schema or submit handler.
+- `receive(values)` merges per field: a field that still equals its baseline adopts the received value (an optional key the refresh omits disappears), an edited field keeps its local value, and the received values become the baseline. `revert()` restores the latest received baseline.
+- Successful submission accepts the submitted encoded values as the baseline. Edits made while saving stay dirty. If a refresh arrived while the save was in flight, it stays the baseline; fields still holding the submitted values count as saved and adopt the next received values.
+- `emptyAsNull(schema)` maps an empty input string to nullable domain values.
+
+This package handles top-level fields. Nested error paths map to their first field; it does not provide nested field arrays or a general nested form DSL. Draft comparisons use Effect equality per field; callers should replace values instead of mutating them in place.
+
+Install `effect` with the package. For React hooks also install compatible `@effect/atom-react` and React 19. This initial release targets Effect `4.0.0-rc.112`.

package/dist/draft.d.ts

@@ -0,0 +1,15 @@
+import * as Atom from "effect/unstable/reactivity/Atom";
+import * as AtomRef from "effect/unstable/reactivity/AtomRef";
+type Entries = Readonly<Record<string, unknown>>;
+export declare const draft: <Values extends Entries>(initial: Values) => {
+    dirty: Atom.Atom<boolean>;
+    receive: (incoming: Values) => void;
+    revert: () => void;
+    submission: () => {
+        accept: () => void;
+        values: Values;
+    };
+    values: AtomRef.AtomRef<Values>;
+};
+export {};
+//# sourceMappingURL=draft.d.ts.map

package/dist/draft.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"draft.d.ts","sourceRoot":"","sources":["../src/draft.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,IAAI,MAAM,iCAAiC,CAAC;AACxD,OAAO,KAAK,OAAO,MAAM,oCAAoC,CAAC;AAE9D,KAAK,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAkCjD,eAAO,MAAM,KAAK,GAAI,MAAM,SAAS,OAAO,EAAE,SAAS,MAAM;;wBAWvC,MAAM,KAAG,IAAI;kBAOrB,IAAI;;sBAUF,IAAI;;;;CAUnB,CAAC"}

package/dist/draft.js

@@ -0,0 +1,57 @@
+import { Equal } from "effect";
+import * as Atom from "effect/unstable/reactivity/Atom";
+import * as AtomRef from "effect/unstable/reactivity/AtomRef";
+const none = {};
+const untouched = ({ baseline, current, settled }, name) => Equal.equals(current[name], baseline[name]) || (Object.hasOwn(settled, name) && Equal.equals(current[name], settled[name]));
+const changed = (held) => Object.keys({ ...held.baseline, ...held.current }).some((name) => !untouched(held, name));
+function merged(held, incoming) {
+    const result = {};
+    for (const name of Object.keys({ ...held.current, ...incoming })) {
+        const source = untouched(held, name) ? incoming : held.current;
+        if (Object.hasOwn(source, name)) {
+            result[name] = source[name];
+        }
+    }
+    return result;
+}
+const matching = (current, submitted) => Object.fromEntries(Object.keys({ ...current, ...submitted })
+    .filter((name) => Equal.equals(current[name], submitted[name]))
+    .map((name) => [name, submitted[name]]));
+export const draft = (initial) => {
+    const state = AtomRef.make({
+        baseline: initial,
+        current: initial,
+        settled: none,
+    });
+    return {
+        dirty: Atom.readable((get) => {
+            get.addFinalizer(state.subscribe((value) => get.setSelf(changed(value))));
+            return changed(state.value);
+        }),
+        receive: (incoming) => {
+            state.update((held) => ({
+                baseline: incoming,
+                current: changed(held) ? merged(held, incoming) : incoming,
+                settled: none,
+            }));
+        },
+        revert: () => {
+            state.update((held) => ({
+                ...held,
+                current: held.baseline,
+                settled: none,
+            }));
+        },
+        submission: () => {
+            const { baseline, current: submitted } = state.value;
+            return {
+                accept: () => {
+                    state.update((held) => held.baseline === baseline ? { ...held, baseline: submitted, settled: none } : { ...held, settled: matching(held.current, submitted) });
+                },
+                values: submitted,
+            };
+        },
+        values: state.prop("current"),
+    };
+};
+//# sourceMappingURL=draft.js.map

package/dist/draft.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"draft.js","sourceRoot":"","sources":["../src/draft.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,IAAI,MAAM,iCAAiC,CAAC;AACxD,OAAO,KAAK,OAAO,MAAM,oCAAoC,CAAC;AAU9D,MAAM,IAAI,GAAY,EAAE,CAAC;AAEzB,MAAM,SAAS,GAAG,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAkB,EAAE,IAAY,EAAW,EAAE,CAC3F,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAE7H,MAAM,OAAO,GAAG,CAAC,IAAoB,EAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAG7I,SAAS,MAAM,CAAC,IAAoB,EAAE,QAAiB;IACtD,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,QAAQ,EAAE,CAAC,EAAE,CAAC;QAClE,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;QAC/D,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;YACjC,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;IACF,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,OAAgB,EAAE,SAAkB,EAAW,EAAE,CAClE,MAAM,CAAC,WAAW,CACjB,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,OAAO,EAAE,GAAG,SAAS,EAAE,CAAC;KACvC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;KAC9D,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CACxC,CAAC;AAEH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAyB,OAAe,EAAE,EAAE;IAChE,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAgB;QACzC,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,OAAO;QAChB,OAAO,EAAE,IAAI;KACb,CAAC,CAAC;IACH,OAAO;QACN,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE;YAC5B,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1E,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC7B,CAAC,CAAC;QACF,OAAO,EAAE,CAAC,QAAgB,EAAQ,EAAE;YACnC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACvB,QAAQ,EAAE,QAAQ;gBAClB,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ;gBAC1D,OAAO,EAAE,IAAI;aACb,CAAC,CAAC,CAAC;QACL,CAAC;QACD,MAAM,EAAE,GAAS,EAAE;YAClB,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACvB,GAAG,IAAI;gBACP,OAAO,EAAE,IAAI,CAAC,QAAQ;gBACtB,OAAO,EAAE,IAAI;aACb,CAAC,CAAC,CAAC;QACL,CAAC;QACD,UAAU,EAAE,GAAG,EAAE;YAChB,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC;YACrD,OAAO;gBACN,MAAM,EAAE,GAAS,EAAE;oBAClB,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACrB,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CACtI,CAAC;gBACH,CAAC;gBACD,MAAM,EAAE,SAAS;aACjB,CAAC;QACH,CAAC;QACD,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;KAC7B,CAAC;AACH,CAAC,CAAC"}

package/dist/form.d.ts

@@ -0,0 +1,4 @@
+import { type Schema } from "effect";
+import { type Config, type Fields, type Form } from "./shape.ts";
+export declare const make: <F extends Fields, A, E, R, ER>(schema: Schema.Struct<F>, config: Config<F, A, E, R, ER>) => Form<F, A, E, ER>;
+//# sourceMappingURL=form.d.ts.map

package/dist/form.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"form.d.ts","sourceRoot":"","sources":["../src/form.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiC,KAAK,MAAM,EAAgB,MAAM,QAAQ,CAAC;AAOlF,OAAO,EACN,KAAK,MAAM,EAMX,KAAK,MAAM,EACX,KAAK,IAAI,EAMT,MAAM,YAAY,CAAC;AAGpB,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAG,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAwH9H,CAAC"}

package/dist/form.js

@@ -0,0 +1,102 @@
+import { Effect, Equal, Option, Result, SchemaParser } from "effect";
+import * as AsyncResult from "effect/unstable/reactivity/AsyncResult";
+import * as Atom from "effect/unstable/reactivity/Atom";
+import { draft } from "./draft.js";
+import { literalChoices, messageAt, messagesByField, noMessages } from "./messages.js";
+import { fromRef, propertyRef } from "./refs.js";
+import { checkOf, choicesOf, FieldFailure, fieldOf, holder, Invalid, } from "./shape.js";
+import { statusOf } from "./status.js";
+export const make = (schema, config) => {
+    const { initialValues, onSubmit, runtime } = config;
+    const debounce = config.debounce ?? "300 millis";
+    const checks = new Map(Object.entries(config.checks ?? {}));
+    const decode = SchemaParser.decodeUnknownEffect(schema, { errors: "all" });
+    const editing = draft(initialValues);
+    const { values } = editing;
+    const status = statusOf();
+    const held = new Map();
+    const refFor = (name) => {
+        const known = held.get(name);
+        if (known !== undefined) {
+            return known;
+        }
+        const made = propertyRef(holder(values), name);
+        held.set(name, made);
+        return made;
+    };
+    const offered = new Map();
+    for (const [name, member] of Object.entries(schema.fields)) {
+        const choices = literalChoices(member.ast);
+        if (choices !== undefined) {
+            offered.set(name, choices);
+        }
+    }
+    const valuesAtom = fromRef(values);
+    const decoded = runtime.atom((get) => decode(get(valuesAtom)).pipe(Effect.match({
+        onFailure: (issue) => Result.fail(messagesByField(issue)),
+        onSuccess: (value) => Result.succeed(value),
+    })));
+    const schemaMessages = Atom.map(decoded, (result) => Option.match(AsyncResult.value(result), {
+        onNone: () => noMessages,
+        onSome: (either) => (Result.isFailure(either) ? either.failure : noMessages),
+    }));
+    const schemaError = Atom.family((name) => Atom.map(schemaMessages, (messages) => messageAt(messages, name)));
+    const checkError = Atom.family((name) => {
+        const check = checks.get(name);
+        if (check === undefined) {
+            return Atom.make(() => undefined);
+        }
+        const current = fromRef(refFor(name));
+        const settled = Atom.debounce(current, debounce);
+        const answered = runtime.atom((get) => {
+            const input = get(settled);
+            return Effect.map(checkOf(check)(input), (message) => ({
+                input,
+                message,
+            }));
+        });
+        return Atom.readable((get) => {
+            const result = get(answered);
+            const value = get(current);
+            return AsyncResult.isSuccess(result) && !result.waiting && Equal.equals(result.value.input, value) ? result.value.message : undefined;
+        });
+    });
+    const error = Atom.family((name) => Atom.readable((get) => {
+        if (get(status.touched)[name] !== true && !get(status.submitted)) {
+            return undefined;
+        }
+        return messageAt(get(status.failures), name) ?? get(schemaError(name)) ?? get(checkError(name));
+    }));
+    const noted = (submitted) => (cause) => Effect.sync(() => {
+        if (cause instanceof FieldFailure && Equal.equals(refFor(cause.path).value, new Map(Object.entries(submitted)).get(cause.path))) {
+            status.note(cause.path, cause.message);
+        }
+    });
+    const submitter = {
+        fail: (path, message) => Effect.fail(new FieldFailure({ message, path })),
+    };
+    const submit = runtime.fn()(() => Effect.gen(function* () {
+        status.attempt();
+        const submission = editing.submission();
+        const submitted = submission.values;
+        const value = yield* decode(submitted).pipe(Effect.mapError((issue) => new Invalid({ messages: messagesByField(issue) })));
+        return yield* onSubmit(value, submitter, submitted).pipe(Effect.tapError(noted(submitted)), Effect.tap(() => Effect.sync(submission.accept)));
+    }));
+    return {
+        blur: status.touch,
+        change: (name, value) => {
+            refFor(name).set(value);
+            status.touch(name);
+        },
+        choices: (name) => choicesOf(offered.get(name)),
+        dirty: editing.dirty,
+        error,
+        field: (name) => fieldOf(refFor(name)),
+        receive: editing.receive,
+        revert: editing.revert,
+        submit,
+        submitting: Atom.map(submit, AsyncResult.isWaiting),
+        values,
+    };
+};
+//# sourceMappingURL=form.js.map

package/dist/form.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"form.js","sourceRoot":"","sources":["../src/form.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAe,YAAY,EAAE,MAAM,QAAQ,CAAC;AAClF,OAAO,KAAK,WAAW,MAAM,wCAAwC,CAAC;AACtE,OAAO,KAAK,IAAI,MAAM,iCAAiC,CAAC;AAExD,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAsB,cAAc,EAAE,SAAS,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3G,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,EAEN,OAAO,EACP,SAAS,EAGT,YAAY,EAGZ,OAAO,EACP,MAAM,EACN,OAAO,GAGP,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEvC,MAAM,CAAC,MAAM,IAAI,GAAG,CAAgC,MAAwB,EAAE,MAA8B,EAAqB,EAAE;IAClI,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;IACpD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,YAAY,CAAC;IACjD,MAAM,MAAM,GAAiC,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC;IAC1F,MAAM,MAAM,GAAG,YAAY,CAAC,mBAAmB,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IAE3E,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;IACrC,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;IAC3B,MAAM,MAAM,GAAG,QAAQ,EAAE,CAAC;IAC1B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAoC,CAAC;IACzD,MAAM,MAAM,GAAG,CAAC,IAAY,EAA4B,EAAE;QACzD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,KAAK,CAAC;QACd,CAAC;QACD,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;QAC/C,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACrB,OAAO,IAAI,CAAC;IACb,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,IAAI,GAAG,EAA8B,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5D,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5B,CAAC;IACF,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAEnC,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CACpC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAC3B,MAAM,CAAC,KAAK,CAAC;QACZ,SAAS,EAAE,CAAC,KAAK,EAA4C,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;QACnG,SAAS,EAAE,CAAC,KAAK,EAA4C,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;KACrF,CAAC,CACF,CACD,CAAC;IAEF,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE,CACnD,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE;QACvC,MAAM,EAAE,GAAG,EAAE,CAAC,UAAU;QACxB,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC;KAC5E,CAAC,CACF,CAAC;IAEF,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAErH,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,IAAY,EAAiC,EAAE;QAC9E,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,IAAI,CAAC,IAAI,CAAC,GAAuB,EAAE,CAAC,SAAS,CAAC,CAAC;QACvD,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE;YACrC,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;YAC3B,OAAO,MAAM,CAAC,GAAG,CAAC,OAAO,CAAI,KAAK,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBACzD,KAAK;gBACL,OAAO;aACP,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,EAAsB,EAAE;YAChD,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC7B,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;YAC3B,OAAO,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QACvI,CAAC,CAAC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,IAAY,EAAE,EAAE,CAC1C,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,EAAsB,EAAE;QACzC,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;YAClE,OAAO,SAAS,CAAC;QAClB,CAAC;QACD,OAAO,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IACjG,CAAC,CAAC,CACF,CAAC;IAEF,MAAM,KAAK,GACV,CAAC,SAAqB,EAAE,EAAE,CAC1B,CAAC,KAAuB,EAAuB,EAAE,CAChD,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QAChB,IAAI,KAAK,YAAY,YAAY,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACjI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QACxC,CAAC;IACF,CAAC,CAAC,CAAC;IAEL,MAAM,SAAS,GAAuB;QACrC,IAAI,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;KACzE,CAAC;IAEF,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,EAAQ,CAAC,GAAG,EAAE,CACtC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACnB,MAAM,CAAC,OAAO,EAAE,CAAC;QACjB,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC;QACpC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3H,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,IAAI,CACvD,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,EACjC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAChD,CAAC;IACH,CAAC,CAAC,CACF,CAAC;IAEF,OAAO;QACN,IAAI,EAAE,MAAM,CAAC,KAAK;QAClB,MAAM,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YACvB,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACxB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QACD,OAAO,EAAE,CAAoB,IAAO,EAAE,EAAE,CAAC,SAAS,CAAgB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpF,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,KAAK;QACL,KAAK,EAAE,CAAoB,IAAO,EAAE,EAAE,CAAC,OAAO,CAAgB,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3E,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,MAAM;QACN,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC;QACnD,MAAM;KACN,CAAC;AACH,CAAC,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,6 @@
+export { make } from "./form.ts";
+export type { FieldMessages } from "./messages.ts";
+export { emptyAsNull } from "./optional.ts";
+export type { Checks, Config, Decoded, Encoded, Fields, Form, Name, Services, Submitter, } from "./shape.ts";
+export { FieldFailure, Invalid } from "./shape.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,YAAY,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,YAAY,EACX,MAAM,EACN,MAAM,EACN,OAAO,EACP,OAAO,EACP,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,QAAQ,EACR,SAAS,GACT,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC"}

package/dist/index.js

@@ -0,0 +1,4 @@
+export { make } from "./form.js";
+export { emptyAsNull } from "./optional.js";
+export { FieldFailure, Invalid } from "./shape.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAY5C,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC"}

package/dist/messages.d.ts

@@ -0,0 +1,8 @@
+import { SchemaAST, SchemaIssue } from "effect";
+export type FieldMessages = Readonly<Record<string, string>>;
+export declare const noMessages: FieldMessages;
+export declare const messagesByField: (issue: SchemaIssue.Issue) => FieldMessages;
+export declare const withoutField: (messages: FieldMessages, name: string) => FieldMessages;
+export declare const literalChoices: (input: SchemaAST.AST) => readonly SchemaAST.LiteralValue[] | undefined;
+export declare const messageAt: (messages: FieldMessages, name: string) => string | undefined;
+//# sourceMappingURL=messages.d.ts.map

package/dist/messages.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"messages.d.ts","sourceRoot":"","sources":["../src/messages.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,WAAW,EAAuB,MAAM,QAAQ,CAAC;AAErE,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAE7D,eAAO,MAAM,UAAU,EAAE,aAAkB,CAAC;AAyB5C,eAAO,MAAM,eAAe,GAAI,OAAO,WAAW,CAAC,KAAK,KAAG,aAa1D,CAAC;AAEF,eAAO,MAAM,YAAY,GAAI,UAAU,aAAa,EAAE,MAAM,MAAM,KAAG,aAWpE,CAAC;AAEF,eAAO,MAAM,cAAc,GAAI,OAAO,SAAS,CAAC,GAAG,KAAG,SAAS,SAAS,CAAC,YAAY,EAAE,GAAG,SAazF,CAAC;AAEF,eAAO,MAAM,SAAS,GAAI,UAAU,aAAa,EAAE,MAAM,MAAM,KAAG,MAAM,GAAG,SAAyE,CAAC"}

package/dist/messages.js

@@ -0,0 +1,60 @@
+import { SchemaAST, SchemaIssue } from "effect";
+export const noMessages = {};
+const REQUIRED = "Required";
+const MINIMUM_LENGTH = "effect/schema/isMinLength";
+const refusesEmpty = (check) => {
+    const representation = check.annotations?.representation;
+    if (representation === undefined || representation.id !== MINIMUM_LENGTH) {
+        return false;
+    }
+    const payload = representation.payload;
+    if (typeof payload !== "object" || payload === null || !("minLength" in payload)) {
+        return false;
+    }
+    return payload.minLength === 1;
+};
+const checkHook = (issue) => SchemaIssue.defaultCheckHook(issue) ?? (refusesEmpty(issue.filter) ? REQUIRED : undefined);
+const formatIssue = SchemaIssue.makeFormatterStandardSchemaV1({ checkHook });
+const segmentKey = (segment) => typeof segment === "object" ? String(segment.key) : String(segment);
+export const messagesByField = (issue) => {
+    const messages = Object.create(null);
+    for (const entry of formatIssue(issue).issues) {
+        const head = entry.path?.[0];
+        if (head === undefined) {
+            continue;
+        }
+        const name = segmentKey(head);
+        if (!Object.hasOwn(messages, name)) {
+            messages[name] = entry.message;
+        }
+    }
+    return messages;
+};
+export const withoutField = (messages, name) => {
+    if (!Object.hasOwn(messages, name)) {
+        return messages;
+    }
+    const next = Object.create(null);
+    for (const [key, message] of Object.entries(messages)) {
+        if (key !== name) {
+            next[key] = message;
+        }
+    }
+    return next;
+};
+export const literalChoices = (input) => {
+    const ast = SchemaAST.toEncoded(input);
+    if (ast._tag !== "Union") {
+        return undefined;
+    }
+    const choices = [];
+    for (const member of ast.types) {
+        if (member._tag !== "Literal") {
+            return undefined;
+        }
+        choices.push(member.literal);
+    }
+    return choices;
+};
+export const messageAt = (messages, name) => (Object.hasOwn(messages, name) ? messages[name] : undefined);
+//# sourceMappingURL=messages.js.map

package/dist/messages.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"messages.js","sourceRoot":"","sources":["../src/messages.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,WAAW,EAAuB,MAAM,QAAQ,CAAC;AAIrE,MAAM,CAAC,MAAM,UAAU,GAAkB,EAAE,CAAC;AAE5C,MAAM,QAAQ,GAAG,UAAU,CAAC;AAE5B,MAAM,cAAc,GAAG,2BAA2B,CAAC;AAEnD,MAAM,YAAY,GAAG,CAAC,KAAgC,EAAW,EAAE;IAClE,MAAM,cAAc,GAAG,KAAK,CAAC,WAAW,EAAE,cAAc,CAAC;IACzD,IAAI,cAAc,KAAK,SAAS,IAAI,cAAc,CAAC,EAAE,KAAK,cAAc,EAAE,CAAC;QAC1E,OAAO,KAAK,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC;IACvC,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,CAAC,WAAW,IAAI,OAAO,CAAC,EAAE,CAAC;QAClF,OAAO,KAAK,CAAC;IACd,CAAC;IACD,OAAO,OAAO,CAAC,SAAS,KAAK,CAAC,CAAC;AAChC,CAAC,CAAC;AAEF,MAAM,SAAS,GAA0B,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AAE/I,MAAM,WAAW,GAAG,WAAW,CAAC,6BAA6B,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC;AAE7E,MAAM,UAAU,GAAG,CAAC,OAAkE,EAAU,EAAE,CACjG,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAErE,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAAwB,EAAiB,EAAE;IAC1E,MAAM,QAAQ,GAA2B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7D,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACxB,SAAS;QACV,CAAC;QACD,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;YACpC,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;QAChC,CAAC;IACF,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,QAAuB,EAAE,IAAY,EAAiB,EAAE;IACpF,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,QAAQ,CAAC;IACjB,CAAC;IACD,MAAM,IAAI,GAA2B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACzD,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvD,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YAClB,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC;QACrB,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAoB,EAAiD,EAAE;IACrG,MAAM,GAAG,GAAG,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,MAAM,OAAO,GAA6B,EAAE,CAAC;IAC7C,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC/B,OAAO,SAAS,CAAC;QAClB,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,OAAO,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,QAAuB,EAAE,IAAY,EAAsB,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC"}

package/dist/optional.d.ts

@@ -0,0 +1,3 @@
+import { Schema } from "effect";
+export declare const emptyAsNull: <S extends Schema.Constraint & Schema.Top>(inner: S) => Schema.Codec<S["Type"] | null, S["Encoded"] | "", S["DecodingServices"], S["EncodingServices"]>;
+//# sourceMappingURL=optional.d.ts.map

package/dist/optional.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"optional.d.ts","sourceRoot":"","sources":["../src/optional.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAgB,MAAM,QAAQ,CAAC;AAE9C,eAAO,MAAM,WAAW,GAAI,CAAC,SAAS,MAAM,CAAC,UAAU,GAAG,MAAM,CAAC,GAAG,EACnE,OAAO,CAAC,KACN,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,kBAAkB,CAAC,CAM/F,CAAC"}

package/dist/optional.js

@@ -0,0 +1,6 @@
+import { Schema, SchemaGetter } from "effect";
+export const emptyAsNull = (inner) => Schema.Union([Schema.Literal(""), inner]).pipe(Schema.decodeTo(Schema.NullOr(Schema.toType(inner)), {
+    decode: SchemaGetter.transform((value) => (value === "" ? null : value)),
+    encode: SchemaGetter.transform((value) => (value === null ? "" : value)),
+}));
+//# sourceMappingURL=optional.js.map

package/dist/optional.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"optional.js","sourceRoot":"","sources":["../src/optional.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,QAAQ,CAAC;AAE9C,MAAM,CAAC,MAAM,WAAW,GAAG,CAC1B,KAAQ,EAC0F,EAAE,CACpG,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAC7C,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE;IACpD,MAAM,EAAE,YAAY,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACxE,MAAM,EAAE,YAAY,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;CACxE,CAAC,CACF,CAAC"}

package/dist/react.d.ts

@@ -0,0 +1,19 @@
+import type * as AsyncResult from "effect/unstable/reactivity/AsyncResult";
+import type { Encoded, FieldFailure, Fields, Form, Invalid, Name } from "./shape.ts";
+export interface Field<F extends Fields, K extends Name<F>> {
+    readonly choices: readonly Encoded<F>[K][] | undefined;
+    readonly error: string | undefined;
+    readonly name: K;
+    readonly onBlur: () => void;
+    readonly onChange: (value: Encoded<F>[K]) => void;
+    readonly value: Encoded<F>[K];
+}
+export declare const useField: <F extends Fields, A, E, ER, K extends Name<F>>(form: Form<F, A, E, ER>, name: K) => Field<F, K>;
+export interface Submit<A, E> {
+    readonly result: AsyncResult.AsyncResult<A, E>;
+    readonly run: () => void;
+    readonly submitting: boolean;
+}
+export declare const useSubmit: <F extends Fields, A, E, ER>(form: Form<F, A, E, ER>) => Submit<A, E | ER | FieldFailure | Invalid>;
+export declare const useDirty: <F extends Fields, A, E, ER>(form: Form<F, A, E, ER>) => boolean;
+//# sourceMappingURL=react.d.ts.map

package/dist/react.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"react.d.ts","sourceRoot":"","sources":["../src/react.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,KAAK,WAAW,MAAM,wCAAwC,CAAC;AAE3E,OAAO,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAErF,MAAM,WAAW,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC;IACzD,QAAQ,CAAC,OAAO,EAAE,SAAS,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC;IACvD,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;IAClD,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC9B;AAED,eAAO,MAAM,QAAQ,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,KAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAOpH,CAAC;AAEF,MAAM,WAAW,MAAM,CAAC,CAAC,EAAE,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/C,QAAQ,CAAC,GAAG,EAAE,MAAM,IAAI,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC7B;AAED,eAAO,MAAM,SAAS,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,YAAY,GAAG,OAAO,CAKxH,CAAC;AAEF,eAAO,MAAM,QAAQ,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAG,OAAmC,CAAC"}

package/dist/react.js

@@ -0,0 +1,18 @@
+import { useAtomRef, useAtomSet, useAtomValue } from "@effect/atom-react";
+import { useCallback, useMemo } from "react";
+export const useField = (form, name) => {
+    const value = useAtomRef(form.field(name));
+    const error = useAtomValue(form.error(name));
+    const onChange = useCallback((next) => form.change(name, next), [form, name]);
+    const onBlur = useCallback(() => form.blur(name), [form, name]);
+    const choices = useMemo(() => form.choices(name), [form, name]);
+    return { choices, error, name, onBlur, onChange, value };
+};
+export const useSubmit = (form) => {
+    const result = useAtomValue(form.submit);
+    const set = useAtomSet(form.submit);
+    const run = useCallback(() => set(), [set]);
+    return { result, run, submitting: result.waiting };
+};
+export const useDirty = (form) => useAtomValue(form.dirty);
+//# sourceMappingURL=react.js.map

package/dist/react.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"react.js","sourceRoot":"","sources":["../src/react.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAE1E,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,OAAO,CAAC;AAY7C,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAgD,IAAuB,EAAE,IAAO,EAAe,EAAE;IACxH,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,IAAmB,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAC7F,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAChE,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAChE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AAC1D,CAAC,CAAC;AAQF,MAAM,CAAC,MAAM,SAAS,GAAG,CAA6B,IAAuB,EAA8C,EAAE;IAC5H,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACpC,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;AACpD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAA6B,IAAuB,EAAW,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC"}

package/dist/refs.d.ts

@@ -0,0 +1,5 @@
+import * as Atom from "effect/unstable/reactivity/Atom";
+import * as AtomRef from "effect/unstable/reactivity/AtomRef";
+export declare const fromRef: <A>(ref: AtomRef.ReadonlyRef<A>) => Atom.Atom<A>;
+export declare const propertyRef: <A, K extends keyof A>(parent: AtomRef.AtomRef<A>, name: K) => AtomRef.AtomRef<A[K]>;
+//# sourceMappingURL=refs.d.ts.map

package/dist/refs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"refs.d.ts","sourceRoot":"","sources":["../src/refs.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,IAAI,MAAM,iCAAiC,CAAC;AACxD,OAAO,KAAK,OAAO,MAAM,oCAAoC,CAAC;AAE9D,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,KAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAIjE,CAAC;AAGJ,eAAO,MAAM,WAAW,GAAI,CAAC,EAAE,CAAC,SAAS,MAAM,CAAC,EAAE,QAAQ,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,KAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAqB3G,CAAC"}

package/dist/refs.js

@@ -0,0 +1,31 @@
+import { Equal, Hash } from "effect";
+import * as Atom from "effect/unstable/reactivity/Atom";
+import * as AtomRef from "effect/unstable/reactivity/AtomRef";
+export const fromRef = (ref) => Atom.readable((get) => {
+    get.addFinalizer(ref.subscribe((value) => get.setSelf(value)));
+    return ref.value;
+});
+// Native prop refs retain removed keys; form fields must observe their absence.
+export const propertyRef = (parent, name) => {
+    const read = parent.map((value) => value[name]);
+    const write = parent.prop(name);
+    const ref = {
+        [AtomRef.TypeId]: AtomRef.TypeId,
+        [Equal.symbol]: (other) => Equal.equals(read, other),
+        [Hash.symbol]: () => Hash.hash(read),
+        key: read.key,
+        get value() {
+            return read.value;
+        },
+        subscribe: (listener) => read.subscribe(listener),
+        map: (transform) => read.map(transform),
+        prop: (key) => propertyRef(ref, key),
+        set: (value) => {
+            write.set(value);
+            return ref;
+        },
+        update: (transform) => ref.set(transform(read.value)),
+    };
+    return ref;
+};
+//# sourceMappingURL=refs.js.map

package/dist/refs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"refs.js","sourceRoot":"","sources":["../src/refs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACrC,OAAO,KAAK,IAAI,MAAM,iCAAiC,CAAC;AACxD,OAAO,KAAK,OAAO,MAAM,oCAAoC,CAAC;AAE9D,MAAM,CAAC,MAAM,OAAO,GAAG,CAAI,GAA2B,EAAgB,EAAE,CACvE,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE;IACrB,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC/D,OAAO,GAAG,CAAC,KAAK,CAAC;AAClB,CAAC,CAAC,CAAC;AAEJ,gFAAgF;AAChF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAuB,MAA0B,EAAE,IAAO,EAAyB,EAAE;IAC/G,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,GAAG,GAA0B;QAClC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,MAAM;QAChC,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC;QACpD,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACpC,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,IAAI,KAAK;YACR,OAAO,IAAI,CAAC,KAAK,CAAC;QACnB,CAAC;QACD,SAAS,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC;QACjD,GAAG,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;QACvC,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC;QACpC,GAAG,EAAE,CAAC,KAAK,EAAE,EAAE;YACd,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACjB,OAAO,GAAG,CAAC;QACZ,CAAC;QACD,MAAM,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;KACrD,CAAC;IACF,OAAO,GAAG,CAAC;AACZ,CAAC,CAAC"}

package/dist/shape.d.ts

@@ -0,0 +1,59 @@
+import { type Duration, type Effect, type Schema, type Scope } from "effect";
+import type * as Atom from "effect/unstable/reactivity/Atom";
+import type * as AtomRef from "effect/unstable/reactivity/AtomRef";
+import type { AtomRegistry } from "effect/unstable/reactivity/AtomRegistry";
+import type { Reactivity } from "effect/unstable/reactivity/Reactivity";
+import type { FieldMessages } from "./messages.ts";
+export type Fields = Schema.Struct.Fields;
+export type Encoded<F extends Fields> = Schema.Struct.Encoded<F>;
+export type Decoded<F extends Fields> = Schema.Struct.Type<F>;
+export type Name<F extends Fields> = keyof Encoded<F> & string;
+export type Services<F extends Fields, R> = R | Schema.Struct.DecodingServices<F>;
+declare const FieldFailure_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: "FieldFailure";
+} & Readonly<A>;
+export declare class FieldFailure extends FieldFailure_base<{
+    readonly message: string;
+    readonly path: string;
+}> {
+}
+declare const Invalid_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: "Invalid";
+} & Readonly<A>;
+export declare class Invalid extends Invalid_base<{
+    readonly messages: FieldMessages;
+}> {
+}
+export interface Submitter<N extends string> {
+    readonly fail: (path: N, message: string) => Effect.Effect<never, FieldFailure>;
+}
+export type Checks<F extends Fields, R> = {
+    readonly [K in Name<F>]?: (value: Encoded<F>[K]) => Effect.Effect<string | undefined, never, R>;
+};
+export interface Config<F extends Fields, A, E, R, ER> {
+    readonly checks?: Checks<F, R>;
+    readonly debounce?: Duration.Input;
+    readonly initialValues: Encoded<F>;
+    readonly onSubmit: (values: Decoded<F>, submitter: Submitter<Name<F>>, submitted: Encoded<F>) => Effect.Effect<A, E, R | Scope.Scope | AtomRegistry | Reactivity>;
+    readonly runtime: Atom.AtomRuntime<Services<F, R>, ER>;
+}
+export interface Form<F extends Fields, A, E, ER> {
+    readonly blur: (name: Name<F>) => void;
+    readonly change: <K extends Name<F>>(name: K, value: Encoded<F>[K]) => void;
+    readonly choices: <K extends Name<F>>(name: K) => readonly Encoded<F>[K][] | undefined;
+    readonly dirty: Atom.Atom<boolean>;
+    readonly error: (name: Name<F>) => Atom.Atom<string | undefined>;
+    readonly field: <K extends Name<F>>(name: K) => AtomRef.AtomRef<Encoded<F>[K]>;
+    readonly receive: (values: Encoded<F>) => void;
+    readonly revert: () => void;
+    readonly submit: Atom.AtomResultFn<void, A, E | ER | FieldFailure | Invalid>;
+    readonly submitting: Atom.Atom<boolean>;
+    readonly values: AtomRef.AtomRef<Encoded<F>>;
+}
+export type Holder = AtomRef.AtomRef<Readonly<Record<string, unknown>>>;
+export declare function holder(values: object): Holder;
+export declare function fieldOf<Value>(ref: AtomRef.AtomRef<unknown>): AtomRef.AtomRef<Value>;
+export declare function choicesOf<Value>(choices: readonly unknown[] | undefined): readonly Value[] | undefined;
+export declare function checkOf<R>(check: unknown): (value: unknown) => Effect.Effect<string | undefined, never, R>;
+export {};
+//# sourceMappingURL=shape.d.ts.map

package/dist/shape.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shape.d.ts","sourceRoot":"","sources":["../src/shape.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,KAAK,QAAQ,EAAE,KAAK,MAAM,EAAE,KAAK,MAAM,EAAE,KAAK,KAAK,EAAE,MAAM,QAAQ,CAAC;AACnF,OAAO,KAAK,KAAK,IAAI,MAAM,iCAAiC,CAAC;AAC7D,OAAO,KAAK,KAAK,OAAO,MAAM,oCAAoC,CAAC;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yCAAyC,CAAC;AAC5E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uCAAuC,CAAC;AACxE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAEnD,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;AAE1C,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAEjE,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAE9D,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,MAAM,IAAI,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC;AAE/D,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;;;;AAElF,qBAAa,YAAa,SAAQ,kBAAiC;IAClE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACtB,CAAC;CAAG;;;;AAEL,qBAAa,OAAQ,SAAQ,aAA4B;IACxD,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;CACjC,CAAC;CAAG;AAEL,MAAM,WAAW,SAAS,CAAC,CAAC,SAAS,MAAM;IAC1C,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;CAChF;AAED,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI;IACzC,QAAQ,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;CAC/F,CAAC;AAEF,MAAM,WAAW,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;IACpD,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/B,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC;IACnC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,CAClB,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAClB,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAC7B,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,KACjB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,GAAG,YAAY,GAAG,UAAU,CAAC,CAAC;IACtE,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;CACvD;AAED,MAAM,WAAW,IAAI,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;IAC/C,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;IAC5E,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,SAAS,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC;IACvF,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;IACjE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;IAC/C,QAAQ,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,YAAY,GAAG,OAAO,CAAC,CAAC;IAC7E,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;CAC7C;AAED,MAAM,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;AAExE,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;AAK/C,wBAAgB,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAKtF,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,OAAO,EAAE,GAAG,SAAS,GAAG,SAAS,KAAK,EAAE,GAAG,SAAS,CAAC;AAKxG,wBAAgB,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC"}

package/dist/shape.js

@@ -0,0 +1,18 @@
+import { Data } from "effect";
+export class FieldFailure extends Data.TaggedError("FieldFailure") {
+}
+export class Invalid extends Data.TaggedError("Invalid") {
+}
+export function holder(values) {
+    return values;
+}
+export function fieldOf(ref) {
+    return ref;
+}
+export function choicesOf(choices) {
+    return choices;
+}
+export function checkOf(check) {
+    return check;
+}
+//# sourceMappingURL=shape.js.map