import * as tOf from '../../typeclass/of';
import * as tFunctor from '../../typeclass/functor';
import * as tApplicative from '../../typeclass/applicative';
import * as tMonad from '../../typeclass/monad';
import type { ReaderIO, TReaderIO } from './reader-io.types';
import * as IO from '../io';
import * as Reader from '../reader';
export declare const ask: <Env>() => ReaderIO<Env, Env>;
export declare const asks: <Env, A>(f: (env: Env) => A) => ReaderIO<A, Env>;
export declare const local: <Env1, Env2>(f: (env: Env2) => Env1) => <A>(fa: ReaderIO<A, Env1>) => ReaderIO<A, Env2>;
export declare const askReader: <Env1, Env2, A>(f: (env: Env1) => ReaderIO<A, Env2>) => ReaderIO<A, Env1 & Env2>;
export declare const runReader: <Env, A>(fa: ReaderIO<A, Env>) => (env: Env) => A;
export declare const Of: tOf.Of<TReaderIO>;
export declare const Functor: tFunctor.Functor<TReaderIO>;
export declare const Applicative: tApplicative.Applicative<TReaderIO>;
export declare const Monad: tMonad.Monad<TReaderIO>;
export declare const fromIO: <A>(io: IO.IO<A>) => ReaderIO<A, unknown>;
export declare const fromReader: <A, Env>(reader: Reader.Reader<A, Env>) => ReaderIO<A, Env>;
export declare const of: <A>(a: A) => ReaderIO<A, unknown>;
export declare const map: <A1, A2>(args_0: (args_0: A1) => A2) => <B1>(args_0: ReaderIO<A1, B1>) => ReaderIO<A2, B1>;
export declare const mapCompose: <A1, A2>(args_0: (args_0: A1) => A2) => <B1, B2>(args_0: ReaderIO<ReaderIO<A1, B1>, B2>) => ReaderIO<ReaderIO<A2, B1>, B2>;
export declare const flap: <A1>(args_0: A1) => <B1, B2>(args_0: ReaderIO<(args_0: A1) => B1, B2>) => ReaderIO<B1, B2>;
export declare const as: <A1>(args_0: A1) => <B1, B2>(args_0: ReaderIO<B1, B2>) => ReaderIO<A1, B2>;
export declare const tap: <A1>(args_0: (args_0: A1) => void) => <B1>(args_0: ReaderIO<A1, B1>) => ReaderIO<A1, B1>;
export declare const ap: <A1, A2>(args_0: ReaderIO<A1, A2>) => <B1, B2>(args_0: ReaderIO<(args_0: A1) => B1, B2>) => ReaderIO<B1, A2 & B2>;
export declare const liftA2: <A1, A2, A3>(args_0: (args_0: A1, args_1: A2) => A3) => <B1>(args_0: ReaderIO<A1, B1>) => <C1>(args_0: ReaderIO<A2, C1>) => ReaderIO<A3, B1 & C1>;
export declare const product: <A1, A2>(args_0: ReaderIO<A1, A2>) => <B1, B2>(args_0: ReaderIO<B1, B2>) => ReaderIO<[A1, B1], A2 & B2>;
export declare const productMany: <A1, A2>(args_0: ReaderIO<A1, A2>) => (args_0: ReaderIO<A1, A2>[]) => ReaderIO<A1[], A2>;
export declare const flatMap: <A1, A2, A3>(args_0: (args_0: A1) => ReaderIO<A2, A3>) => <B1>(args_0: ReaderIO<A1, B1>) => ReaderIO<A2, A3 & B1>;
export declare const andThen: <A1, A2, A3>(args_0: (args_0: A1) => ReaderIO<A2, A3>) => <B1>(args_0: ReaderIO<A1, B1>) => ReaderIO<A2, A3 & B1>;
export declare const chain: <A1, A2, A3>(args_0: (args_0: A1) => ReaderIO<A2, A3>) => <B1>(args_0: ReaderIO<A1, B1>) => ReaderIO<A2, A3 & B1>;
export declare const flatten: <A1, A2, A3>(args_0: ReaderIO<ReaderIO<A1, A2>, A3>) => ReaderIO<A1, A2 & A3>;
export declare const pluck: <A, K extends keyof A>(k: K) => <B1>(args_0: ReaderIO<A, B1>) => ReaderIO<A[K], B1>;