import type { Apply2, ApplyMin } from './Apply';
import type { MonoidalFunctorMin } from './MonoidalFunctor';
import type { Pure, Pure2, PureFn, PureMin } from './Pure';
import type { Unit, Unit2, UnitMin } from './Unit';
import { Apply } from './Apply';
import * as HKT from './HKT';
/**
 * A lax monoidal endofunctor
 *
 * `Applicative` is isomorphic to `MonoidalFunctor`
 */
export interface Applicative<F extends HKT.URIS, C = HKT.Auto> extends Apply<F, C>, Unit<F, C>, Pure<F, C> {
}
export declare type ApplicativeMin<F extends HKT.URIS, C = HKT.Auto> = (ApplyMin<F, C> & (PureMin<F, C> | UnitMin<F, C>)) | (ApplyMin<F, C> & PureMin<F, C> & UnitMin<F, C>) | (MonoidalFunctorMin<F, C> & PureMin<F, C>) | MonoidalFunctorMin<F, C>;
export declare function Applicative<F extends HKT.URIS, C = HKT.Auto>(F: ApplicativeMin<F, C>): Applicative<F, C>;
export interface Applicative2<F extends HKT.URIS, G extends HKT.URIS, CF = HKT.Auto, CG = HKT.Auto> extends Apply2<F, G, CF, CG>, Unit2<F, G, CF, CG>, Pure2<F, G, CF, CG> {
}
export declare function getApplicativeComposition<F extends HKT.URIS, G extends HKT.URIS, CF = HKT.Auto, CG = HKT.Auto>(F: Applicative<F, CF>, G: Applicative<G, CG>): Applicative2<F, G, CF, CG>;
export declare function pureF<F extends HKT.URIS, C = HKT.Auto>(F: ApplicativeMin<F, C>): PureFn<F, C>;
//# sourceMappingURL=Applicative.d.ts.map