import * as tOf from '../../typeclass/of';
import * as tNone from '../../typeclass/none';
import * as tFunctor from '../../typeclass/functor';
import * as tApplicative from '../../typeclass/applicative';
import * as tSemiAlternative from '../../typeclass/semialternative';
import * as tAlternative from '../../typeclass/alternative';
import * as tMonad from '../../typeclass/monad';
import type { ReaderTaskOption, TReaderTaskOption } from './reader-task-option.types';
export declare const ask: <Env>() => ReaderTaskOption<Env, Env>;
export declare const asks: <Env, A>(f: (env: Env) => A) => ReaderTaskOption<A, Env>;
export declare const local: <Env1, Env2>(f: (env: Env2) => Env1) => <A>(fa: ReaderTaskOption<A, Env1>) => ReaderTaskOption<A, Env2>;
export declare const askReader: <Env1, Env2, A>(f: (env: Env1) => ReaderTaskOption<A, Env2>) => ReaderTaskOption<A, Env1 & Env2>;
export declare const some: <A, Env = unknown>(a: A) => ReaderTaskOption<A, Env>;
export declare const none: <A = never, Env = unknown>() => ReaderTaskOption<A, Env>;
export declare const Of: tOf.Of<TReaderTaskOption>;
export declare const None: tNone.None<TReaderTaskOption>;
export declare const Functor: tFunctor.Functor<TReaderTaskOption>;
export declare const Applicative: tApplicative.Applicative<TReaderTaskOption>;
export declare const Monad: tMonad.Monad<TReaderTaskOption>;
export declare const SemiAlternative: tSemiAlternative.SemiAlternative<TReaderTaskOption>;
export declare const Alternative: tAlternative.Alternative<TReaderTaskOption>;
export declare const of: <A>(a: A) => ReaderTaskOption<A, unknown>;
export declare const map: <A1, A2>(args_0: (args_0: A1) => A2) => <B1>(args_0: ReaderTaskOption<A1, B1>) => ReaderTaskOption<A2, B1>;
export declare const mapCompose: <A1, A2>(args_0: (args_0: A1) => A2) => <B1, B2>(args_0: ReaderTaskOption<ReaderTaskOption<A1, B1>, B2>) => ReaderTaskOption<ReaderTaskOption<A2, B1>, B2>;
export declare const flap: <A1>(args_0: A1) => <B1, B2>(args_0: ReaderTaskOption<(args_0: A1) => B1, B2>) => ReaderTaskOption<B1, B2>;
export declare const as: <A1>(args_0: A1) => <B1, B2>(args_0: ReaderTaskOption<B1, B2>) => ReaderTaskOption<A1, B2>;
export declare const tap: <A1>(args_0: (args_0: A1) => void) => <B1>(args_0: ReaderTaskOption<A1, B1>) => ReaderTaskOption<A1, B1>;
export declare const ap: <A1, A2>(args_0: ReaderTaskOption<A1, A2>) => <B1, B2>(args_0: ReaderTaskOption<(args_0: A1) => B1, B2>) => ReaderTaskOption<B1, A2 & B2>;
export declare const liftA2: <A1, A2, A3>(args_0: (args_0: A1, args_1: A2) => A3) => <B1>(args_0: ReaderTaskOption<A1, B1>) => <C1>(args_0: ReaderTaskOption<A2, C1>) => ReaderTaskOption<A3, B1 & C1>;
export declare const product: <A1, A2>(args_0: ReaderTaskOption<A1, A2>) => <B1, B2>(args_0: ReaderTaskOption<B1, B2>) => ReaderTaskOption<[A1, B1], A2 & B2>;
export declare const productMany: <A1, A2>(args_0: ReaderTaskOption<A1, A2>) => (args_0: ReaderTaskOption<A1, A2>[]) => ReaderTaskOption<A1[], A2>;
export declare const flatMap: <A1, A2, A3>(args_0: (args_0: A1) => ReaderTaskOption<A2, A3>) => <B1>(args_0: ReaderTaskOption<A1, B1>) => ReaderTaskOption<A2, A3 & B1>;
export declare const andThen: <A1, A2, A3>(args_0: (args_0: A1) => ReaderTaskOption<A2, A3>) => <B1>(args_0: ReaderTaskOption<A1, B1>) => ReaderTaskOption<A2, A3 & B1>;
export declare const chain: <A1, A2, A3>(args_0: (args_0: A1) => ReaderTaskOption<A2, A3>) => <B1>(args_0: ReaderTaskOption<A1, B1>) => ReaderTaskOption<A2, A3 & B1>;
export declare const flatten: <A1, A2, A3>(args_0: ReaderTaskOption<ReaderTaskOption<A1, A2>, A3>) => ReaderTaskOption<A1, A2 & A3>;
export declare const orElse: <A1, A2>(args_0: () => ReaderTaskOption<A1, A2>) => <B1>(args_0: ReaderTaskOption<A1, B1>) => ReaderTaskOption<A1, A2>;
export declare const alt: <A1, A2>(args_0: () => ReaderTaskOption<A1, A2>) => <B1>(args_0: ReaderTaskOption<A1, B1>) => ReaderTaskOption<A1, A2>;
export declare const or: <A1, A2>(args_0: ReaderTaskOption<A1, A2>) => <B1>(args_0: ReaderTaskOption<A1, B1>) => ReaderTaskOption<A1, A2 & B1>;
export declare const pluck: <A, K extends keyof A>(k: K) => <B1>(args_0: ReaderTaskOption<A, B1>) => ReaderTaskOption<A[K], B1>;