sveltekit-discriminated-fields 0.2.0 → 0.3.0

package/dist/UnionVariants.svelte.d.ts

@@ -1,115 +0,0 @@
-import type { Snippet } from "svelte";
-import type { InferDiscriminator } from "./infer-discriminator.js";
-type DiscriminatorValues<K extends string, T> = T extends Record<K, {
-    value(): infer V;
-}> ? V extends string ? V : never : never;
-type NarrowToVariant<K extends string, T, V> = T extends Record<K, {
-    value(): V;
-}> ? T : never;
-type ReservedProps = "fields" | "key" | "fallback" | "partial";
-type FieldKeys<T> = {
-    [P in keyof T]: T[P] extends {
-        value(): unknown;
-    } ? P : never;
-}[keyof T];
-type VariantFieldKeys<K extends string, T, V extends string> = Exclude<FieldKeys<NarrowToVariant<K, T, V>>, K>;
-type OtherVariantsFieldKeys<K extends string, T, V extends string, OtherV extends string = Exclude<DiscriminatorValues<K, T>, V>> = OtherV extends OtherV ? VariantFieldKeys<K, T, OtherV> : never;
-type SharedFieldKeys<K extends string, T, V extends string> = VariantFieldKeys<K, T, V> & OtherVariantsFieldKeys<K, T, V>;
-type AllSharedFieldKeys<K extends string, T, V extends string = DiscriminatorValues<K, T>> = V extends V ? SharedFieldKeys<K, T, V> : never;
-type HasField<T, P> = P extends keyof T ? T[P] extends {
-    value(): unknown;
-} ? true : false : false;
-type FieldExistsInAll<K extends string, T, P extends string, V extends string = DiscriminatorValues<K, T>> = V extends V ? HasField<NarrowToVariant<K, T, V>, P> : never;
-type IsCommonField<K extends string, T, P extends string> = false extends FieldExistsInAll<K, T, P> ? false : true;
-type FieldValueType<K extends string, T, V extends string, P extends string> = NarrowToVariant<K, T, V>[P & keyof NarrowToVariant<K, T, V>] extends {
-    value(): infer R;
-} ? R : never;
-type AllFieldValueTypes<K extends string, T, P extends string, V extends string = DiscriminatorValues<K, T>> = V extends V ? FieldValueType<K, T, V, P> : never;
-type FieldTypeMatchesInVariant<K extends string, T, P extends string, V extends string, Union = AllFieldValueTypes<K, T, P>> = [Union] extends [FieldValueType<K, T, V, P>] ? true : false;
-type FieldHasSameTypeInAll<K extends string, T, P extends string, V extends string = DiscriminatorValues<K, T>> = V extends V ? FieldTypeMatchesInVariant<K, T, P, V> : never;
-type IsUniformTypeField<K extends string, T, P extends string> = false extends FieldHasSameTypeInAll<K, T, P> ? false : true;
-type PartiallySharedFieldKeys<K extends string, T> = {
-    [P in AllSharedFieldKeys<K, T>]: IsCommonField<K, T, P & string> extends true ? never : P;
-}[AllSharedFieldKeys<K, T>];
-type MixedTypeFieldKeys<K extends string, T> = {
-    [P in AllSharedFieldKeys<K, T>]: IsCommonField<K, T, P & string> extends true ? IsUniformTypeField<K, T, P & string> extends true ? never : P : never;
-}[AllSharedFieldKeys<K, T>];
-type CommonFieldKeys<K extends string, T> = {
-    [P in AllSharedFieldKeys<K, T>]: IsCommonField<K, T, P & string> extends true ? IsUniformTypeField<K, T, P & string> extends true ? P : never : never;
-}[AllSharedFieldKeys<K, T>];
-type ValidateNoPartiallySharedFields<K extends string, T> = [
-    PartiallySharedFieldKeys<K, T>
-] extends [never] ? T : `Error: Field '${PartiallySharedFieldKeys<K, T> & string}' exists in some variants but not all. Fields must be either unique to one variant or common to all variants.`;
-type ValidateNoMixedTypeFields<K extends string, T> = [MixedTypeFieldKeys<K, T>] extends [never] ? T : `Error: Field '${MixedTypeFieldKeys<K, T> & string}' exists in all variants but with different types. Shared fields must have the same type across all variants.`;
-type ValidateFields<K extends string, T> = [PartiallySharedFieldKeys<K, T>] extends [never] ? [MixedTypeFieldKeys<K, T>] extends [never] ? T : ValidateNoMixedTypeFields<K, T> : ValidateNoPartiallySharedFields<K, T>;
-type VariantOnlyFields<K extends string, T, V extends string> = Omit<NarrowToVariant<K, T, V>, CommonFieldKeys<K, T>>;
-type VariantSnippets<K extends string, T, V extends string, IsPartial extends boolean> = IsPartial extends true ? {
-    [P in Exclude<V, ReservedProps>]?: Snippet<[VariantOnlyFields<K, T, P>]>;
-} : {
-    [P in Exclude<V, ReservedProps>]: Snippet<[VariantOnlyFields<K, T, P>]>;
-};
-export type UnionVariantsPropsWithKey<K extends string, T extends Record<K, {
-    value(): unknown;
-}>, V extends string = DiscriminatorValues<K, T>, IsPartial extends boolean = false> = {
-    fields: ValidateFields<K, T>;
-    key: K;
-    /** Optional snippet shown when no variant is selected */
-    fallback?: Snippet;
-    /** When true, variant snippets are optional (default: false) */
-    partial?: IsPartial;
-    /**
-     * CSS selector for the discriminator input element (select or radio container).
-     * When provided, uses this selector instead of the default name-based lookup.
-     * Example: "#method-select" for a select, or "#radio-group" for radios
-     */
-    selector?: string;
-} & VariantSnippets<K, T, V, IsPartial>;
-export type UnionVariantsPropsInferred<T extends Record<string, {
-    value(): unknown;
-}>, K extends string = InferDiscriminator<T> extends infer I ? (I extends string ? I : never) : never, V extends string = DiscriminatorValues<K, T>, IsPartial extends boolean = false> = InferDiscriminator<T> extends string ? {
-    fields: ValidateFields<K, T>;
-    key?: K;
-    fallback?: Snippet;
-    partial?: IsPartial;
-    selector?: string;
-} & VariantSnippets<K, T, V, IsPartial> : {
-    fields: InferDiscriminator<T>;
-    key: never;
-};
-export type UnionVariantsProps<K extends string, T extends Record<K, {
-    value(): unknown;
-}>, V extends string = DiscriminatorValues<K, T>, IsPartial extends boolean = false> = UnionVariantsPropsWithKey<K, T, V, IsPartial>;
-declare function $$render<K extends string, T extends Record<K, {
-    value(): unknown;
-}>, V extends string = DiscriminatorValues<K, T>, IsPartial extends boolean = false>(): {
-    props: UnionVariantsProps<K, T, V, IsPartial>;
-    exports: {};
-    bindings: "";
-    slots: {};
-    events: {};
-};
-declare class __sveltets_Render<K extends string, T extends Record<K, {
-    value(): unknown;
-}>, V extends string = DiscriminatorValues<K, T>, IsPartial extends boolean = false> {
-    props(): ReturnType<typeof $$render<K, T, V, IsPartial>>['props'];
-    events(): ReturnType<typeof $$render<K, T, V, IsPartial>>['events'];
-    slots(): ReturnType<typeof $$render<K, T, V, IsPartial>>['slots'];
-    bindings(): "";
-    exports(): {};
-}
-interface $$IsomorphicComponent {
-    new <K extends string, T extends Record<K, {
-        value(): unknown;
-    }>, V extends string = DiscriminatorValues<K, T>, IsPartial extends boolean = false>(options: import('svelte').ComponentConstructorOptions<ReturnType<__sveltets_Render<K, T, V, IsPartial>['props']>>): import('svelte').SvelteComponent<ReturnType<__sveltets_Render<K, T, V, IsPartial>['props']>, ReturnType<__sveltets_Render<K, T, V, IsPartial>['events']>, ReturnType<__sveltets_Render<K, T, V, IsPartial>['slots']>> & {
-        $$bindings?: ReturnType<__sveltets_Render<K, T, V, IsPartial>['bindings']>;
-    } & ReturnType<__sveltets_Render<K, T, V, IsPartial>['exports']>;
-    <K extends string, T extends Record<K, {
-        value(): unknown;
-    }>, V extends string = DiscriminatorValues<K, T>, IsPartial extends boolean = false>(internal: unknown, props: ReturnType<__sveltets_Render<K, T, V, IsPartial>['props']> & {}): ReturnType<__sveltets_Render<K, T, V, IsPartial>['exports']>;
-    z_$$bindings?: ReturnType<__sveltets_Render<any, any, any, any>['bindings']>;
-}
-declare const UnionVariants: $$IsomorphicComponent;
-type UnionVariants<K extends string, T extends Record<K, {
-    value(): unknown;
-}>, V extends string = DiscriminatorValues<K, T>, IsPartial extends boolean = false> = InstanceType<typeof UnionVariants<K, T, V, IsPartial>>;
-export default UnionVariants;

package/dist/discriminated-fields.d.ts

@@ -1,70 +0,0 @@
-import type { RemoteFormField, RemoteFormFieldType } from '@sveltejs/kit';
-export type DiscriminatedData<T> = T extends {
-    set: (v: infer D) => unknown;
-} ? D : never;
-type ExtractFieldValue<F> = F extends RemoteFormField<infer V> ? V : never;
-type RadioProps = {
-    name: string;
-    type: 'radio';
-    value?: string;
-    'aria-invalid': boolean | 'false' | 'true' | undefined;
-    get checked(): boolean;
-    set checked(value: boolean);
-};
-type NonRadioAsArgs<Type extends string, Value> = Type extends 'checkbox' ? Value extends string[] ? [type: Type, value: Value[number] | (string & {})] : [type: Type] : Type extends 'submit' | 'hidden' ? [type: Type, value: Value | (string & {})] : [type: Type];
-type StrictDiscriminatorField<Value extends string, BaseField extends RemoteFormField<Value>> = Omit<BaseField, 'as'> & {
-    as(type: 'radio', value: Value): RadioProps;
-    as<T extends Exclude<RemoteFormFieldType<Value>, 'radio'>>(...args: NonRadioAsArgs<T, Value>): ReturnType<BaseField['as']>;
-};
-type UnifyField<F, V extends string = ExtractFieldValue<F> & string> = StrictDiscriminatorField<V, RemoteFormField<V>>;
-type Setter<K extends string, T, D = DiscriminatedData<T>> = {
-    set: <V extends D[K & keyof D]>(data: Extract<D, {
-        [P in K]: V;
-    }>) => void;
-};
-type Keys<T> = T extends unknown ? keyof T : never;
-type KeyValue<K extends string, V> = {
-    [P in `${K}Value`]: V;
-};
-type Fields<T> = {
-    [P in Keys<T>]: T extends Record<P, infer V> ? V : never;
-};
-type Variant<K extends string, T, V> = KeyValue<K, V> & Fields<T>;
-type Narrowed<K extends string, T> = T extends {
-    [P in K]: {
-        value(): infer V;
-    };
-} ? Variant<K, T, V> : never;
-type Union<K extends string, T> = Narrowed<K, T> | Variant<K, T, undefined>;
-type FieldUnion<K extends string, T> = T extends Record<K, infer F> ? F : never;
-type UnifiedDiscriminator<K extends string, T, F = FieldUnion<K, T>> = {
-    readonly [P in K]: [F] extends [never] ? never : UnifyField<F>;
-};
-type DiscriminatedFields<K extends string, T> = Setter<K, T> & Union<K, T> & UnifiedDiscriminator<K, T>;
-/**
- * Wraps discriminated union form fields for type-safe access.
- * - All original fields pass through unchanged (type, issues, allIssues, etc.)
- * - `set` is overridden with type-safe version
- * - `${key}Value` is added for discriminator value (e.g., `reward.typeValue`)
- * - Discriminator field `.as("radio", value)` is type-safe (only valid values allowed)
- *
- * @example
- * ```svelte
- * <script>
- *   const priority = $derived(discriminatedFields("level", priorityForm.fields));
- * </script>
- *
- * <input {...priority.level.as("radio", "high")} /> <!-- type-safe: only valid values allowed -->
- * ```
- *
- * @param key - Discriminator key (e.g. 'type')
- * @param fields - Form fields from a discriminated union schema
- * @returns Passthrough object with type-safe set(), ${key}Value, and .as("radio", value)
- */
-export declare function discriminatedFields<K extends string, T extends {
-    set: (v: never) => unknown;
-} & Record<K, {
-    value(): unknown;
-    as(type: 'radio', value: string): object;
-}>>(key: K, fields: T): DiscriminatedFields<K, T>;
-export {};

package/dist/discriminated-fields.js

@@ -1,35 +0,0 @@
-/**
- * Wraps discriminated union form fields for type-safe access.
- * - All original fields pass through unchanged (type, issues, allIssues, etc.)
- * - `set` is overridden with type-safe version
- * - `${key}Value` is added for discriminator value (e.g., `reward.typeValue`)
- * - Discriminator field `.as("radio", value)` is type-safe (only valid values allowed)
- *
- * @example
- * ```svelte
- * <script>
- *   const priority = $derived(discriminatedFields("level", priorityForm.fields));
- * </script>
- *
- * <input {...priority.level.as("radio", "high")} /> <!-- type-safe: only valid values allowed -->
- * ```
- *
- * @param key - Discriminator key (e.g. 'type')
- * @param fields - Form fields from a discriminated union schema
- * @returns Passthrough object with type-safe set(), ${key}Value, and .as("radio", value)
- */
-export function discriminatedFields(key, fields) {
-    const proxy = new Proxy(fields, {
-        get(target, prop) {
-            if (prop === `${key}Value`)
-                return target[key].value();
-            if (prop === 'set')
-                return (data) => target.set(data);
-            return Reflect.get(target, prop);
-        },
-        has(target, prop) {
-            return prop === `${key}Value` || prop in target;
-        }
-    });
-    return proxy;
-}

package/dist/infer-discriminator.d.ts

@@ -1,11 +0,0 @@
-type AllKeys<T> = T extends T ? keyof T : never;
-type HasLiteralValue<T, K> = K extends keyof T ? T[K] extends {
-    value(): infer V;
-} ? V extends string ? string extends V ? false : true : false : false : false;
-type IsDiscriminatorInAll<T, K> = T extends T ? HasLiteralValue<T, K> : never;
-type IsDiscriminator<T, K> = [IsDiscriminatorInAll<T, K>] extends [true] ? true : false;
-type DiscriminatorKeys<T, K = AllKeys<T>> = K extends K ? IsDiscriminator<T, K> extends true ? K : never : never;
-type IsUnion<T, U = T> = T extends T ? ([U] extends [T] ? false : true) : never;
-export type InferDiscriminator<T> = DiscriminatorKeys<T> extends infer Keys ? [Keys] extends [never] ? "Error: No valid discriminator found. A discriminator must exist in all variants with distinct string literal values." : IsUnion<Keys> extends true ? `Error: Multiple discriminator candidates found: ${Keys & string}. Please specify the key explicitly.` : Keys : never;
-export type IsValidInference<T> = InferDiscriminator<T> extends `Error: ${string}` ? false : true;
-export type { DiscriminatorKeys };

package/dist/infer-discriminator.js

@@ -1,5 +0,0 @@
-// Auto-detect discriminator key from a union of form field objects
-//
-// This allows discriminatedFields() and UnionVariants to work without
-// explicitly specifying the discriminator key, when it can be unambiguously inferred.
-export {};