import { Effect } from "@effect/io/Effect";
import { Tag, Context } from "@fp-ts/data/Context";
import { Either } from "@fp-ts/data/Either";
import { LazyArg } from "@effect-ts-app/core/Function";
import { Cause } from "@effect/io/Cause";
import * as Def from "@effect/io/Deferred";
import * as Eff from "@effect/io/Effect";
import * as Exit from "@effect/io/Exit";
import * as Fiber from "@effect/io/Fiber";
import * as Layer from "@effect/io/Layer";
import type { Option } from "@fp-ts/data/Option";
export * from "@effect/io/Effect";
/**
 * @macro traced
 * @tsplus fluent effect/io/Effect provideService
 * @tsplus location "@effect-ts-app/core/Effect"
 */
export declare function provideService<T, R, E, A>(self: Effect<R, E, A>, tag: Tag<T>, resource: T): Effect<Exclude<R, T>, E, A>;
/**
 * @tsplus static effect/io/Deferred.Ops await
 * @tsplus getter effect/io/Deferred await
 * @tsplus location "@effect-ts-app/core/Effect"
 */
export declare const await_: <E, A>(self: Def.Deferred<E, A>) => Eff.Effect<never, E, A>;
/**
 * @tsplus static effect/io/Effect.Ops unit
 * @tsplus location "@effect-ts-app/core/Effect"
 */
export declare const unit: Eff.Effect<never, never, void>;
/**
 * @tsplus static effect/io/Exit.Ops unit
 * @tsplus location "@effect-ts-app/core/Effect"
 */
export declare const ex_unit: Exit.Exit<never, void>;
/**
 * @tsplus static effect/io/Fiber.Ops unit
 * @tsplus location "@effect-ts-app/core/Effect"
 */
export declare const fb_unit: Fiber.Fiber<never, void>;
/**
 * @tsplus static effect/io/Effect.Ops flatMapEither
 * @tsplus location "@effect-ts-app/core/Effect"
 */
export declare const flatMapEither: <E, A, A2>(ei: (a: A2) => import("@fp-ts/data/Either").Either<E, A>) => <R, E_1>(self: Eff.Effect<R, E_1, A2>) => Eff.Effect<R, E | E_1, A>;
/**
 * @macro traced
 * @tsplus fluent effect/io/Effect flatMapOpt
 * @tsplus location "@effect-ts-app/core/Effect"
 */
export declare function flatMapOpt<R, E, A, R2, E2, A2>(self: Effect<R, E, Option<A>>, fm: (a: A) => Effect<R2, E2, A2>): Effect<R | R2, E | E2, Option<A2>>;
/**
 * @macro traced
 * @tsplus fluent effect/io/Effect tapOpt
 * @tsplus location "@effect-ts-app/core/Effect"
 */
export declare function tapOpt<R, E, A, R2, E2, A2>(self: Effect<R, E, Option<A>>, fm: (a: A) => Effect<R2, E2, A2>): Effect<R | R2, E | E2, Option<A>>;
/**
 * @macro traced
 * @tsplus fluent effect/io/Effect zipRightOpt
 * @tsplus location "@effect-ts-app/core/Effect"
 */
export declare function zipRightOpt<R, E, A, R2, E2, A2>(self: Effect<R, E, Option<A>>, fm: Effect<R2, E2, A2>): Eff.Effect<R | R2, E | E2, Option<A>>;
/**
 * @macro traced
 * @tsplus fluent effect/io/Effect mapOpt
 * @tsplus location "@effect-ts-app/core/Effect"
 */
export declare function mapOpt<R, E, A, A2>(self: Effect<R, E, Option<A>>, fm: (a: A) => A2): Effect<R, E, Option<A2>>;
export type Erase<R, K> = R & K extends K & infer R1 ? R1 : R;
/**
 * @tsplus static effect/io/Effect.Ops tryCatchPromiseWithInterrupt
 * @tsplus location "@effect-ts-app/core/Effect"
 */
export declare function tryCatchPromiseWithInterrupt<E, A>(promise: LazyArg<Promise<A>>, onReject: (reason: unknown) => E, canceller: () => void): Effect<never, E, A>;
/**
 * @macro traced
 * @tsplus fluent effect/io/Effect tapBoth
 * @tsplus location "@effect-ts-app/core/Effect"
 */
export declare const tapBoth_: <R, E, A, R2, R3, E3>(self: Eff.Effect<R, E, A>, f: (e: E) => Eff.Effect<R2, never, any>, g: (a: A) => Eff.Effect<R3, E3, any>) => Eff.Effect<R | R2 | R3, E | E3, A>;
export declare const tapBoth: <E, A, R2, R3, E3>(f: (e: E) => Eff.Effect<R2, never, any>, g: (a: A) => Eff.Effect<R3, E3, any>) => <R>(self: Eff.Effect<R, E, A>) => Eff.Effect<R2 | R3 | R, E | E3, A>;
/**
 * @macro traced
 * @tsplus fluent effect/io/Effect tapBothInclAbort
 * @tsplus location "@effect-ts-app/core/Effect"
 */
export declare const tapBothInclAbort_: <R, E, A, ER, EE, EA, SR, SE, SA>(self: Eff.Effect<R, E, A>, onError: (err: unknown) => Eff.Effect<ER, EE, EA>, onSuccess: (a: A) => Eff.Effect<SR, SE, SA>) => Eff.Effect<R | ER | SR, E | EE | SE, A>;
export declare function getFirstError<E>(cause: Cause<E>): unknown;
/**
 * @macro traced
 * @tsplus fluent effect/io/Effect tapErrorInclAbort
 * @tsplus location "@effect-ts-app/core/Effect"
 */
export declare const tapErrorInclAbort_: <R, E, A, ER, EE, EA>(self: Eff.Effect<R, E, A>, onError: (err: unknown) => Eff.Effect<ER, EE, EA>) => Eff.Effect<R | ER, E | EE, A>;
export declare function encaseOpt_<E, A>(o: Option<A>, onError: LazyArg<E>): Effect<never, E, A>;
export declare function encaseOpt<E>(onError: LazyArg<E>): <A>(o: Option<A>) => Eff.Effect<never, E, A>;
export declare function liftM<A, B>(a: (a: A) => B): (a: A) => Eff.Effect<never, never, B>;
/**
 * Takes [A, B], applies it to a curried Effect function,
 * taps the Effect, returning A.
 */
export declare function tupleTap<A, B, R, E, C>(f: (b: B) => (a: A) => Effect<R, E, C>): (t: readonly [A, B]) => Eff.Effect<R, E, A>;
/**
 * Takes [A, B], applies it to an Effect function,
 * taps the Effect, returning A.
 */
export declare function tupleTap_<A, B, R, E, C>(f: (a: A, b: B) => Effect<R, E, C>): (t: readonly [A, B]) => Eff.Effect<R, E, A>;
export declare function ifDiffR<I, R, E, A>(f: (i: I) => Effect<R, E, A>): (n: I, orig: I) => Eff.Effect<R, E, void | A>;
export declare function ifDiff_<I, R, E, A>(n: I, orig: I, f: (i: I) => Effect<R, E, A>): Eff.Effect<R, E, void | A>;
export declare const tapBothInclAbort: <A, ER, EE, EA, SR, SE, SA>(onError: (err: unknown) => Eff.Effect<ER, EE, EA>, onSuccess: (a: A) => Eff.Effect<SR, SE, SA>) => <R, E>(eff: Eff.Effect<R, E, A>) => Eff.Effect<ER | SR | R, EE | SE | E, A>;
export declare const tapErrorInclAbort: <A, ER, EE, EA>(onError: (err: unknown) => Eff.Effect<ER, EE, EA>) => <R, E>(eff: Eff.Effect<R, E, A>) => Eff.Effect<ER | R, EE | E, A>;
export declare function ifDiff<I, R, E, A>(n: I, orig: I): (f: (i: I) => Effect<R, E, A>) => Eff.Effect<R, E, void | A>;
/**
 * @tsplus static effect/io/Layer.Ops effect
 * @tsplus location "@effect-ts-app/core/Effect"
 */
export declare const LayerFromEffect: <T>(tag: import("@fp-ts/data/Context").Tag<T>) => <R, E>(effect: Eff.Effect<R, E, T>) => Layer.Layer<R, E, T>;
/**
 * @tsplus pipeable effect/io/Effect provideSomeEnvironmentReal
 * @tsplus location "@effect-ts-app/core/Effect"
 */
export declare const provideSomeEnvironmentReal: <A2>(ctx: import("@fp-ts/data/Context").Context<A2>) => <R, E, A>(self: Eff.Effect<A2 | R, E, A>) => Eff.Effect<Exclude<R, A2>, E, A>;
/**
 * @tsplus pipeable effect/io/Effect provideSomeEnvironmentEffect
 * @tsplus location "@effect-ts-app/core/Effect"
 */
export declare const provideSomeEnvironmentEffect: <R2, E2, A2>(makeCtx: Eff.Effect<R2, E2, import("@fp-ts/data/Context").Context<A2>>) => <R, E, A>(self: Eff.Effect<A2 | R, E, A>) => Eff.Effect<R2 | Exclude<R, A2>, E2 | E, A>;
//# sourceMappingURL=Effect.d.ts.map