import { Opt } from "@effect-ts-app/core/Option";
import * as D from "@effect-ts/core/Collections/Immutable/Dictionary";
import type { EnforceNonEmptyRecord, Unify } from "@effect-ts/core/Utils";
import * as S from "../_schema.js";
import type { DefaultSchema } from "./withDefaults.js";
export interface MatchS<Props extends Record<PropertyKey, S.SchemaUPI>, AS> {
    <M extends {
        [K in keyof Props]?: (x0: S.ParsedShapeOf<Props[K]>, x1: S.ParsedShapeOf<Props[K]>) => Result;
    }, Result>(mat: M, def: (x0: {
        [K in keyof Props]: S.ParsedShapeOf<Props[K]>;
    }[Exclude<keyof Props, keyof M>], x1: {
        [K in keyof Props]: S.ParsedShapeOf<Props[K]>;
    }[Exclude<keyof Props, keyof M>]) => Result): (ks: AS) => Result;
    <Result>(mat: {
        [K in keyof Props]: (_: S.ParsedShapeOf<Props[K]>, __: S.ParsedShapeOf<Props[K]>) => Result;
    }): (ks: AS) => Result;
}
export interface MatchW<Props extends Record<PropertyKey, S.SchemaUPI>, AS> {
    <M extends {
        [K in keyof Props]?: (_: S.ParsedShapeOf<Props[K]>, __: S.ParsedShapeOf<Props[K]>) => any;
    }, Result>(mat: M, def: (x0: {
        [K in keyof Props]: S.ParsedShapeOf<Props[K]>;
    }[Exclude<keyof Props, keyof M>], x1: {
        [K in keyof Props]: S.ParsedShapeOf<Props[K]>;
    }[Exclude<keyof Props, keyof M>]) => Result): (ks: AS) => Unify<{
        [K in keyof M]: M[K] extends (_: S.ParsedShapeOf<Props[K]>, __: S.ParsedShapeOf<Props[K]>) => any ? ReturnType<M[K]> : never;
    }[keyof M] | Result>;
    <M extends {
        [K in keyof Props]: (_: S.ParsedShapeOf<Props[K]>, __: S.ParsedShapeOf<Props[K]>) => any;
    }>(_: M): (ks: AS) => Unify<{
        [K in keyof M]: ReturnType<M[K]>;
    }[keyof M]>;
}
export interface UnionApi<Props extends Record<PropertyKey, S.SchemaUPI>> extends S.ApiSelfType<unknown> {
    readonly matchS: MatchS<Props, S.GetApiSelfType<this, {
        [k in keyof Props]: S.ParsedShapeOf<Props[k]>;
    }[keyof Props]>>;
    readonly matchW: MatchW<Props, S.GetApiSelfType<this, {
        [k in keyof Props]: S.ParsedShapeOf<Props[k]>;
    }[keyof Props]>>;
}
export type SchemaUnion<Props extends Record<PropertyKey, S.SchemaUPI>> = DefaultSchema<unknown, {
    [k in keyof Props]: S.ParsedShapeOf<Props[k]>;
}[keyof Props], {
    [k in keyof Props]: S.ParsedShapeOf<Props[k]>;
}[keyof Props], {
    [k in keyof Props]: S.EncodedOf<Props[k]>;
}[keyof Props], UnionApi<Props>>;
export declare const unionIdentifier: S.Annotation<{
    props: Record<PropertyKey, S.SchemaUPI>;
    tag: Opt<{
        key: string;
        index: D.Dictionary<string>;
        reverse: D.Dictionary<string>;
        values: readonly string[];
    }>;
}>;
export declare function union<Props extends Record<PropertyKey, S.SchemaUPI>>(props: Props & EnforceNonEmptyRecord<Props>): SchemaUnion<Props>;
//# sourceMappingURL=union.d.ts.map