import { $, Base, EvalF, Kind } from '@fp4ts/core';
import { Defer } from './defer';
import { Monad } from './monad';
import { Function0F, Function1F } from './instances/function';
/**
 * @category Type Class
 */
export interface MonadDefer<F> extends Monad<F>, Defer<F> {
    delay<A>(thunk: () => A): Kind<F, [A]>;
}
export type MonadDeferRequirements<F> = Pick<MonadDefer<F>, 'flatMap_' | 'pure'> & Partial<MonadDefer<F>>;
export declare const MonadDefer: Readonly<{
    of: <F>(F: MonadDeferRequirements<F>) => MonadDefer<F>;
    readonly Eval: MonadDefer<EvalF>;
    readonly Function0: MonadDefer<Function0F>;
    Function1: <R>() => MonadDefer<$<Function1F, [R]>>;
}>;
export declare function isMonadDefer<F>(F: Base<F>): F is MonadDefer<F>;
//# sourceMappingURL=monad-defer.d.ts.map