import { Effect } from "@effect/core/io/Effect/definition";
import { Tag } from "@tsplus/stdlib/service/Tag";
import { Env } from "@tsplus/stdlib/service/Env";
/**
 * Provides the effect with the single service it requires. If the effect
 * requires more than one service use `provideEnvironment` instead.
 * @tsplus fluent ets/Effect provideServiceEffect
 * @tsplus location "@effect/core/io/Effect/operations/provideServiceEffect"
 */
export declare function provideServiceEffect_<R1, E1, R, E, A, T>(self: Effect<R, E, A>, tag: Tag<T>, effect: Effect<R1, E1, T>, __tsplusTrace?: string): Effect<R1 | Exclude<R, T>, E | E1, A>;
/**
 * Provides the effect with the single service it requires. If the effect
 * requires more than one service use `provideEnvironment` instead.
 * @tsplus static ets/Effect/Aspects provideServiceEffect
 * @tsplus pipeable ets/Effect provideServiceEffect
 * @tsplus location "@effect/core/io/Effect/operations/provideServiceEffect"
 */
export declare const provideServiceEffect: <R1, E1, T>(tag: import("@tsplus/stdlib/service/Tag").Tag<T>, effect: import("../definition").Effect<R1, E1, T>, __tsplusTrace?: string) => <R, E, A>(self: import("../definition").Effect<R, E, A>) => import("../definition").Effect<R1 | Exclude<R, T>, E1 | E, A>;
//# sourceMappingURL=provideServiceEffect.d.ts.map