@effect-app/vue-components 4.0.0-beta.2 → 4.0.0-beta.200

package/dist/types/components/OmegaForm/types.d.ts

@@ -0,0 +1,281 @@
+import type { DeepKeys, DeepValue, FieldApi, FieldAsyncValidateOrFn, FieldState, FieldValidateOrFn, FormApi, FormAsyncValidateOrFn, FormOptions, FormState, FormValidateOrFn, StandardSchemaV1, VueFormApi } from "@tanstack/vue-form";
+import type { Effect, Order, S } from "effect-app";
+import type { UnionToTuples } from "effect-app/utils";
+import type { Fiber as EffectFiber } from "effect/Fiber";
+import type { Redacted } from "effect/Redacted";
+import type { AllowedComponentProps, ComponentCustomProps, ComputedRef, PublicProps, ShallowUnwrapRef, VNode, VNodeProps } from "vue";
+import type { MergedInputProps, OmegaFieldInternalApi, TaggedUnionOptionsArray } from "./InputProps";
+import type { MetaRecord, NestedKeyOf } from "./meta/types";
+import type { defaultValuesPriorityUnion as PersistencyPriority, Policies as PersistencyPolicies } from "./persistency";
+import type { FormErrors } from "./submit";
+export type FieldPath<T> = unknown extends T ? string : T extends string | boolean | number | null | undefined | symbol | bigint | Redacted<any> ? "" : T extends ReadonlyArray<infer U> ? FieldPath_<U, `[${number}]`> : {
+    [K in keyof T]: FieldPath_<T[K], K & string>;
+}[keyof T];
+export type FieldPath_<T, Path extends string> = unknown extends T ? string : T extends string | boolean | number | null | undefined | symbol | bigint | Redacted<any> ? Path : T extends ReadonlyArray<infer U> ? FieldPath_<U, `${Path}[${number}]`> | Path : {
+    [K in keyof T]: FieldPath_<T[K], `${Path}.${K & string}`>;
+}[keyof T];
+export type BaseProps<From, TName extends FieldPath<From>> = {
+    /**
+     * Will fallback to i18n when not specified.
+     * Can also be provided via #label slot for custom HTML labels.
+     * When using the slot, it receives bindings: { required, id, label }
+     */
+    label?: string;
+    validators?: FieldValidators<From>;
+    name: TName;
+    /**
+     * Optional class to apply to the input element.
+     * - If a string is provided, it will be used instead of the general class
+     * - If null is provided, no class will be applied (neither inputClass nor general class)
+     * - If undefined (not provided), the general class will be used
+     */
+    inputClass?: string | null;
+};
+export type TypesWithOptions = "radio" | "select" | "multiple" | "autocomplete" | "autocompletemultiple";
+export type DefaultTypeProps = {
+    type?: TypeOverride;
+    options?: undefined;
+} | {
+    type?: TypesWithOptions;
+    options?: {
+        title: string;
+        value: unknown;
+    }[];
+};
+export type OmegaInputPropsBase<From extends Record<PropertyKey, any>, To extends Record<PropertyKey, any>, Name extends DeepKeys<From>> = {
+    form: OF<From, To> & {
+        meta: MetaRecord<From>;
+        i18nNamespace?: string;
+    };
+} & BaseProps<From, Name>;
+export type OmegaInputProps<From extends Record<PropertyKey, any>, To extends Record<PropertyKey, any>, Name extends DeepKeys<From>, TypeProps = DefaultTypeProps> = {
+    form: OmegaFormReturn<From, To, TypeProps> & {
+        meta: MetaRecord<From>;
+        i18nNamespace?: string;
+    };
+} & BaseProps<From, Name>;
+export type OmegaArrayProps<From extends Record<PropertyKey, any>, To extends Record<PropertyKey, any>, Name extends DeepKeys<From>> = Omit<OmegaInputProps<From, To, Name>, "validators" | "options" | "label" | "type" | "items" | "name"> & {
+    name: DeepKeys<From>;
+    defaultItems?: DeepValue<From, DeepKeys<From>>;
+    items?: "please use `defaultItems` instead";
+};
+export type TypeOverride = "string" | "text" | "number" | "select" | "multiple" | "boolean" | "radio" | "autocomplete" | "autocompletemultiple" | "switch" | "range" | "password" | "email" | "date";
+export interface OmegaError {
+    label: string;
+    inputId: string;
+    errors: readonly string[];
+}
+export type FormProps<From, To> = Omit<FormOptions<From, FormValidateOrFn<From> | undefined, FormValidateOrFn<From> | undefined, StandardSchemaV1<From, To>, FormValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined, FormValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined, FormValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined, Record<string, any> | undefined>, "onSubmit" | "defaultValues"> & {
+    defaultValues?: Partial<From>;
+    onSubmit?: (props: {
+        formApi: OmegaFormParams<From, To>;
+        meta: any;
+        value: To;
+    }) => Promise<any> | EffectFiber<any, any> | Effect.Effect<unknown, any>;
+};
+export type OmegaFormParams<From, To> = FormApi<From, FormValidateOrFn<From> | undefined, FormValidateOrFn<From> | undefined, StandardSchemaV1<From, To>, FormValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined, FormValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined, FormValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined, Record<string, any> | undefined>;
+export type OmegaFormState<From, To> = FormState<From, FormValidateOrFn<From> | undefined, FormValidateOrFn<From> | undefined, StandardSchemaV1<From, To>, FormValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined, FormValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined, FormValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined>;
+export type OmegaFormApi<From, To, TSubmitMeta = Record<string, any> | undefined> = OmegaFormParams<From, To> & VueFormApi<From, FormValidateOrFn<From> | undefined, FormValidateOrFn<From> | undefined, StandardSchemaV1<From, To>, FormValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined, FormValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined, FormValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined, TSubmitMeta>;
+export type FormComponent<T, S> = VueFormApi<T, FormValidateOrFn<T> | undefined, FormValidateOrFn<T> | undefined, StandardSchemaV1<T, S>, FormValidateOrFn<T> | undefined, FormAsyncValidateOrFn<T> | undefined, FormValidateOrFn<T> | undefined, FormAsyncValidateOrFn<T> | undefined, FormValidateOrFn<T> | undefined, FormAsyncValidateOrFn<T> | undefined, FormAsyncValidateOrFn<T> | undefined, Record<string, any> | undefined>;
+export type FormType<From extends Record<PropertyKey, any>, To extends Record<PropertyKey, any>, Name extends DeepKeys<From>> = OmegaFormApi<From, To> & {
+    Field: OmegaFieldInternalApi<From, Name>;
+};
+export type PrefixFromDepth<K extends string | number, _TDepth extends any[]> = K;
+export type FieldValidators<T> = {
+    onChangeAsync?: FieldAsyncValidateOrFn<T, any, any>;
+    onChange?: FieldValidateOrFn<T, any, any>;
+    onBlur?: FieldValidateOrFn<T, any, any>;
+    onBlurAsync?: FieldAsyncValidateOrFn<T, any, any>;
+};
+export type OmegaAutoGenMeta<From extends Record<PropertyKey, any>, To extends Record<PropertyKey, any>, Name extends DeepKeys<From>> = Omit<OmegaInputProps<From, To, Name>, "form">;
+type keysRule<T> = {
+    keys?: NestedKeyOf<T>[];
+    banKeys?: "You should only use one of banKeys or keys, not both, moron";
+} | {
+    keys?: "You should only use one of banKeys or keys, not both, moron";
+    banKeys?: NestedKeyOf<T>[];
+};
+export type Policies = PersistencyPolicies;
+export type defaultValuesPriorityUnion = PersistencyPriority;
+export type OmegaConfig<T> = {
+    i18nNamespace?: string;
+    persistency?: {
+        /** Order of importance:
+         * - "querystring": Highest priority when persisting
+         * - "local" and then "session": Lower priority storage options
+         */
+        policies?: UnionToTuples<Policies>;
+        overrideDefaultValues?: "deprecated: use defaultValuesPriority";
+        id?: string;
+    } & keysRule<T>;
+    ignorePreventCloseEvents?: boolean;
+    /**
+     * Prevents browser window/tab exit when form has unsaved changes.
+     * Shows native browser "Leave site?" dialog.
+     *
+     * @remarks
+     * - Opt-in only: Must explicitly enable
+     * - Independent from data persistence feature
+     */
+    preventWindowExit?: "prevent" | "prevent-and-reset" | "nope";
+    input?: any;
+    /**
+     * Default values order is: Tanstack default values passed as second parameter to useOmegaForm, then persistency
+     * default values from querystring or local/session storage, then defaults from schema
+     * You can customize the order and  with omegaConfig.defaultValuesPriority
+     * default value = ['tanstack', 'persistency', 'schema']
+     */
+    defaultValuesPriority?: UnionToTuples<defaultValuesPriorityUnion>;
+    defaultFromSchema?: "deprecated: use defaultValuesPriority";
+};
+export interface OF<From, To> extends OmegaFormApi<From, To> {
+    meta: MetaRecord<From>;
+    unionMeta: Record<string, MetaRecord<From>>;
+    clear: () => void;
+    i18nNamespace?: string;
+    ignorePreventCloseEvents?: boolean;
+    registerField: (field: ComputedRef<{
+        name: string;
+        label: string;
+        id: string;
+    }>) => void;
+    /** @experimental */
+    handleSubmitEffect: {
+        /**
+         * when `checkErrors` is true, the Effect will fail with `FormErrors<From>` when there are validation errors
+         * @experimental */
+        (options: {
+            checkErrors: true;
+            meta?: Record<string, any>;
+        }): Effect.Effect<void, FormErrors<From>>;
+        /** @experimental */
+        (options?: {
+            meta?: Record<string, any>;
+        }): Effect.Effect<void>;
+    };
+}
+type __VLS_PrettifyLocal<T> = {
+    [K in keyof T]: T[K];
+} & {};
+type CachedFieldApi<From extends Record<PropertyKey, any>, To extends Record<PropertyKey, any>, TypeProps = DefaultTypeProps> = FieldApi<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>, FieldValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, FieldValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, FieldAsyncValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, FieldValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, FieldAsyncValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, FieldValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, FieldAsyncValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, FieldValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, FieldAsyncValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, FormValidateOrFn<From> | undefined, FormValidateOrFn<From> | undefined, StandardSchemaV1<From, To>, FormValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined, FormValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined, FormValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined, Record<string, any> | undefined>;
+type CachedFieldState<From extends Record<PropertyKey, any>, To extends Record<PropertyKey, any>, TypeProps = DefaultTypeProps> = FieldState<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>, FieldValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, FieldValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, FieldAsyncValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, FieldValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, FieldAsyncValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, FieldValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, FieldAsyncValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, FieldValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, FieldAsyncValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, FormValidateOrFn<From> | undefined, FormValidateOrFn<From> | undefined, StandardSchemaV1<From, To>, FormValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined, FormValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined, FormValidateOrFn<From> | undefined, FormAsyncValidateOrFn<From> | undefined>;
+export interface OmegaFormReturn<From extends Record<PropertyKey, any>, To extends Record<PropertyKey, any>, TypeProps = DefaultTypeProps> extends OF<From, To> {
+    _paths: FieldPath<From>;
+    _keys: NestedKeyOf<From>;
+    _schema: S.Codec<To, From>;
+    Input: <Name extends OmegaFormReturn<From, To, TypeProps>["_paths"]>(__VLS_props: NonNullable<Awaited<typeof __VLS_setup>>["props"], __VLS_ctx?: __VLS_PrettifyLocal<Pick<NonNullable<Awaited<typeof __VLS_setup>>, "attrs" | "emit" | "slots">>, __VLS_expose?: NonNullable<Awaited<typeof __VLS_setup>>["expose"], __VLS_setup?: Promise<{
+        props: __VLS_PrettifyLocal<Pick<Partial<{}> & Omit<{} & VNodeProps & AllowedComponentProps & ComponentCustomProps, never>, never> & TypeProps & Partial<{}>> & BaseProps<From, Name> & PublicProps;
+        expose(exposed: ShallowUnwrapRef<{}>): void;
+        attrs: any;
+        slots: {
+            default?(props: MergedInputProps<From, Name>): void;
+            label?: (props: {
+                required: boolean;
+                id: string;
+                label: string;
+            }) => void;
+        };
+        emit: {};
+    }>) => VNode & {
+        __ctx?: Awaited<typeof __VLS_setup>;
+    };
+    Errors: (__VLS_props: NonNullable<Awaited<typeof __VLS_setup>>["props"], __VLS_ctx?: __VLS_PrettifyLocal<Pick<NonNullable<Awaited<typeof __VLS_setup>>, "attrs" | "emit" | "slots">>, __VLS_expose?: NonNullable<Awaited<typeof __VLS_setup>>["expose"], __VLS_setup?: Promise<{
+        props: __VLS_PrettifyLocal<Pick<Partial<{}> & Omit<{} & VNodeProps & AllowedComponentProps & ComponentCustomProps, never>, never> & Partial<{}>> & PublicProps;
+        expose(exposed: ShallowUnwrapRef<{}>): void;
+        attrs: any;
+        slots: {
+            default: (props: {
+                errors: readonly OmegaError[];
+                showedGeneralErrors: string[];
+            }) => void;
+        };
+        emit: {};
+    }>) => VNode & {
+        __ctx?: Awaited<typeof __VLS_setup>;
+    };
+    TaggedUnion: <Name extends OmegaFormReturn<From, To, TypeProps>["_keys"]>(__VLS_props: NonNullable<Awaited<typeof __VLS_setup>>["props"], __VLS_ctx?: __VLS_PrettifyLocal<Pick<NonNullable<Awaited<typeof __VLS_setup>>, "attrs" | "emit" | "slots">>, __VLS_expose?: NonNullable<Awaited<typeof __VLS_setup>>["expose"], __VLS_setup?: Promise<{
+        props: __VLS_PrettifyLocal<Pick<Partial<{}> & Omit<{} & VNodeProps & AllowedComponentProps & ComponentCustomProps, never>, never> & {
+            name?: Name;
+            type?: "select" | "radio";
+            options: TaggedUnionOptionsArray<From, Name>;
+            _debugName?: [NoInfer<Name>];
+            label?: string;
+        } & {}> & PublicProps;
+        expose(exposed: ShallowUnwrapRef<{}>): void;
+        attrs: any;
+        slots: Record<string, (props: {
+            field: FieldApi<From, Name, DeepValue<From, Name>, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any>;
+            state: FieldState<From, Name, DeepValue<From, Name>, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any>;
+        }) => any>;
+        emit: {};
+    }>) => VNode & {
+        __ctx?: Awaited<typeof __VLS_setup>;
+    };
+    Array: <Name extends OmegaFormReturn<From, To, TypeProps>["_keys"]>(__VLS_props: NonNullable<Awaited<typeof __VLS_setup>>["props"], __VLS_ctx?: __VLS_PrettifyLocal<Pick<NonNullable<Awaited<typeof __VLS_setup>>, "attrs" | "emit" | "slots">>, __VLS_expose?: NonNullable<Awaited<typeof __VLS_setup>>["expose"], __VLS_setup?: Promise<{
+        props: __VLS_PrettifyLocal<Pick<Partial<{}> & Omit<{} & VNodeProps & AllowedComponentProps & ComponentCustomProps, never>, never> & (Omit<OmegaArrayProps<From, To, Name>, "form">) & {}> & PublicProps;
+        expose(exposed: ShallowUnwrapRef<{}>): void;
+        attrs: any;
+        slots: {
+            "pre-array"?: (props: {
+                field: CachedFieldApi<From, To, TypeProps>;
+                state: CachedFieldState<From, To, TypeProps>;
+            }) => any;
+        } & {
+            default?: (props: {
+                subField: CachedFieldApi<From, To, TypeProps>;
+                subState: CachedFieldState<From, To, TypeProps>;
+                index: number;
+                field: CachedFieldApi<From, To, TypeProps>;
+            }) => any;
+        } & {
+            "post-array"?: (props: {
+                field: CachedFieldApi<From, To, TypeProps>;
+                state: CachedFieldState<From, To, TypeProps>;
+            }) => any;
+        } & {
+            field?: (props: {
+                field: CachedFieldApi<From, To, TypeProps>;
+            }) => any;
+        };
+        emit: {};
+    }>) => VNode & {
+        __ctx?: Awaited<typeof __VLS_setup>;
+    };
+    AutoGen: <Name extends OmegaFormReturn<From, To, TypeProps>["_keys"]>(__VLS_props: NonNullable<Awaited<typeof __VLS_setup>>["props"], __VLS_ctx?: __VLS_PrettifyLocal<Pick<NonNullable<Awaited<typeof __VLS_setup>>, "attrs" | "emit" | "slots">>, __VLS_expose?: NonNullable<Awaited<typeof __VLS_setup>>["expose"], __VLS_setup?: Promise<{
+        props: __VLS_PrettifyLocal<Pick<Partial<{}> & Omit<{} & VNodeProps & AllowedComponentProps & ComponentCustomProps, never>, never> & {
+            pick?: OmegaFormReturn<From, To, TypeProps>["_keys"][];
+            omit?: OmegaFormReturn<From, To, TypeProps>["_keys"][];
+            labelMap?: (key: OmegaFormReturn<From, To, TypeProps>["_keys"]) => string | undefined;
+            filterMap?: <M extends OmegaAutoGenMeta<From, To, Name>>(key: OmegaFormReturn<From, To, TypeProps>["_keys"], meta: M) => boolean | M;
+            order?: OmegaFormReturn<From, To, TypeProps>["_keys"][];
+            sort?: Order.Order<OmegaAutoGenMeta<From, To, Name>>;
+        } & {}> & PublicProps;
+        expose(exposed: ShallowUnwrapRef<{}>): void;
+        attrs: any;
+        slots: {
+            default(props: {
+                child: OmegaAutoGenMeta<From, To, Name>;
+            }): void;
+        };
+        emit: {};
+    }>) => VNode & {
+        __ctx?: Awaited<typeof __VLS_setup>;
+    };
+    Form: <K extends keyof OmegaFormState<To, From>>(__VLS_props: NonNullable<Awaited<typeof __VLS_setup>>["props"], __VLS_ctx?: __VLS_PrettifyLocal<Pick<NonNullable<Awaited<typeof __VLS_setup>>, "attrs" | "emit" | "slots">>, __VLS_expose?: NonNullable<Awaited<typeof __VLS_setup>>["expose"], __VLS_setup?: Promise<{
+        props: __VLS_PrettifyLocal<Pick<Partial<{}> & Omit<{} & VNodeProps & AllowedComponentProps & ComponentCustomProps, never>, never> & {
+            disabled?: boolean;
+            subscribe?: K[];
+        } & {}> & PublicProps;
+        expose(exposed: ShallowUnwrapRef<{}>): void;
+        attrs: any;
+        slots: {
+            default(props: {
+                subscribedValues: K[] extends undefined[] ? Record<string, never> : Pick<OmegaFormState<From, To>, K>;
+            }): void;
+        };
+        emit: {};
+    }>) => VNode & {
+        __ctx?: Awaited<typeof __VLS_setup>;
+    };
+}
+export {};

package/dist/types/components/OmegaForm/useOmegaForm.d.ts

@@ -1,216 +1,8 @@
-import { type DeepKeys, DeepValue, StandardSchemaV1Issue, ValidationError, ValidationErrorMap } from "@tanstack/vue-form";
-import { UnionToTuples } from "effect-app/utils";
-import * as Effect from "effect/Effect";
-import * as Order from "effect/Order";
-import * as S from "effect/Schema";
-import { ComputedRef, type InjectionKey } from "vue";
-import { MergedInputProps } from "./InputProps";
-import { BaseProps, DefaultTypeProps, FieldPath, type FormProps, type MetaRecord, type NestedKeyOf, OmegaArrayProps, OmegaAutoGenMeta, OmegaError, type OmegaFormApi, OmegaFormState } from "./OmegaFormStuff";
-type keysRule<T> = {
-    keys?: NestedKeyOf<T>[];
-    banKeys?: "You should only use one of banKeys or keys, not both, moron";
-} | {
-    keys?: "You should only use one of banKeys or keys, not both, moron";
-    banKeys?: NestedKeyOf<T>[];
-};
-declare const FormErrors_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").MatchRecord<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }, void, { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
-    readonly _tag: "FormErrors";
-} & Readonly<A>;
-export declare class FormErrors<From> extends FormErrors_base<{
-    form: {
-        errors: (Record<string, StandardSchemaV1Issue[]> | undefined)[];
-        errorMap: ValidationErrorMap<undefined, undefined, Record<string, StandardSchemaV1Issue[]>, undefined, undefined, undefined, undefined, undefined, undefined, undefined>;
-    };
-    fields: Record<DeepKeys<From>, {
-        errors: ValidationError[];
-        errorMap: ValidationErrorMap;
-    }>;
-}> {
-}
-export declare const useErrorLabel: (form: OF<any, any>) => (propsName: string) => string;
-export type Policies = "local" | "session" | "querystring";
-export type defaultValuesPriorityUnion = "tanstack" | "persistency" | "schema";
-export type OmegaConfig<T> = {
-    i18nNamespace?: string;
-    persistency?: {
-        /** Order of importance:
-         * - "querystring": Highest priority when persisting
-         * - "local" and then "session": Lower priority storage options
-         */
-        policies?: UnionToTuples<Policies>;
-        overrideDefaultValues?: "deprecated: use defaultValuesPriority";
-        id?: string;
-    } & keysRule<T>;
-    ignorePreventCloseEvents?: boolean;
-    /**
-     * Prevents browser window/tab exit when form has unsaved changes.
-     * Shows native browser "Leave site?" dialog.
-     *
-     * @remarks
-     * - Opt-in only: Must explicitly enable
-     * - Independent from data persistence feature
-     */
-    preventWindowExit?: "prevent" | "prevent-and-reset" | "nope";
-    input?: any;
-    /**
-     * Default values order is: Tanstack default values passed as second parameter to useOmegaForm, then persistency
-     * default values from querystring or local/session storage, then defaults from schema
-     * You can customize the order and  with omegaConfig.defaultValuesPriority
-     * default value = ['tanstack', 'persistency', 'schema']
-     */
-    defaultValuesPriority?: UnionToTuples<defaultValuesPriorityUnion>;
-    defaultFromSchema?: "deprecated: use defaultValuesPriority";
-};
-export interface OF<From, To> extends OmegaFormApi<From, To> {
-    meta: MetaRecord<From>;
-    unionMeta: Record<string, MetaRecord<From>>;
-    clear: () => void;
-    i18nNamespace?: string;
-    ignorePreventCloseEvents?: boolean;
-    registerField: (field: ComputedRef<{
-        name: string;
-        label: string;
-        id: string;
-    }>) => void;
-    /** @experimental */
-    handleSubmitEffect: {
-        /**
-         * when `checkErrors` is true, the Effect will fail with `FormErrors<From>` when there are validation errors
-         * @experimental */
-        (options: {
-            checkErrors: true;
-            meta?: Record<string, any>;
-        }): Effect.Effect<void, FormErrors<From>>;
-        /** @experimental */
-        (options?: {
-            meta?: Record<string, any>;
-        }): Effect.Effect<void>;
-    };
-}
+import { S } from "effect-app";
+import { type InjectionKey } from "vue";
+import type { DefaultTypeProps, FormProps, OF, OmegaConfig, OmegaFormReturn } from "./types";
+export { useErrorLabel } from "./errors";
+export { FormErrors } from "./submit";
+export type { defaultValuesPriorityUnion, OF, OmegaConfig, OmegaFormReturn, Policies } from "./types";
 export declare const OmegaFormKey: InjectionKey<OF<any, any>>;
-type __VLS_PrettifyLocal<T> = {
-    [K in keyof T]: T[K];
-} & {};
-type CachedFieldApi<From, To, TypeProps = DefaultTypeProps> = import("@tanstack/vue-form").FieldApi<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>, import("@tanstack/vue-form").FieldValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, import("@tanstack/vue-form").FieldValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, import("@tanstack/vue-form").FieldAsyncValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, import("@tanstack/vue-form").FieldValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, import("@tanstack/vue-form").FieldAsyncValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, import("@tanstack/vue-form").FieldValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, import("@tanstack/vue-form").FieldAsyncValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, import("@tanstack/vue-form").FieldValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, import("@tanstack/vue-form").FieldAsyncValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, import("@tanstack/vue-form").FormValidateOrFn<From> | undefined, import("@tanstack/vue-form").FormValidateOrFn<From> | undefined, import("@tanstack/vue-form").StandardSchemaV1<From, To>, import("@tanstack/vue-form").FormValidateOrFn<From> | undefined, import("@tanstack/vue-form").FormAsyncValidateOrFn<From> | undefined, import("@tanstack/vue-form").FormValidateOrFn<From> | undefined, import("@tanstack/vue-form").FormAsyncValidateOrFn<From> | undefined, import("@tanstack/vue-form").FormValidateOrFn<From> | undefined, import("@tanstack/vue-form").FormAsyncValidateOrFn<From> | undefined, import("@tanstack/vue-form").FormAsyncValidateOrFn<From> | undefined, Record<string, any> | undefined>;
-type CachedFieldState<From, To, TypeProps = DefaultTypeProps> = import("@tanstack/vue-form").FieldState<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>, import("@tanstack/vue-form").FieldValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, import("@tanstack/vue-form").FieldValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, import("@tanstack/vue-form").FieldAsyncValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, import("@tanstack/vue-form").FieldValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, import("@tanstack/vue-form").FieldAsyncValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, import("@tanstack/vue-form").FieldValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, import("@tanstack/vue-form").FieldAsyncValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, import("@tanstack/vue-form").FieldValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, import("@tanstack/vue-form").FieldAsyncValidateOrFn<From, OmegaFormReturn<From, To, TypeProps>["_keys"], DeepValue<From, OmegaFormReturn<From, To, TypeProps>["_keys"]>> | undefined, import("@tanstack/vue-form").FormValidateOrFn<From> | undefined, import("@tanstack/vue-form").FormValidateOrFn<From> | undefined, import("@tanstack/vue-form").StandardSchemaV1<From, To>, import("@tanstack/vue-form").FormValidateOrFn<From> | undefined, import("@tanstack/vue-form").FormAsyncValidateOrFn<From> | undefined, import("@tanstack/vue-form").FormValidateOrFn<From> | undefined, import("@tanstack/vue-form").FormAsyncValidateOrFn<From> | undefined, import("@tanstack/vue-form").FormValidateOrFn<From> | undefined, import("@tanstack/vue-form").FormAsyncValidateOrFn<From> | undefined>;
-export interface OmegaFormReturn<From extends Record<PropertyKey, any>, To extends Record<PropertyKey, any>, TypeProps = DefaultTypeProps> extends OF<From, To> {
-    _paths: FieldPath<From>;
-    _keys: DeepKeys<From>;
-    _schema: S.Codec<To, From, never>;
-    Input: <Name extends OmegaFormReturn<From, To, TypeProps>["_paths"]>(__VLS_props: NonNullable<Awaited<typeof __VLS_setup>>["props"], __VLS_ctx?: __VLS_PrettifyLocal<Pick<NonNullable<Awaited<typeof __VLS_setup>>, "attrs" | "emit" | "slots">>, __VLS_expose?: NonNullable<Awaited<typeof __VLS_setup>>["expose"], __VLS_setup?: Promise<{
-        props: __VLS_PrettifyLocal<Pick<Partial<{}> & Omit<{} & import("vue").VNodeProps & import("vue").AllowedComponentProps & import("vue").ComponentCustomProps, never>, never> & TypeProps & Partial<{}>> & BaseProps<From, Name> & import("vue").PublicProps;
-        expose(exposed: import("vue").ShallowUnwrapRef<{}>): void;
-        attrs: any;
-        slots: {
-            default?(props: MergedInputProps<From, Name>): void;
-            label?: (props: {
-                required: boolean;
-                id: string;
-                label: string;
-            }) => void;
-        };
-        emit: {};
-    }>) => import("vue").VNode & {
-        __ctx?: Awaited<typeof __VLS_setup>;
-    };
-    Errors: (__VLS_props: NonNullable<Awaited<typeof __VLS_setup>>["props"], __VLS_ctx?: __VLS_PrettifyLocal<Pick<NonNullable<Awaited<typeof __VLS_setup>>, "attrs" | "emit" | "slots">>, __VLS_expose?: NonNullable<Awaited<typeof __VLS_setup>>["expose"], __VLS_setup?: Promise<{
-        props: __VLS_PrettifyLocal<Pick<Partial<{}> & Omit<{} & import("vue").VNodeProps & import("vue").AllowedComponentProps & import("vue").ComponentCustomProps, never>, never> & Partial<{}>> & import("vue").PublicProps;
-        expose(exposed: import("vue").ShallowUnwrapRef<{}>): void;
-        attrs: any;
-        slots: {
-            default: (props: {
-                errors: readonly OmegaError[];
-                showedGeneralErrors: string[];
-            }) => void;
-        };
-        emit: {};
-    }>) => import("vue").VNode & {
-        __ctx?: Awaited<typeof __VLS_setup>;
-    };
-    TaggedUnion: <Name extends OmegaFormReturn<From, To, TypeProps>["_keys"]>(__VLS_props: NonNullable<Awaited<typeof __VLS_setup>>["props"], __VLS_ctx?: __VLS_PrettifyLocal<Pick<NonNullable<Awaited<typeof __VLS_setup>>, "attrs" | "emit" | "slots">>, __VLS_expose?: NonNullable<Awaited<typeof __VLS_setup>>["expose"], __VLS_setup?: Promise<{
-        props: __VLS_PrettifyLocal<Pick<Partial<{}> & Omit<{} & import("vue").VNodeProps & import("vue").AllowedComponentProps & import("vue").ComponentCustomProps, never>, never> & {
-            name?: Name;
-            type?: "select" | "radio";
-            options: import("./InputProps").TaggedUnionOptionsArray<From, Name>;
-            _debugName?: [NoInfer<Name>];
-            label?: string;
-        } & {}> & import("vue").PublicProps;
-        expose(exposed: import("vue").ShallowUnwrapRef<{}>): void;
-        attrs: any;
-        slots: Record<string, (props: {
-            field: import("@tanstack/vue-form").FieldApi<From, Name, DeepValue<From, Name>, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any>;
-            state: import("@tanstack/vue-form").FieldState<From, Name, DeepValue<From, Name>, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any>;
-        }) => any>;
-        emit: {};
-    }>) => import("vue").VNode & {
-        __ctx?: Awaited<typeof __VLS_setup>;
-    };
-    Array: <Name extends OmegaFormReturn<From, To, TypeProps>["_keys"]>(__VLS_props: NonNullable<Awaited<typeof __VLS_setup>>["props"], __VLS_ctx?: __VLS_PrettifyLocal<Pick<NonNullable<Awaited<typeof __VLS_setup>>, "attrs" | "emit" | "slots">>, __VLS_expose?: NonNullable<Awaited<typeof __VLS_setup>>["expose"], __VLS_setup?: Promise<{
-        props: __VLS_PrettifyLocal<Pick<Partial<{}> & Omit<{} & import("vue").VNodeProps & import("vue").AllowedComponentProps & import("vue").ComponentCustomProps, never>, never> & (Omit<OmegaArrayProps<From, To, Name>, "form">) & {}> & import("vue").PublicProps;
-        expose(exposed: import("vue").ShallowUnwrapRef<{}>): void;
-        attrs: any;
-        slots: {
-            "pre-array"?: (props: {
-                field: CachedFieldApi<From, To, TypeProps>;
-                state: CachedFieldState<From, To, TypeProps>;
-            }) => any;
-        } & {
-            default?: (props: {
-                subField: CachedFieldApi<From, To, TypeProps>;
-                subState: CachedFieldState<From, To, TypeProps>;
-                index: number;
-                field: CachedFieldApi<From, To, TypeProps>;
-            }) => any;
-        } & {
-            "post-array"?: (props: {
-                field: CachedFieldApi<From, To, TypeProps>;
-                state: CachedFieldState<From, To, TypeProps>;
-            }) => any;
-        } & {
-            field?: (props: {
-                field: CachedFieldApi<From, To, TypeProps>;
-            }) => any;
-        };
-        emit: {};
-    }>) => import("vue").VNode & {
-        __ctx?: Awaited<typeof __VLS_setup>;
-    };
-    AutoGen: <Name extends OmegaFormReturn<From, To, TypeProps>["_keys"]>(__VLS_props: NonNullable<Awaited<typeof __VLS_setup>>["props"], __VLS_ctx?: __VLS_PrettifyLocal<Pick<NonNullable<Awaited<typeof __VLS_setup>>, "attrs" | "emit" | "slots">>, __VLS_expose?: NonNullable<Awaited<typeof __VLS_setup>>["expose"], __VLS_setup?: Promise<{
-        props: __VLS_PrettifyLocal<Pick<Partial<{}> & Omit<{} & import("vue").VNodeProps & import("vue").AllowedComponentProps & import("vue").ComponentCustomProps, never>, never> & {
-            pick?: OmegaFormReturn<From, To, TypeProps>["_keys"][];
-            omit?: OmegaFormReturn<From, To, TypeProps>["_keys"][];
-            labelMap?: (key: OmegaFormReturn<From, To, TypeProps>["_keys"]) => string | undefined;
-            filterMap?: <M extends OmegaAutoGenMeta<From, To, Name>>(key: OmegaFormReturn<From, To, TypeProps>["_keys"], meta: M) => boolean | M;
-            order?: OmegaFormReturn<From, To, TypeProps>["_keys"][];
-            sort?: Order.Order<OmegaAutoGenMeta<From, To, Name>>;
-        } & {}> & import("vue").PublicProps;
-        expose(exposed: import("vue").ShallowUnwrapRef<{}>): void;
-        attrs: any;
-        slots: {
-            default(props: {
-                child: OmegaAutoGenMeta<From, To, Name>;
-            }): void;
-        };
-        emit: {};
-    }>) => import("vue").VNode & {
-        __ctx?: Awaited<typeof __VLS_setup>;
-    };
-    Form: <K extends keyof OmegaFormState<To, From>>(__VLS_props: NonNullable<Awaited<typeof __VLS_setup>>["props"], __VLS_ctx?: __VLS_PrettifyLocal<Pick<NonNullable<Awaited<typeof __VLS_setup>>, "attrs" | "emit" | "slots">>, __VLS_expose?: NonNullable<Awaited<typeof __VLS_setup>>["expose"], __VLS_setup?: Promise<{
-        props: __VLS_PrettifyLocal<Pick<Partial<{}> & Omit<{} & import("vue").VNodeProps & import("vue").AllowedComponentProps & import("vue").ComponentCustomProps, never>, never> & {
-            disabled?: boolean;
-            subscribe?: K[];
-        } & {}> & import("vue").PublicProps;
-        expose(exposed: import("vue").ShallowUnwrapRef<{}>): void;
-        attrs: any;
-        slots: {
-            default(props: {
-                subscribedValues: K[] extends undefined[] ? Record<string, never> : Pick<OmegaFormState<From, To>, K>;
-            }): void;
-        };
-        emit: {};
-    }>) => import("vue").VNode & {
-        __ctx?: Awaited<typeof __VLS_setup>;
-    };
-}
-export declare const useOmegaForm: <From extends Record<PropertyKey, any>, To extends Record<PropertyKey, any>, TypeProps = DefaultTypeProps>(schema: S.Codec<To, From, never>, tanstackFormOptions?: NoInfer<FormProps<From, To>>, omegaConfig?: OmegaConfig<To>) => OmegaFormReturn<From, To, TypeProps>;
-export {};
+export declare const useOmegaForm: <From extends Record<PropertyKey, any>, To extends Record<PropertyKey, any>, TypeProps = DefaultTypeProps>(schema: S.Codec<To, From>, tanstackFormOptions?: NoInfer<FormProps<From, To>>, omegaConfig?: OmegaConfig<To>) => OmegaFormReturn<From, To, TypeProps>;

package/dist/types/components/OmegaForm/validation/localized.d.ts

@@ -0,0 +1,10 @@
+import type { StandardSchemaV1 } from "@tanstack/vue-form";
+import { S } from "effect-app";
+import type { useIntl } from "../../../utils";
+export type TransFn = ReturnType<typeof useIntl>["trans"];
+export declare const makeStandardSchemaV1Hooks: (trans: TransFn) => {
+    leafHook: S.SchemaIssue.LeafHook;
+    checkHook: S.SchemaIssue.CheckHook;
+};
+export declare const toLocalizedStandardSchemaV1: <To, From>(schema: S.Codec<To, From>, trans: TransFn) => StandardSchemaV1<From, To>;
+export declare const annotateLiteralUnionMessages: <To, From>(schema: S.Codec<To, From>, trans: TransFn) => S.Codec<To, From>;

package/dist/types/index.d.ts

@@ -5,5 +5,4 @@ declare const _default: {
 };
 export default _default;
 export * from "./components";
-export * from "./constants";
 export * from "./utils";

package/dist/types/utils/index.d.ts

@@ -1,5 +1,5 @@
 import { type makeIntl } from "@effect-app/vue";
-import { type S } from "effect-app";
+import type { S } from "effect-app";
 import { type InjectionKey } from "vue";
 export declare const useIntlKey: InjectionKey<ReturnType<typeof makeIntl>["useIntl"]>;
 export declare const useIntl: () => {
@@ -10,11 +10,10 @@ export declare const useIntl: () => {
 };
 export declare const provideIntl: (intl: ReturnType<typeof makeIntl>["useIntl"]) => void;
 /**
- * Recursively extracts the source AST from a transformation chain.
- * In v4, transformations are stored in the `encoding` property, not as wrapped AST nodes.
- * This function returns the encoded form if an encoding chain exists, otherwise returns the AST itself.
- *
- * @param ast - The AST node to extract the transformation source from
- * @returns The source AST (the decoded/type form, which is the AST itself in v4)
+ * Walks the encoding chain of the given AST node to its source (encoded)
+ * side. Shallow — does not recurse into children, so inner prop-level
+ * transformations (e.g. `FiniteFromString`) keep their decoded shape
+ * while struct-level `decodeTo` transformations are unwrapped to their
+ * input side (e.g. `NonNegativeInt` rather than the decoded `PositiveInt`).
  */
 export declare function getTransformationFrom(ast: S.AST.AST): S.AST.AST;