@effect-app/vue-components 4.0.0-beta.190 → 4.0.0-beta.191

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

@@ -17,4 +17,4 @@ export { default as OmegaTaggedUnion } from "./OmegaTaggedUnion.vue";
 export { default as OmegaTaggedUnionInternal } from "./OmegaTaggedUnionInternal.vue";
 export { useOnClose, usePreventClose } from "./blockDialog";
 export { createUseFormWithCustomInput } from "./createUseFormWithCustomInput";
-export declare const duplicateSchema: <From, To>(schema: S.Codec<To, From, never>) => S.Codec<To, From, never, never>;
+export declare const duplicateSchema: <From, To>(schema: S.Codec<To, From>) => S.Codec<To, From, never, never>;

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

@@ -2,7 +2,7 @@ import { type Effect, S } from "effect-app";
 import type { FieldMeta, MetaRecord } from "./types";
 export type FilterItems = {
     items: readonly [string, ...string[]];
-    message: string | Effect.Effect<string, never, never> | {
+    message: string | Effect.Effect<string> | {
         readonly message: string | Effect.Effect<string>;
     };
 };
@@ -20,13 +20,13 @@ export type CreateMeta = {
 export declare const unwrapDeclaration: (property: S.AST.AST) => S.AST.AST;
 export declare const isNullableOrUndefined: (property: false | S.AST.AST | undefined) => false | "undefined" | "null";
 export declare const createMeta: <T = any>({ meta, parent, property, propertySignatures }: CreateMeta, acc?: Partial<MetaRecord<T>>) => MetaRecord<T> | FieldMeta;
-export declare const metadataFromAst: <From, To>(schema: S.Codec<To, From, never>) => {
+export declare const metadataFromAst: <From, To>(schema: S.Codec<To, From>) => {
     meta: MetaRecord<To>;
     defaultValues: Record<string, any>;
     unionMeta: Record<string, MetaRecord<To>>;
 };
-export declare const generateMetaFromSchema: <From, To>(schema: S.Codec<To, From, never>) => {
-    schema: S.Codec<To, From, never>;
+export declare const generateMetaFromSchema: <From, To>(schema: S.Codec<To, From>) => {
+    schema: S.Codec<To, From>;
     meta: MetaRecord<To>;
     unionMeta: Record<string, MetaRecord<To>>;
 };

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

@@ -1,2 +1,2 @@
 import { S } from "effect-app";
-export declare const toFormSchema: <From, To>(schema: S.Codec<To, From, never>) => S.Codec<To, From, never>;
+export declare const toFormSchema: <From, To>(schema: S.Codec<To, From>) => S.Codec<To, From>;

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

@@ -41,7 +41,7 @@ export interface UsePersistencyOptions<From> {
     };
 }
 export interface UsePersistencyReturn {
-    defaultValues: ComputedRef<any>;
+    defaultValues: ComputedRef;
     persistencyKey: ComputedRef<string>;
     persistData: () => void;
     saveDataInUrl: () => void;

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

@@ -22,8 +22,8 @@ export type UserOnSubmit<From, To> = (props: {
     formApi: OmegaFormParams<From, To>;
     meta: any;
     value: To;
-}) => Promise<any> | EffectFiber<any, any> | Effect.Effect<unknown, any, never>;
-export type RunPromise = <A, E>(eff: Effect.Effect<A, E, never>) => Promise<A>;
+}) => Promise<any> | EffectFiber<any, any> | Effect.Effect<unknown, any>;
+export type RunPromise = <A, E>(eff: Effect.Effect<A, E>) => Promise<A>;
 /**
  * Wraps the user's `onSubmit` to:
  * - run inside the OpenTelemetry span passed via `meta.currentSpan`
@@ -33,7 +33,7 @@ export type RunPromise = <A, E>(eff: Effect.Effect<A, E, never>) => Promise<A>;
  * Returns `undefined` when `userOnSubmit` is `undefined` (so callers can pass it
  * directly to `useForm({ onSubmit })` without changing semantics).
  */
-export declare const wrapOnSubmit: <From, To>(userOnSubmit: UserOnSubmit<From, To> | undefined, decode: (value: From) => Effect.Effect<To, any, never>, runPromise: RunPromise) => (({ formApi, meta, value }: {
+export declare const wrapOnSubmit: <From, To>(userOnSubmit: UserOnSubmit<From, To> | undefined, decode: (value: From) => Effect.Effect<To, any>, runPromise: RunPromise) => (({ formApi, meta, value }: {
     formApi: OmegaFormParams<From, To>;
     meta: any;
     value: From;

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

@@ -9,7 +9,7 @@ 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}`>;
+    [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}`>;
@@ -71,7 +71,7 @@ export type FormProps<From, To> = Omit<FormOptions<From, FormValidateOrFn<From>
         formApi: OmegaFormParams<From, To>;
         meta: any;
         value: To;
-    }) => Promise<any> | EffectFiber<any, any> | Effect.Effect<unknown, any, never>;
+    }) => 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>;
@@ -162,7 +162,7 @@ type CachedFieldState<From extends Record<PropertyKey, any>, To extends Record<P
 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, never>;
+    _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;

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

@@ -5,4 +5,4 @@ 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>>;
-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 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

@@ -6,5 +6,5 @@ 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, never, never>, trans: TransFn) => StandardSchemaV1<From, To>;
-export declare const annotateLiteralUnionMessages: <To, From>(schema: S.Codec<To, From, never, never>, trans: TransFn) => S.Codec<To, From, never, never>;
+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/vue-components13.es.js

@@ -23,7 +23,7 @@ var i = (e) => r.AST.isUndefined(e) || r.AST.isNull(e), a = (e) => r.AST.isUnion
 }, c = (e, n, r, i) => {
 	for (let a of e) {
 		let e = n ? `${n}.${a.name.toString()}` : a.name.toString(), o = t(a.type), s = a.type.context?.isOptional === !0, c;
-		c = r.isNullableDiscriminatedUnion && a.name.toString() === "_tag" || r.required === !1 || s ? !1 : !o, u(a.type, e, {
+		c = r.isNullableDiscriminatedUnion && a.name.toString() === "_tag" ? !1 : r.required ? s ? !1 : !o : !1, u(a.type, e, {
 			required: c,
 			nullableOrUndefined: o,
 			isOptionalKey: s
@@ -77,23 +77,24 @@ var i = (e) => r.AST.isUndefined(e) || r.AST.isNull(e), a = (e) => r.AST.isUnion
 		}
 		return;
 	}
-	if (m.some(r.AST.isArrays)) {
-		u(m.find(r.AST.isArrays), t, l, d);
+	let h = m.find(r.AST.isArrays);
+	if (h) {
+		u(h, t, l, d);
 		return;
 	}
-	let h = p.map(a);
-	if (h.every((e) => i(e) || r.AST.isLiteral(e))) {
+	let g = p.map(a);
+	if (g.every((e) => i(e) || r.AST.isLiteral(e))) {
 		let { isOptionalKey: e, nullableOrUndefined: n, required: i } = l, a = {
 			required: i,
 			nullableOrUndefined: n,
 			type: "select",
-			members: h.filter(r.AST.isLiteral).map((e) => e.literal)
+			members: g.filter(r.AST.isLiteral).map((e) => e.literal)
 		};
 		e && (a.isOptionalKey = !0), f[t] = a;
 		return;
 	}
-	let g = m[0];
-	g && u(g, t, l, d);
+	let _ = m[0];
+	_ && u(_, t, l, d);
 }, u = (t, i, a, o) => {
 	t = n(t);
 	let { acc: u } = o;

package/dist/vue-components70.es.js

@@ -18,7 +18,7 @@ var s = class extends r.TaggedError("FormErrors") {}, c = (n, r) => n ? e.with(t
 		return c;
 	});
 }, u = (n) => {
-	let r = n.handleSubmit, a = async (e) => await r(e), c = (n) => a({
+	let r = n.handleSubmit.bind(n), a = async (e) => await r(e), c = (n) => a({
 		currentSpan: t.getSpan(e.active()),
 		...n
 	}), l = (e) => i.currentSpan.pipe(i.option, i.flatMap((t) => i.promise(() => a(o.isSome(t) ? {

package/dist/vue-components8.es.js

@@ -27,8 +27,8 @@ var a = () => e(), o = Symbol("DialogBus"), s = () => r(o, null), c = () => {
 	return t ||= c(), () => {
 		let n = {};
 		t.emit("dialog-closing", n), n.prevent ? typeof n.prevent == "object" && "then" in n.prevent && n.prevent.then((t) => {
-			t !== !1 && e();
-		}) : e();
+			t && e();
+		}).catch(console.error) : e();
 	};
 };
 //#endregion

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect-app/vue-components",
-  "version": "4.0.0-beta.190",
+  "version": "4.0.0-beta.191",
   "peerDependencies": {
     "@mdi/js": "^7.4.47",
     "effect": "^4.0.0-beta.60",
@@ -33,7 +33,7 @@
     "vue-toastification": "^2.0.0-rc.5",
     "vue-tsc": "^3.2.7",
     "vuetify": "^4.0.6",
-    "@effect-app/eslint-shared-config": "0.6.0-beta.18"
+    "@effect-app/eslint-shared-config": "0.6.0-beta.19"
   },
   "files": [
     "src",
@@ -57,8 +57,8 @@
     "highlight.js": "^11.11.1",
     "mitt": "^3.0.1",
     "vue3-highlightjs": "^1.0.5",
-    "effect-app": "4.0.0-beta.190",
-    "@effect-app/vue": "4.0.0-beta.190"
+    "@effect-app/vue": "4.0.0-beta.191",
+    "effect-app": "4.0.0-beta.191"
   },
   "scripts": {
     "check": "vue-tsc",
@@ -67,10 +67,10 @@
     "docs:dev": "vitepress dev docs",
     "docs:build": "vitepress build docs",
     "docs:serve": "vitepress serve docs",
-    "lint": "oxlint src stories && NODE_OPTIONS=--max-old-space-size=8192 eslint src stories .storybook && pnpm exec dprint check --config ../../dprint.jsonc .",
+    "lint": "oxlint --quiet --type-aware src stories && NODE_OPTIONS=--max-old-space-size=8192 ESLINT_TS=1 eslint --quiet src stories .storybook && pnpm exec dprint check --config ../../dprint.jsonc .",
     "ncu": "ncu",
     "clean": "rm -rf dist",
-    "lint-fix": "oxlint --fix src stories && NODE_OPTIONS=--max-old-space-size=8192 eslint --fix src stories .storybook && pnpm exec dprint fmt --config ../../dprint.jsonc .",
+    "lint-fix": "oxlint --quiet --type-aware --fix src stories && NODE_OPTIONS=--max-old-space-size=8192 ESLINT_TS=1 eslint --quiet --fix src stories .storybook && pnpm exec dprint fmt --config ../../dprint.jsonc .",
     "storybook": "storybook dev -p 6006",
     "build-storybook": "storybook build",
     "test": "vitest",

package/src/components/OmegaForm/OmegaTaggedUnionInternal.vue

@@ -38,7 +38,7 @@ watch(() => props.state, (newTag, oldTag) => {
   if (newTag !== oldTag) {
     props.form.reset(values.value)
     setTimeout(() => {
-      props.field.validate("change")
+      void props.field.validate("change")
     }, 0)
   }
 }, { immediate: true })

package/src/components/OmegaForm/blockDialog.ts

@@ -55,11 +55,14 @@ export const useOnClose = (close: () => void) => {
     bus.emit("dialog-closing", evt)
     if (evt.prevent) {
       if (typeof evt.prevent === "object" && "then" in evt.prevent) {
-        evt.prevent.then((r) => {
-          if (r !== false) {
-            close()
-          }
-        })
+        evt
+          .prevent
+          .then((r) => {
+            if (r) {
+              close()
+            }
+          })
+          .catch(console.error)
       }
     } else {
       close()

package/src/components/OmegaForm/errors.ts

@@ -110,7 +110,7 @@ export const eHoc = (errorProps: {
           errors,
           generalErrors,
           ...this.$attrs
-        } as any, this.$slots)
+        }, this.$slots)
       }
     }
   }

package/src/components/OmegaForm/hocs.ts

@@ -12,7 +12,7 @@ export const fHoc = (form: OF<any, any>) => {
         return h(WrappedComponent, {
           form,
           ...this.$attrs
-        } as any, this.$slots)
+        }, this.$slots)
       }
     }
   }

package/src/components/OmegaForm/index.ts

@@ -23,4 +23,4 @@ export { useOnClose, usePreventClose } from "./blockDialog"
 
 export { createUseFormWithCustomInput } from "./createUseFormWithCustomInput"
 
-export const duplicateSchema = <From, To>(schema: S.Codec<To, From, never>) => schema
+export const duplicateSchema = <From, To>(schema: S.Codec<To, From>) => schema

package/src/components/OmegaForm/meta/createMeta.ts

@@ -8,7 +8,7 @@ export type FilterItems = {
   items: readonly [string, ...string[]]
   message:
     | string
-    | Effect.Effect<string, never, never>
+    | Effect.Effect<string>
     | { readonly message: string | Effect.Effect<string> }
 }
 
@@ -33,7 +33,7 @@ export const unwrapDeclaration = (property: S.AST.AST): S.AST.AST => {
   let current = getTransformationFrom(property)
 
   while (S.AST.isDeclaration(current) && current.typeParameters.length > 0) {
-    current = getTransformationFrom(current.typeParameters[0]!)
+    current = getTransformationFrom(current.typeParameters[0])
   }
 
   return current
@@ -96,7 +96,7 @@ export const createMeta = <T = any>(
 }
 
 export const metadataFromAst = <From, To>(
-  schema: S.Codec<To, From, never>
+  schema: S.Codec<To, From>
 ): {
   meta: MetaRecord<To>
   defaultValues: Record<string, any>
@@ -126,9 +126,9 @@ export const metadataFromAst = <From, To>(
 }
 
 export const generateMetaFromSchema = <From, To>(
-  schema: S.Codec<To, From, never>
+  schema: S.Codec<To, From>
 ): {
-  schema: S.Codec<To, From, never>
+  schema: S.Codec<To, From>
   meta: MetaRecord<To>
   unionMeta: Record<string, MetaRecord<To>>
 } => {

package/src/components/OmegaForm/meta/defaults.ts

@@ -102,7 +102,7 @@ export const defaultsValueFromSchema = (
       for (const prop of memberAst.propertySignatures) {
         const key = prop.name.toString()
         const fieldDefault = getDefaultFromAst(prop.type)
-        const existingDefault = mergedFields[key] ? getDefaultFromAst(mergedFields[key]!.ast) : undefined
+        const existingDefault = mergedFields[key] ? getDefaultFromAst(mergedFields[key].ast) : undefined
 
         if (!mergedFields[key] || (fieldDefault !== undefined && existingDefault === undefined)) {
           mergedFields[key] = { ast: prop.type }

package/src/components/OmegaForm/meta/redacted.ts

@@ -19,8 +19,8 @@ const isRedactedWithoutEncoding = (ast: S.AST.AST): boolean =>
  * plain values on the encoded side and wraps them in Redacted on decode.
  */
 export const toFormSchema = <From, To>(
-  schema: S.Codec<To, From, never>
-): S.Codec<To, From, never> => {
+  schema: S.Codec<To, From>
+): S.Codec<To, From> => {
   const ast = schema.ast
   const objAst = S.AST.isObjects(ast)
     ? ast
@@ -36,14 +36,14 @@ export const toFormSchema = <From, To>(
   for (const p of objAst.propertySignatures) {
     if (isRedactedWithoutEncoding(p.type)) {
       hasRedacted = true
-      const innerSchema = S.make((p.type as S.AST.Declaration).typeParameters[0]!)
+      const innerSchema = S.make((p.type as S.AST.Declaration).typeParameters[0])
       props[p.name as string] = S.RedactedFromValue(innerSchema)
     } else if (S.AST.isUnion(p.type)) {
       const types = p.type.types
       const redactedType = types.find(isRedactedWithoutEncoding)
       if (redactedType) {
         hasRedacted = true
-        const innerSchema = S.make((redactedType as S.AST.Declaration).typeParameters[0]!)
+        const innerSchema = S.make((redactedType as S.AST.Declaration).typeParameters[0])
         const hasNull = types.some(S.AST.isNull)
         const hasUndefined = types.some(S.AST.isUndefined)
         const base = S.RedactedFromValue(innerSchema)
@@ -62,5 +62,5 @@ export const toFormSchema = <From, To>(
     }
   }
 
-  return hasRedacted ? S.Struct(props) as unknown as S.Codec<To, From, never> : schema
+  return hasRedacted ? S.Struct(props) as unknown as S.Codec<To, From> : schema
 }

package/src/components/OmegaForm/meta/walker.ts

@@ -9,8 +9,8 @@ const isNullishType = (property: S.AST.AST) => S.AST.isUndefined(property) || S.
 
 // TODO: remove after manual _tag deprecation — S.Struct({ _tag: S.Literal("X") }) wraps as Union([Literal("X")])
 const unwrapSingleLiteralUnion = (ast: S.AST.AST): S.AST.AST =>
-  S.AST.isUnion(ast) && ast.types.length === 1 && S.AST.isLiteral(ast.types[0]!)
-    ? ast.types[0]!
+  S.AST.isUnion(ast) && ast.types.length === 1 && S.AST.isLiteral(ast.types[0])
+    ? ast.types[0]
     : ast
 
 const unwrapNestedUnions = (types: readonly S.AST.AST[]): readonly S.AST.AST[] =>
@@ -76,7 +76,7 @@ export const walkStruct = <T>(
     let isRequired: boolean
     if (parentMeta.isNullableDiscriminatedUnion && p.name.toString() === "_tag") {
       isRequired = false
-    } else if (parentMeta.required === false) {
+    } else if (!parentMeta.required) {
       isRequired = false
     } else if (isOptionalKey) {
       isRequired = false
@@ -104,8 +104,8 @@ export const classifyAndWalkUnion = <T>(
   const nonNullTypes = unwrappedTypes.filter((t) => !isNullishType(t))
 
   // Boolean literal shortcut (single-value union wrapping a boolean literal)
-  if (nonNullTypes.length === 1 && S.AST.isLiteral(nonNullTypes[0]!) && typeof nonNullTypes[0]!.literal === "boolean") {
-    acc[key as NestedKeyOf<T>] = leafMetaForAst(nonNullTypes[0]!, parentMeta)
+  if (nonNullTypes.length === 1 && S.AST.isLiteral(nonNullTypes[0]) && typeof nonNullTypes[0].literal === "boolean") {
+    acc[key as NestedKeyOf<T>] = leafMetaForAst(nonNullTypes[0], parentMeta)
     return
   }
 
@@ -147,7 +147,7 @@ export const classifyAndWalkUnion = <T>(
       }
 
       for (const [metaKey, metaValue] of Object.entries(branchCtx.acc)) {
-        const existing = acc[metaKey as NestedKeyOf<T>] as FieldMeta | undefined
+        const existing = acc[metaKey as NestedKeyOf<T>]
         if (existing && existing.type === "select" && (metaValue as any)?.type === "select") {
           existing.members = [
             ...existing.members,
@@ -161,7 +161,7 @@ export const classifyAndWalkUnion = <T>(
 
     if (discriminatorValues.length > 0) {
       const tagKey = key ? `${key}._tag` : "_tag"
-      const existing = acc[tagKey as NestedKeyOf<T>] as FieldMeta | undefined
+      const existing = acc[tagKey as NestedKeyOf<T>]
       if (existing && existing.type === "select") {
         for (const v of discriminatorValues) {
           if (!existing.members.includes(v)) existing.members.push(v)
@@ -177,8 +177,9 @@ export const classifyAndWalkUnion = <T>(
     return
   }
 
-  if (nonNullTypes.some(S.AST.isArrays)) {
-    walk(nonNullTypes.find(S.AST.isArrays)!, key, parentMeta, ctx)
+  const ast = nonNullTypes.find(S.AST.isArrays)
+  if (ast) {
+    walk(ast, key, parentMeta, ctx)
     return
   }
 
@@ -222,7 +223,7 @@ export const walk = <T>(
   }
 
   if (S.AST.isArrays(ast)) {
-    const restElement = ast.rest.length > 0 ? unwrapDeclaration(ast.rest[0]!) : null
+    const restElement = ast.rest.length > 0 ? unwrapDeclaration(ast.rest[0]) : null
     if (restElement && S.AST.isObjects(restElement)) {
       // Array-of-struct: skip creating a meta entry for the array itself,
       // recurse into the element struct's properties instead

package/src/components/OmegaForm/persistency.ts

@@ -62,7 +62,7 @@ export interface UsePersistencyOptions<From> {
 }
 
 export interface UsePersistencyReturn {
-  defaultValues: ComputedRef<any>
+  defaultValues: ComputedRef
   persistencyKey: ComputedRef<string>
   persistData: () => void
   saveDataInUrl: () => void

package/src/components/OmegaForm/submit.ts

@@ -38,9 +38,9 @@ export type UserOnSubmit<From, To> = (props: {
   formApi: OmegaFormParams<From, To>
   meta: any
   value: To
-}) => Promise<any> | EffectFiber<any, any> | Effect.Effect<unknown, any, never>
+}) => Promise<any> | EffectFiber<any, any> | Effect.Effect<unknown, any>
 
-export type RunPromise = <A, E>(eff: Effect.Effect<A, E, never>) => Promise<A>
+export type RunPromise = <A, E>(eff: Effect.Effect<A, E>) => Promise<A>
 
 /**
  * Wraps the user's `onSubmit` to:
@@ -53,7 +53,7 @@ export type RunPromise = <A, E>(eff: Effect.Effect<A, E, never>) => Promise<A>
  */
 export const wrapOnSubmit = <From, To>(
   userOnSubmit: UserOnSubmit<From, To> | undefined,
-  decode: (value: From) => Effect.Effect<To, any, never>,
+  decode: (value: From) => Effect.Effect<To, any>,
   runPromise: RunPromise
 ) => {
   if (!userOnSubmit) return undefined
@@ -89,7 +89,7 @@ export const wrapOnSubmit = <From, To>(
 export const makeSubmitHandlers = <From, To>(
   form: OmegaFormApi<From, To>
 ) => {
-  const hs = form.handleSubmit
+  const hs = form.handleSubmit.bind(form)
 
   const handleSubmitInner: typeof form.handleSubmit = async (meta?: Record<string, any>) => {
     return await hs(meta)

package/src/components/OmegaForm/types.ts

@@ -16,7 +16,7 @@ export type FieldPath<T> = unknown extends T ? string
   // technically we cannot have array at the root
   : T extends ReadonlyArray<infer U> ? FieldPath_<U, `[${number}]`>
   : {
-    [K in keyof T]: FieldPath_<T[K], `${K & string}`>
+    [K in keyof T]: FieldPath_<T[K], K & string>
   }[keyof T]
 
 export type FieldPath_<T, Path extends string> = unknown extends T ? string
@@ -147,7 +147,7 @@ export type FormProps<From, To> =
       formApi: OmegaFormParams<From, To>
       meta: any
       value: To
-    }) => Promise<any> | EffectFiber<any, any> | Effect.Effect<unknown, any, never>
+    }) => Promise<any> | EffectFiber<any, any> | Effect.Effect<unknown, any>
   }
 
 export type OmegaFormParams<From, To> = FormApi<
@@ -478,7 +478,7 @@ export interface OmegaFormReturn<
   // Pre-computed type aliases - computed ONCE for performance
   _paths: FieldPath<From>
   _keys: NestedKeyOf<From>
-  _schema: S.Codec<To, From, never>
+  _schema: S.Codec<To, From>
 
   // this crazy thing here is copied from the OmegaFormInput.vue.d.ts, with `From` removed as Generic, instead closed over from the From generic above..
   Input: <Name extends OmegaFormReturn<From, To, TypeProps>["_paths"]>(

package/src/components/OmegaForm/useOmegaForm.ts

@@ -38,7 +38,7 @@ export const useOmegaForm = <
   To extends Record<PropertyKey, any>,
   TypeProps = DefaultTypeProps
 >(
-  schema: S.Codec<To, From, never>,
+  schema: S.Codec<To, From>,
   tanstackFormOptions?: NoInfer<FormProps<From, To>>,
   omegaConfig?: OmegaConfig<To>
 ): OmegaFormReturn<From, To, TypeProps> => {
@@ -95,7 +95,7 @@ export const useOmegaForm = <
       ...tanstackFormOptions?.validators
     },
     onSubmit: wrapOnSubmit<From, To>(tanstackFormOptions?.onSubmit, decode, runPromise),
-    defaultValues: persistency.defaultValues.value as any
+    defaultValues: persistency.defaultValues.value
   }) satisfies OmegaFormApi<To, From>
   formHolder.form = form
 

package/src/components/OmegaForm/validation/localized.ts

@@ -92,7 +92,7 @@ export const makeStandardSchemaV1Hooks = (
 }
 
 export const toLocalizedStandardSchemaV1 = <To, From>(
-  schema: S.Codec<To, From, never, never>,
+  schema: S.Codec<To, From>,
   trans: TransFn
 ): StandardSchemaV1<From, To> => {
   const { checkHook, leafHook } = makeStandardSchemaV1Hooks(trans)
@@ -117,7 +117,7 @@ const isLiteralUnion = (ast: S.AST.AST): ast is S.AST.Union<S.AST.Literal> =>
 const walkAst = (ast: S.AST.AST, trans: TransFn): S.AST.AST => {
   if (isLiteralUnion(ast)) {
     if (ast.annotations?.message !== undefined) return ast
-    const members = ast.types.map((t) => (t as S.AST.Literal).literal)
+    const members = ast.types.map((t) => t.literal)
     return new S.AST.Union(
       ast.types,
       ast.mode,
@@ -153,9 +153,9 @@ const walkAst = (ast: S.AST.AST, trans: TransFn): S.AST.AST => {
     if (
       ast.annotations?.message === undefined
       && ast.rest.length === 1
-      && isLiteralUnion(ast.rest[0]!)
+      && isLiteralUnion(ast.rest[0])
     ) {
-      const members = (ast.rest[0]! as S.AST.Union<S.AST.Literal>).types.map((t) => t.literal)
+      const members = ast.rest[0].types.map((t) => t.literal)
       annotations = {
         ...ast.annotations,
         message: trans("validation.not_a_valid", { type: "multiple", message: members.join(", ") })
@@ -194,9 +194,9 @@ const walkAst = (ast: S.AST.AST, trans: TransFn): S.AST.AST => {
 }
 
 export const annotateLiteralUnionMessages = <To, From>(
-  schema: S.Codec<To, From, never, never>,
+  schema: S.Codec<To, From>,
   trans: TransFn
-): S.Codec<To, From, never, never> => {
+): S.Codec<To, From> => {
   const newAst = walkAst(schema.ast, trans)
-  return newAst === schema.ast ? schema : S.make(newAst) as S.Codec<To, From, never, never>
+  return newAst === schema.ast ? schema : S.make(newAst)
 }