import * as IO from '../io';
import * as A from '../async';
import * as AO from '../async-option';
import * as T from '../task';
import * as tFunctor from '../../typeclass/functor';
import * as tOf from '../../typeclass/of';
import * as tNone from '../../typeclass/none';
import * as tApplicative from '../../typeclass/applicative';
import * as tMonad from '../../typeclass/monad';
import * as tSemiAlternative from '../../typeclass/semialternative';
import { TaskOption, TTaskOption } from './task-option.types';
export declare const some: <A>(a: A) => TaskOption<A>;
export declare const none: <A = unknown>() => TaskOption<A>;
export declare const Of: tOf.Of<TTaskOption>;
export declare const None: tNone.None<TTaskOption>;
export declare const Functor: tFunctor.Functor<TTaskOption>;
export declare const Applicative: tApplicative.Applicative<TTaskOption>;
export declare const Monad: tMonad.Monad<TTaskOption>;
export declare const SemiAlternative: tSemiAlternative.SemiAlternative<TTaskOption>;
export declare const fromIO: <A>(io: IO.IO<A>) => TaskOption<A>;
export declare const fromAsync: <A>(a: A.Async<A>) => TaskOption<A>;
export declare const fromAsyncOption: <A>(a: AO.AsyncOption<A>) => TaskOption<A>;
export declare const fromTask: <A>(a: T.Task<A>) => TaskOption<A>;
export declare const of: <A>(a: A) => TaskOption<A>;
export declare const map: <A1, A2>(args_0: (args_0: A1) => A2) => (args_0: TaskOption<A1>) => TaskOption<A2>;
export declare const mapCompose: <A1, A2>(args_0: (args_0: A1) => A2) => (args_0: TaskOption<TaskOption<A1>>) => TaskOption<TaskOption<A2>>;
export declare const flap: <A1>(args_0: A1) => <B1>(args_0: TaskOption<(args_0: A1) => B1>) => TaskOption<B1>;
export declare const as: <A1>(args_0: A1) => <B1>(args_0: TaskOption<B1>) => TaskOption<A1>;
export declare const tap: <A1>(args_0: (args_0: A1) => void) => (args_0: TaskOption<A1>) => TaskOption<A1>;
export declare const ap: <A1>(args_0: TaskOption<A1>) => <B1>(args_0: TaskOption<(args_0: A1) => B1>) => TaskOption<B1>;
export declare const liftA2: <A1, A2, A3>(args_0: (args_0: A1, args_1: A2) => A3) => (args_0: TaskOption<A1>) => (args_0: TaskOption<A2>) => TaskOption<A3>;
export declare const product: <A1>(args_0: TaskOption<A1>) => <B1>(args_0: TaskOption<B1>) => TaskOption<[A1, B1]>;
export declare const productMany: <A1>(args_0: TaskOption<A1>) => (args_0: TaskOption<A1>[]) => TaskOption<A1[]>;
export declare const flatMap: <A1, A2>(args_0: (args_0: A1) => TaskOption<A2>) => (args_0: TaskOption<A1>) => TaskOption<A2>;
export declare const chain: <A1, A2>(args_0: (args_0: A1) => TaskOption<A2>) => (args_0: TaskOption<A1>) => TaskOption<A2>;
export declare const andThen: <A1, A2>(args_0: (args_0: A1) => TaskOption<A2>) => (args_0: TaskOption<A1>) => TaskOption<A2>;
export declare const flatten: <A1>(args_0: TaskOption<TaskOption<A1>>) => TaskOption<A1>;
export declare const orElse: <A1>(args_0: () => TaskOption<A1>) => (args_0: TaskOption<A1>) => TaskOption<A1>;
export declare const alt: <A1>(args_0: () => TaskOption<A1>) => (args_0: TaskOption<A1>) => TaskOption<A1>;
export declare const or: <A1>(args_0: TaskOption<A1>) => (args_0: TaskOption<A1>) => TaskOption<A1>;