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