import type * as P from "@principia/prelude";
import type { EIO, URI, V } from "./model";
export declare const chain_: <E, A, G, B>(ma: EIO<E, A>, f: (a: A) => EIO<G, B>) => EIO<E | G, B>;
export declare const chain: <A, G, B>(f: (a: A) => EIO<G, B>) => <E>(ma: EIO<E, A>) => EIO<E | G, B>;
export declare const tap_: <E, A, G, B>(fa: EIO<E, A>, f: (a: A) => EIO<G, B>) => EIO<E | G, A>;
export declare const tap: <A, G, B>(f: (a: A) => EIO<G, B>) => <E>(fa: EIO<E, A>) => EIO<E | G, A>;
export declare const flatten: <E, G, A>(mma: EIO<E, EIO<G, A>>) => EIO<E | G, A>;
/**
 * @category Monad
 * @since 1.0.0
 */
export declare const Monad: P.Monad<[URI], V>;
//# sourceMappingURL=monad.d.ts.map