import { Applicative } from "./applicative";
export declare enum EitherTag {
    Left = 0,
    Right = 1,
}
export declare type EitherMatch<A, B, K> = {
    left: (a: A) => K;
    right: (b: B) => K;
};
export declare abstract class Either<A, B> implements Applicative<B> {
    tag: EitherTag;
    val: A | B;
    abstract match<K>(m: EitherMatch<A, B, K>): K;
    abstract map<C>(f: (b: B) => C): Either<A, C>;
    abstract mapTo<C>(c: C): Either<A, C>;
    static of<A, B>(b: B): Either<A, B>;
    of<B>(b: B): Either<A, B>;
    ap<C>(a: Either<A, (a: B) => C>): Either<B, C>;
    lift<A, T1, R>(f: (t: T1) => R, m: Either<A, T1>): Either<A, R>;
    lift<A, T1, T2, R>(f: (t: T1, u: T2) => R, m1: Either<A, T1>, m2: Either<A, T2>): Either<A, R>;
    lift<A, T1, T2, T3, R>(f: (t1: T1, t2: T2, t3: T3) => R, m1: Either<A, T1>, m2: Either<A, T2>, m3: Either<A, T3>): Either<A, R>;
}
export declare class Left<A, B> extends Either<A, B> {
    val: A;
    tag: EitherTag;
    constructor(a: A);
    match<K>(m: EitherMatch<A, B, K>): K;
    map<C>(f: (b: B) => C): Either<A, C>;
    mapTo<C>(c: C): Either<A, C>;
}
export declare class Right<A, B> extends Either<A, B> {
    val: B;
    tag: EitherTag;
    constructor(b: B);
    match<K>(m: EitherMatch<A, B, K>): K;
    map<C>(f: (b: B) => C): Either<A, C>;
    mapTo<C>(c: C): Either<A, C>;
}
export declare function left<A>(a: A): Either<A, any>;
export declare function right<B>(b: B): Either<any, B>;
export declare function isLeft<A, B>(a: Either<A, B>): boolean;
export declare function isRight<A, B>(a: Either<A, B>): boolean;
export declare function fromEither<A, B>(e: Either<A, B>): A | B;