import { Eval, Kind } from '@fp4ts/core';
import { Monoid } from '@fp4ts/cats-kernel';
import { Foldable } from './foldable';
import { MonoidK } from './monoid-k';
import { ArrayF } from './instances/array';
/**
 * @category Type Class
 */
export interface FoldableWithIndex<F, I> extends Foldable<F> {
    foldMapWithIndex<M>(M: Monoid<M>): <A>(f: (a: A, i: I) => M) => (fa: Kind<F, [A]>) => M;
    foldMapWithIndex_<M>(M: Monoid<M>): <A>(fa: Kind<F, [A]>, f: (a: A, i: I) => M) => M;
    foldMapLeftWithIndex<M>(M: Monoid<M>): <A>(f: (a: A, i: I) => M) => (fa: Kind<F, [A]>) => M;
    foldMapLeftWithIndex_<M>(M: Monoid<M>): <A>(fa: Kind<F, [A]>, f: (a: A, i: I) => M) => M;
    foldMapKWithIndex<G>(G: MonoidK<G>): <A, B>(f: (a: A, i: I) => Kind<G, [B]>) => (fa: Kind<F, [A]>) => Kind<G, [B]>;
    foldMapKWithIndex_<G>(G: MonoidK<G>): <A, B>(fa: Kind<F, [A]>, f: (a: A, i: I) => Kind<G, [B]>) => Kind<G, [B]>;
    foldLeftWithIndex<A, B>(z: B, f: (b: B, a: A, i: I) => B): (fa: Kind<F, [A]>) => B;
    foldLeftWithIndex_<A, B>(fa: Kind<F, [A]>, z: B, f: (b: B, a: A, i: I) => B): B;
    foldRightWithIndex<A, B>(ez: Eval<B>, f: (a: A, eb: Eval<B>, i: I) => Eval<B>): (fa: Kind<F, [A]>) => Eval<B>;
    foldRightWithIndex_<A, B>(fa: Kind<F, [A]>, ez: Eval<B>, f: (a: A, eb: Eval<B>, i: I) => Eval<B>): Eval<B>;
}
export type FoldableWithIndexRequirements<F, I> = (Pick<FoldableWithIndex<F, I>, 'foldMapKWithIndex_'> | Pick<FoldableWithIndex<F, I>, 'foldRightWithIndex_'>) & Partial<FoldableWithIndex<F, I>>;
export declare const FoldableWithIndex: Readonly<{
    of: <F, I>(F: FoldableWithIndexRequirements<F, I>) => FoldableWithIndex<F, I>;
    readonly Array: FoldableWithIndex<ArrayF, number>;
}>;
//# sourceMappingURL=foldable-with-index.d.ts.map