import * as A from '../async';
import * as IO from '../io';
import * as T from '../task';
import * as AO from '../async-option';
import * as AR from '../async-result';
import * as tFunctor from '../../typeclass/functor';
import * as tOf from '../../typeclass/of';
import * as tApplicative from '../../typeclass/applicative';
import * as tMonad from '../../typeclass/monad';
import * as tSemiAlternative from '../../typeclass/semialternative';
import * as tBiFunctor from '../../typeclass/bifunctor';
import * as tFlip from '../../typeclass/flip';
import * as tBiFlatMap from '../../typeclass/biflatmap';
import { TaskResult, TTaskResult } from './task-result.types';
export declare const ok: <A, E = never>(a: A) => TaskResult<A, E>;
export declare const err: <E, A = never>(e: E) => TaskResult<A, E>;
export declare const Of: tOf.Of<TTaskResult>;
export declare const Functor: tFunctor.Functor<TTaskResult>;
export declare const BiFunctor: tBiFunctor.BiFunctor<TTaskResult>;
export declare const Flip: tFlip.Flip<TTaskResult>;
export declare const Applicative: tApplicative.Applicative<TTaskResult>;
export declare const Monad: tMonad.Monad<TTaskResult>;
export declare const BiFlatMap: tBiFlatMap.BiFlatMap<TTaskResult>;
export declare const SemiAlternative: tSemiAlternative.SemiAlternative<TTaskResult>;
export declare const fromIO: <A, E = never>(io: IO.IO<A>) => TaskResult<A, E>;
export declare const fromAsync: <A, E = never>(a: A.Async<A>) => TaskResult<A, E>;
export declare const fromAsyncOption: <A, E = never>(onErr: () => E) => (ao: AO.AsyncOption<A>) => TaskResult<A, E>;
export declare const fromAsyncResult: <A, E>(a: AR.AsyncResult<A, E>) => TaskResult<A, E>;
export declare const fromTask: <A, E = never>(a: T.Task<A>) => TaskResult<A, E>;
export declare const of: <A>(a: A) => TaskResult<A, never>;
export declare const map: <A1, A2>(args_0: (args_0: A1) => A2) => <B1>(args_0: TaskResult<A1, B1>) => TaskResult<A2, B1>;
export declare const mapCompose: <A1, A2>(args_0: (args_0: A1) => A2) => <B1, B2>(args_0: TaskResult<TaskResult<A1, B1>, B2>) => TaskResult<TaskResult<A2, B1>, B2>;
export declare const flap: <A1>(args_0: A1) => <B1, B2>(args_0: TaskResult<(args_0: A1) => B1, B2>) => TaskResult<B1, B2>;
export declare const as: <A1>(args_0: A1) => <B1, B2>(args_0: TaskResult<B1, B2>) => TaskResult<A1, B2>;
export declare const tap: <A1>(args_0: (args_0: A1) => void) => <B1>(args_0: TaskResult<A1, B1>) => TaskResult<A1, B1>;
export declare const bimap: <A1, A2, A3, A4>(args_0: (args_0: A1) => A2, args_1: (args_0: A3) => A4) => (args_0: TaskResult<A1, A3>) => TaskResult<A2, A4>;
export declare const mapLeft: <A1, A2>(args_0: (args_0: A1) => A2) => <B1>(args_0: TaskResult<A1, B1>) => TaskResult<A2, B1>;
export declare const mapRight: <A1, A2>(args_0: (args_0: A1) => A2) => <B1>(args_0: TaskResult<B1, A1>) => TaskResult<B1, A2>;
export declare const mapErr: <A1, A2>(args_0: (args_0: A1) => A2) => <B1>(args_0: TaskResult<B1, A1>) => TaskResult<B1, A2>;
export declare const bitap: <A1, A2>(args_0: (args_0: A1) => void, args_1: (args_0: A2) => void) => (args_0: TaskResult<A1, A2>) => TaskResult<A1, A2>;
export declare const tapLeft: <A1>(args_0: (args_0: A1) => void) => <B1>(args_0: TaskResult<A1, B1>) => TaskResult<A1, B1>;
export declare const tapRight: <A1>(args_0: (args_0: A1) => void) => <B1>(args_0: TaskResult<B1, A1>) => TaskResult<B1, A1>;
export declare const tapErr: <A1>(args_0: (args_0: A1) => void) => <B1>(args_0: TaskResult<B1, A1>) => TaskResult<B1, A1>;
export declare const flip: <A1, A2>(args_0: TaskResult<A1, A2>) => TaskResult<A2, A1>;
export declare const ap: <A1, A2>(args_0: TaskResult<A1, A2>) => <B1, B2>(args_0: TaskResult<(args_0: A1) => B1, B2>) => TaskResult<B1, A2 | B2>;
export declare const liftA2: <A1, A2, A3>(args_0: (args_0: A1, args_1: A2) => A3) => <B1>(args_0: TaskResult<A1, B1>) => <C1>(args_0: TaskResult<A2, C1>) => TaskResult<A3, B1 | C1>;
export declare const product: <A1, A2>(args_0: TaskResult<A1, A2>) => <B1, B2>(args_0: TaskResult<B1, B2>) => TaskResult<[A1, B1], A2 | B2>;
export declare const productMany: <A1, A2>(args_0: TaskResult<A1, A2>) => (args_0: TaskResult<A1, A2>[]) => TaskResult<A1[], A2>;
export declare const flatMap: <A1, A2, A3>(args_0: (args_0: A1) => TaskResult<A2, A3>) => <B1>(args_0: TaskResult<A1, B1>) => TaskResult<A2, A3 | B1>;
export declare const chain: <A1, A2, A3>(args_0: (args_0: A1) => TaskResult<A2, A3>) => <B1>(args_0: TaskResult<A1, B1>) => TaskResult<A2, A3 | B1>;
export declare const andThen: <A1, A2, A3>(args_0: (args_0: A1) => TaskResult<A2, A3>) => <B1>(args_0: TaskResult<A1, B1>) => TaskResult<A2, A3 | B1>;
export declare const flatten: <A1, A2, A3>(args_0: TaskResult<TaskResult<A1, A2>, A3>) => TaskResult<A1, A2 | A3>;
export declare const biFlatMap: <A1, A2, A3, A4>(args_0: (args_0: A1) => TaskResult<A2, A3>, args_1: (args_0: A4) => TaskResult<A2, A3>) => (args_0: TaskResult<A1, A4>) => TaskResult<A2, A3>;
export declare const orElse: <A1, A2, A3>(args_0: (args_0: A1) => TaskResult<A2, A3>) => (args_0: TaskResult<A2, A1>) => TaskResult<A2, A3>;
export declare const alt: <A1, A2>(args_0: () => TaskResult<A1, A2>) => <B1>(args_0: TaskResult<A1, B1>) => TaskResult<A1, A2>;
export declare const or: <A1, A2>(args_0: TaskResult<A1, A2>) => <B1>(args_0: TaskResult<A1, B1>) => TaskResult<A1, A2 | B1>;