import { Kind } from '@fp4ts/core';
import { Applicative } from './applicative';
import { FoldableWithIndex } from './foldable-with-index';
import { FunctorWithIndex } from './functor-with-index';
import { Traversable } from './traversable';
import { ArrayF } from './instances/array';
/**
 * @category Type Class
 */
export interface TraversableWithIndex<F, I> extends Traversable<F>, FoldableWithIndex<F, I>, FunctorWithIndex<F, I> {
    traverseWithIndex<G>(G: Applicative<G>): <A, B>(f: (a: A, i: I) => Kind<G, [B]>) => (fa: Kind<F, [A]>) => Kind<G, [Kind<F, [B]>]>;
    traverseWithIndex_<G>(G: Applicative<G>): <A, B>(fa: Kind<F, [A]>, f: (a: A, i: I) => Kind<G, [B]>) => Kind<G, [Kind<F, [B]>]>;
}
export type TraversableWithIndexRequirements<F, I> = Pick<TraversableWithIndex<F, I>, 'traverseWithIndex_'> & Partial<TraversableWithIndex<F, I>>;
export declare const TraversableWithIndex: Readonly<{
    of: <F, I>(F: TraversableWithIndexRequirements<F, I>) => TraversableWithIndex<F, I>;
    readonly Array: TraversableWithIndex<ArrayF, number>;
}>;
//# sourceMappingURL=traversable-with-index.d.ts.map