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