@formisch/svelte 0.1.0

package/LICENSE.md

@@ -0,0 +1,9 @@
+MIT License
+
+Copyright (c) Fabian Hiller
+
+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

@@ -0,0 +1,81 @@
+# Formisch for Svelte
+
+Formisch is a schema-based, headless form library for Svelte. It manages form state and validation. It is type-safe, fast by default and its bundle size is small due to its modular design. Try it out in our [playground](https://stackblitz.com/edit/formisch-playground-svelte)!
+
+Formisch is also available for [Preact][formisch-preact], [Qwik][formisch-qwik], [SolidJS][formisch-solid], and [Vue][formisch-vue].
+
+## Highlights
+
+- Small bundle size starting at 2.5 kB
+- Schema-based validation with Valibot
+- Type safety with autocompletion in editor
+- It's fast – DOM updates are fine-grained
+- Minimal, readable and well thought out API
+- Supports all native HTML form fields
+
+## Example
+
+Every form starts with the `createForm` function. It initializes your form's store based on the provided Valibot schema and infers its types. Next, wrap your form in the `<Form />` component. It's a thin layer around the native `<form />` element that handles form validation and submission. Then, you can access the state of a field with the `useField` function or the `<Field />` component to connect your inputs.
+
+```svelte
+<script lang="ts">
+  import { createForm, Field, Form } from '@formisch/svelte';
+  import * as v from 'valibot';
+
+  const LoginSchema = v.object({
+    email: v.pipe(v.string(), v.email()),
+    password: v.pipe(v.string(), v.minLength(8)),
+  });
+
+  const loginForm = createForm({ schema: LoginSchema });
+</script>
+
+<Form of={loginForm} onsubmit={(output) => console.log(output)}>
+  <Field of={loginForm} path={['email']}>
+    {#snippet children(field)}
+      <div>
+        <input {...field.props} value={field.input} type="email" />
+        {#if field.errors}
+          <div>{field.errors[0]}</div>
+        {/if}
+      </div>
+    {/snippet}
+  </Field>
+  <Field of={loginForm} path={['password']}>
+    {#snippet children(field)}
+      <div>
+        <input {...field.props} value={field.input} type="password" />
+        {#if field.errors}
+          <div>{field.errors[0]}</div>
+        {/if}
+      </div>
+    {/snippet}
+  </Field>
+  <button type="submit">Login</button>
+</Form>
+```
+
+In addition, Formisch offers several functions (we call them "methods") that can be used to read and manipulate the form state. These include `focus`, `getErrors`, `getAllErrors`, `getInput`, `insert`, `move`, `remove`, `replace`, `reset`, `setErrors`, `setInput`, `submit`, `swap` and `validate`. These methods allow you to control the form programmatically.
+
+## Comparison
+
+What makes Formisch unique is its framework-agnostic core, which is fully native to the framework you are using. It works by inserting framework-specific reactivity blocks when the core package is built. The result is a small bundle size and native performance for any UI update. This feature, along with a few others, distinguishes Formisch from other form libraries. My vision for Formisch is to create a framework-agnostic platform similar to [Vite](https://vite.dev/), but for forms.
+
+## Partners
+
+Thanks to our partners who support the development! [Join them](https://github.com/sponsors/fabian-hiller) and contribute to the sustainability of open source software!
+
+![Partners of Formisch](https://github.com/fabian-hiller/formisch/blob/main/partners.webp?raw=true)
+
+## Feedback
+
+Find a bug or have an idea how to improve the library? Please fill out an [issue](https://github.com/fabian-hiller/formisch/issues/new). Together we can make forms even better!
+
+## License
+
+This project is available free of charge and licensed under the [MIT license](https://github.com/fabian-hiller/formisch/blob/main/LICENSE.md).
+
+[formisch-preact]: https://github.com/fabian-hiller/formisch/tree/main/frameworks/preact
+[formisch-qwik]: https://github.com/fabian-hiller/formisch/tree/main/frameworks/qwik
+[formisch-solid]: https://github.com/fabian-hiller/formisch/tree/main/frameworks/solid
+[formisch-vue]: https://github.com/fabian-hiller/formisch/tree/main/frameworks/vue

package/dist/components/Field/Field.svelte

@@ -0,0 +1,31 @@
+<script
+  lang="ts"
+  generics="TSchema extends Schema, TFieldPath extends RequiredPath"
+>
+  import type { RequiredPath, Schema, ValidPath } from '../../core/index.svelte';
+  import type * as v from 'valibot';
+  import { useField } from '../../runes/index';
+  import type { FieldStore, FormStore } from '../../types/index';
+  import type { Snippet } from 'svelte';
+
+  /**
+   * Properties of the `Field` component.
+   */
+  export interface FieldProps<
+    TSchema extends Schema = Schema,
+    TFieldPath extends RequiredPath = RequiredPath,
+  > {
+    readonly of: FormStore<TSchema>;
+    readonly path: ValidPath<v.InferInput<TSchema>, TFieldPath>;
+    readonly children: Snippet<[FieldStore<TSchema, TFieldPath>]>;
+  }
+
+  let { of, path, children }: FieldProps<TSchema, TFieldPath> = $props();
+
+  const field = useField(
+    () => of,
+    () => ({ path })
+  );
+</script>
+
+{@render children(field)}

package/dist/components/Field/Field.svelte.d.ts

@@ -0,0 +1,36 @@
+import type { RequiredPath, Schema, ValidPath } from '../../core/index.svelte';
+import type * as v from 'valibot';
+import type { FieldStore, FormStore } from '../../types/index.ts';
+import type { Snippet } from 'svelte';
+/**
+ * Properties of the `Field` component.
+ */
+export interface FieldProps<TSchema extends Schema = Schema, TFieldPath extends RequiredPath = RequiredPath> {
+    readonly of: FormStore<TSchema>;
+    readonly path: ValidPath<v.InferInput<TSchema>, TFieldPath>;
+    readonly children: Snippet<[FieldStore<TSchema, TFieldPath>]>;
+}
+declare function $$render<TSchema extends Schema, TFieldPath extends RequiredPath>(): {
+    props: FieldProps<TSchema, TFieldPath>;
+    exports: {};
+    bindings: "";
+    slots: {};
+    events: {};
+};
+declare class __sveltets_Render<TSchema extends Schema, TFieldPath extends RequiredPath> {
+    props(): ReturnType<typeof $$render<TSchema, TFieldPath>>['props'];
+    events(): ReturnType<typeof $$render<TSchema, TFieldPath>>['events'];
+    slots(): ReturnType<typeof $$render<TSchema, TFieldPath>>['slots'];
+    bindings(): "";
+    exports(): {};
+}
+interface $$IsomorphicComponent {
+    new <TSchema extends Schema, TFieldPath extends RequiredPath>(options: import('svelte').ComponentConstructorOptions<ReturnType<__sveltets_Render<TSchema, TFieldPath>['props']>>): import('svelte').SvelteComponent<ReturnType<__sveltets_Render<TSchema, TFieldPath>['props']>, ReturnType<__sveltets_Render<TSchema, TFieldPath>['events']>, ReturnType<__sveltets_Render<TSchema, TFieldPath>['slots']>> & {
+        $$bindings?: ReturnType<__sveltets_Render<TSchema, TFieldPath>['bindings']>;
+    } & ReturnType<__sveltets_Render<TSchema, TFieldPath>['exports']>;
+    <TSchema extends Schema, TFieldPath extends RequiredPath>(internal: unknown, props: ReturnType<__sveltets_Render<TSchema, TFieldPath>['props']> & {}): ReturnType<__sveltets_Render<TSchema, TFieldPath>['exports']>;
+    z_$$bindings?: ReturnType<__sveltets_Render<any, any>['bindings']>;
+}
+declare const Field: $$IsomorphicComponent;
+type Field<TSchema extends Schema, TFieldPath extends RequiredPath> = InstanceType<typeof Field<TSchema, TFieldPath>>;
+export default Field;

package/dist/components/Field/index.d.ts

@@ -0,0 +1 @@
+export { default as Field } from './Field.svelte';

package/dist/components/Field/index.js

@@ -0,0 +1 @@
+export { default as Field } from './Field.svelte';

package/dist/components/FieldArray/FieldArray.svelte

@@ -0,0 +1,36 @@
+<script
+  lang="ts"
+  generics="TSchema extends Schema, TFieldArrayPath extends RequiredPath"
+>
+  import type {
+    RequiredPath,
+    Schema,
+    ValidArrayPath,
+  } from '../../core/index.svelte';
+  import type * as v from 'valibot';
+  import { useFieldArray } from '../../runes/index';
+  import type { FieldArrayStore, FormStore } from '../../types/index';
+  import type { Snippet } from 'svelte';
+
+  /**
+   * Properties of the `FieldArray` component.
+   */
+  export interface FieldArrayProps<
+    TSchema extends Schema = Schema,
+    TFieldArrayPath extends RequiredPath = RequiredPath,
+  > {
+    readonly of: FormStore<TSchema>;
+    readonly path: ValidArrayPath<v.InferInput<TSchema>, TFieldArrayPath>;
+    readonly children: Snippet<[FieldArrayStore<TSchema, TFieldArrayPath>]>;
+  }
+
+  let { of, path, children }: FieldArrayProps<TSchema, TFieldArrayPath> =
+    $props();
+
+  const field = useFieldArray(
+    () => of,
+    () => ({ path })
+  );
+</script>
+
+{@render children(field)}

package/dist/components/FieldArray/FieldArray.svelte.d.ts

@@ -0,0 +1,36 @@
+import type { RequiredPath, Schema, ValidArrayPath } from '../../core/index.svelte';
+import type * as v from 'valibot';
+import type { FieldArrayStore, FormStore } from '../../types/index.ts';
+import type { Snippet } from 'svelte';
+/**
+ * Properties of the `FieldArray` component.
+ */
+export interface FieldArrayProps<TSchema extends Schema = Schema, TFieldArrayPath extends RequiredPath = RequiredPath> {
+    readonly of: FormStore<TSchema>;
+    readonly path: ValidArrayPath<v.InferInput<TSchema>, TFieldArrayPath>;
+    readonly children: Snippet<[FieldArrayStore<TSchema, TFieldArrayPath>]>;
+}
+declare function $$render<TSchema extends Schema, TFieldArrayPath extends RequiredPath>(): {
+    props: FieldArrayProps<TSchema, TFieldArrayPath>;
+    exports: {};
+    bindings: "";
+    slots: {};
+    events: {};
+};
+declare class __sveltets_Render<TSchema extends Schema, TFieldArrayPath extends RequiredPath> {
+    props(): ReturnType<typeof $$render<TSchema, TFieldArrayPath>>['props'];
+    events(): ReturnType<typeof $$render<TSchema, TFieldArrayPath>>['events'];
+    slots(): ReturnType<typeof $$render<TSchema, TFieldArrayPath>>['slots'];
+    bindings(): "";
+    exports(): {};
+}
+interface $$IsomorphicComponent {
+    new <TSchema extends Schema, TFieldArrayPath extends RequiredPath>(options: import('svelte').ComponentConstructorOptions<ReturnType<__sveltets_Render<TSchema, TFieldArrayPath>['props']>>): import('svelte').SvelteComponent<ReturnType<__sveltets_Render<TSchema, TFieldArrayPath>['props']>, ReturnType<__sveltets_Render<TSchema, TFieldArrayPath>['events']>, ReturnType<__sveltets_Render<TSchema, TFieldArrayPath>['slots']>> & {
+        $$bindings?: ReturnType<__sveltets_Render<TSchema, TFieldArrayPath>['bindings']>;
+    } & ReturnType<__sveltets_Render<TSchema, TFieldArrayPath>['exports']>;
+    <TSchema extends Schema, TFieldArrayPath extends RequiredPath>(internal: unknown, props: ReturnType<__sveltets_Render<TSchema, TFieldArrayPath>['props']> & {}): ReturnType<__sveltets_Render<TSchema, TFieldArrayPath>['exports']>;
+    z_$$bindings?: ReturnType<__sveltets_Render<any, any>['bindings']>;
+}
+declare const FieldArray: $$IsomorphicComponent;
+type FieldArray<TSchema extends Schema, TFieldArrayPath extends RequiredPath> = InstanceType<typeof FieldArray<TSchema, TFieldArrayPath>>;
+export default FieldArray;

package/dist/components/FieldArray/index.d.ts

@@ -0,0 +1 @@
+export { default as FieldArray } from './FieldArray.svelte';

package/dist/components/FieldArray/index.js

@@ -0,0 +1 @@
+export { default as FieldArray } from './FieldArray.svelte';

package/dist/components/Form/Form.svelte

@@ -0,0 +1,28 @@
+<script lang="ts" generics="TSchema extends Schema = Schema">
+  import {
+    INTERNAL,
+    type Schema,
+    type SubmitHandler,
+  } from '../../core/index.svelte';
+  import { handleSubmit } from '../../methods/index.svelte';
+  import type { FormStore } from '../../types/index';
+  import type { Snippet } from 'svelte';
+  import type { HTMLFormAttributes } from 'svelte/elements';
+
+  export type FormProps<TSchema extends Schema = Schema> = Omit<
+    HTMLFormAttributes,
+    'on:submit' | 'onsubmit' | 'novalidate'
+  > & {
+    of: FormStore<TSchema>;
+    onsubmit: SubmitHandler<TSchema>;
+    children: Snippet;
+  };
+
+  let { of, onsubmit, children, ...other }: FormProps<TSchema> = $props();
+
+  const handler = handleSubmit(of, onsubmit);
+</script>
+
+<form {...other} novalidate onsubmit={handler} bind:this={of[INTERNAL].element}>
+  {@render children()}
+</form>

package/dist/components/Form/Form.svelte.d.ts

@@ -0,0 +1,33 @@
+import { type Schema, type SubmitHandler } from '../../core/index.svelte';
+import type { FormStore } from '../../types/index.ts';
+import type { Snippet } from 'svelte';
+import type { HTMLFormAttributes } from 'svelte/elements';
+export type FormProps<TSchema extends Schema = Schema> = Omit<HTMLFormAttributes, 'on:submit' | 'onsubmit' | 'novalidate'> & {
+    of: FormStore<TSchema>;
+    onsubmit: SubmitHandler<TSchema>;
+    children: Snippet;
+};
+declare function $$render<TSchema extends Schema = Schema>(): {
+    props: FormProps<TSchema>;
+    exports: {};
+    bindings: "";
+    slots: {};
+    events: {};
+};
+declare class __sveltets_Render<TSchema extends Schema = Schema> {
+    props(): ReturnType<typeof $$render<TSchema>>['props'];
+    events(): ReturnType<typeof $$render<TSchema>>['events'];
+    slots(): ReturnType<typeof $$render<TSchema>>['slots'];
+    bindings(): "";
+    exports(): {};
+}
+interface $$IsomorphicComponent {
+    new <TSchema extends Schema = Schema>(options: import('svelte').ComponentConstructorOptions<ReturnType<__sveltets_Render<TSchema>['props']>>): import('svelte').SvelteComponent<ReturnType<__sveltets_Render<TSchema>['props']>, ReturnType<__sveltets_Render<TSchema>['events']>, ReturnType<__sveltets_Render<TSchema>['slots']>> & {
+        $$bindings?: ReturnType<__sveltets_Render<TSchema>['bindings']>;
+    } & ReturnType<__sveltets_Render<TSchema>['exports']>;
+    <TSchema extends Schema = Schema>(internal: unknown, props: ReturnType<__sveltets_Render<TSchema>['props']> & {}): ReturnType<__sveltets_Render<TSchema>['exports']>;
+    z_$$bindings?: ReturnType<__sveltets_Render<any>['bindings']>;
+}
+declare const Form: $$IsomorphicComponent;
+type Form<TSchema extends Schema = Schema> = InstanceType<typeof Form<TSchema>>;
+export default Form;

package/dist/components/Form/index.d.ts

@@ -0,0 +1 @@
+export { default as Form } from './Form.svelte';

package/dist/components/Form/index.js

@@ -0,0 +1 @@
+export { default as Form } from './Form.svelte';

package/dist/components/index.d.ts

@@ -0,0 +1,3 @@
+export * from './Field/index.ts';
+export * from './FieldArray/index.ts';
+export * from './Form/index.ts';

package/dist/components/index.js

@@ -0,0 +1,3 @@
+export * from './Field/index';
+export * from './FieldArray/index';
+export * from './Form/index';

package/dist/core/index.svelte.d.ts

@@ -0,0 +1,256 @@
+import * as v from "valibot";
+import { untrack } from "svelte";
+
+//#region src/types/schema.d.ts
+type Schema = v.GenericSchema | v.GenericSchemaAsync;
+//#endregion
+//#region src/types/signal.d.ts
+interface Signal<T> {
+  value: T;
+}
+interface Batch {
+  <T>(fn: () => T): T;
+}
+interface Untrack {
+  <T>(fn: () => T): T;
+}
+//#endregion
+//#region src/types/field.d.ts
+/**
+* Value type of the field element.
+*/
+type FieldElement = HTMLInputElement | HTMLSelectElement | HTMLTextAreaElement;
+interface InternalBaseStore {
+  kind: "array" | "object" | "value";
+  name: string;
+  schema: Schema;
+  elements: FieldElement[];
+  errors: Signal<[string, ...string[]] | null>;
+}
+interface InternalArrayStore extends InternalBaseStore {
+  kind: "array";
+  children: InternalFieldStore[];
+  initialItems: Signal<string[]>;
+  startItems: Signal<string[]>;
+  items: Signal<string[]>;
+  isTouched: Signal<boolean>;
+  isDirty: Signal<boolean>;
+}
+interface InternalObjectStore extends InternalBaseStore {
+  kind: "object";
+  children: Record<string, InternalFieldStore>;
+}
+interface InternalValueStore extends InternalBaseStore {
+  kind: "value";
+  initialInput: Signal<unknown>;
+  startInput: Signal<unknown>;
+  input: Signal<unknown>;
+  isTouched: Signal<boolean>;
+  isDirty: Signal<boolean>;
+}
+type InternalFieldStore = InternalArrayStore | InternalObjectStore | InternalValueStore;
+//#endregion
+//#region src/values.d.ts
+declare const INTERNAL: "~internal";
+//#endregion
+//#region src/types/utils.d.ts
+/**
+* Checks if a type is `any`.
+*/
+type IsAny<Type> = 0 extends 1 & Type ? true : false;
+/**
+* Checks if a type is `never`.
+*/
+type IsNever<Type> = [Type] extends [never] ? true : false;
+/**
+* Constructs a type that is maybe a promise.
+*/
+type MaybePromise<TValue> = TValue | Promise<TValue>;
+/**
+* Makes all properties deeply optional.
+*/
+type DeepPartial<TValue> = TValue extends readonly unknown[] ? number extends TValue["length"] ? TValue : { [Key in keyof TValue]?: DeepPartial<TValue[Key]> | undefined } : TValue extends Record<PropertyKey, unknown> ? { [Key in keyof TValue]?: DeepPartial<TValue[Key]> | undefined } : TValue | undefined;
+/**
+* Makes all value properties optional.
+*/
+type PartialValues<TValue> = TValue extends readonly unknown[] ? number extends TValue["length"] ? TValue : { [Key in keyof TValue]: PartialValues<TValue[Key]> } : TValue extends Record<PropertyKey, unknown> ? { [Key in keyof TValue]: PartialValues<TValue[Key]> } : TValue | undefined;
+//#endregion
+//#region src/types/form.d.ts
+/**
+* Value type of the validation mode.
+*/
+type ValidationMode = "initial" | "touch" | "input" | "change" | "blur" | "submit";
+interface FormConfig<TSchema extends Schema = Schema> {
+  readonly schema: TSchema;
+  readonly initialInput?: DeepPartial<v.InferInput<TSchema>> | undefined;
+  readonly validate?: ValidationMode | undefined;
+  readonly revalidate?: Exclude<ValidationMode, "initial"> | undefined;
+}
+interface InternalFormStore<TSchema extends Schema = Schema> extends InternalObjectStore {
+  element?: HTMLFormElement;
+  validators: number;
+  validate: ValidationMode;
+  revalidate: Exclude<ValidationMode, "initial">;
+  parse: (input: unknown) => Promise<v.SafeParseResult<TSchema>>;
+  isSubmitting: Signal<boolean>;
+  isSubmitted: Signal<boolean>;
+  isValidating: Signal<boolean>;
+}
+interface BaseFormStore<TSchema extends Schema = Schema> {
+  [INTERNAL]: InternalFormStore<TSchema>;
+}
+type SubmitHandler<TSchema extends Schema> = (output: v.InferOutput<TSchema>, event: SubmitEvent) => MaybePromise<unknown>;
+//#endregion
+//#region src/types/path.d.ts
+/**
+* Path key type.
+*/
+type PathKey = string | number;
+/**
+* Path type.
+*/
+type Path = readonly PathKey[];
+/**
+* Required path type.
+*/
+type RequiredPath = readonly [PathKey, ...Path];
+/**
+* Extracts the exact keys of a tuple, array or object.
+*/
+type KeyOf<TValue> = IsAny<TValue> extends true ? never : TValue extends readonly unknown[] ? number extends TValue["length"] ? number : { [TKey in keyof TValue]: TKey extends `${infer TIndex extends number}` ? TIndex : never }[number] : TValue extends Record<string, unknown> ? keyof TValue & PathKey : never;
+/**
+* Merges array and object unions into a single object.
+*
+* Hint: This is necessary to make any property accessible. By default,
+* properties that do not exist in all union options are not accessible
+* and result in "any" when accessed.
+*/
+type MergeUnion<T> = { [K in KeyOf<T>]: T extends Record<K, infer V> ? V : never };
+/**
+* Lazily evaluate only the first valid path segment based on the given value.
+*/
+type LazyPath<TValue, TPathToCheck extends Path, TValidPath extends Path = readonly []> = TPathToCheck extends readonly [] ? TValidPath : TPathToCheck extends readonly [infer TFirstKey extends KeyOf<TValue>, ...infer TPathRest extends Path] ? LazyPath<Required<MergeUnion<TValue>[TFirstKey]>, TPathRest, readonly [...TValidPath, TFirstKey]> : IsNever<KeyOf<TValue>> extends false ? readonly [...TValidPath, KeyOf<TValue>] : TValidPath;
+/**
+* Returns the path if valid, otherwise the first possible valid path based on
+* the given value.
+*/
+type ValidPath<TValue, TPath extends RequiredPath> = TPath extends LazyPath<Required<TValue>, TPath> ? TPath : LazyPath<Required<TValue>, TPath>;
+/**
+* Extracts the value type at the given path.
+*/
+type PathValue<TValue, TPath extends Path> = TPath extends readonly [infer TKey, ...infer TRest extends Path] ? TKey extends KeyOf<Required<TValue>> ? PathValue<MergeUnion<Required<TValue>>[TKey], TRest> : unknown : TValue;
+/**
+* Checks if a value is an array or contains one.
+*/
+type IsOrHasArray<TValue> = IsAny<TValue> extends true ? false : TValue extends readonly unknown[] ? true : TValue extends Record<string, unknown> ? true extends { [TKey in keyof TValue]: IsOrHasArray<TValue[TKey]> }[keyof TValue] ? true : false : false;
+/**
+* Extracts the exact keys of a tuple, array or object that contain arrays.
+*/
+type KeyOfArrayPath<TValue> = IsAny<TValue> extends true ? never : TValue extends readonly (infer TItem)[] ? number extends TValue["length"] ? IsOrHasArray<TItem> extends true ? number : never : { [TKey in keyof TValue]: TKey extends `${infer TIndex extends number}` ? IsOrHasArray<NonNullable<TValue[TKey]>> extends true ? TIndex : never : never }[number] : TValue extends Record<string, unknown> ? { [TKey in keyof TValue]: IsOrHasArray<NonNullable<TValue[TKey]>> extends true ? TKey : never }[keyof TValue] & PathKey : never;
+/**
+* Lazily evaluate only the first valid array path segment based on the given value.
+*/
+type LazyArrayPath<TValue, TPathToCheck extends Path, TValidPath extends Path = readonly []> = TPathToCheck extends readonly [] ? TValue extends readonly unknown[] ? TValidPath : readonly [...TValidPath, KeyOfArrayPath<TValue>] : TPathToCheck extends readonly [infer TFirstKey extends KeyOfArrayPath<TValue>, ...infer TPathRest extends Path] ? LazyArrayPath<Required<MergeUnion<TValue>[TFirstKey]>, TPathRest, readonly [...TValidPath, TFirstKey]> : IsNever<KeyOfArrayPath<TValue>> extends false ? readonly [...TValidPath, KeyOfArrayPath<TValue>] : never;
+/**
+* Returns the path if valid, otherwise the first possible valid array path based on
+* the given value.
+*/
+type ValidArrayPath<TValue, TPath extends RequiredPath> = TPath extends LazyArrayPath<Required<TValue>, TPath> ? TPath : LazyArrayPath<Required<TValue>, TPath>;
+//#endregion
+//#region src/array/copyItemState/copyItemState.d.ts
+/**
+* Copies the deeply nested state (signal values) from one array item to another.
+* This includes the `isTouched`, `isDirty`, `startInput`, `input`, `startItems`, and `items` properties.
+* Recursively walks through the field stores and copies all signal values.
+*
+* @param internalArrayStore - The field store of the array (not the array item)
+* @param fromIndex - The source index to copy from
+* @param toIndex - The destination index to copy to
+*/
+declare function copyItemState(fromInternalFieldStore: InternalFieldStore, toInternalFieldStore: InternalFieldStore): void;
+//#endregion
+//#region src/array/resetItemState/resetItemState.d.ts
+/**
+* Resets the state of an array item (signal values) deeply nested.
+* Sets `isTouched` and `isDirty` to `false` and `startInput`, `input`,
+* `startItems` and `items` to the new input.
+* Keeps the `initialInput` and `initialItems` state unchanged for form reset functionality.
+*
+* @param internalFieldStore - The field store of the array item
+* @param initialInput - The new input value (can be any type including array or object)
+*/
+declare function resetItemState(internalFieldStore: InternalFieldStore, initialInput: unknown): void;
+//#endregion
+//#region src/array/swapItemState/swapItemState.d.ts
+/**
+* Swaps the deeply nested state (signal values) between two field stores.
+* This includes the `isTouched`, `isDirty`, `startInput`, `input`, `startItems`, and `items` properties.
+* Recursively walks through the field stores and swaps all signal values.
+*
+* @param firstInternalFieldStore - The first field store to swap
+* @param secondInternalFieldStore - The second field store to swap
+*/
+declare function swapItemState(firstInternalFieldStore: InternalFieldStore, secondInternalFieldStore: InternalFieldStore): void;
+//#endregion
+//#region src/field/getElementInput/getElementInput.d.ts
+/**
+* Returns the current input of the element.
+*
+* @param element The field element.
+* @param interalFieldStore The interal field store.
+*
+* @returns The element input.
+*/
+declare function getElementInput(element: FieldElement, internalFieldStore: InternalFieldStore): unknown;
+//#endregion
+//#region src/field/getFieldBool/getFieldBool.d.ts
+declare function getFieldBool(internalFieldStore: InternalFieldStore, type: "errors" | "isTouched" | "isDirty"): boolean;
+//#endregion
+//#region src/field/getFieldInput/getFieldInput.d.ts
+declare function getFieldInput(internalFieldStore: InternalFieldStore): unknown;
+//#endregion
+//#region src/field/getFieldStore/getFieldStore.d.ts
+declare function getFieldStore(internalFormStore: InternalFormStore, path: Path): InternalFieldStore;
+//#endregion
+//#region src/field/initializeFieldStore/initializeFieldStore.d.ts
+type FieldSchema = v.ArraySchema<v.BaseSchema<unknown, unknown, v.BaseIssue<unknown>>, v.ErrorMessage<v.ArrayIssue> | undefined> | v.ExactOptionalSchema<any, any> | v.IntersectSchema<any, any> | v.LazySchema<any> | v.LooseObjectSchema<any, any> | v.LooseTupleSchema<any, any> | v.NonNullableSchema<any, any> | v.NonNullishSchema<any, any> | v.NonOptionalSchema<any, any> | v.NullableSchema<any, any> | v.NullishSchema<any, any> | v.ObjectSchema<v.ObjectEntries, v.ErrorMessage<v.ObjectIssue> | undefined> | v.ObjectWithRestSchema<v.ObjectEntries, v.BaseSchema<unknown, unknown, v.BaseIssue<unknown>>, v.ErrorMessage<v.ObjectWithRestIssue> | undefined> | v.OptionalSchema<any, any> | v.PromiseSchema<any> | v.RecordSchema<any, any, any> | v.StrictObjectSchema<any, any> | v.StrictTupleSchema<any, any> | v.TupleSchema<v.TupleItems, v.ErrorMessage<v.TupleIssue> | undefined> | v.TupleWithRestSchema<any, any, any> | v.UndefinedableSchema<any, any> | v.UnionSchema<any, any> | v.VariantSchema<any, any, any>;
+/**
+* TODO: Add comment
+* TODO: Should this stay in /primitives or move to /utils?
+*/
+declare function initializeFieldStore(internalFieldStore: Partial<InternalFieldStore>, schema: FieldSchema, initialInput: unknown, path: PathKey[]): void;
+//#endregion
+//#region src/field/setFieldBool/setFieldBool.d.ts
+declare function setFieldBool(internalFieldStore: InternalFieldStore, type: "isTouched" | "isDirty", bool: boolean): void;
+//#endregion
+//#region src/field/setFieldInput/setFieldInput.d.ts
+declare function setFieldInput(internalFieldStore: InternalFieldStore, input: unknown): void;
+//#endregion
+//#region src/field/setInitialFieldInput/setInitialFieldInput.d.ts
+declare function setInitialFieldInput(internalFieldStore: InternalFieldStore, initialInput: unknown): void;
+//#endregion
+//#region src/field/walkFieldStore/walkFieldStore.d.ts
+declare function walkFieldStore(internalFieldStore: InternalFieldStore, callback: (internalFieldStore: InternalFieldStore) => void): void;
+//#endregion
+//#region src/form/createFormStore/createFormStore.d.ts
+declare function createFormStore(config: FormConfig, parse: (input: unknown) => Promise<v.SafeParseResult<Schema>>): InternalFormStore;
+//#endregion
+//#region src/form/validateFormInput/validateFormInput.d.ts
+interface ValidateFormInputConfig {
+  readonly shouldFocus?: boolean | undefined;
+}
+declare function validateFormInput(internalFormStore: InternalFormStore, config?: ValidateFormInputConfig): Promise<v.SafeParseResult<Schema>>;
+//#endregion
+//#region src/form/validateIfRequired/validateIfRequired.d.ts
+declare function validateIfRequired(internalFormStore: InternalFormStore, internalFieldStore: InternalFieldStore, validationModes: ValidationMode): void;
+//#endregion
+//#region src/framework/index.d.ts
+type Framework = "preact" | "qwik" | "solid" | "svelte" | "vue";
+//#endregion
+//#region src/framework/index.svelte.d.ts
+declare const framework: Framework;
+declare function createId(): string;
+declare function createSignal<T>(initialValue: T): Signal<T>;
+declare function batch<T>(fn: () => T): T;
+//#endregion
+export { BaseFormStore, Batch, DeepPartial, FieldElement, FieldSchema, FormConfig, INTERNAL, InternalArrayStore, InternalBaseStore, InternalFieldStore, InternalFormStore, InternalObjectStore, InternalValueStore, IsAny, IsNever, MaybePromise, PartialValues, Path, PathKey, PathValue, RequiredPath, Schema, Signal, SubmitHandler, Untrack, ValidArrayPath, ValidPath, ValidateFormInputConfig, ValidationMode, batch, copyItemState, createFormStore, createId, createSignal, framework, getElementInput, getFieldBool, getFieldInput, getFieldStore, initializeFieldStore, resetItemState, setFieldBool, setFieldInput, setInitialFieldInput, swapItemState, untrack, validateFormInput, validateIfRequired, walkFieldStore };