import { $, HKT } from '.';
import { Functor } from './functor';
import { ApplicativeInstances } from './applicative';
export interface Traversable<T extends HKT> extends Functor<T> {
    traverse<F extends ApplicativeInstances, A, B>(f: (a: A) => $<F, B>, ta: $<T, A>): $<F, $<T, B>>;
}
export declare type TraversableInstances = keyof typeof Traversable;
export declare class TraversableArray {
    traverse<F extends ApplicativeInstances, A, B>(name: F): (f: (a: A, index?: number) => $<F, B>, ta: A[]) => $<F, B[]>;
}
export declare namespace Traversable {
    let Array: TraversableArray;
}