@effect-app/vue-components 4.0.0-beta.12 → 4.0.0-beta.120

package/README.md

@@ -183,6 +183,30 @@ In [tsconfig.json](tsconfig.js), set the following to address [Issue #32](https:
 }
 ```
 
+## v4 Breaking Changes (from v3)
+
+### 1. Vuetify 4 CSS Reset Removed
+
+Vuetify 4 removed the aggressive global CSS reset that v3 included (universal `margin: 0; padding: 0`, list/heading/input resets, etc.). If your app relied on these defaults, opt in to the supplemental reset:
+
+```ts
+import '@effect-app/vue-components/reset.css'
+```
+
+### 2. Nested union `_tag` handling
+
+`S.TaggedStruct` produces a bare `Literal` AST node, while legacy `S.Struct({ _tag: S.Literal("X") })` produces `Union([Literal("X")])` after `AST.toType`. Both patterns now correctly produce `"select"` metadata thanks to the `unwrapSingleLiteralUnion` helper. A `console.warn` is emitted for the legacy pattern to encourage migration to `TaggedStruct`.
+
+### 3. `UndefinedOr` defaults include the key with explicit `undefined`
+
+- **v3**: `defaultsValueFromSchema` skipped keys where the recursive call returned `undefined`, so `UndefinedOr` fields were omitted from the result object entirely.
+- **v4**: The key is present in the result with an explicit `undefined` value.
+
+### 4. `S.optionalKey(X).pipe(S.withDecodingDefault(...))` support
+
+- **v3**: Not supported. The v3 equivalent `S.optionalWith` encoded defaults inside a `PropertySignatureTransformation`, opaque to AST inspection.
+- **v4**: `defaultsValueFromSchema` detects `PropertySignatureTransformation` and extracts defaults, enabling `withDecodingDefault` as a new pattern for declaring field defaults directly on the schema.
+
 ### On Submit event
 The :on-submit event could be tricky in `<OmegaForm />` component. 
 This is a prop that is basically a map of Tanstack Form `onSubmit` option and accept a function that return a Promise. If you want to use it as an event, you have to manage the state of loading yourself with `@submit` with a function returning `void`

package/dist/reset.css

@@ -0,0 +1,52 @@
+/*
+ * Supplemental CSS reset for Vuetify 4.
+ * Vuetify 4 removed the aggressive global reset that v3 included.
+ * Import this file to restore equivalent behavior:
+ *   import '@effect-app/vue-components/reset.css'
+ */
+@layer vuetify-reset {
+  body {
+    margin: 0;
+  }
+
+  ul,
+  ol {
+    margin: 0;
+    padding: 0;
+    list-style: none;
+  }
+
+  h1,
+  h2,
+  h3,
+  h4,
+  h5,
+  h6 {
+    margin: 0;
+    font-size: inherit;
+    font-weight: inherit;
+  }
+
+  p {
+    margin: 0;
+  }
+
+  input,
+  textarea,
+  select {
+    border: 0;
+    background: transparent;
+  }
+
+  a {
+    text-decoration: none;
+    color: inherit;
+  }
+
+  figure,
+  details,
+  summary {
+    margin: 0;
+    padding: 0;
+  }
+}

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

@@ -1,5 +1,5 @@
 import { type DeepKeys } from "@tanstack/vue-form";
-import * as Order from "effect/Order";
+import { Order } from "effect-app";
 import { type OmegaAutoGenMeta, type OmegaInputProps } from "./OmegaFormStuff";
 declare const __VLS_export: <// dprint-ignore
 From extends Record<PropertyKey, string>, To extends Record<PropertyKey, string>, Name extends DeepKeys<From>>(__VLS_props: NonNullable<Awaited<typeof __VLS_setup>>["props"], __VLS_ctx?: __VLS_PrettifyLocal<Pick<NonNullable<Awaited<typeof __VLS_setup>>, "attrs" | "emit" | "slots">>, __VLS_exposed?: NonNullable<Awaited<typeof __VLS_setup>>["expose"], __VLS_setup?: Promise<{

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

@@ -1,14 +1,14 @@
-import type * as Effect from "effect/Effect";
-import * as AST from "effect/SchemaAST";
+import { Effect, S } from "effect-app";
 import { type DeepKeys, type DeepValue, type FieldAsyncValidateOrFn, type FieldValidateOrFn, type FormApi, type FormAsyncValidateOrFn, type FormOptions, type FormState, type FormValidateOrFn, type StandardSchemaV1, type VueFormApi } from "@tanstack/vue-form";
-import * as S from "effect/Schema";
+import type { Fiber as EffectFiber } from "effect/Fiber";
+import type { Redacted } from "effect/Redacted";
 import { useIntl } from "../../utils";
 import { type OmegaFieldInternalApi } from "./InputProps";
 import { type OF, type OmegaFormReturn } from "./useOmegaForm";
-export type FieldPath<T> = unknown extends T ? string : T extends string | boolean | number | null | undefined | symbol | bigint ? "" : T extends ReadonlyArray<infer U> ? FieldPath_<U, `[${number}]`> : {
+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 ? Path : T extends ReadonlyArray<infer U> ? FieldPath_<U, `${Path}[${number}]`> | Path : {
+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>> = {
@@ -68,7 +68,7 @@ export type FormProps<From, To> = Omit<FormOptions<From, FormValidateOrFn<From>
         formApi: OmegaFormParams<From, To>;
         meta: any;
         value: To;
-    }) => Promise<any> | Effect.Effect<unknown, any, never>;
+    }) => Promise<any> | EffectFiber<any, any> | Effect.Effect<unknown, any, never>;
 };
 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>;
@@ -78,7 +78,10 @@ export type FormType<From extends Record<PropertyKey, any>, To extends Record<Pr
     Field: OmegaFieldInternalApi<From, Name>;
 };
 export type PrefixFromDepth<K extends string | number, _TDepth extends any[]> = K;
-export type NestedKeyOf<T> = DeepKeys<T>;
+type StripRedacted<T> = T extends Redacted<any> ? string : T extends ReadonlyArray<infer U> ? ReadonlyArray<StripRedacted<U>> : T extends Record<string, any> ? {
+    [K in keyof T]: StripRedacted<T[K]>;
+} : T;
+export type NestedKeyOf<T> = DeepKeys<StripRedacted<T>>;
 export type FieldValidators<T> = {
     onChangeAsync?: FieldAsyncValidateOrFn<T, any, any>;
     onChange?: FieldValidateOrFn<T, any, any>;
@@ -88,6 +91,14 @@ export type FieldValidators<T> = {
 export type BaseFieldMeta = {
     required: boolean;
     nullableOrUndefined?: false | "undefined" | "null";
+    /**
+     * True when the schema property is `S.optionalKey` (AST
+     * `context.isOptional`) — i.e. the key should be ABSENT from the submitted
+     * object when empty, not present with `undefined`. Distinct from
+     * `required: false`, which may also mean "empty string is valid" for
+     * unconstrained `S.String` fields.
+     */
+    isOptionalKey?: boolean;
 };
 export type StringFieldMeta = BaseFieldMeta & {
     type: "string";
@@ -110,15 +121,18 @@ export type SelectFieldMeta = BaseFieldMeta & {
 export type MultipleFieldMeta = BaseFieldMeta & {
     type: "multiple";
     members: any[];
-    rest: readonly AST.AST[];
+    rest: readonly S.AST.AST[];
 };
 export type BooleanFieldMeta = BaseFieldMeta & {
     type: "boolean";
 };
+export type DateFieldMeta = BaseFieldMeta & {
+    type: "date";
+};
 export type UnknownFieldMeta = BaseFieldMeta & {
     type: "unknown";
 };
-export type FieldMeta = StringFieldMeta | NumberFieldMeta | SelectFieldMeta | MultipleFieldMeta | BooleanFieldMeta | UnknownFieldMeta;
+export type FieldMeta = StringFieldMeta | NumberFieldMeta | SelectFieldMeta | MultipleFieldMeta | BooleanFieldMeta | DateFieldMeta | UnknownFieldMeta;
 export type MetaRecord<T = string> = {
     [K in NestedKeyOf<T>]?: FieldMeta;
 };
@@ -133,17 +147,18 @@ export type CreateMeta = {
     meta?: Record<string, any>;
     nullableOrUndefined?: false | "undefined" | "null";
 } & ({
-    propertySignatures: readonly AST.PropertySignature[];
+    propertySignatures: readonly S.AST.PropertySignature[];
     property?: never;
 } | {
     propertySignatures?: never;
-    property: AST.AST;
+    property: S.AST.AST;
 });
-export declare const isNullableOrUndefined: (property: false | AST.AST | undefined) => false | "undefined" | "null";
+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 toFormSchema: <From, To>(schema: S.Codec<To, From, never>) => S.Codec<To, From, never>;
 export declare const duplicateSchema: <From, To>(schema: S.Codec<To, From, never>) => S.Codec<To, From, never, never>;
-export declare const generateMetaFromSchema: <_From, To>(schema: any) => {
-    schema: any;
+export declare const generateMetaFromSchema: <From, To>(schema: S.Codec<To, From, never>) => {
+    schema: S.Codec<To, From, never>;
     meta: MetaRecord<To>;
     unionMeta: Record<string, MetaRecord<To>>;
 };
@@ -153,5 +168,5 @@ declare const supportedInputs: readonly ["button", "checkbox", "color", "date",
 export type SupportedInputs = typeof supportedInputs[number];
 export declare const getInputType: (input: string) => SupportedInputs;
 export declare function deepMerge(target: any, source: any): any;
-export declare const defaultsValueFromSchema: (schema: S.Codec<any>, record?: Record<string, any>) => any;
+export declare const defaultsValueFromSchema: (schema: S.Schema<any>, record?: Record<string, any>) => any;
 export {};

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

@@ -1,8 +1,6 @@
 import { type DeepKeys, DeepValue, StandardSchemaV1Issue, ValidationError, ValidationErrorMap } from "@tanstack/vue-form";
+import { Effect, Order, S } from "effect-app";
 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";
@@ -13,7 +11,7 @@ type keysRule<T> = {
     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 & {
+declare const FormErrors_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "FormErrors";
 } & Readonly<A>;
 export declare class FormErrors<From> extends FormErrors_base<{
@@ -95,7 +93,7 @@ type CachedFieldApi<From, To, TypeProps = DefaultTypeProps> = import("@tanstack/
 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>;
+    _keys: NestedKeyOf<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;

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;

package/dist/vue-components.es.js

@@ -1,45 +1,22 @@
-import * as o from "./vue-components.es2.js";
-import { getTransformationFrom as p, provideIntl as l, useIntl as s, useIntlKey as u } from "./vue-components.es3.js";
-import { default as i } from "./vue-components.es4.js";
-import { default as g } from "./vue-components.es5.js";
-import { default as I } from "./vue-components.es6.js";
-import { default as y } from "./vue-components.es7.js";
-import { default as h } from "./vue-components.es8.js";
-import { default as C } from "./vue-components.es9.js";
-import { useOmegaForm as T } from "./vue-components.es10.js";
-import { useOnClose as b, usePreventClose as j } from "./vue-components.es11.js";
-import { createMeta as P, deepMerge as V, defaultsValueFromSchema as k, duplicateSchema as w, generateInputStandardSchemaFromFieldMeta as B, generateMetaFromSchema as D, getInputType as K, isNullableOrUndefined as N } from "./vue-components.es12.js";
-import { createUseFormWithCustomInput as $ } from "./vue-components.es13.js";
-function r(a) {
-  for (const e in o)
-    if (Object.prototype.hasOwnProperty.call(o, e)) {
-      const t = o[e];
-      t && typeof t == "object" && a.component(e, t);
-    }
+import e from "./vue-components4.es.js";
+import { useOnClose as t, usePreventClose as n } from "./vue-components7.es.js";
+import r from "./vue-components9.es.js";
+import { getTransformationFrom as i, provideIntl as a, useIntl as o, useIntlKey as s } from "./vue-components11.es.js";
+import { createMeta as c, deepMerge as l, defaultsValueFromSchema as u, duplicateSchema as d, generateInputStandardSchemaFromFieldMeta as f, generateMetaFromSchema as p, getInputType as m, isNullableOrUndefined as h, toFormSchema as g } from "./vue-components12.es.js";
+import _ from "./vue-components50.es.js";
+import v from "./vue-components52.es.js";
+import y from "./vue-components54.es.js";
+import b from "./vue-components56.es.js";
+import { useOmegaForm as x } from "./vue-components61.es.js";
+import { createUseFormWithCustomInput as S } from "./vue-components62.es.js";
+import { components_exports as C } from "./vue-components64.es.js";
+//#region src/index.ts
+function w(e) {
+	for (let t in C) if (Object.prototype.hasOwnProperty.call(C, t)) {
+		let n = C[t];
+		n && typeof n == "object" && e.component(t, n);
+	}
 }
-const n = { install: r };
-export {
-  i as CommandButton,
-  g as Dialog,
-  I as OmegaInput,
-  h as OmegaTaggedUnion,
-  C as OmegaTaggedUnionInternal,
-  y as OmegaVuetifyInput,
-  P as createMeta,
-  $ as createUseFormWithCustomInput,
-  V as deepMerge,
-  n as default,
-  k as defaultsValueFromSchema,
-  w as duplicateSchema,
-  B as generateInputStandardSchemaFromFieldMeta,
-  D as generateMetaFromSchema,
-  K as getInputType,
-  p as getTransformationFrom,
-  N as isNullableOrUndefined,
-  l as provideIntl,
-  s as useIntl,
-  u as useIntlKey,
-  T as useOmegaForm,
-  b as useOnClose,
-  j as usePreventClose
-};
+var T = { install: w };
+//#endregion
+export { e as CommandButton, r as Dialog, v as OmegaInput, b as OmegaTaggedUnion, y as OmegaTaggedUnionInternal, _ as OmegaVuetifyInput, c as createMeta, S as createUseFormWithCustomInput, l as deepMerge, T as default, u as defaultsValueFromSchema, d as duplicateSchema, f as generateInputStandardSchemaFromFieldMeta, p as generateMetaFromSchema, m as getInputType, i as getTransformationFrom, h as isNullableOrUndefined, a as provideIntl, g as toFormSchema, o as useIntl, s as useIntlKey, x as useOmegaForm, t as useOnClose, n as usePreventClose };

package/dist/vue-components10.es.js

@@ -0,0 +1,5 @@
+import "vue";
+typeof WorkerGlobalScope < "u" && globalThis instanceof WorkerGlobalScope;
+var e = Object.prototype.toString, t = (t) => e.call(t) === "[object Object]";
+//#endregion
+export { t as isObject };

package/dist/vue-components11.es.js

@@ -0,0 +1,13 @@
+import { inject as e, provide as t } from "vue";
+//#region src/utils/index.ts
+var n = Symbol(), r = () => {
+	let t = e(n);
+	if (!t) throw Error("useIntl must be used within a IntlProvider");
+	return t();
+}, i = (e) => t(n, e);
+function a(e) {
+	for (; e.encoding;) e = e.encoding[0].to;
+	return e;
+}
+//#endregion
+export { a as getTransformationFrom, i as provideIntl, r as useIntl, n as useIntlKey };