@lucas-barake/effect-form 0.1.0

package/dist/dts/Form.d.ts

@@ -0,0 +1,317 @@
+/**
+ * @since 1.0.0
+ */
+import type * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+/**
+ * Unique identifier for FormBuilder instances.
+ *
+ * @since 1.0.0
+ * @category Symbols
+ */
+export declare const TypeId: unique symbol;
+/**
+ * @since 1.0.0
+ * @category Symbols
+ */
+export type TypeId = typeof TypeId;
+/**
+ * A field reference carrying type and path info for type-safe setValue operations.
+ *
+ * @since 1.0.0
+ * @category Models
+ */
+export interface Field<S> {
+    readonly [FieldTypeId]: FieldTypeId;
+    readonly _S: S;
+    readonly key: string;
+}
+/**
+ * A scalar field definition containing the key and schema.
+ *
+ * @since 1.0.0
+ * @category Models
+ */
+export interface FieldDef<K extends string, S extends Schema.Schema.Any> {
+    readonly _tag: "field";
+    readonly key: K;
+    readonly schema: S;
+}
+/**
+ * An array field definition containing a schema for items.
+ *
+ * @since 1.0.0
+ * @category Models
+ */
+export interface ArrayFieldDef<K extends string, S extends Schema.Schema.Any> {
+    readonly _tag: "array";
+    readonly key: K;
+    readonly itemSchema: S;
+}
+/**
+ * Union of all field definition types.
+ *
+ * @since 1.0.0
+ * @category Models
+ */
+export type AnyFieldDef = FieldDef<string, Schema.Schema.Any> | ArrayFieldDef<string, Schema.Schema.Any>;
+/**
+ * Creates a scalar field definition.
+ *
+ * @example
+ * ```ts
+ * const NameField = Form.makeField("name", Schema.String)
+ * const form = Form.empty.addField(NameField)
+ * ```
+ *
+ * @since 1.0.0
+ * @category Constructors
+ */
+export declare const makeField: <K extends string, S extends Schema.Schema.Any>(key: K, schema: S) => FieldDef<K, S>;
+/**
+ * Creates an array field definition.
+ *
+ * @example
+ * ```ts
+ * // Array of primitives
+ * const TagsField = Form.makeArrayField("tags", Schema.String)
+ *
+ * // Array of objects
+ * const ItemsField = Form.makeArrayField("items", Schema.Struct({
+ *   name: Schema.String,
+ *   quantity: Schema.Number
+ * }))
+ * ```
+ *
+ * @since 1.0.0
+ * @category Constructors
+ */
+export declare const makeArrayField: <K extends string, S extends Schema.Schema.Any>(key: K, itemSchema: S) => ArrayFieldDef<K, S>;
+/**
+ * A record of field definitions.
+ *
+ * @since 1.0.0
+ * @category Models
+ */
+export type FieldsRecord = Record<string, AnyFieldDef>;
+/**
+ * Extracts the encoded (input) type from a fields record.
+ *
+ * @since 1.0.0
+ * @category Type Helpers
+ */
+export type EncodedFromFields<T extends FieldsRecord> = {
+    readonly [K in keyof T]: T[K] extends FieldDef<any, infer S> ? Schema.Schema.Encoded<S> : T[K] extends ArrayFieldDef<any, infer S> ? ReadonlyArray<Schema.Schema.Encoded<S>> : never;
+};
+/**
+ * Extracts the decoded (output) type from a fields record.
+ *
+ * @since 1.0.0
+ * @category Type Helpers
+ */
+export type DecodedFromFields<T extends FieldsRecord> = {
+    readonly [K in keyof T]: T[K] extends FieldDef<any, infer S> ? Schema.Schema.Type<S> : T[K] extends ArrayFieldDef<any, infer S> ? ReadonlyArray<Schema.Schema.Type<S>> : never;
+};
+/**
+ * The state of a form at runtime.
+ *
+ * @since 1.0.0
+ * @category Models
+ */
+export interface FormState<TFields extends FieldsRecord> {
+    readonly values: EncodedFromFields<TFields>;
+    readonly initialValues: EncodedFromFields<TFields>;
+    readonly touched: {
+        readonly [K in keyof TFields]: boolean;
+    };
+    readonly submitCount: number;
+    readonly dirtyFields: ReadonlySet<string>;
+}
+interface SyncRefinement {
+    readonly _tag: "sync";
+    readonly fn: (values: unknown) => Schema.FilterOutput;
+}
+interface AsyncRefinement {
+    readonly _tag: "async";
+    readonly fn: (values: unknown) => Effect.Effect<Schema.FilterOutput, never, unknown>;
+}
+type Refinement = SyncRefinement | AsyncRefinement;
+/**
+ * A builder for constructing type-safe forms with Effect Schema validation.
+ *
+ * **Details**
+ *
+ * FormBuilder uses a fluent API pattern to define form fields. Each field
+ * includes a Schema for validation. The builder accumulates field definitions
+ * and context requirements (`R`) from schemas that use Effect services.
+ *
+ * @since 1.0.0
+ * @category Models
+ */
+export interface FormBuilder<TFields extends FieldsRecord, R> {
+    readonly [TypeId]: TypeId;
+    readonly fields: TFields;
+    readonly refinements: ReadonlyArray<Refinement>;
+    readonly _R?: R;
+    /**
+     * Adds a scalar field to the form builder.
+     *
+     * @example
+     * ```ts
+     * const NameField = Form.makeField("name", Schema.String)
+     * const form = Form.empty.addField(NameField)
+     * ```
+     */
+    addField<K extends string, S extends Schema.Schema.Any>(this: FormBuilder<TFields, R>, field: FieldDef<K, S>): FormBuilder<TFields & {
+        readonly [key in K]: FieldDef<K, S>;
+    }, R | Schema.Schema.Context<S>>;
+    /**
+     * Adds an array field to the form builder.
+     *
+     * @example
+     * ```ts
+     * const ItemsField = Form.makeArrayField("items", Schema.Struct({ name: Schema.String }))
+     * const form = Form.empty.addField(ItemsField)
+     * ```
+     */
+    addField<K extends string, S extends Schema.Schema.Any>(this: FormBuilder<TFields, R>, field: ArrayFieldDef<K, S>): FormBuilder<TFields & {
+        readonly [key in K]: ArrayFieldDef<K, S>;
+    }, R | Schema.Schema.Context<S>>;
+    /**
+     * Merges another FormBuilder's fields into this one.
+     * Useful for composing reusable field groups.
+     *
+     * @example
+     * ```ts
+     * const addressFields = Form.empty
+     *   .addField("street", Schema.String)
+     *   .addField("city", Schema.String)
+     *
+     * const userForm = Form.empty
+     *   .addField("name", Schema.String)
+     *   .merge(addressFields)
+     * ```
+     */
+    merge<TFields2 extends FieldsRecord, R2>(this: FormBuilder<TFields, R>, other: FormBuilder<TFields2, R2>): FormBuilder<TFields & TFields2, R | R2>;
+    /**
+     * Adds a synchronous cross-field validation refinement to the form.
+     *
+     * @example
+     * ```ts
+     * const form = Form.empty
+     *   .addField("password", Schema.String)
+     *   .addField("confirmPassword", Schema.String)
+     *   .refine((values) => {
+     *     if (values.password !== values.confirmPassword) {
+     *       return { path: ["confirmPassword"], message: "Passwords must match" }
+     *     }
+     *   })
+     * ```
+     */
+    refine(this: FormBuilder<TFields, R>, predicate: (values: DecodedFromFields<TFields>) => Schema.FilterOutput): FormBuilder<TFields, R>;
+    /**
+     * Adds an asynchronous cross-field validation refinement to the form.
+     *
+     * @example
+     * ```ts
+     * const form = Form.empty
+     *   .addField("username", Schema.String)
+     *   .refineEffect((values) =>
+     *     Effect.gen(function* () {
+     *       const taken = yield* checkUsername(values.username)
+     *       if (taken) return { path: ["username"], message: "Already taken" }
+     *     })
+     *   )
+     * ```
+     */
+    refineEffect<RD>(this: FormBuilder<TFields, R>, predicate: (values: DecodedFromFields<TFields>) => Effect.Effect<Schema.FilterOutput, never, RD>): FormBuilder<TFields, R | RD>;
+}
+/**
+ * Checks if a value is a `FormBuilder`.
+ *
+ * @example
+ * ```ts
+ * import * as Form from "@lucas-barake/effect-form"
+ *
+ * const builder = Form.empty
+ *
+ * console.log(Form.isFormBuilder(builder))
+ * // Output: true
+ *
+ * console.log(Form.isFormBuilder({}))
+ * // Output: false
+ * ```
+ *
+ * @since 1.0.0
+ * @category Guards
+ */
+export declare const isFormBuilder: (u: unknown) => u is FormBuilder<any, any>;
+/**
+ * Checks if a field definition is an array field.
+ *
+ * @since 1.0.0
+ * @category Guards
+ */
+export declare const isArrayFieldDef: (def: AnyFieldDef) => def is ArrayFieldDef<string, any>;
+/**
+ * Checks if a field definition is a simple field.
+ *
+ * @since 1.0.0
+ * @category Guards
+ */
+export declare const isFieldDef: (def: AnyFieldDef) => def is FieldDef<string, Schema.Schema.Any>;
+/**
+ * Gets a default encoded value from a schema.
+ *
+ * @since 1.0.0
+ * @category Helpers
+ */
+export declare const getDefaultFromSchema: (schema: Schema.Schema.Any) => unknown;
+/**
+ * An empty `FormBuilder` to start building a form.
+ *
+ * **Details**
+ *
+ * This is the entry point for building a form. Use method chaining to add
+ * fields and then build the form with a React adapter.
+ *
+ * @example
+ * ```ts
+ * import * as Form from "@lucas-barake/effect-form"
+ * import * as Schema from "effect/Schema"
+ *
+ * const EmailField = Form.makeField("email", Schema.String)
+ * const PasswordField = Form.makeField("password", Schema.String)
+ *
+ * const loginForm = Form.empty
+ *   .addField(EmailField)
+ *   .addField(PasswordField)
+ * ```
+ *
+ * @since 1.0.0
+ * @category Constructors
+ */
+export declare const empty: FormBuilder<{}, never>;
+/**
+ * Builds a combined Schema from a FormBuilder's field definitions.
+ *
+ * @since 1.0.0
+ * @category Schema
+ */
+export declare const buildSchema: <TFields extends FieldsRecord, R>(self: FormBuilder<TFields, R>) => Schema.Schema<DecodedFromFields<TFields>, EncodedFromFields<TFields>, R>;
+/**
+ * Gets default encoded values for a fields record.
+ *
+ * @since 1.0.0
+ * @category Helpers
+ */
+export declare const getDefaultEncodedValues: (fields: FieldsRecord) => Record<string, unknown>;
+/**
+ * Creates a touched record with all fields set to the given value.
+ *
+ * @since 1.0.0
+ * @category Helpers
+ */
+export declare const createTouchedRecord: (fields: FieldsRecord, value: boolean) => Record<string, boolean>;
+export {};
+//# sourceMappingURL=Form.d.ts.map

package/dist/dts/Form.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Form.d.ts","sourceRoot":"","sources":["../../src/Form.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAE5C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC;;;;;GAKG;AACH,eAAO,MAAM,MAAM,EAAE,OAAO,MAAqD,CAAA;AAEjF;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAA;AAkBlC;;;;;GAKG;AACH,MAAM,WAAW,KAAK,CAAC,CAAC;IACtB,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,WAAW,CAAA;IACnC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAA;IACd,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CACrB;AAeD;;;;;GAKG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG;IACrE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAA;IACf,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;CACnB;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG;IAC1E,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAA;IACf,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAA;CACvB;AAED;;;;;GAKG;AACH,MAAM,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;AAExG;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EACrE,KAAK,CAAC,EACN,QAAQ,CAAC,KACR,QAAQ,CAAC,CAAC,EAAE,CAAC,CAId,CAAA;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,cAAc,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAC1E,KAAK,CAAC,EACN,YAAY,CAAC,KACZ,aAAa,CAAC,CAAC,EAAE,CAAC,CAInB,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;AAEtD;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,YAAY,IAAI;IACtD,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,GACnF,CAAC,CAAC,CAAC,CAAC,SAAS,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAClF,KAAK;CACV,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,YAAY,IAAI;IACtD,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAChF,CAAC,CAAC,CAAC,CAAC,SAAS,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAC/E,KAAK;CACV,CAAA;AAED;;;;;GAKG;AACH,MAAM,WAAW,SAAS,CAAC,OAAO,SAAS,YAAY;IACrD,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC,OAAO,CAAC,CAAA;IAC3C,QAAQ,CAAC,aAAa,EAAE,iBAAiB,CAAC,OAAO,CAAC,CAAA;IAClD,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,OAAO,GAAG,OAAO;KAAE,CAAA;IAC5D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAC1C;AAED,UAAU,cAAc;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,MAAM,CAAC,YAAY,CAAA;CACtD;AAED,UAAU,eAAe;IACvB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;CACrF;AAED,KAAK,UAAU,GAAG,cAAc,GAAG,eAAe,CAAA;AAElD;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,WAAW,CAAC,OAAO,SAAS,YAAY,EAAE,CAAC;IAC1D,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,UAAU,CAAC,CAAA;IAC/C,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;IAEf;;;;;;;;OAQG;IACH,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EACpD,IAAI,EAAE,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,EAC7B,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GACpB,WAAW,CAAC,OAAO,GAAG;QAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;KAAE,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;IAE/F;;;;;;;;OAQG;IACH,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EACpD,IAAI,EAAE,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,EAC7B,KAAK,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,GACzB,WAAW,CAAC,OAAO,GAAG;QAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC;KAAE,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;IAEpG;;;;;;;;;;;;;;OAcG;IACH,KAAK,CAAC,QAAQ,SAAS,YAAY,EAAE,EAAE,EACrC,IAAI,EAAE,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,EAC7B,KAAK,EAAE,WAAW,CAAC,QAAQ,EAAE,EAAE,CAAC,GAC/B,WAAW,CAAC,OAAO,GAAG,QAAQ,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;IAE1C;;;;;;;;;;;;;;OAcG;IACH,MAAM,CACJ,IAAI,EAAE,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,EAC7B,SAAS,EAAE,CAAC,MAAM,EAAE,iBAAiB,CAAC,OAAO,CAAC,KAAK,MAAM,CAAC,YAAY,GACrE,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;IAE1B;;;;;;;;;;;;;;OAcG;IACH,YAAY,CAAC,EAAE,EACb,IAAI,EAAE,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,EAC7B,SAAS,EAAE,CAAC,MAAM,EAAE,iBAAiB,CAAC,OAAO,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,CAAC,GAC/F,WAAW,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;CAChC;AAgDD;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,aAAa,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,WAAW,CAAC,GAAG,EAAE,GAAG,CAAqC,CAAA;AAEzG;;;;;GAKG;AACH,eAAO,MAAM,eAAe,GAAI,KAAK,WAAW,KAAG,GAAG,IAAI,aAAa,CAAC,MAAM,EAAE,GAAG,CAAyB,CAAA;AAE5G;;;;;GAKG;AACH,eAAO,MAAM,UAAU,GAAI,KAAK,WAAW,KAAG,GAAG,IAAI,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAyB,CAAA;AAEhH;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,GAAI,QAAQ,MAAM,CAAC,MAAM,CAAC,GAAG,KAAG,OA0BhE,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,eAAO,MAAM,KAAK,EAAE,WAAW,CAAC,EAAE,EAAE,KAAK,CAKrC,CAAA;AAEJ;;;;;GAKG;AACH,eAAO,MAAM,WAAW,GAAI,OAAO,SAAS,YAAY,EAAE,CAAC,EACzD,MAAM,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,KAC5B,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC,CAyBzE,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAAI,QAAQ,YAAY,KAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAUpF,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,GAAI,QAAQ,YAAY,EAAE,OAAO,OAAO,KAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAMhG,CAAA"}

package/dist/dts/FormAtoms.d.ts

@@ -0,0 +1,145 @@
+/**
+ * Atom infrastructure for form state management.
+ *
+ * This module provides the core atom infrastructure that framework adapters
+ * (React, Vue, Svelte, Solid) can use to build reactive form components.
+ *
+ * @since 1.0.0
+ */
+import * as Atom from "@effect-atom/atom/Atom";
+import type * as Registry from "@effect-atom/atom/Registry";
+import * as Option from "effect/Option";
+import type * as ParseResult from "effect/ParseResult";
+import * as Schema from "effect/Schema";
+import type * as Form from "./Form.js";
+import { type WeakRegistry } from "./internal/weak-registry.js";
+/**
+ * Atoms for a single field.
+ *
+ * @since 1.0.0
+ * @category Models
+ */
+export interface FieldAtoms {
+    readonly valueAtom: Atom.Writable<unknown, unknown>;
+    readonly initialValueAtom: Atom.Atom<unknown>;
+    readonly touchedAtom: Atom.Writable<boolean, boolean>;
+    readonly crossFieldErrorAtom: Atom.Atom<Option.Option<string>>;
+}
+/**
+ * Configuration for creating form atoms.
+ *
+ * @since 1.0.0
+ * @category Models
+ */
+export interface FormAtomsConfig<TFields extends Form.FieldsRecord, R> {
+    readonly runtime: Atom.AtomRuntime<R, any>;
+    readonly formBuilder: Form.FormBuilder<TFields, R>;
+}
+/**
+ * Maps field names to their type-safe Field references for setValue operations.
+ *
+ * @since 1.0.0
+ * @category Models
+ */
+export type FieldRefs<TFields extends Form.FieldsRecord> = {
+    readonly [K in keyof TFields]: TFields[K] extends Form.FieldDef<any, infer S> ? Form.Field<Schema.Schema.Encoded<S>> : TFields[K] extends Form.ArrayFieldDef<any, infer S> ? Form.Field<ReadonlyArray<Schema.Schema.Encoded<S>>> : never;
+};
+/**
+ * The complete form atoms infrastructure.
+ *
+ * @since 1.0.0
+ * @category Models
+ */
+export interface FormAtoms<TFields extends Form.FieldsRecord, R> {
+    readonly stateAtom: Atom.Writable<Option.Option<Form.FormState<TFields>>, Option.Option<Form.FormState<TFields>>>;
+    readonly crossFieldErrorsAtom: Atom.Writable<Map<string, string>, Map<string, string>>;
+    readonly dirtyFieldsAtom: Atom.Atom<ReadonlySet<string>>;
+    readonly isDirtyAtom: Atom.Atom<boolean>;
+    readonly submitCountAtom: Atom.Atom<number>;
+    readonly onSubmitAtom: Atom.Writable<Atom.AtomResultFn<Form.DecodedFromFields<TFields>, unknown, unknown> | null, Atom.AtomResultFn<Form.DecodedFromFields<TFields>, unknown, unknown> | null>;
+    readonly decodeAndSubmit: Atom.AtomResultFn<Form.EncodedFromFields<TFields>, unknown, unknown>;
+    readonly combinedSchema: Schema.Schema<Form.DecodedFromFields<TFields>, Form.EncodedFromFields<TFields>, R>;
+    readonly fieldRefs: FieldRefs<TFields>;
+    readonly validationAtomsRegistry: WeakRegistry<Atom.AtomResultFn<unknown, void, ParseResult.ParseError>>;
+    readonly fieldAtomsRegistry: WeakRegistry<FieldAtoms>;
+    readonly getOrCreateValidationAtom: (fieldPath: string, schema: Schema.Schema.Any) => Atom.AtomResultFn<unknown, void, ParseResult.ParseError>;
+    readonly getOrCreateFieldAtoms: (fieldPath: string) => FieldAtoms;
+    readonly resetValidationAtoms: (registry: Registry.Registry) => void;
+    readonly operations: FormOperations<TFields>;
+}
+/**
+ * Pure state operations for form manipulation.
+ *
+ * @since 1.0.0
+ * @category Models
+ */
+export interface FormOperations<TFields extends Form.FieldsRecord> {
+    /**
+     * Creates the initial form state from default values.
+     */
+    readonly createInitialState: (defaultValues: Form.EncodedFromFields<TFields>) => Form.FormState<TFields>;
+    /**
+     * Creates a reset state (back to initial values).
+     */
+    readonly createResetState: (state: Form.FormState<TFields>) => Form.FormState<TFields>;
+    /**
+     * Creates state with all fields marked as touched and submit count incremented.
+     */
+    readonly createSubmitState: (state: Form.FormState<TFields>) => Form.FormState<TFields>;
+    /**
+     * Updates a single field value in the state.
+     */
+    readonly setFieldValue: (state: Form.FormState<TFields>, fieldPath: string, value: unknown) => Form.FormState<TFields>;
+    /**
+     * Sets all form values, recalculating dirty fields.
+     */
+    readonly setFormValues: (state: Form.FormState<TFields>, values: Form.EncodedFromFields<TFields>) => Form.FormState<TFields>;
+    /**
+     * Sets a field as touched.
+     */
+    readonly setFieldTouched: (state: Form.FormState<TFields>, fieldPath: string, touched: boolean) => Form.FormState<TFields>;
+    /**
+     * Appends an item to an array field.
+     */
+    readonly appendArrayItem: (state: Form.FormState<TFields>, arrayPath: string, itemSchema: Schema.Schema.Any, value?: unknown) => Form.FormState<TFields>;
+    /**
+     * Removes an item from an array field.
+     */
+    readonly removeArrayItem: (state: Form.FormState<TFields>, arrayPath: string, index: number) => Form.FormState<TFields>;
+    /**
+     * Swaps two items in an array field.
+     */
+    readonly swapArrayItems: (state: Form.FormState<TFields>, arrayPath: string, indexA: number, indexB: number) => Form.FormState<TFields>;
+    /**
+     * Moves an item in an array field.
+     */
+    readonly moveArrayItem: (state: Form.FormState<TFields>, arrayPath: string, fromIndex: number, toIndex: number) => Form.FormState<TFields>;
+}
+/**
+ * Creates the complete form atoms infrastructure.
+ *
+ * @example
+ * ```ts
+ * import * as FormAtoms from "@lucas-barake/effect-form/FormAtoms"
+ * import * as Form from "@lucas-barake/effect-form"
+ * import * as Atom from "@effect-atom/atom/Atom"
+ * import * as Layer from "effect/Layer"
+ *
+ * const runtime = Atom.runtime(Layer.empty)
+ *
+ * const loginForm = Form.empty
+ *   .addField(Form.makeField("email", Schema.String))
+ *   .addField(Form.makeField("password", Schema.String))
+ *
+ * const atoms = FormAtoms.make({
+ *   runtime,
+ *   formBuilder: loginForm,
+ *   parsedMode: { validation: "onChange", debounce: 300, autoSubmit: false }
+ * })
+ * ```
+ *
+ * @since 1.0.0
+ * @category Constructors
+ */
+export declare const make: <TFields extends Form.FieldsRecord, R>(config: FormAtomsConfig<TFields, R>) => FormAtoms<TFields, R>;
+//# sourceMappingURL=FormAtoms.d.ts.map

package/dist/dts/FormAtoms.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"FormAtoms.d.ts","sourceRoot":"","sources":["../../src/FormAtoms.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,IAAI,MAAM,wBAAwB,CAAA;AAC9C,OAAO,KAAK,KAAK,QAAQ,MAAM,4BAA4B,CAAA;AAI3D,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,WAAW,MAAM,oBAAoB,CAAA;AACtD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,KAAK,IAAI,MAAM,WAAW,CAAA;AAItC,OAAO,EAAsB,KAAK,YAAY,EAAE,MAAM,6BAA6B,CAAA;AAEnF;;;;;GAKG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;IACnD,QAAQ,CAAC,gBAAgB,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAC7C,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;IACrD,QAAQ,CAAC,mBAAmB,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;CAC/D;AAED;;;;;GAKG;AACH,MAAM,WAAW,eAAe,CAAC,OAAO,SAAS,IAAI,CAAC,YAAY,EAAE,CAAC;IACnE,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IAC1C,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;CACnD;AAED;;;;;GAKG;AACH,MAAM,MAAM,SAAS,CAAC,OAAO,SAAS,IAAI,CAAC,YAAY,IAAI;IACzD,QAAQ,EAAE,CAAC,IAAI,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAChH,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GACzG,KAAK;CACV,CAAA;AAED;;;;;GAKG;AACH,MAAM,WAAW,SAAS,CAAC,OAAO,SAAS,IAAI,CAAC,YAAY,EAAE,CAAC;IAC7D,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IACjH,QAAQ,CAAC,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;IACtF,QAAQ,CAAC,eAAe,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAA;IACxD,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACxC,QAAQ,CAAC,eAAe,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IAC3C,QAAQ,CAAC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAClC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,IAAI,EAC3E,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,IAAI,CAC5E,CAAA;IAED,QAAQ,CAAC,eAAe,EAAE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;IAE9F,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAA;IAE3G,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,OAAO,CAAC,CAAA;IAEtC,QAAQ,CAAC,uBAAuB,EAAE,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,UAAU,CAAC,CAAC,CAAA;IACxG,QAAQ,CAAC,kBAAkB,EAAE,YAAY,CAAC,UAAU,CAAC,CAAA;IAErD,QAAQ,CAAC,yBAAyB,EAAE,CAClC,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,KACtB,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,UAAU,CAAC,CAAA;IAE7D,QAAQ,CAAC,qBAAqB,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,UAAU,CAAA;IAEjE,QAAQ,CAAC,oBAAoB,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,KAAK,IAAI,CAAA;IAEpE,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC,OAAO,CAAC,CAAA;CAC7C;AAED;;;;;GAKG;AACH,MAAM,WAAW,cAAc,CAAC,OAAO,SAAS,IAAI,CAAC,YAAY;IAC/D;;OAEG;IACH,QAAQ,CAAC,kBAAkB,EAAE,CAAC,aAAa,EAAE,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;IAExG;;OAEG;IACH,QAAQ,CAAC,gBAAgB,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;IAEtF;;OAEG;IACH,QAAQ,CAAC,iBAAiB,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;IAEvF;;OAEG;IACH,QAAQ,CAAC,aAAa,EAAE,CACtB,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAC9B,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,OAAO,KACX,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;IAE5B;;OAEG;IACH,QAAQ,CAAC,aAAa,EAAE,CACtB,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAC9B,MAAM,EAAE,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,KACpC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;IAE5B;;OAEG;IACH,QAAQ,CAAC,eAAe,EAAE,CACxB,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAC9B,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,OAAO,KACb,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;IAE5B;;OAEG;IACH,QAAQ,CAAC,eAAe,EAAE,CACxB,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAC9B,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,EAC7B,KAAK,CAAC,EAAE,OAAO,KACZ,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;IAE5B;;OAEG;IACH,QAAQ,CAAC,eAAe,EAAE,CACxB,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAC9B,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,MAAM,KACV,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;IAE5B;;OAEG;IACH,QAAQ,CAAC,cAAc,EAAE,CACvB,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAC9B,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,KACX,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;IAE5B;;OAEG;IACH,QAAQ,CAAC,aAAa,EAAE,CACtB,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAC9B,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,KACZ,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;CAC7B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,eAAO,MAAM,IAAI,GAAI,OAAO,SAAS,IAAI,CAAC,YAAY,EAAE,CAAC,EACvD,QAAQ,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,KAClC,SAAS,CAAC,OAAO,EAAE,CAAC,CA+QtB,CAAA"}

package/dist/dts/Mode.d.ts

@@ -0,0 +1,55 @@
+/**
+ * Form validation mode configuration.
+ *
+ * @since 1.0.0
+ */
+import * as Duration from "effect/Duration";
+/**
+ * Controls when field validation is triggered and whether form auto-submits.
+ *
+ * Simple modes (string):
+ * - `"onSubmit"`: Validation only runs when the form is submitted (default)
+ * - `"onBlur"`: Validation runs when a field loses focus
+ * - `"onChange"`: Validation runs on every value change (sync)
+ *
+ * Object modes (with options):
+ * - `{ onChange: { debounce, autoSubmit? } }`: Debounced validation, optional auto-submit
+ * - `{ onBlur: { autoSubmit: true } }`: Validate on blur, auto-submit when valid
+ *
+ * @since 1.0.0
+ * @category Models
+ */
+export type FormMode = "onSubmit" | "onBlur" | "onChange" | {
+    readonly onChange: {
+        readonly debounce: Duration.DurationInput;
+        readonly autoSubmit?: false;
+    };
+} | {
+    readonly onBlur: {
+        readonly autoSubmit: true;
+    };
+} | {
+    readonly onChange: {
+        readonly debounce: Duration.DurationInput;
+        readonly autoSubmit: true;
+    };
+};
+/**
+ * Parsed form mode with resolved values.
+ *
+ * @since 1.0.0
+ * @category Models
+ */
+export interface ParsedMode {
+    readonly validation: "onSubmit" | "onBlur" | "onChange";
+    readonly debounce: number | null;
+    readonly autoSubmit: boolean;
+}
+/**
+ * Parses a FormMode into a normalized ParsedMode.
+ *
+ * @since 1.0.0
+ * @category Parsing
+ */
+export declare const parse: (mode?: FormMode) => ParsedMode;
+//# sourceMappingURL=Mode.d.ts.map

package/dist/dts/Mode.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Mode.d.ts","sourceRoot":"","sources":["../../src/Mode.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAA;AAE3C;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,QAAQ,GAChB,UAAU,GACV,QAAQ,GACR,UAAU,GACV;IAAE,QAAQ,CAAC,QAAQ,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,aAAa,CAAC;QAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,KAAK,CAAA;KAAE,CAAA;CAAE,GACjG;IAAE,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAA;KAAE,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,QAAQ,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,aAAa,CAAC;QAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAA;KAAE,CAAA;CAAE,CAAA;AAEnG;;;;;GAKG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,UAAU,EAAE,UAAU,GAAG,QAAQ,GAAG,UAAU,CAAA;IACvD,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;IAChC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;CAC7B;AAED;;;;;GAKG;AACH,eAAO,MAAM,KAAK,GAAI,OAAM,QAAqB,KAAG,UAUnD,CAAA"}

package/dist/dts/Validation.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Validation utilities for form error handling.
+ *
+ * @since 1.0.0
+ */
+import * as Option from "effect/Option";
+import * as ParseResult from "effect/ParseResult";
+/**
+ * Extracts the first error message from a ParseError.
+ *
+ * @since 1.0.0
+ * @category Error Handling
+ */
+export declare const extractFirstError: (error: ParseResult.ParseError) => Option.Option<string>;
+/**
+ * Routes validation errors from a ParseError to a map of field paths to error messages.
+ * Used for cross-field validation where schema errors need to be displayed on specific fields.
+ *
+ * @since 1.0.0
+ * @category Error Handling
+ */
+export declare const routeErrors: (error: ParseResult.ParseError) => Map<string, string>;
+//# sourceMappingURL=Validation.d.ts.map

package/dist/dts/Validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Validation.d.ts","sourceRoot":"","sources":["../../src/Validation.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,WAAW,MAAM,oBAAoB,CAAA;AAGjD;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,GAAI,OAAO,WAAW,CAAC,UAAU,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAMrF,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,WAAW,GAAI,OAAO,WAAW,CAAC,UAAU,KAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAY7E,CAAA"}

package/dist/dts/index.d.ts

@@ -0,0 +1,26 @@
+/**
+ * @since 1.0.0
+ */
+export * as Form from "./Form.js";
+/**
+ * Atom infrastructure for form state management.
+ *
+ * This module provides the core atom infrastructure that framework adapters
+ * (React, Vue, Svelte, Solid) can use to build reactive form components.
+ *
+ * @since 1.0.0
+ */
+export * as FormAtoms from "./FormAtoms.js";
+/**
+ * Form validation mode configuration.
+ *
+ * @since 1.0.0
+ */
+export * as Mode from "./Mode.js";
+/**
+ * Validation utilities for form error handling.
+ *
+ * @since 1.0.0
+ */
+export * as Validation from "./Validation.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAEjC;;;;;;;GAOG;AACH,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAE3C;;;;GAIG;AACH,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAEjC;;;;GAIG;AACH,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA"}

package/dist/dts/internal/dirty.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Recalculates dirty fields for an array after mutation.
+ * Clears all paths under the array and re-evaluates each item.
+ */
+export declare const recalculateDirtyFieldsForArray: (dirtyFields: ReadonlySet<string>, initialValues: unknown, arrayPath: string, newItems: ReadonlyArray<unknown>) => ReadonlySet<string>;
+/**
+ * Recalculates dirty fields for a subtree after value change.
+ * Clears the rootPath and all children, then re-evaluates recursively.
+ *
+ * @param rootPath - Empty string for full form, or a specific path for targeted update
+ */
+export declare const recalculateDirtySubtree: (currentDirty: ReadonlySet<string>, allInitial: unknown, allValues: unknown, rootPath?: string) => ReadonlySet<string>;
+//# sourceMappingURL=dirty.d.ts.map

package/dist/dts/internal/dirty.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dirty.d.ts","sourceRoot":"","sources":["../../../src/internal/dirty.ts"],"names":[],"mappings":"AASA;;;GAGG;AACH,eAAO,MAAM,8BAA8B,GACzC,aAAa,WAAW,CAAC,MAAM,CAAC,EAChC,eAAe,OAAO,EACtB,WAAW,MAAM,EACjB,UAAU,aAAa,CAAC,OAAO,CAAC,KAC/B,WAAW,CAAC,MAAM,CA4BpB,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAClC,cAAc,WAAW,CAAC,MAAM,CAAC,EACjC,YAAY,OAAO,EACnB,WAAW,OAAO,EAClB,WAAU,MAAW,KACpB,WAAW,CAAC,MAAM,CAoCpB,CAAA"}

package/dist/dts/internal/path.d.ts

@@ -0,0 +1,32 @@
+/**
+ * Internal path utilities for form field operations.
+ *
+ * @internal
+ */
+/**
+ * Converts a schema path array to a dot/bracket notation string.
+ *
+ * @example
+ * schemaPathToFieldPath(["items", 0, "name"]) // "items[0].name"
+ */
+export declare const schemaPathToFieldPath: (path: ReadonlyArray<PropertyKey>) => string;
+/**
+ * Checks if a field path or any of its parent paths are in the dirty set.
+ */
+export declare const isPathOrParentDirty: (dirtyFields: ReadonlySet<string>, path: string) => boolean;
+/**
+ * Gets a nested value from an object using dot/bracket notation path.
+ *
+ * @example
+ * getNestedValue({ items: [{ name: "A" }] }, "items[0].name") // "A"
+ */
+export declare const getNestedValue: (obj: unknown, path: string) => unknown;
+/**
+ * Sets a nested value in an object immutably using dot/bracket notation path.
+ *
+ * @example
+ * setNestedValue({ items: [{ name: "A" }] }, "items[0].name", "B")
+ * // { items: [{ name: "B" }] }
+ */
+export declare const setNestedValue: <T>(obj: T, path: string, value: unknown) => T;
+//# sourceMappingURL=path.d.ts.map

package/dist/dts/internal/path.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"path.d.ts","sourceRoot":"","sources":["../../../src/internal/path.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,GAAI,MAAM,aAAa,CAAC,WAAW,CAAC,KAAG,MAaxE,CAAA;AAED;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAAI,aAAa,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,MAAM,KAAG,OAgBpF,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,cAAc,GAAI,KAAK,OAAO,EAAE,MAAM,MAAM,KAAG,OAS3D,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,GAAI,CAAC,EAAE,KAAK,CAAC,EAAE,MAAM,MAAM,EAAE,OAAO,OAAO,KAAG,CAkBxE,CAAA"}

package/dist/dts/internal/weak-registry.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Internal WeakRef-based registry for caching atoms.
+ *
+ * @internal
+ */
+export {};
+//# sourceMappingURL=weak-registry.d.ts.map

package/dist/dts/internal/weak-registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"weak-registry.d.ts","sourceRoot":"","sources":["../../../src/internal/weak-registry.ts"],"names":[],"mappings":"AAAA;;;;GAIG"}