declare type Union<Discriminant extends string> = {
    [Literal in Discriminant]: string;
};
export declare type TagUnion = Union<'tag'>;
export declare type InferMatch<Discriminant extends string, ADT extends Union<Discriminant>, Type extends ADT[Discriminant]> = Extract<ADT, {
    [Literal in Discriminant]: Type;
}>;
declare type ExhaustivePattern<Discriminant extends string, ADT extends Union<Discriminant>, A> = {
    [Kind in ADT[Discriminant]]: (m: InferMatch<Discriminant, ADT, Kind>) => A;
};
declare type CatchAll<Discriminant extends string, ADT extends Union<Discriminant>, A> = {
    _: (adt: ADT) => A;
};
declare type PartialPattern<Discriminant extends string, ADT extends Union<Discriminant>, A> = Partial<ExhaustivePattern<Discriminant, ADT, A>> & CatchAll<Discriminant, ADT, A>;
export declare type Pattern<Discriminant extends string, ADT extends Union<Discriminant>, A> = ExhaustivePattern<Discriminant, ADT, A> | PartialPattern<Discriminant, ADT, A>;
export declare const genericMatch: <Discriminant extends string>(d: Discriminant) => <ADT extends Union<Discriminant>, A>(adt: ADT, pattern: Pattern<Discriminant, ADT, A>) => A;
export declare const match: <ADT extends Union<"tag">, A>(adt: ADT, pattern: Pattern<"tag", ADT, A>) => A;
export declare const match_: <ADT extends Union<"tag">, A>(pattern: Pattern<"tag", ADT, A>) => (adt: ADT) => A;
export declare type OmitFrom<Discriminant extends string, ADT extends Union<Discriminant>, Type extends ADT[Discriminant], Key extends keyof any> = Omit<InferMatch<Discriminant, ADT, Type>, Key>;
export declare type OmitFromAll<Discriminant extends string, ADT extends Union<Discriminant>, Key extends keyof any> = {
    [Tag in ADT[Discriminant]]: OmitFrom<Discriminant, ADT, Tag, Key>;
}[ADT[Discriminant]];
export declare type OmitFromTag<ADT extends Union<'tag'>, Tag extends ADT['tag'], Key extends keyof any> = OmitFrom<'tag', ADT, Tag, Key>;
export declare type OmitFromAllTags<ADT extends Union<'tag'>, Key extends keyof any> = OmitFromAll<'tag', ADT, Key>;
export {};