import { Kind, TyK, $type, TyVar } from '@fp4ts/core';
import { FlatMap } from './flat-map';
import { Applicative } from './applicative';
import { Foldable } from './foldable';
import { Functor } from './functor';
import { UnorderedTraversable, UnorderedTraversableRequirements } from './unordered-traversable';
import { ComposedTraversable } from './composed';
import { ArrayF } from './instances/array';
/**
 * @category Type Class
 */
export interface Traversable<T> extends Functor<T>, Foldable<T>, UnorderedTraversable<T> {
    readonly traverse: <G>(G: Applicative<G>) => <A, B>(f: (a: A) => Kind<G, [B]>) => (fa: Kind<T, [A]>) => Kind<G, [Kind<T, [B]>]>;
    readonly traverse_: <G>(G: Applicative<G>) => <A, B>(fa: Kind<T, [A]>, f: (a: A) => Kind<G, [B]>) => Kind<G, [Kind<T, [B]>]>;
    readonly sequence: <G>(G: Applicative<G>) => <A>(fga: Kind<T, [Kind<G, [A]>]>) => Kind<G, [Kind<T, [A]>]>;
    readonly flatTraverse: <G>(F: FlatMap<T>, G: Applicative<G>) => <A, B>(f: (a: A) => Kind<G, [Kind<T, [B]>]>) => (fa: Kind<T, [A]>) => Kind<G, [Kind<T, [B]>]>;
    readonly flatTraverse_: <G>(F: FlatMap<T>, G: Applicative<G>) => <A, B>(fa: Kind<T, [A]>, f: (a: A) => Kind<G, [Kind<T, [B]>]>) => Kind<G, [Kind<T, [B]>]>;
    readonly flatSequence: <G>(F: FlatMap<T>, G: Applicative<G>) => <A>(fgfa: Kind<T, [Kind<G, [Kind<T, [A]>]>]>) => Kind<G, [Kind<T, [A]>]>;
}
export type TraversableRequirements<T> = Pick<Traversable<T>, 'traverse_'> & Partial<Traversable<T>> & Partial<UnorderedTraversableRequirements<T>>;
export declare const Traversable: Readonly<{
    of: <T>(T: TraversableRequirements<T>) => Traversable<T>;
    compose: <F, G>(F: Traversable<F>, G: Traversable<G>) => ComposedTraversable<F, G>;
    readonly Array: Traversable<ArrayF>;
    Tuple2: {
        left: <R>() => Traversable<import("./instances/tuple2").TupleLeftF<R>>;
        right: <L>() => Traversable<import("./instances/tuple2").TupleRightF<L>>;
    };
}>;
export interface TraversableF extends TyK<[unknown]> {
    [$type]: Traversable<TyVar<this, 0>>;
}
//# sourceMappingURL=traversable.d.ts.map