import Monad from "../../specifications/Monad";
import Bifunctor from "../../specifications/Bifunctor";
declare type CB<I> = (i?: I) => any;
declare type Action<L, R> = (l: CB<L>, r: CB<R>) => any;
export default class Task<L, R> implements Monad<R>, Bifunctor<L, R> {
    protected readonly action: Action<L, R>;
    constructor(action: Action<L, R>);
    static rejected<L, R>(a: L): Task<L, R>;
    static resolved<L, R>(a: R): Task<L, R>;
    map<R2>(fn: (a: R) => R2): Task<L, R2>;
    ap<R2>(other: Task<L, R2>): R extends (r: R2) => infer R3 ? Task<L, R3> : any;
    chain<R2>(fn: (right: R) => Task<L, R2>): Task<L, R2>;
    static of<L, R>(a: R): Task<unknown, R>;
    bimap<L2, R2>(fnLeft: (left: L) => L2, fnRight: (right: R) => R2): Task<L2, R2>;
    bichain<L2, R2>(fnL: (left: L) => Task<L2, R2>, fnR: (right: R) => Task<L2, R2>): Task<L2, R2>;
    fork(reject: CB<L>, resolve: CB<R>): ReturnType<Action<L, R>>;
    get(): Action<L, R>;
    join(): Task<unknown, unknown>;
    inspect(): string;
}
export {};