import type { TSchema, Static as Static$1 } from 'typebox';
import type { StandardSchemaV1 } from '@standard-schema/spec';
import type { type } from 'arktype';
import type { AnySchema } from 'joi';
import type { Infer as ClassValidatorInfer, InferIn as ClassValidatorInferIn, Schema as ClassValidatorSchema } from '@typeschema/class-validator';
import type { GenericSchema, GenericSchemaAsync, InferInput as Input, InferOutput as Output } from 'valibot';
import type { Schema as Schema$2, InferType } from 'yup';
import type { ZodTypeAny, input, output } from 'zod/v3';
import type { $ZodType as $Zod4Type, input as zod4Input, output as zod4Output } from 'zod/v4/core';
import type { SchemaTypes, Infer as VineInfer } from '@vinejs/vine/types';
import type { FromSchema, JSONSchema } from 'json-schema-to-ts';
import type { Struct, Infer as Infer$2 } from 'superstruct';
import type { Schema as Schema$1 } from 'effect';
type Replace<T, From, To> = NonNullable<T> extends From ? To | Exclude<T, From> : NonNullable<T> extends object ? {
    [K in keyof T]: Replace<T[K], From, To>;
} : T;
type IfDefined<T> = any extends T ? never : T;
type UnknownIfNever<T> = [T] extends [never] ? unknown : T;
type Schema = {
    [K in keyof Registry]: IfDefined<InferSchema<Registry[K]>>;
}[keyof Registry];
interface Resolver<TSchema = unknown> {
    schema: TSchema;
    input: unknown;
    output: unknown;
    base: unknown;
}
type InferInput<TResolver extends Resolver, TSchema> = (TResolver & {
    schema: TSchema;
})['input'];
type InferOutput<TResolver extends Resolver, TSchema> = (TResolver & {
    schema: TSchema;
})['output'];
type InferSchema<TResolver extends Resolver> = TResolver['base'];
type ValidationIssue = {
    message: string;
    path?: Array<string | number | symbol>;
};
type ValidationResult<TOutput = any> = {
    success: true;
    data: TOutput;
} | {
    success: false;
    issues: Array<ValidationIssue>;
};
interface ArkTypeResolver extends Resolver {
    base: type.Any;
    input: this['schema'] extends type.Any ? this['schema']['inferIn'] : never;
    output: this['schema'] extends type.Any ? this['schema']['infer'] : never;
}
interface ClassValidatorResolver extends Resolver {
    base: ClassValidatorSchema;
    input: this['schema'] extends ClassValidatorSchema ? ClassValidatorInferIn<this['schema']> : never;
    output: this['schema'] extends ClassValidatorSchema ? ClassValidatorInfer<this['schema']> : never;
}
type CustomSchema<T = any> = (data: unknown) => Promise<T> | T;
interface CustomResolver extends Resolver {
    base: CustomSchema;
    input: this['schema'] extends CustomSchema ? this['schema'] extends {
        _def: unknown;
    } ? never : keyof this['schema'] extends never ? Awaited<ReturnType<this['schema']>> : never : never;
    output: this['schema'] extends CustomSchema ? this['schema'] extends {
        _def: unknown;
    } ? never : keyof this['schema'] extends never ? Awaited<ReturnType<this['schema']>> : never : never;
}
interface JoiResolver extends Resolver {
    base: AnySchema;
}
interface TypeBoxResolver extends Resolver {
    base: TSchema & {
        '~kind': string;
    };
    input: this['schema'] extends TSchema & {
        '~kind': string;
    } ? Static$1<this['schema']> : never;
    output: this['schema'] extends TSchema & {
        '~kind': string;
    } ? Static$1<this['schema']> : never;
}
interface ValibotResolver extends Resolver {
    base: GenericSchema | GenericSchemaAsync;
    input: this['schema'] extends GenericSchema | GenericSchemaAsync ? Input<this['schema']> : never;
    output: this['schema'] extends GenericSchema | GenericSchemaAsync ? Output<this['schema']> : never;
}
interface YupResolver extends Resolver {
    base: Schema$2;
    input: this['schema'] extends Schema$2 ? InferType<this['schema']> : never;
    output: this['schema'] extends Schema$2 ? InferType<this['schema']> : never;
}
interface ZodResolver extends Resolver {
    base: ZodTypeAny;
    input: this['schema'] extends ZodTypeAny ? input<this['schema']> : never;
    output: this['schema'] extends ZodTypeAny ? output<this['schema']> : never;
}
interface Zod4Resolver extends Resolver {
    base: $Zod4Type;
    input: this['schema'] extends $Zod4Type ? zod4Input<this['schema']> : never;
    output: this['schema'] extends $Zod4Type ? zod4Output<this['schema']> : never;
}
interface VineResolver extends Resolver {
    base: SchemaTypes;
    input: this['schema'] extends SchemaTypes ? Replace<VineInfer<this['schema']>, Date, string> : never;
    output: this['schema'] extends SchemaTypes ? VineInfer<this['schema']> : never;
}
interface StandardResolver extends Resolver {
    base: StandardSchemaV1<any, any>;
    input: this['schema'] extends StandardSchemaV1<any, any> ? StandardSchemaV1.InferInput<this['schema']> : never;
    output: this['schema'] extends StandardSchemaV1<any, any> ? StandardSchemaV1.InferOutput<this['schema']> : never;
}
interface SchemasafeResolver<Schema extends JSONSchema, Data = FromSchema<Schema>> extends Resolver {
    base: JSONSchema;
    input: this['schema'] extends Schema ? Data : never;
    output: this['schema'] extends Schema ? Data : never;
}
interface SuperstructResolver extends Resolver {
    base: Struct<any, any>;
    input: this['schema'] extends Struct<any, any> ? Infer$2<this['schema']> : never;
    output: this['schema'] extends Struct<any, any> ? Infer$2<this['schema']> : never;
}
interface EffectResolver extends Resolver {
    base: Schema$1.Schema<any>;
    input: this['schema'] extends Schema$1.Schema<any> ? Schema$1.Schema.Encoded<this['schema']> : never;
    output: this['schema'] extends Schema$1.Schema<any> ? Schema$1.Schema.Type<this['schema']> : never;
}
export type Registry = {
    arktype: ArkTypeResolver;
    classvalidator: ClassValidatorResolver;
    custom: CustomResolver;
    joi: JoiResolver;
    typebox: TypeBoxResolver;
    valibot: ValibotResolver;
    yup: YupResolver;
    zod: ZodResolver;
    zod4: Zod4Resolver;
    vine: VineResolver;
    schemasafe: SchemasafeResolver<JSONSchema>;
    standard: StandardResolver;
    superstruct: SuperstructResolver;
    effect: EffectResolver;
};
type Infer<TSchema extends Schema, Keys extends keyof Registry = keyof Registry> = UnknownIfNever<TSchema extends {
    _zod: unknown;
} ? IfDefined<InferOutput<Registry['zod4'], TSchema>> : {
    [K in Keys]: IfDefined<InferOutput<Registry[K], TSchema>>;
}[Keys]>;
type InferIn<TSchema extends Schema, Keys extends keyof Registry = keyof Registry> = UnknownIfNever<TSchema extends {
    _zod: unknown;
} ? IfDefined<InferInput<Registry['zod4'], TSchema>> : {
    [K in Keys]: IfDefined<InferInput<Registry[K], TSchema>>;
}[Keys]>;
export type { Infer, InferIn, Schema, ValidationIssue, ValidationResult };