import { Kind } from '@fp4ts/core';
import { Apply } from './apply';
import { ComposedApplicative } from './composed';
import { Foldable } from './foldable';
import { FoldableWithIndex } from './foldable-with-index';
import { ArrayF } from './instances/array';
/**
 * @category Type Class
 */
export interface Applicative<F> extends Apply<F> {
    readonly pure: <A>(a: A) => Kind<F, [A]>;
    readonly unit: Kind<F, [void]>;
    readonly tupled: <A extends unknown[]>(...fsa: {
        [k in keyof A]: Kind<F, [A[k]]>;
    }) => Kind<F, [A]>;
    traverseA<G>(G: Foldable<G>): <A, B>(f: (a: A) => Kind<F, [B]>) => (ta: Kind<G, [A]>) => Kind<F, [void]>;
    traverseA_<G>(G: Foldable<G>): <A, B>(ta: Kind<G, [A]>, f: (a: A) => Kind<F, [B]>) => Kind<F, [void]>;
    traverseWithIndexA<G, I>(G: FoldableWithIndex<G, I>): <A, B>(f: (a: A, i: I) => Kind<F, [B]>) => (ta: Kind<G, [A]>) => Kind<F, [void]>;
    traverseWithIndexA_<G, I>(G: FoldableWithIndex<G, I>): <A, B>(ta: Kind<G, [A]>, f: (a: A, i: I) => Kind<F, [B]>) => Kind<F, [void]>;
}
export type ApplicativeRequirements<F> = Pick<Applicative<F>, 'pure' | 'ap_'> & Partial<Applicative<F>>;
export declare const Applicative: Readonly<{
    of: <F>(F: ApplicativeRequirements<F>) => Applicative<F>;
    compose: <F_1, G>(F: Applicative<F_1>, G: Applicative<G>) => ComposedApplicative<F_1, G>;
    readonly Array: Applicative<ArrayF>;
}>;
//# sourceMappingURL=applicative.d.ts.map