export interface Both<E, A> {
    readonly _tag: 'Both';
    readonly left: E;
    readonly right: A;
}
export interface Left<E> {
    readonly _tag: 'Left';
    readonly left: E;
}
export interface Right<A> {
    readonly _tag: 'Right';
    readonly right: A;
}
export declare type These<E, A> = Left<E> | Right<A> | Both<E, A>;
export declare function Left<E, A = never>(e: E): These<E, A>;
export declare function Right<E = never, A = never>(a: A): These<E, A>;
export declare function Both<E, A>(e: E, a: A): These<E, A>;
export declare function match_<E, A, B, C, D>(fa: These<E, A>, onLeft: (e: E) => B, onRight: (a: A) => C, onBoth: (e: E, a: A) => D): B | C | D;
export declare function match<E, A, B, C, D>(onLeft: (e: E) => B, onRight: (a: A) => C, onBoth: (e: E, a: A) => D): (fa: These<E, A>) => B | C | D;
//# sourceMappingURL=These.d.ts.map