import { Effect } from "@effect/io/Effect";
import { LazyArg } from "@effect-ts-app/core/Function";
import { Either } from "@fp-ts/data/Either";
import { Tag } from "@fp-ts/data/Context";
import { Scope } from "@effect/io/Scope";
import "./builtIn.js";
import "./date.js";
import "./Lens.ext.js";
import "./Ref.js";
import "./refinements.js";
import "./Schema.ext.js";
import type { Option } from "@fp-ts/data/Option";
export type _R<T extends Effect<any, any, any>> = [T] extends [
    Effect<infer R, any, any>
] ? R : never;
export type _E<T extends Effect<any, any, any>> = [T] extends [
    Effect<any, infer E, any>
] ? E : never;
/**
 * @tsplus fluent fp-ts/data/Option encaseInEffect
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Prelude.ext"
 */
export declare function encaseMaybeInEffect_<E, A>(o: Option<A>, onError: LazyArg<E>): Effect<never, E, A>;
/**
 * @tsplus getter fp-ts/data/Either asEffect
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Prelude.ext"
 */
export declare const EitherasEffect: <E, A>(either: import("@fp-ts/data/Either").Either<E, A>) => import("@effect/io/Effect").Effect<never, E, A>;
/**
 * @tsplus fluent fp-ts/data/Option encaseInEither
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Prelude.ext"
 */
export declare function encaseMaybeEither_<E, A>(o: Option<A>, onError: LazyArg<E>): Either<E, A>;
type Service<T> = T extends Tag<infer S> ? S : never;
type Values<T> = T extends {
    [s: string]: infer S;
} ? Service<S> : never;
type Services<T extends Record<string, Tag<any>>> = {
    [key in keyof T]: Service<T[key]>;
};
/**
 * @tsplus static effect/io/Effect.Ops servicesWith
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Prelude.ext"
 */
export declare function accessServices_<T extends Record<string, Tag<any>>, A>(services: T, fn: (services: Services<T>) => A): import("@effect/io/Effect").Effect<Values<T>, never, A>;
/**
 * @tsplus static effect/io/Effect.Ops servicesWithEffect
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Prelude.ext"
 */
export declare function accessServicesM_<T extends Record<string, Tag<any>>, R, E, A>(services: T, fn: (services: Services<T>) => Effect<R, E, A>): import("@effect/io/Effect").Effect<R | Values<T>, E, A>;
export declare function accessServices<T extends Record<string, Tag<any>>>(services: T): <A>(fn: (services: Services<T>) => A) => import("@effect/io/Effect").Effect<Values<T>, never, A>;
export declare function accessServicesM<T extends Record<string, Tag<any>>>(services: T): <R, E, A>(fn: (services: Services<T>) => import("@effect/io/Effect").Effect<R, E, A>) => import("@effect/io/Effect").Effect<R | Values<T>, E, A>;
/**
 * @tsplus getter effect/io/Effect toNullable
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Prelude.ext"
 */
export declare function toNullable<R, E, A>(self: Effect<R, E, Option<A>>): import("@effect/io/Effect").Effect<R, E, A | null>;
/**
 * @tsplus fluent effect/io/Effect scope
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Prelude.ext"
 */
export declare function scope<R, E, A, R2, E2, A2>(scopedEffect: Effect<R | Scope, E, A>, effect: Effect<R2, E2, A2>): Effect<Exclude<R | R2, Scope>, E | E2, A2>;
/**
 * @tsplus fluent effect/io/Effect flatMapScoped
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Prelude.ext"
 */
export declare function flatMapScoped<R, E, A, R2, E2, A2>(scopedEffect: Effect<R | Scope, E, A>, effect: (a: A) => Effect<R2, E2, A2>): Effect<Exclude<R | R2, Scope>, E | E2, A2>;
/**
 * Recovers from all errors.
 * @tsplus static effect/io/Effect.Aspects catchAllMap
 * @tsplus pipeable effect/io/Effect catchAllMap
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Prelude.ext"
 */
export declare function catchAllMap<E, A2>(f: (e: E) => A2): <R, A>(self: import("@effect/io/Effect").Effect<R, E, A>) => import("@effect/io/Effect").Effect<R, never, A2 | A>;
/**
 * Annotates each log in this effect with the specified log annotations.
 * @tsplus static effect/io/Effect.Ops logAnnotates
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Prelude.ext"
 */
export declare function logAnnotates(kvps: Record<string, string>): <R, E, A>(effect: import("@effect/io/Effect").Effect<R, E, A>) => import("@effect/io/Effect").Effect<R, E, A>;
/**
 * Annotates each log in this scope with the specified log annotation.
 * @tsplus static effect/io/Effect.Ops logAnnotateScoped
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Prelude.ext"
 */
export declare function logAnnotateScoped(key: string, value: string): import("@effect/io/Effect").Effect<import("@effect/io/Scope").Scope, never, void>;
/**
 * Annotates each log in this scope with the specified log annotations.
 * @tsplus static effect/io/Effect.Ops logAnnotatesScoped
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Prelude.ext"
 */
export declare function logAnnotatesScoped(kvps: Record<string, string>): import("@effect/io/Effect").Effect<import("@effect/io/Scope").Scope, never, void>;
/**
 * @tsplus fluent function flow
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Prelude.ext"
 */
export declare function flow<A, B, C>(f: (a: A) => B, g: (b: B) => C): (a: A) => C;
export {};
//# sourceMappingURL=Prelude.ext.d.ts.map