import { Kind } from '@fp4ts/core';
import { Applicative } from './applicative';
import { Functor, FunctorRequirements } from './functor';
import { ArrayF } from './instances/array';
export interface CoflatMap<F> extends Functor<F> {
    coflatMap<A, B>(f: (fa: Kind<F, [A]>) => B): (fa: Kind<F, [A]>) => Kind<F, [B]>;
    coflatMap_<A, B>(fa: Kind<F, [A]>, f: (fa: Kind<F, [A]>) => B): Kind<F, [B]>;
    coflatten<A>(fa: Kind<F, [A]>): Kind<F, [Kind<F, [A]>]>;
    andThen<B, C>(g: (fb: Kind<F, [B]>) => C): <A>(f: (fa: Kind<F, [A]>) => B) => (fa: Kind<F, [A]>) => C;
    andThen_<A, B, C>(f: (fa: Kind<F, [A]>) => B, g: (fb: Kind<F, [B]>) => C): (fa: Kind<F, [A]>) => C;
    compose<A, B>(f: (fa: Kind<F, [A]>) => B): <C>(g: (fb: Kind<F, [B]>) => C) => (fa: Kind<F, [A]>) => C;
    compose_<A, B, C>(g: (fb: Kind<F, [B]>) => C, f: (fa: Kind<F, [A]>) => B): (fa: Kind<F, [A]>) => C;
}
export type CoflatMapRequirements<F> = Pick<CoflatMap<F>, 'coflatMap_'> & FunctorRequirements<F> & Partial<CoflatMap<F>>;
export declare const CoflatMap: Readonly<{
    of: <F>(F: CoflatMapRequirements<F>) => CoflatMap<F>;
    fromApplicative: <F_1>(F: Applicative<F_1>) => CoflatMap<F_1>;
    readonly Array: CoflatMap<ArrayF>;
    Function1: <R>() => CoflatMap<import("@fp4ts/core").$<import("./instances/function").Function1F, [R]>>;
}>;
//# sourceMappingURL=coflat-map.d.ts.map