import * as Sy from "../../../Sync";
import type { Cause } from "./model";
export declare const chainSafe_: <E, D>(fa: Cause<E>, f: (e: E) => Cause<D>) => Sy.Sync<unknown, never, Cause<D>>;
/**
 * ```haskell
 * chain_ :: Monad m => (m a, (a -> m b)) -> m b
 * ```
 *
 * Composes computations in sequence, using the return value of one computation as input for the next
 *
 * @category Monad
 * @since 1.0.0
 */
export declare const chain_: <E, D>(fa: Cause<E>, f: (e: E) => Cause<D>) => Cause<D>;
/**
 * ```haskell
 * chain :: Monad m => (a -> m b) -> m a -> m b
 * ```
 *
 * Composes computations in sequence, using the return value of one computation as input for the next
 *
 * @category Monad
 * @since 1.0.0
 */
export declare const chain: <E, D>(f: (e: E) => Cause<D>) => (fa: Cause<E>) => Cause<D>;
/**
 * ```haskell
 * flatten :: Monad m => m m a -> m a
 * ```
 *
 * Removes one level of nesting from a nested `Cuase`
 *
 * @category Monad
 * @since 1.0.0
 */
export declare const flatten: <E>(ffa: Cause<Cause<E>>) => Cause<E>;
//# sourceMappingURL=monad.d.ts.map