import { Reader, reader as fptsreader, URI } from 'fp-ts/lib/Reader';
import { ProductLeft } from '../typeclasses/product-left-coproduct-left/product-left-coproduct-left.utils';
import { MonadReader } from '../typeclasses/monad-reader/monad-reader.utils';
export declare const reader: typeof fptsreader & ProductLeft<URI> & MonadReader<URI>;
export declare const sequenceTReader: <E, T extends Reader<E, any>[]>(...t: T & {
    0: Reader<E, any>;
}) => Reader<E, { [K in keyof T]: [T[K]] extends [Reader<E, infer A>] ? A : never; }>;
export declare const combineReader: import("../typeclasses/product-left-coproduct-left/product-left-coproduct-left.utils").ProductMap<"Reader">;
export declare const deferReader: <E extends object, A, K extends keyof E>(fa: Reader<E, A>, ...keys: K[]) => Reader<Pick<E, Exclude<keyof E, K>>, Reader<Pick<E, K>, A>>;
export declare type ReaderEnvType<F extends Reader<any, any>> = F extends Reader<infer E, infer A> ? E : never;
export declare type ReaderValueType<F extends Reader<any, any>> = F extends Reader<infer E, infer A> ? A : never;