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