import type * as P from "@principia/prelude";
import type { Async, URI, V } from "./model";
export declare const chain_: <R, E, A, Q, D, B>(
   ma: Async<R, E, A>,
   f: (a: A) => Async<Q, D, B>
) => Async<Q & R, E | D, B>;
export declare const chain: <A, Q, D, B>(
   f: (a: A) => Async<Q, D, B>
) => <R, E>(ma: Async<R, E, A>) => Async<Q & R, D | E, B>;
export declare const flatten: <R, E, R1, E1, A>(mma: Async<R, E, Async<R1, E1, A>>) => Async<R & R1, E | E1, A>;
export declare const tap_: <R, E, A, Q, D, B>(
   ma: Async<R, E, A>,
   f: (a: A) => Async<Q, D, B>
) => Async<Q & R, E | D, A>;
export declare const tap: <A, Q, D, B>(
   f: (a: A) => Async<Q, D, B>
) => <R, E>(ma: Async<R, E, A>) => Async<Q & R, D | E, A>;
export declare const tapError_: <R, E, A, R1, E1, B>(
   async: Async<R, E, A>,
   f: (e: E) => Async<R1, E1, B>
) => Async<R & R1, E | E1, A>;
export declare const tapError: <E, R1, E1, B>(
   f: (e: E) => Async<R1, E1, B>
) => <R, A>(async: Async<R, E, A>) => Async<R & R1, E | E1, A>;
export declare const Monad: P.Monad<[URI], V>;
//# sourceMappingURL=monad.d.ts.map