import type { Base, Infer, Kind, Param, URIS } from '../HKT';
export declare const pattern_: <N extends string>(n: N) => {
    <X extends {
        [k in N]: string;
    }, K extends {
        [k in X[N]]: (_: Extract<X, {
            [_tag in N]: k;
        }>) => any;
    }>(m: X, _: K): ReturnType<K[keyof K]>;
    <X extends {
        [k in N]: string;
    }, K extends {
        [k in X[N]]?: (_: Extract<X, {
            [_tag in N]: k;
        }>) => any;
    }, H>(m: X, _: K, __: (_: Exclude<X, {
        _tag: keyof K;
    }>) => H): {
        [k in keyof K]: ReturnType<NonNullable<K[k]>>;
    }[keyof K] | H;
};
export declare const pattern: <N extends string>(n: N) => {
    <X extends {
        [k in N]: string;
    }, K extends {
        [k in X[N]]: (_: Extract<X, {
            [_tag in N]: k;
        }>) => any;
    }>(_: K): (m: X) => ReturnType<K[keyof K]>;
    <X extends {
        [k in N]: string;
    }, K extends {
        [k in X[N]]?: (_: Extract<X, {
            [_tag in N]: k;
        }>) => any;
    }, H>(_: K, __: (_: Exclude<X, {
        _tag: keyof K;
    }>) => H): (m: X) => {
        [k in keyof K]: ReturnType<NonNullable<K[k]>>;
    }[keyof K] | H;
};
export declare const matchTag_: {
    <X extends {
        _tag: string;
    }, K extends { [k in X["_tag"]]: (_: Extract<X, {
        _tag: k;
    }>) => any; }>(m: X, _: K): ReturnType<K[keyof K]>;
    <X_1 extends {
        _tag: string;
    }, K_2 extends { [k_1 in X_1["_tag"]]?: ((_: Extract<X_1, {
        _tag: k_1;
    }>) => any) | undefined; }, H>(m: X_1, _: K_2, __: (_: Exclude<X_1, {
        _tag: keyof K_2;
    }>) => H): H | { [k_3 in keyof K_2]: ReturnType<NonNullable<K_2[k_3]>>; }[keyof K_2];
};
export declare const matchTag: {
    <X extends {
        _tag: string;
    }, K extends { [k in X["_tag"]]: (_: Extract<X, {
        _tag: k;
    }>) => any; }>(_: K): (m: X) => ReturnType<K[keyof K]>;
    <X_2 extends {
        _tag: string;
    }, K_2 extends { [k_1 in X_2["_tag"]]?: ((_: Extract<X_2, {
        _tag: k_1;
    }>) => any) | undefined; }, H>(_: K_2, __: (_: Exclude<X_2, {
        _tag: keyof K_2;
    }>) => H): (m: X_2) => H | { [k_3 in keyof K_2]: ReturnType<NonNullable<K_2[k_3]>>; }[keyof K_2];
};
declare type InferMatcherParam<URI extends URIS, C, P extends Param | 'A', K extends Record<string, (...args: any) => any>> = Infer<URI, C, P, {
    [k in keyof K]: ReturnType<K[k]>;
}[keyof K]>;
declare type InferMatcherParamWithDefault<URI extends URIS, C, P extends Param | 'A', K, Ret> = Infer<URI, C, P, {
    [k in keyof K]: K[k] extends (...args: any) => any ? ReturnType<K[k]> : never;
}[keyof K] | Ret>;
export declare function matchers<URI extends URIS, C>(_: Base<URI, C>): {
    match: <N extends string>(tag: N) => {
        <X extends { [tag in N]: string; }, K extends { [k in X[N]]: (_: Extract<X, { [tag_1 in N]: k; }>) => Kind<URI, C, any, any, any, any, any, any, any, any, any, any>; }>(matcher: K): (_: X) => Kind<URI, C, Infer<URI, C, "N", { [k_2 in keyof K]: ReturnType<K[k_2]>; }[keyof K]>, Infer<URI, C, "K", { [k_2 in keyof K]: ReturnType<K[k_2]>; }[keyof K]>, Infer<URI, C, "Q", { [k_2 in keyof K]: ReturnType<K[k_2]>; }[keyof K]>, Infer<URI, C, "W", { [k_2 in keyof K]: ReturnType<K[k_2]>; }[keyof K]>, Infer<URI, C, "X", { [k_2 in keyof K]: ReturnType<K[k_2]>; }[keyof K]>, Infer<URI, C, "I", { [k_2 in keyof K]: ReturnType<K[k_2]>; }[keyof K]>, Infer<URI, C, "S", { [k_2 in keyof K]: ReturnType<K[k_2]>; }[keyof K]>, Infer<URI, C, "R", { [k_2 in keyof K]: ReturnType<K[k_2]>; }[keyof K]>, Infer<URI, C, "E", { [k_2 in keyof K]: ReturnType<K[k_2]>; }[keyof K]>, Infer<URI, C, "A", { [k_2 in keyof K]: ReturnType<K[k_2]>; }[keyof K]>>;
        <X_1 extends { [tag_2 in N]: string; }, K_1 extends Partial<{ [k_1 in X_1[N]]: (_: Extract<X_1, { [tag_3 in N]: k_1; }>) => Kind<URI, C, any, any, any, any, any, any, any, any, any, any>; }>, Ret extends Kind<URI, C, any, any, any, any, any, any, any, any, any, any>>(matcher: K_1, def: (_: Exclude<X_1, { [tag_4 in N]: keyof K_1; }>) => Ret): (_: X_1) => Kind<URI, C, Infer<URI, C, "N", Ret | { [k_3 in keyof K_1]: K_1[k_3] extends (...args: any) => any ? ReturnType<K_1[k_3]> : never; }[keyof K_1]>, Infer<URI, C, "K", Ret | { [k_3 in keyof K_1]: K_1[k_3] extends (...args: any) => any ? ReturnType<K_1[k_3]> : never; }[keyof K_1]>, Infer<URI, C, "Q", Ret | { [k_3 in keyof K_1]: K_1[k_3] extends (...args: any) => any ? ReturnType<K_1[k_3]> : never; }[keyof K_1]>, Infer<URI, C, "W", Ret | { [k_3 in keyof K_1]: K_1[k_3] extends (...args: any) => any ? ReturnType<K_1[k_3]> : never; }[keyof K_1]>, Infer<URI, C, "X", Ret | { [k_3 in keyof K_1]: K_1[k_3] extends (...args: any) => any ? ReturnType<K_1[k_3]> : never; }[keyof K_1]>, Infer<URI, C, "I", Ret | { [k_3 in keyof K_1]: K_1[k_3] extends (...args: any) => any ? ReturnType<K_1[k_3]> : never; }[keyof K_1]>, Infer<URI, C, "S", Ret | { [k_3 in keyof K_1]: K_1[k_3] extends (...args: any) => any ? ReturnType<K_1[k_3]> : never; }[keyof K_1]>, Infer<URI, C, "R", Ret | { [k_3 in keyof K_1]: K_1[k_3] extends (...args: any) => any ? ReturnType<K_1[k_3]> : never; }[keyof K_1]>, Infer<URI, C, "E", Ret | { [k_3 in keyof K_1]: K_1[k_3] extends (...args: any) => any ? ReturnType<K_1[k_3]> : never; }[keyof K_1]>, Infer<URI, C, "A", Ret | { [k_3 in keyof K_1]: K_1[k_3] extends (...args: any) => any ? ReturnType<K_1[k_3]> : never; }[keyof K_1]>>;
    };
    matchTag: {
        <X_2 extends {
            _tag: string;
        }, K_2 extends { [k_4 in X_2["_tag"]]: (_: Extract<X_2, {
            _tag: k_4;
        }>) => Kind<URI, C, any, any, any, any, any, any, any, any, any, any>; }>(matcher: K_2): (_: X_2) => Kind<URI, C, Infer<URI, C, "N", { [k_5 in keyof K_2]: ReturnType<K_2[k_5]>; }[keyof K_2]>, Infer<URI, C, "K", { [k_5 in keyof K_2]: ReturnType<K_2[k_5]>; }[keyof K_2]>, Infer<URI, C, "Q", { [k_5 in keyof K_2]: ReturnType<K_2[k_5]>; }[keyof K_2]>, Infer<URI, C, "W", { [k_5 in keyof K_2]: ReturnType<K_2[k_5]>; }[keyof K_2]>, Infer<URI, C, "X", { [k_5 in keyof K_2]: ReturnType<K_2[k_5]>; }[keyof K_2]>, Infer<URI, C, "I", { [k_5 in keyof K_2]: ReturnType<K_2[k_5]>; }[keyof K_2]>, Infer<URI, C, "S", { [k_5 in keyof K_2]: ReturnType<K_2[k_5]>; }[keyof K_2]>, Infer<URI, C, "R", { [k_5 in keyof K_2]: ReturnType<K_2[k_5]>; }[keyof K_2]>, Infer<URI, C, "E", { [k_5 in keyof K_2]: ReturnType<K_2[k_5]>; }[keyof K_2]>, Infer<URI, C, "A", { [k_5 in keyof K_2]: ReturnType<K_2[k_5]>; }[keyof K_2]>>;
        <X_3 extends {
            _tag: string;
        }, K_3 extends Partial<{ [k_6 in X_3["_tag"]]: (_: Extract<X_3, {
            _tag: k_6;
        }>) => Kind<URI, C, any, any, any, any, any, any, any, any, any, any>; }>, Ret_1 extends Kind<URI, C, any, any, any, any, any, any, any, any, any, any>>(matcher: K_3, def: (_: Exclude<X_3, {
            _tag: keyof K_3;
        }>) => Ret_1): (_: X_3) => Kind<URI, C, Infer<URI, C, "N", Ret_1 | { [k_7 in keyof K_3]: K_3[k_7] extends (...args: any) => any ? ReturnType<K_3[k_7]> : never; }[keyof K_3]>, Infer<URI, C, "K", Ret_1 | { [k_7 in keyof K_3]: K_3[k_7] extends (...args: any) => any ? ReturnType<K_3[k_7]> : never; }[keyof K_3]>, Infer<URI, C, "Q", Ret_1 | { [k_7 in keyof K_3]: K_3[k_7] extends (...args: any) => any ? ReturnType<K_3[k_7]> : never; }[keyof K_3]>, Infer<URI, C, "W", Ret_1 | { [k_7 in keyof K_3]: K_3[k_7] extends (...args: any) => any ? ReturnType<K_3[k_7]> : never; }[keyof K_3]>, Infer<URI, C, "X", Ret_1 | { [k_7 in keyof K_3]: K_3[k_7] extends (...args: any) => any ? ReturnType<K_3[k_7]> : never; }[keyof K_3]>, Infer<URI, C, "I", Ret_1 | { [k_7 in keyof K_3]: K_3[k_7] extends (...args: any) => any ? ReturnType<K_3[k_7]> : never; }[keyof K_3]>, Infer<URI, C, "S", Ret_1 | { [k_7 in keyof K_3]: K_3[k_7] extends (...args: any) => any ? ReturnType<K_3[k_7]> : never; }[keyof K_3]>, Infer<URI, C, "R", Ret_1 | { [k_7 in keyof K_3]: K_3[k_7] extends (...args: any) => any ? ReturnType<K_3[k_7]> : never; }[keyof K_3]>, Infer<URI, C, "E", Ret_1 | { [k_7 in keyof K_3]: K_3[k_7] extends (...args: any) => any ? ReturnType<K_3[k_7]> : never; }[keyof K_3]>, Infer<URI, C, "A", Ret_1 | { [k_7 in keyof K_3]: K_3[k_7] extends (...args: any) => any ? ReturnType<K_3[k_7]> : never; }[keyof K_3]>>;
    };
    matchIn: <N_1 extends string>(tag: N_1) => <X_4 extends { [tag_5 in N_1]: string; }>() => {
        <K_4 extends { [k_8 in X_4[N_1]]: (_: Extract<X_4, { [tag_6 in N_1]: k_8; }>) => Kind<URI, C, any, any, any, any, any, any, any, any, any, any>; }>(matcher: K_4): (_: X_4) => Kind<URI, C, Infer<URI, C, "N", { [k_10 in keyof K_4]: ReturnType<K_4[k_10]>; }[keyof K_4]>, Infer<URI, C, "K", { [k_10 in keyof K_4]: ReturnType<K_4[k_10]>; }[keyof K_4]>, Infer<URI, C, "Q", { [k_10 in keyof K_4]: ReturnType<K_4[k_10]>; }[keyof K_4]>, Infer<URI, C, "W", { [k_10 in keyof K_4]: ReturnType<K_4[k_10]>; }[keyof K_4]>, Infer<URI, C, "X", { [k_10 in keyof K_4]: ReturnType<K_4[k_10]>; }[keyof K_4]>, Infer<URI, C, "I", { [k_10 in keyof K_4]: ReturnType<K_4[k_10]>; }[keyof K_4]>, Infer<URI, C, "S", { [k_10 in keyof K_4]: ReturnType<K_4[k_10]>; }[keyof K_4]>, Infer<URI, C, "R", { [k_10 in keyof K_4]: ReturnType<K_4[k_10]>; }[keyof K_4]>, Infer<URI, C, "E", { [k_10 in keyof K_4]: ReturnType<K_4[k_10]>; }[keyof K_4]>, Infer<URI, C, "A", { [k_10 in keyof K_4]: ReturnType<K_4[k_10]>; }[keyof K_4]>>;
        <K_5 extends Partial<{ [k_9 in X_4[N_1]]: (_: Extract<X_4, { [tag_7 in N_1]: k_9; }>) => Kind<URI, C, any, any, any, any, any, any, any, any, any, any>; }>, Ret_2 extends Kind<URI, C, any, any, any, any, any, any, any, any, any, any>>(matcher: K_5, def: (_: Exclude<X_4, { [tag_8 in N_1]: keyof K_5; }>) => Ret_2): (_: X_4) => Kind<URI, C, Infer<URI, C, "N", Ret_2 | { [k_11 in keyof K_5]: K_5[k_11] extends (...args: any) => any ? ReturnType<K_5[k_11]> : never; }[keyof K_5]>, Infer<URI, C, "K", Ret_2 | { [k_11 in keyof K_5]: K_5[k_11] extends (...args: any) => any ? ReturnType<K_5[k_11]> : never; }[keyof K_5]>, Infer<URI, C, "Q", Ret_2 | { [k_11 in keyof K_5]: K_5[k_11] extends (...args: any) => any ? ReturnType<K_5[k_11]> : never; }[keyof K_5]>, Infer<URI, C, "W", Ret_2 | { [k_11 in keyof K_5]: K_5[k_11] extends (...args: any) => any ? ReturnType<K_5[k_11]> : never; }[keyof K_5]>, Infer<URI, C, "X", Ret_2 | { [k_11 in keyof K_5]: K_5[k_11] extends (...args: any) => any ? ReturnType<K_5[k_11]> : never; }[keyof K_5]>, Infer<URI, C, "I", Ret_2 | { [k_11 in keyof K_5]: K_5[k_11] extends (...args: any) => any ? ReturnType<K_5[k_11]> : never; }[keyof K_5]>, Infer<URI, C, "S", Ret_2 | { [k_11 in keyof K_5]: K_5[k_11] extends (...args: any) => any ? ReturnType<K_5[k_11]> : never; }[keyof K_5]>, Infer<URI, C, "R", Ret_2 | { [k_11 in keyof K_5]: K_5[k_11] extends (...args: any) => any ? ReturnType<K_5[k_11]> : never; }[keyof K_5]>, Infer<URI, C, "E", Ret_2 | { [k_11 in keyof K_5]: K_5[k_11] extends (...args: any) => any ? ReturnType<K_5[k_11]> : never; }[keyof K_5]>, Infer<URI, C, "A", Ret_2 | { [k_11 in keyof K_5]: K_5[k_11] extends (...args: any) => any ? ReturnType<K_5[k_11]> : never; }[keyof K_5]>>;
    };
    matchTagIn: <X_5 extends {
        _tag: string;
    }>() => {
        <K_6 extends { [k_12 in X_5["_tag"]]: (_: Extract<X_5, {
            _tag: k_12;
        }>) => Kind<URI, C, any, any, any, any, any, any, any, any, any, any>; }>(matcher: K_6): (_: X_5) => Kind<URI, C, Infer<URI, C, "N", { [k_13 in keyof K_6]: ReturnType<K_6[k_13]>; }[keyof K_6]>, Infer<URI, C, "K", { [k_13 in keyof K_6]: ReturnType<K_6[k_13]>; }[keyof K_6]>, Infer<URI, C, "Q", { [k_13 in keyof K_6]: ReturnType<K_6[k_13]>; }[keyof K_6]>, Infer<URI, C, "W", { [k_13 in keyof K_6]: ReturnType<K_6[k_13]>; }[keyof K_6]>, Infer<URI, C, "X", { [k_13 in keyof K_6]: ReturnType<K_6[k_13]>; }[keyof K_6]>, Infer<URI, C, "I", { [k_13 in keyof K_6]: ReturnType<K_6[k_13]>; }[keyof K_6]>, Infer<URI, C, "S", { [k_13 in keyof K_6]: ReturnType<K_6[k_13]>; }[keyof K_6]>, Infer<URI, C, "R", { [k_13 in keyof K_6]: ReturnType<K_6[k_13]>; }[keyof K_6]>, Infer<URI, C, "E", { [k_13 in keyof K_6]: ReturnType<K_6[k_13]>; }[keyof K_6]>, Infer<URI, C, "A", { [k_13 in keyof K_6]: ReturnType<K_6[k_13]>; }[keyof K_6]>>;
        <K_7 extends Partial<{ [k_14 in X_5["_tag"]]: (_: Extract<X_5, {
            _tag: k_14;
        }>) => Kind<URI, C, any, any, any, any, any, any, any, any, any, any>; }>, Ret_3 extends Kind<URI, C, any, any, any, any, any, any, any, any, any, any>>(matcher: K_7, def: (_: Exclude<X_5, {
            _tag: keyof K_7;
        }>) => Ret_3): (_: X_5) => Kind<URI, C, Infer<URI, C, "N", Ret_3 | { [k_15 in keyof K_7]: K_7[k_15] extends (...args: any) => any ? ReturnType<K_7[k_15]> : never; }[keyof K_7]>, Infer<URI, C, "K", Ret_3 | { [k_15 in keyof K_7]: K_7[k_15] extends (...args: any) => any ? ReturnType<K_7[k_15]> : never; }[keyof K_7]>, Infer<URI, C, "Q", Ret_3 | { [k_15 in keyof K_7]: K_7[k_15] extends (...args: any) => any ? ReturnType<K_7[k_15]> : never; }[keyof K_7]>, Infer<URI, C, "W", Ret_3 | { [k_15 in keyof K_7]: K_7[k_15] extends (...args: any) => any ? ReturnType<K_7[k_15]> : never; }[keyof K_7]>, Infer<URI, C, "X", Ret_3 | { [k_15 in keyof K_7]: K_7[k_15] extends (...args: any) => any ? ReturnType<K_7[k_15]> : never; }[keyof K_7]>, Infer<URI, C, "I", Ret_3 | { [k_15 in keyof K_7]: K_7[k_15] extends (...args: any) => any ? ReturnType<K_7[k_15]> : never; }[keyof K_7]>, Infer<URI, C, "S", Ret_3 | { [k_15 in keyof K_7]: K_7[k_15] extends (...args: any) => any ? ReturnType<K_7[k_15]> : never; }[keyof K_7]>, Infer<URI, C, "R", Ret_3 | { [k_15 in keyof K_7]: K_7[k_15] extends (...args: any) => any ? ReturnType<K_7[k_15]> : never; }[keyof K_7]>, Infer<URI, C, "E", Ret_3 | { [k_15 in keyof K_7]: K_7[k_15] extends (...args: any) => any ? ReturnType<K_7[k_15]> : never; }[keyof K_7]>, Infer<URI, C, "A", Ret_3 | { [k_15 in keyof K_7]: K_7[k_15] extends (...args: any) => any ? ReturnType<K_7[k_15]> : never; }[keyof K_7]>>;
    };
};
export {};
//# sourceMappingURL=matchers.d.ts.map