import { $, $type, Kind, TyK, TyVar } from '@fp4ts/core';
import { Functor, FunctorRequirements } from './functor';
import { Function1F, Function0F } from './instances/function';
/**
 * @category Type Class
 */
export interface Distributive<F> extends Functor<F> {
    distribute<G>(G: Functor<G>): <A, B>(f: (a: A) => Kind<F, [B]>) => (ga: Kind<G, [A]>) => Kind<F, [Kind<G, [B]>]>;
    distribute_<G>(G: Functor<G>): <A, B>(ga: Kind<G, [A]>, f: (a: A) => Kind<F, [B]>) => Kind<F, [Kind<G, [B]>]>;
    consequence<G>(G: Functor<G>): <A>(gfa: Kind<G, [Kind<F, [A]>]>) => Kind<F, [Kind<G, [A]>]>;
}
export type DistributiveRequirements<F> = Pick<Distributive<F>, 'distribute_'> & FunctorRequirements<F> & Partial<Distributive<F>>;
export declare const Distributive: Readonly<{
    of: <F>(F: DistributiveRequirements<F>) => Distributive<F>;
    readonly Function0: Distributive<Function0F>;
    Function1: <R>() => Distributive<$<Function1F, [R]>>;
}>;
export interface DistributiveF extends TyK<[unknown]> {
    [$type]: Distributive<TyVar<this, 0>>;
}
//# sourceMappingURL=distributive.d.ts.map