import { $, $type, EvalF, Kind, TyK, TyVar } from '@fp4ts/core';
import { Applicative } from './applicative';
import { FlatMap } from './flat-map';
import { MonadDefer } from './monad-defer';
import { ArrayF } from './instances/array';
import { Function0F, Function1F } from './instances/function';
/**
 * @category Type Class
 */
export interface Monad<F> extends FlatMap<F>, Applicative<F> {
    do<Eff extends GenKind<Kind<F, [any]>, any>, R>(f: (fa: <A>(fa: Kind<F, [A]>) => GenKind<Kind<F, [A]>, A>) => Generator<Eff, R, any>): Kind<F, [R]>;
    liftM<A, B>(f: (a: A) => B): (fa: Kind<F, [A]>) => Kind<F, [B]>;
}
export type MonadRequirements<F> = Pick<Monad<F>, 'flatMap_' | 'pure' | 'tailRecM_'> & Partial<Monad<F>>;
export declare const Monad: Readonly<{
    of: <M>(M: MonadRequirements<M>) => Monad<M>;
    readonly Eval: MonadDefer<EvalF>;
    readonly Array: Monad<ArrayF>;
    readonly Function0: MonadDefer<Function0F>;
    Function1: <R>() => MonadDefer<$<Function1F, [R]>>;
    Do<F>(F: Monad<F>): <Eff extends GenKind<Kind<F, [any]>, any>, R_1>(f: (fa: <A>(fa: Kind<F, [A]>) => GenKind<Kind<F, [A]>, A>) => Generator<Eff, R_1, any>) => Kind<F, [R_1]>;
}>;
export declare class GenKind<FA, A> {
    readonly effect: FA;
    constructor(effect: FA);
    [Symbol.iterator](): Generator<GenKind<FA, A>, A, any>;
}
export interface MonadF extends TyK<[unknown]> {
    [$type]: Monad<TyVar<this, 0>>;
}
//# sourceMappingURL=monad.d.ts.map