import type { XPure } from "./model";
export declare const ask: <R>() => XPure<unknown, never, R, never, R>;
export declare const asksM: <R0, S1, S2, R, E, A>(f: (r: R0) => XPure<S1, S2, R, E, A>) => XPure<S1, S2, R & R0, E, A>;
export declare const asks: <R0, A>(f: (r: R0) => A) => XPure<unknown, never, R0, never, A>;
export declare const giveAll_: <S1, S2, R, E, A>(fa: XPure<S1, S2, R, E, A>, r: R) => XPure<S1, S2, unknown, E, A>;
export declare const giveAll: <R>(r: R) => <S1, S2, E, A>(fa: XPure<S1, S2, R, E, A>) => XPure<S1, S2, unknown, E, A>;
export declare const local_: <R0, S1, S2, R, E, A>(
   ma: XPure<S1, S2, R, E, A>,
   f: (r0: R0) => R
) => XPure<S1, S2, R0, E, A>;
export declare const local: <R0, R>(
   f: (r0: R0) => R
) => <S1, S2, E, A>(ma: XPure<S1, S2, R, E, A>) => XPure<S1, S2, R0, E, A>;
export declare const give_: <S1, S2, R, E, A, R0>(ma: XPure<S1, S2, R & R0, E, A>, r: R) => XPure<S1, S2, R0, E, A>;
export declare const give: <R>(r: R) => <S1, S2, R0, E, A>(ma: XPure<S1, S2, R & R0, E, A>) => XPure<S1, S2, R0, E, A>;
//# sourceMappingURL=reader.d.ts.map