import type * as P from "@principia/prelude";
import type { URI, V } from "./model";
export declare const chainWithIndex_: <A, B>(
   fa: ReadonlyArray<A>,
   f: (i: number, a: A) => ReadonlyArray<B>
) => ReadonlyArray<B>;
export declare const chainWithIndex: <A, B>(
   f: (i: number, a: A) => ReadonlyArray<B>
) => (fa: ReadonlyArray<A>) => ReadonlyArray<B>;
/**
 * ```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_: <A, B>(fa: readonly A[], f: (a: A) => readonly B[]) => readonly B[];
/**
 * ```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: <A, B>(f: (a: A) => readonly B[]) => (fa: readonly A[]) => readonly B[];
/**
 * ```haskell
 * flatten :: Monad m => m m a -> m a
 * ```
 *
 * Removes one level of nesting from a nested `NonEmptyArray`
 *
 * @category Monad
 * @since 1.0.0
 */
export declare const flatten: <A>(mma: readonly (readonly A[])[]) => readonly A[];
/**
 * ```haskell
 * tap_ :: Monad m => (ma, (a -> m b)) -> m a
 * ```
 *
 * Composes computations in sequence, using the return value of one computation as input for the next
 * and keeping only the result of the first
 *
 * @category Monad
 * @since 1.0.0
 */
export declare const tap_: <A, B>(ma: readonly A[], f: (a: A) => readonly B[]) => readonly A[];
/**
 * ```haskell
 * tap :: Monad m => (a -> mb) -> m a -> m a
 * ```
 *
 * Composes computations in sequence, using the return value of one computation as input for the next
 * and keeping only the result of the first
 *
 * @category Monad
 * @since 1.0.0
 */
export declare const tap: <A, B>(f: (a: A) => readonly B[]) => (ma: readonly A[]) => readonly A[];
export declare const chainFirst: <A, B>(f: (a: A) => readonly B[]) => (ma: readonly A[]) => readonly A[];
export declare const Monad: P.Monad<[URI], V>;
//# sourceMappingURL=monad.d.ts.map