import { Either } from '@typed/either';
import { List } from '@typed/list';
import { Maybe } from '@typed/maybe';
/**
 * Creates a new `Monad` from the value contained in another.
 * Works with `Maybe`, `Either`, `PromiseLike` and `List` data
 * structures.
 * @name chain<A, B>(f: (value: A) => List<B>, list: List<A>): Array<B>
 */
export declare const chain: Chain;
export declare type Chain = {
    <A, B>(f: (value: A, index: number) => List<B>, list: List<A>): Array<B>;
    <A, B>(f: (value: A) => Maybe<B>, maybe: Maybe<A>): Maybe<B>;
    <A, B>(f: (value: A) => PromiseLike<B>, promise: PromiseLike<A>): Promise<B>;
    <A, B, C>(f: (value: B) => Either<A, C>, either: Either<A, B>): Either<A, C>;
    <A, B>(f: (value: A, index: number) => List<B>): (list: List<A>) => Array<B>;
    <A, B>(f: (value: A) => Maybe<B>): (maybe: Maybe<A>) => Maybe<B>;
    <A, B>(f: (value: A) => PromiseLike<B>): (promise: PromiseLike<A>) => Promise<B>;
    <A, B, C>(f: (value: B) => Either<A, C>): (either: Either<A, B>) => Either<A, C>;
};