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