import { Functor } from "./functor";
import { Foldable, AbstractFoldable } from "./foldable";
import { Applicative, ApplicativeDictionary } from "./applicative";
export interface Traversable<A> extends Functor<A>, Foldable<A> {
    traverse<B>(a: ApplicativeDictionary, f: (a: A) => Applicative<B>): Applicative<Traversable<B>>;
    sequence<A>(a: ApplicativeDictionary, t: Traversable<Applicative<A>>): Applicative<Traversable<A>>;
}
export declare abstract class AbstractTraversable<A> extends AbstractFoldable<A> implements Traversable<A> {
    map<B>(f: (a: A) => B): Traversable<B>;
    mapTo<B>(b: B): Functor<B>;
    traverse<B>(a: ApplicativeDictionary, f: (a: A) => Applicative<B>): Applicative<Traversable<B>>;
    sequence<A>(a: ApplicativeDictionary, t: Traversable<Applicative<A>>): Applicative<Traversable<A>>;
    foldr<B>(f: (a: A, b: B) => B, acc: B): B;
}
export declare function traversable(constructor: Function): void;
export declare function sequence<A>(a: ApplicativeDictionary, t: Applicative<A>[]): any;
export declare function sequence<A>(a: ApplicativeDictionary, t: Traversable<Applicative<A>>): any;
export declare function traverse<A, B>(a: ApplicativeDictionary, f: (a: A) => Applicative<B>, t: A[]): any;
export declare function traverse<A, B>(a: ApplicativeDictionary, f: (a: A) => Applicative<B>, t: Traversable<A>): any;
export declare function mapAccumR<A, B, C>(f: (acc: C, a: A) => [C, B], init: C, t: Traversable<A>): [C, Traversable<B>];