import { Functor, AbstractFunctor } from "./functor";
import { Either } from "./either";
export interface ApplicativeDictionary {
    of: <B>(b: B) => Applicative<B>;
}
export interface Applicative<A> extends Functor<A> {
    of: <B>(b: B) => Applicative<B>;
    ap<B>(a: Applicative<(a: A) => B>): Applicative<B>;
    lift<T1, R>(f: (t: T1) => R, m: Applicative<T1>): Applicative<R>;
    lift<T1, T2, R>(f: (t: T1, u: T2) => R, m1: Applicative<T1>, m2: Applicative<T2>): Applicative<R>;
    lift<T1, T2, T3, R>(f: (t1: T1, t2: T2, t3: T3) => R, m1: Applicative<T1>, m2: Applicative<T2>, m3: Applicative<T3>): Applicative<R>;
    map<B>(f: (a: A) => B): Applicative<B>;
}
export declare abstract class AbstractApplicative<A> extends AbstractFunctor<A> implements Applicative<A> {
    abstract of<B>(b: B): Applicative<B>;
    ap<B>(f: Applicative<(a: A) => B>): Applicative<B>;
    lift<T1, R>(f: (t: T1) => R, m: Applicative<T1>): Applicative<R>;
    lift<T1, T2, R>(f: (t: T1, u: T2) => R, m1: Applicative<T1>, m2: Applicative<T2>): Applicative<R>;
    lift<T1, T2, T3, R>(f: (t1: T1, t2: T2, t3: T3) => R, m1: Applicative<T1>, m2: Applicative<T2>, m3: Applicative<T3>): Applicative<R>;
    map<B>(f: (a: A) => B): Applicative<B>;
}
export declare function applicative(constructor: Function): void;
export declare function of<A>(d: ApplicativeDictionary | ArrayConstructor, a: A): any;
export declare function ap<A, B>(fa: Applicative<(a: A) => B>, ba: Applicative<A>): any;
export declare function lift<T1, R>(f: (t: T1) => R, m: Applicative<T1>): any;
export declare function lift<T1, T2, R>(f: (t: T1, u: T2) => R, m1: Applicative<T1>, m2: Applicative<T2>): any;
export declare function lift<T1, T2, T3, R>(f: (t1: T1, t2: T2, t3: T3) => R, m1: Applicative<T1>, m2: Applicative<T2>, m3: Applicative<T3>): any;
export declare function lift<A, T1, R>(f: (t: T1) => R, m: Either<A, T1>): Either<A, R>;
export declare function lift<A, T1, T2, R>(f: (t: T1, u: T2) => R, m1: Either<A, T1>, m2: Either<A, T2>): Either<A, R>;
export declare function 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 function lift<A, R>(f: (t: A) => R, a: A[]): R[];
export declare function lift<A, B, R>(f: (a: A, b: B) => R, a: A[], b: B[]): R[];
export declare function lift<A, B, C, R>(f: (a: A, b: B, c: B) => R, a: A[], b: B[], c: C[]): R[];
export declare function seq<A, F extends Applicative<A>>(a: Applicative<any>, b: F): F;