import { Eval, Kind } from '@fp4ts/core';
import { ComposedApply } from './composed';
import { Functor, FunctorRequirements } from './functor';
/**
 * @category Type Class
 */
export interface Apply<F> extends Functor<F> {
    ap<A>(fa: Kind<F, [A]>): <B>(ff: Kind<F, [(a: A) => B]>) => Kind<F, [B]>;
    ap_<A, B>(ff: Kind<F, [(a: A) => B]>, fa: Kind<F, [A]>): Kind<F, [B]>;
    map2<A, B, C>(fb: Kind<F, [B]>, f: (a: A, b: B) => C): (fa: Kind<F, [A]>) => Kind<F, [C]>;
    map2_<A, B, C>(fa: Kind<F, [A]>, fb: Kind<F, [B]>, f: (a: A, b: B) => C): Kind<F, [C]>;
    map3<A, B, C, D>(fb: Kind<F, [B]>, fc: Kind<F, [C]>, f: (a: A, b: B, c: C) => D): (fa: Kind<F, [A]>) => Kind<F, [D]>;
    map3_<A, B, C, D>(fa: Kind<F, [A]>, fb: Kind<F, [B]>, fC: Kind<F, [C]>, f: (a: A, b: B, c: C) => D): Kind<F, [D]>;
    mapN<BS extends unknown[]>(...fbs: {
        [k in keyof BS]: Kind<F, [BS[k]]>;
    }): <A, C>(f: (a: A, ...bs: BS) => C) => (fa: Kind<F, [A]>) => Kind<F, [C]>;
    mapN_<A, BS extends unknown[]>(fa: Kind<F, [A]>, ...fbs: {
        [k in keyof BS]: Kind<F, [BS[k]]>;
    }): <C>(f: (a: A, ...bs: BS) => C) => Kind<F, [C]>;
    map2Eval<A, B, D>(fb: Eval<Kind<F, [B]>>, f: (a: A, b: B) => D): (fa: Kind<F, [A]>) => Eval<Kind<F, [D]>>;
    map2Eval_<A, B, C>(fa: Kind<F, [A]>, fb: Eval<Kind<F, [B]>>, f: (a: A, b: B) => C): Eval<Kind<F, [C]>>;
    product<B>(fb: Kind<F, [B]>): <A>(fa: Kind<F, [A]>) => Kind<F, [[A, B]]>;
    product_<A, B>(fa: Kind<F, [A]>, fb: Kind<F, [B]>): Kind<F, [[A, B]]>;
    productL<B>(fb: Kind<F, [B]>): <A>(fa: Kind<F, [A]>) => Kind<F, [A]>;
    productL_<A, B>(fa: Kind<F, [A]>, fb: Kind<F, [B]>): Kind<F, [A]>;
    productR<B>(fb: Kind<F, [B]>): <A>(fa: Kind<F, [A]>) => Kind<F, [B]>;
    productR_<A, B>(fa: Kind<F, [A]>, fb: Kind<F, [B]>): Kind<F, [B]>;
}
export type ApplyRequirements<F> = (Pick<Apply<F>, 'ap_'> | Pick<Apply<F>, 'map2_'>) & FunctorRequirements<F> & Partial<Apply<F>>;
export declare const Apply: Readonly<{
    of: <F>(F: ApplyRequirements<F>) => Apply<F>;
    compose: <F_1, G>(F: Apply<F_1>, G: Apply<G>) => ComposedApply<F_1, G>;
    TraverseStrategy: <F_2>(a: Apply<F_2>) => <A>(use: <Rhs>(Rhs: TraverseStrategy<F_2, Rhs>) => A) => A;
}>;
export interface TraverseStrategy<G, Rhs> {
    toRhs<A>(thunk: () => Kind<G, [A]>): Kind<Rhs, [Kind<G, [A]>]>;
    toG<A>(fa: Kind<Rhs, [Kind<G, [A]>]>): Kind<G, [A]>;
    defer<A>(thunk: () => Kind<Rhs, [Kind<G, [A]>]>): Kind<Rhs, [Kind<G, [A]>]>;
    map<A, B>(fa: Kind<Rhs, [Kind<G, [A]>]>, f: (a: A) => B): Kind<Rhs, [Kind<G, [B]>]>;
    map2Rhs<A, B, C>(lhs: Kind<G, [A]>, rhs: Kind<Rhs, [Kind<G, [B]>]>, f: (a: A, b: B) => C): Kind<Rhs, [Kind<G, [C]>]>;
    map2<A, B, C>(lhs: Kind<Rhs, [Kind<G, [A]>]>, rhs: Kind<Rhs, [Kind<G, [B]>]>, f: (a: A, b: B) => C): Kind<Rhs, [Kind<G, [C]>]>;
}
//# sourceMappingURL=apply.d.ts.map