import type { Layer } from "@effect-ts/core/Effect/Layer";
import type { DerivedFunctions } from "@effect-ts/core/Has";
import type { Compute, UnionToIntersection } from "@effect-ts/core/Utils";
declare module "@effect-ts/system/Has" {
    interface Has<T> {
        /**
         * @ets_rewrite_method pipe from "smart:pipe"
         */
        pipe<Self, Ret>(this: Self, f: (self: Self) => Ret): Ret;
        /**
         * @ets_rewrite_method succeed from "@effect-ts/core/Effect/Layer"
         */
        toLayer<AX>(this: Has<AX>): Layer<unknown, never, Has<AX>>;
    }
    interface Tag<T> {
        /**
         * @ets_rewrite_method pipe from "smart:pipe"
         */
        pipe<Self, Ret>(this: Self, f: (self: Self) => Ret): Ret;
        /**
         * @ets_rewrite_method deriveFunctions from "@effect-ts/core/Has"
         */
        deriveLifted<TX, Ks extends readonly (keyof DerivedFunctions<TX>)[]>(this: Tag<TX>, ...keys: Ks): Compute<UnionToIntersection<{
            [k in keyof Ks]: Ks[k] extends keyof DerivedFunctions<TX> ? {
                [H in Ks[k]]: DerivedFunctions<TX>[Ks[k]];
            } : never;
        }[number]>, "flat">;
    }
}
//# sourceMappingURL=has.d.ts.map