import type { UnionToIntersection } from "@principia/prelude/Utils";
import type { Has, Tag } from "../../Has";
import * as M from "../Managed";
import type { Task } from "../Task";
import * as L from "./core";
export declare const fromConstructor: <S>(
   tag: Tag<S>
) => <Services extends any[]>(
   constructor: (...services: Services) => S
) => (
   ...tags: { [k in keyof Services]: Tag<Services[k]> }
) => L.Layer<
   UnionToIntersection<{ [k_1 in keyof Services]: Has<Services[k_1]> }[keyof Services & number]>,
   never,
   Has<S>
>;
export declare const fromTaskConstructor: <S>(
   tag: Tag<S>
) => <Services extends any[], R, E>(
   constructor: (...services: Services) => Task<R, E, S>
) => (
   ...tags: { [k in keyof Services]: Tag<Services[k]> }
) => L.Layer<
   UnionToIntersection<{ [k_1 in keyof Services]: Has<Services[k_1]> }[keyof Services & number]> & R,
   E,
   Has<S>
>;
export declare const fromManagedConstructor: <S>(
   tag: Tag<S>
) => <Services extends any[], R, E>(
   constructor: (...services: Services) => M.Managed<R, E, S>
) => (
   ...tags: { [k in keyof Services]: Tag<Services[k]> }
) => L.Layer<
   UnionToIntersection<{ [k_1 in keyof Services]: Has<Services[k_1]> }[keyof Services & number]> & R,
   E,
   Has<S>
>;
export declare const bracketConstructor: <S>(
   tag: Tag<S>
) => <Services extends any[], S2 extends S>(
   constructor: (...services: Services) => S2
) => (
   ...tags: { [k in keyof Services]: Tag<Services[k]> }
) => <R, R2, E>(
   open: (s: S2) => Task<R, E, unknown>,
   release: (s: S2) => Task<R2, never, unknown>
) => L.Layer<
   UnionToIntersection<{ [k_1 in keyof Services]: Has<Services[k_1]> }[keyof Services & number]> & R & R2,
   E,
   Has<S>
>;
export declare const bracketTaskConstructor: <S>(
   tag: Tag<S>
) => <Services extends any[], S2 extends S, R0, E0>(
   constructor: (...services: Services) => Task<R0, E0, S2>
) => (
   ...tags: { [k in keyof Services]: Tag<Services[k]> }
) => <R, R2, E>(
   open: (s: S2) => Task<R, E, unknown>,
   release: (s: S2) => Task<R2, never, unknown>
) => L.Layer<
   UnionToIntersection<{ [k_1 in keyof Services]: Has<Services[k_1]> }[keyof Services & number]> & R & R2 & R0,
   E0 | E,
   Has<S>
>;
export declare const restrict: <Tags extends Tag<any>[]>(
   ...ts: Tags
) => <R, E>(
   layer: L.Layer<
      R,
      E,
      UnionToIntersection<{ [k in keyof Tags]: [Tags[k]] extends [Tag<infer A>] ? Has<A> : never }[number]>
   >
) => L.Layer<
   R,
   E,
   UnionToIntersection<{ [k_1 in keyof Tags]: [Tags[k_1]] extends [Tag<infer A_1>] ? Has<A_1> : never }[number]>
>;
//# sourceMappingURL=constructors.d.ts.map