import * as tOf from '../../typeclass/of';
import * as tFunctor from '../../typeclass/functor';
import * as tBiFunctor from '../../typeclass/bifunctor';
import * as tApplicative from '../../typeclass/applicative';
import * as tSemiAlternative from '../../typeclass/semialternative';
import * as tMonad from '../../typeclass/monad';
import * as tBiFlatMap from '../../typeclass/biflatmap';
import type { ReaderIOResult, TReaderIOResult } from './reader-io-result.types';
export declare const ask: <E, Env>() => ReaderIOResult<Env, E, Env>;
export declare const asks: <A, E, Env>(f: (env: Env) => A) => ReaderIOResult<A, E, Env>;
export declare const local: <Env1, Env2>(f: (env: Env2) => Env1) => <A, E>(fa: ReaderIOResult<A, E, Env1>) => ReaderIOResult<A, E, Env2>;
export declare const askReader: <Env1, Env2, A, E>(f: (env: Env1) => ReaderIOResult<A, E, Env2>) => ReaderIOResult<A, E, Env1 & Env2>;
export declare const ok: <A, E = never, Env = unknown>(a: A) => ReaderIOResult<A, E, Env>;
export declare const err: <E, A = never, Env = unknown>(e: E) => ReaderIOResult<A, E, Env>;
export declare const Of: tOf.Of<TReaderIOResult>;
export declare const Functor: tFunctor.Functor<TReaderIOResult>;
export declare const BiFunctor: tBiFunctor.BiFunctor<TReaderIOResult>;
export declare const Applicative: tApplicative.Applicative<TReaderIOResult>;
export declare const Monad: tMonad.Monad<TReaderIOResult>;
export declare const BiFlatMap: tBiFlatMap.BiFlatMap<TReaderIOResult>;
export declare const SemiAlternative: tSemiAlternative.SemiAlternative<TReaderIOResult>;
export declare const of: <A>(a: A) => ReaderIOResult<A, never, unknown>;
export declare const map: <A1, A2>(args_0: (args_0: A1) => A2) => <B1, B2>(args_0: ReaderIOResult<A1, B1, B2>) => ReaderIOResult<A2, B1, B2>;
export declare const bimap: <A1, A2, A3, A4>(args_0: (args_0: A1) => A2, args_1: (args_0: A3) => A4) => <B1>(args_0: ReaderIOResult<A1, A3, B1>) => ReaderIOResult<A2, A4, B1>;
export declare const mapLeft: <A1, A2>(args_0: (args_0: A1) => A2) => <B1, B2>(args_0: ReaderIOResult<A1, B1, B2>) => ReaderIOResult<A2, B1, B2>;
export declare const mapRight: <A1, A2>(args_0: (args_0: A1) => A2) => <B1, B2>(args_0: ReaderIOResult<B1, A1, B2>) => ReaderIOResult<B1, A2, B2>;
export declare const mapErr: <A1, A2>(args_0: (args_0: A1) => A2) => <B1, B2>(args_0: ReaderIOResult<B1, A1, B2>) => ReaderIOResult<B1, A2, B2>;
export declare const bitap: <A1, A2>(args_0: (args_0: A1) => void, args_1: (args_0: A2) => void) => <B1>(args_0: ReaderIOResult<A1, A2, B1>) => ReaderIOResult<A1, A2, B1>;
export declare const tapLeft: <A1>(args_0: (args_0: A1) => void) => <B1, B2>(args_0: ReaderIOResult<A1, B1, B2>) => ReaderIOResult<A1, B1, B2>;
export declare const tapRight: <A1>(args_0: (args_0: A1) => void) => <B1, B2>(args_0: ReaderIOResult<B1, A1, B2>) => ReaderIOResult<B1, A1, B2>;
export declare const tapErr: <A1>(args_0: (args_0: A1) => void) => <B1, B2>(args_0: ReaderIOResult<B1, A1, B2>) => ReaderIOResult<B1, A1, B2>;
export declare const mapCompose: <A1, A2>(args_0: (args_0: A1) => A2) => <B1, B2, B3, B4>(args_0: ReaderIOResult<ReaderIOResult<A1, B1, B2>, B3, B4>) => ReaderIOResult<ReaderIOResult<A2, B1, B2>, B3, B4>;
export declare const flap: <A1>(args_0: A1) => <B1, B2, B3>(args_0: ReaderIOResult<(args_0: A1) => B1, B2, B3>) => ReaderIOResult<B1, B2, B3>;
export declare const as: <A1>(args_0: A1) => <B1, B2, B3>(args_0: ReaderIOResult<B1, B2, B3>) => ReaderIOResult<A1, B2, B3>;
export declare const tap: <A1>(args_0: (args_0: A1) => void) => <B1, B2>(args_0: ReaderIOResult<A1, B1, B2>) => ReaderIOResult<A1, B1, B2>;
export declare const ap: <A1, A2, A3>(args_0: ReaderIOResult<A1, A2, A3>) => <B1, B2, B3>(args_0: ReaderIOResult<(args_0: A1) => B1, B2, B3>) => ReaderIOResult<B1, A2 | B2, A3 & B3>;
export declare const liftA2: <A1, A2, A3>(args_0: (args_0: A1, args_1: A2) => A3) => <B1, B2>(args_0: ReaderIOResult<A1, B1, B2>) => <C1, C2>(args_0: ReaderIOResult<A2, C1, C2>) => ReaderIOResult<A3, B1 | C1, B2 & C2>;
export declare const product: <A1, A2, A3>(args_0: ReaderIOResult<A1, A2, A3>) => <B1, B2, B3>(args_0: ReaderIOResult<B1, B2, B3>) => ReaderIOResult<[A1, B1], A2 | B2, A3 & B3>;
export declare const productMany: <A1, A2, A3>(args_0: ReaderIOResult<A1, A2, A3>) => (args_0: ReaderIOResult<A1, A2, A3>[]) => ReaderIOResult<A1[], A2, A3>;
export declare const flatMap: <A1, A2, A3, A4>(args_0: (args_0: A1) => ReaderIOResult<A2, A3, A4>) => <B1, B2>(args_0: ReaderIOResult<A1, B1, B2>) => ReaderIOResult<A2, A3 | B1, A4 & B2>;
export declare const andThen: <A1, A2, A3, A4>(args_0: (args_0: A1) => ReaderIOResult<A2, A3, A4>) => <B1, B2>(args_0: ReaderIOResult<A1, B1, B2>) => ReaderIOResult<A2, A3 | B1, A4 & B2>;
export declare const chain: <A1, A2, A3, A4>(args_0: (args_0: A1) => ReaderIOResult<A2, A3, A4>) => <B1, B2>(args_0: ReaderIOResult<A1, B1, B2>) => ReaderIOResult<A2, A3 | B1, A4 & B2>;
export declare const flatten: <A1, A2, A3, A4, A5>(args_0: ReaderIOResult<ReaderIOResult<A1, A2, A3>, A4, A5>) => ReaderIOResult<A1, A2 | A4, A3 & A5>;
export declare const biFlatMap: <A1, A2, A3, A4, A5>(args_0: (args_0: A1) => ReaderIOResult<A2, A3, A4>, args_1: (args_0: A5) => ReaderIOResult<A2, A3, A4>) => <B1>(args_0: ReaderIOResult<A1, A5, B1>) => ReaderIOResult<A2, A3, A4 & B1>;
export declare const orElse: <A1, A2, A3, A4>(args_0: (args_0: A1) => ReaderIOResult<A2, A3, A4>) => <B1>(args_0: ReaderIOResult<A2, A1, B1>) => ReaderIOResult<A2, A3, A4 & B1>;
export declare const alt: <A1, A2, A3>(args_0: () => ReaderIOResult<A1, A2, A3>) => <B1, B2>(args_0: ReaderIOResult<A1, B1, B2>) => ReaderIOResult<A1, A2, A3>;
export declare const or: <A1, A2, A3>(args_0: ReaderIOResult<A1, A2, A3>) => <B1, B2>(args_0: ReaderIOResult<A1, B1, B2>) => ReaderIOResult<A1, A2 | B1, A3 & B2>;
export declare const pluck: <A, K extends keyof A>(k: K) => <B1, B2>(args_0: ReaderIOResult<A, B1, B2>) => ReaderIOResult<A[K], B1, B2>;