export declare const matchKey: {
    <X extends {
        key: string;
    }, K extends { [k in X["key"]]: (_: Extract<X, {
        key: k;
    }>, __: Extract<X, {
        key: k;
    }>) => any; }>(_: K): (m: X) => ReturnType<K[keyof K]>;
    <X_1 extends {
        key: string;
    }, K_1 extends Partial<{ [k_1 in X_1["key"]]: (_: Extract<X_1, {
        key: k_1;
    }>, __: Extract<X_1, {
        key: k_1;
    }>) => any; }>, H>(_: K_1 & { [k_2 in X_1["key"]]?: ((_: Extract<X_1, {
        key: k_2;
    }>, __: Extract<X_1, {
        key: k_2;
    }>) => any) | undefined; }, __: (_: Exclude<X_1, {
        _tag: keyof K_1;
    }>, __: Exclude<X_1, {
        _tag: keyof K_1;
    }>) => H): (m: X_1) => H | { [k_3 in keyof K_1]: ReturnType<NonNullable<K_1[k_3]>>; }[keyof K_1];
};
export declare const matchTag: {
    <X extends {
        _tag: string;
    }, K extends { [k in X["_tag"]]: (_: Extract<X, {
        _tag: k;
    }>, __: Extract<X, {
        _tag: k;
    }>) => any; }>(_: K): (m: X) => ReturnType<K[keyof K]>;
    <X_1 extends {
        _tag: string;
    }, K_1 extends Partial<{ [k_1 in X_1["_tag"]]: (_: Extract<X_1, {
        _tag: k_1;
    }>, __: Extract<X_1, {
        _tag: k_1;
    }>) => any; }>, H>(_: K_1 & { [k_2 in X_1["_tag"]]?: ((_: Extract<X_1, {
        _tag: k_2;
    }>, __: Extract<X_1, {
        _tag: k_2;
    }>) => any) | undefined; }, __: (_: Exclude<X_1, {
        _tag: keyof K_1;
    }>, __: Exclude<X_1, {
        _tag: keyof K_1;
    }>) => H): (m: X_1) => H | { [k_3 in keyof K_1]: ReturnType<NonNullable<K_1[k_3]>>; }[keyof K_1];
};
//# sourceMappingURL=matchers.d.ts.map