import { Kind } from '@fp4ts/core';
import { Apply } from './apply';
import { Either } from './data';
import { ArrayF } from './instances/array';
/**
 * @category Type Class
 */
export interface FlatMap<F> extends Apply<F> {
    readonly flatMap: <A, B>(f: (a: A) => Kind<F, [B]>) => (fa: Kind<F, [A]>) => Kind<F, [B]>;
    readonly flatMap_: <A, B>(fa: Kind<F, [A]>, f: (a: A) => Kind<F, [B]>) => Kind<F, [B]>;
    readonly flatTap: <A>(f: (a: A) => Kind<F, [unknown]>) => (fa: Kind<F, [A]>) => Kind<F, [A]>;
    readonly flatTap_: <A>(fa: Kind<F, [A]>, f: (a: A) => Kind<F, [unknown]>) => Kind<F, [A]>;
    readonly flatten: <A>(ffa: Kind<F, [Kind<F, [A]>]>) => Kind<F, [A]>;
    readonly tailRecM: <A>(a: A) => <B>(f: (a: A) => Kind<F, [Either<A, B>]>) => Kind<F, [B]>;
    readonly tailRecM_: <A, B>(a: A, f: (a: A) => Kind<F, [Either<A, B>]>) => Kind<F, [B]>;
    readonly foreverM: <A>(fa: Kind<F, [A]>) => Kind<F, [never]>;
    andThen<B, C>(g: (b: B) => Kind<F, [C]>): <A>(f: (a: A) => Kind<F, [B]>) => (a: A) => Kind<F, [C]>;
    andThen_<A, B, C>(f: (a: A) => Kind<F, [B]>, g: (b: B) => Kind<F, [C]>): (a: A) => Kind<F, [C]>;
    compose<A, B>(f: (a: A) => Kind<F, [B]>): <C>(g: (b: B) => Kind<F, [C]>) => (a: A) => Kind<F, [C]>;
    compose_<A, B, C>(g: (b: B) => Kind<F, [C]>, f: (a: A) => Kind<F, [B]>): (a: A) => Kind<F, [C]>;
}
export type FlatMapRequirements<F> = Pick<FlatMap<F>, 'flatMap_' | 'map_' | 'tailRecM_'> & Partial<FlatMap<F>>;
export declare const FlatMap: Readonly<{
    of: <F>(F: FlatMapRequirements<F>) => FlatMap<F>;
    readonly Array: FlatMap<ArrayF>;
}>;
//# sourceMappingURL=flat-map.d.ts.map