import { STM } from "@effect/core/stm/STM/definition/base";
import { Tag } from "@tsplus/stdlib/service/Tag";
import { LazyArg } from "@tsplus/stdlib/data/Function";
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/STM provideService
 * @tsplus location "@effect/core/stm/STM/operations/provideService"
 */
export declare function provideService_<R, E, A, T, T1 extends T>(self: STM<R, E, A>, tag: Tag<T>, service: LazyArg<T1>): STM<Exclude<R, T>, E, A>;
/**
 * Provides the effect with the single service it requires. If the effect
 * requires more than one service use `provideEnvironment` instead.
 * @tsplus static ets/STM/Aspects provideService
 * @tsplus pipeable ets/STM provideService
 * @tsplus location "@effect/core/stm/STM/operations/provideService"
 */
export declare const provideService: <T, T1 extends T>(tag: import("@tsplus/stdlib/service/Tag").Tag<T>, service: import("@tsplus/stdlib/data/Function").LazyArg<T1>) => <R, E, A>(self: import("../definition").STM<R, E, A>) => import("../definition").STM<Exclude<R, T>, E, A>;
//# sourceMappingURL=provideService.d.ts.map