import type { UnionToIntersection } from "@principia/prelude/Utils";
import type { Has, Region, Tag } from "../Has";
import * as X from "../XPure";
import type { Sync } from "./model";
/**
 * Access a record of services with the required Service Entries
 */
export declare const asksServicesM: <SS extends Record<string, Tag<any>>>(
   s: SS
) => <R = unknown, E = never, B = unknown>(
   f: (a: { [k in keyof SS]: [SS[k]] extends [Tag<infer T>] ? T : unknown }) => Sync<R, E, B>
) => X.XPure<
   unknown,
   never,
   R & UnionToIntersection<{ [k_1 in keyof SS]: [SS[k_1]] extends [Tag<infer T_1>] ? Has<T_1> : unknown }[keyof SS]>,
   E,
   B
>;
export declare const asksServicesTM: <SS extends Tag<any>[]>(
   ...s: SS
) => <R = unknown, E = never, B = unknown>(
   f: (...a: { [k in keyof SS]: [SS[k]] extends [Tag<infer T>] ? T : unknown }) => Sync<R, E, B>
) => X.XPure<
   unknown,
   never,
   R &
      UnionToIntersection<
         { [k_1 in keyof SS]: [SS[k_1]] extends [Tag<infer T_1>] ? Has<T_1> : never }[keyof SS & number]
      >,
   E,
   B
>;
export declare const asksServicesT: <SS extends Tag<any>[]>(
   ...s: SS
) => <B = unknown>(
   f: (...a: { [k in keyof SS]: [SS[k]] extends [Tag<infer T>] ? T : unknown }) => B
) => X.XPure<
   unknown,
   never,
   UnionToIntersection<{ [k_1 in keyof SS]: [SS[k_1]] extends [Tag<infer T_1>] ? Has<T_1> : never }[keyof SS & number]>,
   never,
   B
>;
/**
 * Access a record of services with the required Service Entries
 */
export declare const asksServices: <SS extends Record<string, Tag<any>>>(
   s: SS
) => <B>(
   f: (a: { [k in keyof SS]: [SS[k]] extends [Tag<infer T>] ? T : unknown }) => B
) => X.XPure<
   unknown,
   never,
   UnionToIntersection<{ [k_1 in keyof SS]: [SS[k_1]] extends [Tag<infer T_1>] ? Has<T_1> : unknown }[keyof SS]>,
   never,
   B
>;
/**
 * Access a service with the required Service Entry
 */
export declare const asksServiceM: <T>(
   s: Tag<T>
) => <R, E, B>(f: (a: T) => Sync<R, E, B>) => X.XPure<unknown, never, R & Has<T>, E, B>;
/**
 * Access a service with the required Service Entry
 */
export declare const asksServiceF: <T>(
   s: Tag<T>
) => <
   K extends keyof T & { [k in keyof T]: T[k] extends (...args: any[]) => Sync<any, any, any> ? k : never }[keyof T]
>(
   k: K
) => (
   ...args: T[K] extends (...args: infer ARGS) => Sync<any, any, any> ? ARGS : unknown[]
) => T[K] extends (...args: any[]) => Sync<infer R, infer E, infer A> ? Sync<R & Has<T>, E, A> : unknown[];
/**
 * Access a service with the required Service Entry
 */
export declare const asksService: <T>(s: Tag<T>) => <B>(f: (a: T) => B) => X.XPure<unknown, never, Has<T>, never, B>;
/**
 * Access a service with the required Service Entry
 */
export declare const askService: <T>(s: Tag<T>) => X.XPure<unknown, never, Has<T>, never, T>;
/**
 * Provides the service with the required Service Entry, depends on global HasRegistry
 */
export declare const giveServiceM: <T>(
   _: Tag<T>
) => <R, E>(f: Sync<R, E, T>) => <R1, E1, A1>(ma: Sync<R1 & Has<T>, E1, A1>) => Sync<R & R1, E | E1, A1>;
/**
 * Provides the service with the required Service Entry, depends on global HasRegistry
 */
export declare const giveService: <T>(
   _: Tag<T>
) => (f: T) => <R1, E1, A1>(ma: Sync<R1 & Has<T>, E1, A1>) => Sync<R1, E1, A1>;
/**
 * Replaces the service with the required Service Entry, depends on global HasRegistry
 */
export declare const replaceServiceM: <R, E, T>(
   _: Tag<T>,
   f: (_: T) => Sync<R, E, T>
) => <R1, E1, A1>(ma: Sync<R1 & Has<T>, E1, A1>) => Sync<R & R1 & Has<T>, E | E1, A1>;
/**
 * Replaces the service with the required Service Entry, depends on global HasRegistry
 */
export declare const replaceServiceM_: <R, E, T, R1, E1, A1>(
   ma: Sync<R1 & Has<T>, E1, A1>,
   _: Tag<T>,
   f: (_: T) => Sync<R, E, T>
) => Sync<R & R1 & Has<T>, E | E1, A1>;
/**
 * Replaces the service with the required Service Entry, depends on global HasRegistry
 */
export declare const replaceService: <T>(
   _: Tag<T>,
   f: (_: T) => T
) => <R1, E1, A1>(ma: Sync<R1 & Has<T>, E1, A1>) => Sync<R1 & Has<T>, E1, A1>;
/**
 * Replaces the service with the required Service Entry, depends on global HasRegistry
 */
export declare const replaceService_: <R1, E1, A1, T>(
   ma: Sync<R1 & Has<T>, E1, A1>,
   _: Tag<T>,
   f: (_: T) => T
) => Sync<R1 & Has<T>, E1, A1>;
export declare const region: <K, T>() => Tag<Region<T, K>>;
export declare const useRegion: <K, T>(
   h: Tag<Region<T, K>>
) => <R, E, A>(e: Sync<R & T, E, A>) => X.XPure<unknown, never, R & Has<Region<T, K>>, E, A>;
export declare const asksRegionM: <K, T>(
   h: Tag<Region<T, K>>
) => <R, E, A>(e: (_: T) => Sync<R & T, E, A>) => X.XPure<unknown, never, R & Has<Region<T, K>>, E, A>;
export declare const asksRegion: <K, T>(
   h: Tag<Region<T, K>>
) => <A>(e: (_: T) => A) => X.XPure<unknown, never, Has<Region<T, K>>, never, A>;
export declare const askRegion: <K, T>(h: Tag<Region<T, K>>) => X.XPure<unknown, never, Has<Region<T, K>>, never, T>;
export declare const askServiceIn: <A>(
   _: Tag<A>
) => <K, T>(h: Tag<Region<Has<A> & T, K>>) => X.XPure<unknown, never, Has<Region<Has<A> & T, K>>, never, A>;
export declare const asksServiceIn: <A>(
   _: Tag<A>
) => <K, T>(
   h: Tag<Region<Has<A> & T, K>>
) => <B>(f: (_: A) => B) => X.XPure<unknown, never, Has<Region<Has<A> & T, K>>, never, B>;
export declare const asksServiceInM: <A>(
   _: Tag<A>
) => <K, T>(
   h: Tag<Region<Has<A> & T, K>>
) => <R, E, B>(f: (_: A) => Sync<R, E, B>) => X.XPure<unknown, never, R & Has<Region<Has<A> & T, K>>, E, B>;
/**
 * ```haskell
 * asService :: Tag a -> Task r e a -> Task r e (Has a)
 * ```
 *
 * Maps the success value of this effect to a service.
 */
export declare const asService: <A>(has: Tag<A>) => <R, E>(fa: Sync<R, E, A>) => X.XPure<unknown, never, R, E, Has<A>>;
//# sourceMappingURL=service.d.ts.map