effect 3.8.4 → 3.9.0

package/dist/dts/Layer.d.ts

@@ -66,21 +66,32 @@ export declare namespace Layer {
             readonly _RIn: Types.Covariant<RIn>;
         };
     }
+    /**
+     * @since 3.9.0
+     * @category type-level
+     */
+    interface Any {
+        readonly [LayerTypeId]: {
+            readonly _ROut: any;
+            readonly _E: any;
+            readonly _RIn: any;
+        };
+    }
     /**
      * @since 2.0.0
      * @category type-level
      */
-    type Context<T extends Layer<never, any, any>> = [T] extends [Layer<infer _ROut, infer _E, infer _RIn>] ? _RIn : never;
+    type Context<T extends Any> = [T] extends [Layer<infer _ROut, infer _E, infer _RIn>] ? _RIn : never;
     /**
      * @since 2.0.0
      * @category type-level
      */
-    type Error<T extends Layer<never, any, any>> = [T] extends [Layer<infer _ROut, infer _E, infer _RIn>] ? _E : never;
+    type Error<T extends Any> = [T] extends [Layer<infer _ROut, infer _E, infer _RIn>] ? _E : never;
     /**
      * @since 2.0.0
      * @category type-level
      */
-    type Success<T extends Layer<never, any, any>> = [T] extends [Layer<infer _ROut, infer _E, infer _RIn>] ? _ROut : never;
+    type Success<T extends Any> = [T] extends [Layer<infer _ROut, infer _E, infer _RIn>] ? _ROut : never;
 }
 /**
  * @since 2.0.0
@@ -119,9 +130,25 @@ export declare const isFresh: <RIn, E, ROut>(self: Layer<ROut, E, RIn>) => boole
  * @category tracing
  */
 export declare const annotateLogs: {
+    /**
+     * @since 3.3.0
+     * @category tracing
+     */
     (key: string, value: unknown): <A, E, R>(self: Layer<A, E, R>) => Layer<A, E, R>;
+    /**
+     * @since 3.3.0
+     * @category tracing
+     */
     (values: Record<string, unknown>): <A, E, R>(self: Layer<A, E, R>) => Layer<A, E, R>;
+    /**
+     * @since 3.3.0
+     * @category tracing
+     */
     <A, E, R>(self: Layer<A, E, R>, key: string, value: unknown): Layer<A, E, R>;
+    /**
+     * @since 3.3.0
+     * @category tracing
+     */
     <A, E, R>(self: Layer<A, E, R>, values: Record<string, unknown>): Layer<A, E, R>;
 };
 /**
@@ -129,9 +156,25 @@ export declare const annotateLogs: {
  * @category tracing
  */
 export declare const annotateSpans: {
+    /**
+     * @since 3.3.0
+     * @category tracing
+     */
     (key: string, value: unknown): <A, E, R>(self: Layer<A, E, R>) => Layer<A, E, R>;
+    /**
+     * @since 3.3.0
+     * @category tracing
+     */
     (values: Record<string, unknown>): <A, E, R>(self: Layer<A, E, R>) => Layer<A, E, R>;
+    /**
+     * @since 3.3.0
+     * @category tracing
+     */
     <A, E, R>(self: Layer<A, E, R>, key: string, value: unknown): Layer<A, E, R>;
+    /**
+     * @since 3.3.0
+     * @category tracing
+     */
     <A, E, R>(self: Layer<A, E, R>, values: Record<string, unknown>): Layer<A, E, R>;
 };
 /**
@@ -152,7 +195,27 @@ export declare const build: <RIn, E, ROut>(self: Layer<ROut, E, RIn>) => Effect.
  * @category destructors
  */
 export declare const buildWithScope: {
+    /**
+     * Builds a layer into an `Effect` value. Any resources associated with this
+     * layer will be released when the specified scope is closed unless their scope
+     * has been extended. This allows building layers where the lifetime of some of
+     * the services output by the layer exceed the lifetime of the effect the
+     * layer is provided to.
+     *
+     * @since 2.0.0
+     * @category destructors
+     */
     (scope: Scope.Scope): <RIn, E, ROut>(self: Layer<ROut, E, RIn>) => Effect.Effect<Context.Context<ROut>, E, RIn>;
+    /**
+     * Builds a layer into an `Effect` value. Any resources associated with this
+     * layer will be released when the specified scope is closed unless their scope
+     * has been extended. This allows building layers where the lifetime of some of
+     * the services output by the layer exceed the lifetime of the effect the
+     * layer is provided to.
+     *
+     * @since 2.0.0
+     * @category destructors
+     */
     <RIn, E, ROut>(self: Layer<ROut, E, RIn>, scope: Scope.Scope): Effect.Effect<Context.Context<ROut>, E, RIn>;
 };
 /**
@@ -162,7 +225,19 @@ export declare const buildWithScope: {
  * @category error handling
  */
 export declare const catchAll: {
+    /**
+     * Recovers from all errors.
+     *
+     * @since 2.0.0
+     * @category error handling
+     */
     <E, RIn2, E2, ROut2>(onError: (error: E) => Layer<ROut2, E2, RIn2>): <RIn, ROut>(self: Layer<ROut, E, RIn>) => Layer<ROut & ROut2, E2, RIn2 | RIn>;
+    /**
+     * Recovers from all errors.
+     *
+     * @since 2.0.0
+     * @category error handling
+     */
     <RIn, E, ROut, RIn2, E2, ROut2>(self: Layer<ROut, E, RIn>, onError: (error: E) => Layer<ROut2, E2, RIn2>): Layer<ROut & ROut2, E2, RIn | RIn2>;
 };
 /**
@@ -172,7 +247,19 @@ export declare const catchAll: {
  * @category error handling
  */
 export declare const catchAllCause: {
+    /**
+     * Recovers from all errors.
+     *
+     * @since 2.0.0
+     * @category error handling
+     */
     <E, RIn2, E2, ROut2>(onError: (cause: Cause.Cause<E>) => Layer<ROut2, E2, RIn2>): <RIn, ROut>(self: Layer<ROut, E, RIn>) => Layer<ROut & ROut2, E2, RIn2 | RIn>;
+    /**
+     * Recovers from all errors.
+     *
+     * @since 2.0.0
+     * @category error handling
+     */
     <RIn, E, ROut, RIn2, E2, ROut22>(self: Layer<ROut, E, RIn>, onError: (cause: Cause.Cause<E>) => Layer<ROut22, E2, RIn2>): Layer<ROut & ROut22, E2, RIn | RIn2>;
 };
 /**
@@ -212,7 +299,19 @@ export declare const discard: <RIn, E, ROut>(self: Layer<ROut, E, RIn>) => Layer
  * @category constructors
  */
 export declare const effect: {
+    /**
+     * Constructs a layer from the specified effect.
+     *
+     * @since 2.0.0
+     * @category constructors
+     */
     <T extends Context.Tag<any, any>>(tag: T): <E, R>(effect: Effect.Effect<Context.Tag.Service<T>, E, R>) => Layer<Context.Tag.Identifier<T>, E, R>;
+    /**
+     * Constructs a layer from the specified effect.
+     *
+     * @since 2.0.0
+     * @category constructors
+     */
     <T extends Context.Tag<any, any>, E, R>(tag: T, effect: Effect.Effect<Context.Tag.Service<T>, E, R>): Layer<Context.Tag.Identifier<T>, E, R>;
 };
 /**
@@ -282,7 +381,19 @@ export declare const failCauseSync: <E>(evaluate: LazyArg<Cause.Cause<E>>) => La
  * @category sequencing
  */
 export declare const flatMap: {
+    /**
+     * Constructs a layer dynamically based on the output of this layer.
+     *
+     * @since 2.0.0
+     * @category sequencing
+     */
     <A, A2, E2, R2>(f: (context: Context.Context<A>) => Layer<A2, E2, R2>): <E, R>(self: Layer<A, E, R>) => Layer<A2, E2 | E, R2 | R>;
+    /**
+     * Constructs a layer dynamically based on the output of this layer.
+     *
+     * @since 2.0.0
+     * @category sequencing
+     */
     <A, E, R, A2, E2, R2>(self: Layer<A, E, R>, f: (context: Context.Context<A>) => Layer<A2, E2, R2>): Layer<A2, E | E2, R | R2>;
 };
 /**
@@ -292,7 +403,19 @@ export declare const flatMap: {
  * @category sequencing
  */
 export declare const flatten: {
+    /**
+     * Flattens layers nested in the context of an effect.
+     *
+     * @since 2.0.0
+     * @category sequencing
+     */
     <I, A, E2, R2>(tag: Context.Tag<I, Layer<A, E2, R2>>): <E, R>(self: Layer<I, E, R>) => Layer<A, E2 | E, R2 | R>;
+    /**
+     * Flattens layers nested in the context of an effect.
+     *
+     * @since 2.0.0
+     * @category sequencing
+     */
     <I, E, R, A, E2, R2>(self: Layer<I, E, R>, tag: Context.Tag<I, Layer<A, E2, R2>>): Layer<A, E | E2, R | R2>;
 };
 /**
@@ -326,7 +449,19 @@ export declare const launch: <RIn, E, ROut>(self: Layer<ROut, E, RIn>) => Effect
  * @category mapping
  */
 export declare const map: {
+    /**
+     * Returns a new layer whose output is mapped by the specified function.
+     *
+     * @since 2.0.0
+     * @category mapping
+     */
     <A, B>(f: (context: Context.Context<A>) => Context.Context<B>): <E, R>(self: Layer<A, E, R>) => Layer<B, E, R>;
+    /**
+     * Returns a new layer whose output is mapped by the specified function.
+     *
+     * @since 2.0.0
+     * @category mapping
+     */
     <A, E, R, B>(self: Layer<A, E, R>, f: (context: Context.Context<A>) => Context.Context<B>): Layer<B, E, R>;
 };
 /**
@@ -336,7 +471,19 @@ export declare const map: {
  * @category mapping
  */
 export declare const mapError: {
+    /**
+     * Returns a layer with its error channel mapped using the specified function.
+     *
+     * @since 2.0.0
+     * @category mapping
+     */
     <E, E2>(f: (error: E) => E2): <A, R>(self: Layer<A, E, R>) => Layer<A, E2, R>;
+    /**
+     * Returns a layer with its error channel mapped using the specified function.
+     *
+     * @since 2.0.0
+     * @category mapping
+     */
     <A, E, R, E2>(self: Layer<A, E, R>, f: (error: E) => E2): Layer<A, E2, R>;
 };
 /**
@@ -348,10 +495,26 @@ export declare const mapError: {
  * @category folding
  */
 export declare const match: {
+    /**
+     * Feeds the error or output services of this layer into the input of either
+     * the specified `failure` or `success` layers, resulting in a new layer with
+     * the inputs of this layer, and the error or outputs of the specified layer.
+     *
+     * @since 2.0.0
+     * @category folding
+     */
     <E, A2, E2, R2, A, A3, E3, R3>(options: {
         readonly onFailure: (error: E) => Layer<A2, E2, R2>;
         readonly onSuccess: (context: Context.Context<A>) => Layer<A3, E3, R3>;
     }): <R>(self: Layer<A, E, R>) => Layer<A2 & A3, E2 | E3, R2 | R3 | R>;
+    /**
+     * Feeds the error or output services of this layer into the input of either
+     * the specified `failure` or `success` layers, resulting in a new layer with
+     * the inputs of this layer, and the error or outputs of the specified layer.
+     *
+     * @since 2.0.0
+     * @category folding
+     */
     <A, E, R, A2, E2, R2, A3, E3, R3>(self: Layer<A, E, R>, options: {
         readonly onFailure: (error: E) => Layer<A2, E2, R2>;
         readonly onSuccess: (context: Context.Context<A>) => Layer<A3, E3, R3>;
@@ -366,10 +529,26 @@ export declare const match: {
  * @category folding
  */
 export declare const matchCause: {
+    /**
+     * Feeds the error or output services of this layer into the input of either
+     * the specified `failure` or `success` layers, resulting in a new layer with
+     * the inputs of this layer, and the error or outputs of the specified layer.
+     *
+     * @since 2.0.0
+     * @category folding
+     */
     <E, A2, E2, R2, A, A3, E3, R3>(options: {
         readonly onFailure: (cause: Cause.Cause<E>) => Layer<A2, E2, R2>;
         readonly onSuccess: (context: Context.Context<A>) => Layer<A3, E3, R3>;
     }): <R>(self: Layer<A, E, R>) => Layer<A2 & A3, E2 | E3, R2 | R3 | R>;
+    /**
+     * Feeds the error or output services of this layer into the input of either
+     * the specified `failure` or `success` layers, resulting in a new layer with
+     * the inputs of this layer, and the error or outputs of the specified layer.
+     *
+     * @since 2.0.0
+     * @category folding
+     */
     <A, E, R, A2, E2, R2, A3, E3, R3>(self: Layer<A, E, R>, options: {
         readonly onFailure: (cause: Cause.Cause<E>) => Layer<A2, E2, R2>;
         readonly onSuccess: (context: Context.Context<A>) => Layer<A3, E3, R3>;
@@ -390,7 +569,19 @@ export declare const memoize: <RIn, E, ROut>(self: Layer<ROut, E, RIn>) => Effec
  * @category zipping
  */
 export declare const merge: {
+    /**
+     * Merges this layer with the specified layer concurrently, producing a new layer with combined input and output types.
+     *
+     * @since 2.0.0
+     * @category zipping
+     */
     <RIn2, E2, ROut2>(that: Layer<ROut2, E2, RIn2>): <RIn, E1, ROut>(self: Layer<ROut, E1, RIn>) => Layer<ROut2 | ROut, E2 | E1, RIn2 | RIn>;
+    /**
+     * Merges this layer with the specified layer concurrently, producing a new layer with combined input and output types.
+     *
+     * @since 2.0.0
+     * @category zipping
+     */
     <RIn, E1, ROut, RIn2, E2, ROut2>(self: Layer<ROut, E1, RIn>, that: Layer<ROut2, E2, RIn2>): Layer<ROut | ROut2, E1 | E2, RIn | RIn2>;
 };
 /**
@@ -422,7 +613,21 @@ export declare const orDie: <A, E, R>(self: Layer<A, E, R>) => Layer<A, never, R
  * @category error handling
  */
 export declare const orElse: {
+    /**
+     * Executes this layer and returns its output, if it succeeds, but otherwise
+     * executes the specified layer.
+     *
+     * @since 2.0.0
+     * @category error handling
+     */
     <A2, E2, R2>(that: LazyArg<Layer<A2, E2, R2>>): <A, E, R>(self: Layer<A, E, R>) => Layer<A & A2, E2 | E, R2 | R>;
+    /**
+     * Executes this layer and returns its output, if it succeeds, but otherwise
+     * executes the specified layer.
+     *
+     * @since 2.0.0
+     * @category error handling
+     */
     <A, E, R, A2, E2, R2>(self: Layer<A, E, R>, that: LazyArg<Layer<A2, E2, R2>>): Layer<A & A2, E | E2, R | R2>;
 };
 /**
@@ -441,7 +646,21 @@ export declare const passthrough: <RIn, E, ROut>(self: Layer<ROut, E, RIn>) => L
  * @category utils
  */
 export declare const project: {
+    /**
+     * Projects out part of one of the services output by this layer using the
+     * specified function.
+     *
+     * @since 2.0.0
+     * @category utils
+     */
     <A extends Context.Tag<any, any>, B extends Context.Tag<any, any>>(tagA: A, tagB: B, f: (a: Context.Tag.Service<A>) => Context.Tag.Service<B>): <RIn, E>(self: Layer<Context.Tag.Identifier<A>, E, RIn>) => Layer<Context.Tag.Identifier<B>, E, RIn>;
+    /**
+     * Projects out part of one of the services output by this layer using the
+     * specified function.
+     *
+     * @since 2.0.0
+     * @category utils
+     */
     <RIn, E, A extends Context.Tag<any, any>, B extends Context.Tag<any, any>>(self: Layer<Context.Tag.Identifier<A>, E, RIn>, tagA: A, tagB: B, f: (a: Context.Tag.Service<A>) => Context.Tag.Service<B>): Layer<Context.Tag.Identifier<B>, E, RIn>;
 };
 /**
@@ -449,7 +668,15 @@ export declare const project: {
  * @category utils
  */
 export declare const locallyEffect: {
+    /**
+     * @since 2.0.0
+     * @category utils
+     */
     <RIn, E, ROut, RIn2, E2, ROut2>(f: (_: Effect.Effect<RIn, E, Context.Context<ROut>>) => Effect.Effect<RIn2, E2, Context.Context<ROut2>>): (self: Layer<ROut, E, RIn>) => Layer<ROut2, E2, RIn2>;
+    /**
+     * @since 2.0.0
+     * @category utils
+     */
     <RIn, E, ROut, RIn2, E2, ROut2>(self: Layer<ROut, E, RIn>, f: (_: Effect.Effect<RIn, E, Context.Context<ROut>>) => Effect.Effect<RIn2, E2, Context.Context<ROut2>>): Layer<ROut2, E2, RIn2>;
 };
 /**
@@ -457,7 +684,15 @@ export declare const locallyEffect: {
  * @category utils
  */
 export declare const locally: {
+    /**
+     * @since 2.0.0
+     * @category utils
+     */
     <X>(ref: FiberRef<X>, value: X): <A, E, R>(self: Layer<A, E, R>) => Layer<A, E, R>;
+    /**
+     * @since 2.0.0
+     * @category utils
+     */
     <A, E, R, X>(self: Layer<A, E, R>, ref: FiberRef<X>, value: X): Layer<A, E, R>;
 };
 /**
@@ -465,7 +700,15 @@ export declare const locally: {
  * @category utils
  */
 export declare const locallyWith: {
+    /**
+     * @since 2.0.0
+     * @category utils
+     */
     <X>(ref: FiberRef<X>, value: (_: X) => X): <A, E, R>(self: Layer<A, E, R>) => Layer<A, E, R>;
+    /**
+     * @since 2.0.0
+     * @category utils
+     */
     <A, E, R, X>(self: Layer<A, E, R>, ref: FiberRef<X>, value: (_: X) => X): Layer<A, E, R>;
 };
 /**
@@ -485,7 +728,19 @@ export declare const fiberRefLocallyScopedWith: <A>(self: FiberRef<A>, value: (_
  * @category retrying
  */
 export declare const retry: {
+    /**
+     * Retries constructing this layer according to the specified schedule.
+     *
+     * @since 2.0.0
+     * @category retrying
+     */
     <X, E, RIn2>(schedule: Schedule.Schedule<X, E, RIn2>): <ROut, RIn>(self: Layer<ROut, E, RIn>) => Layer<ROut, E, RIn2 | RIn>;
+    /**
+     * Retries constructing this layer according to the specified schedule.
+     *
+     * @since 2.0.0
+     * @category retrying
+     */
     <ROut, E, RIn, X, RIn2>(self: Layer<ROut, E, RIn>, schedule: Schedule.Schedule<X, E, RIn2>): Layer<ROut, E, RIn | RIn2>;
 };
 /**
@@ -505,7 +760,19 @@ export declare const scope: Layer<Scope.CloseableScope>;
  * @category constructors
  */
 export declare const scoped: {
+    /**
+     * Constructs a layer from the specified scoped effect.
+     *
+     * @since 2.0.0
+     * @category constructors
+     */
     <T extends Context.Tag<any, any>>(tag: T): <E, R>(effect: Effect.Effect<Context.Tag.Service<T>, E, R>) => Layer<Context.Tag.Identifier<T>, E, Exclude<R, Scope.Scope>>;
+    /**
+     * Constructs a layer from the specified scoped effect.
+     *
+     * @since 2.0.0
+     * @category constructors
+     */
     <T extends Context.Tag<any, any>, E, R>(tag: T, effect: Effect.Effect<Context.Tag.Service<T>, E, R>): Layer<Context.Tag.Identifier<T>, E, Exclude<R, Scope.Scope>>;
 };
 /**
@@ -538,7 +805,19 @@ export declare const service: <T extends Context.Tag<any, any>>(tag: T) => Layer
  * @category constructors
  */
 export declare const succeed: {
+    /**
+     * Constructs a layer from the specified value.
+     *
+     * @since 2.0.0
+     * @category constructors
+     */
     <T extends Context.Tag<any, any>>(tag: T): (resource: Context.Tag.Service<T>) => Layer<Context.Tag.Identifier<T>>;
+    /**
+     * Constructs a layer from the specified value.
+     *
+     * @since 2.0.0
+     * @category constructors
+     */
     <T extends Context.Tag<any, any>>(tag: T, resource: Context.Tag.Service<T>): Layer<Context.Tag.Identifier<T>>;
 };
 /**
@@ -564,7 +843,19 @@ export declare const suspend: <RIn, E, ROut>(evaluate: LazyArg<Layer<ROut, E, RI
  * @category constructors
  */
 export declare const sync: {
+    /**
+     * Lazily constructs a layer from the specified value.
+     *
+     * @since 2.0.0
+     * @category constructors
+     */
     <T extends Context.Tag<any, any>>(tag: T): (evaluate: LazyArg<Context.Tag.Service<T>>) => Layer<Context.Tag.Identifier<T>>;
+    /**
+     * Lazily constructs a layer from the specified value.
+     *
+     * @since 2.0.0
+     * @category constructors
+     */
     <T extends Context.Tag<any, any>>(tag: T, evaluate: LazyArg<Context.Tag.Service<T>>): Layer<Context.Tag.Identifier<T>>;
 };
 /**
@@ -582,7 +873,19 @@ export declare const syncContext: <A>(evaluate: LazyArg<Context.Context<A>>) =>
  * @category sequencing
  */
 export declare const tap: {
+    /**
+     * Performs the specified effect if this layer succeeds.
+     *
+     * @since 2.0.0
+     * @category sequencing
+     */
     <ROut, XR extends ROut, RIn2, E2, X>(f: (context: Context.Context<XR>) => Effect.Effect<X, E2, RIn2>): <RIn, E>(self: Layer<ROut, E, RIn>) => Layer<ROut, E2 | E, RIn2 | RIn>;
+    /**
+     * Performs the specified effect if this layer succeeds.
+     *
+     * @since 2.0.0
+     * @category sequencing
+     */
     <RIn, E, ROut, XR extends ROut, RIn2, E2, X>(self: Layer<ROut, E, RIn>, f: (context: Context.Context<XR>) => Effect.Effect<X, E2, RIn2>): Layer<ROut, E | E2, RIn | RIn2>;
 };
 /**
@@ -592,7 +895,19 @@ export declare const tap: {
  * @category sequencing
  */
 export declare const tapError: {
+    /**
+     * Performs the specified effect if this layer fails.
+     *
+     * @since 2.0.0
+     * @category sequencing
+     */
     <E, XE extends E, RIn2, E2, X>(f: (e: XE) => Effect.Effect<X, E2, RIn2>): <RIn, ROut>(self: Layer<ROut, E, RIn>) => Layer<ROut, E | E2, RIn2 | RIn>;
+    /**
+     * Performs the specified effect if this layer fails.
+     *
+     * @since 2.0.0
+     * @category sequencing
+     */
     <RIn, E, XE extends E, ROut, RIn2, E2, X>(self: Layer<ROut, E, RIn>, f: (e: XE) => Effect.Effect<X, E2, RIn2>): Layer<ROut, E | E2, RIn | RIn2>;
 };
 /**
@@ -602,7 +917,19 @@ export declare const tapError: {
  * @category sequencing
  */
 export declare const tapErrorCause: {
+    /**
+     * Performs the specified effect if this layer fails.
+     *
+     * @since 2.0.0
+     * @category sequencing
+     */
     <E, XE extends E, RIn2, E2, X>(f: (cause: Cause.Cause<XE>) => Effect.Effect<X, E2, RIn2>): <RIn, ROut>(self: Layer<ROut, E, RIn>) => Layer<ROut, E | E2, RIn2 | RIn>;
+    /**
+     * Performs the specified effect if this layer fails.
+     *
+     * @since 2.0.0
+     * @category sequencing
+     */
     <RIn, E, XE extends E, ROut, RIn2, E2, X>(self: Layer<ROut, E, RIn>, f: (cause: Cause.Cause<XE>) => Effect.Effect<X, E2, RIn2>): Layer<ROut, E | E2, RIn | RIn2>;
 };
 /**
@@ -621,7 +948,21 @@ export declare const toRuntime: <RIn, E, ROut>(self: Layer<ROut, E, RIn>) => Eff
  * @category conversions
  */
 export declare const toRuntimeWithMemoMap: {
+    /**
+     * Converts a layer that requires no services into a scoped runtime, which can
+     * be used to execute effects.
+     *
+     * @since 2.0.0
+     * @category conversions
+     */
     (memoMap: MemoMap): <RIn, E, ROut>(self: Layer<ROut, E, RIn>) => Effect.Effect<Runtime.Runtime<ROut>, E, Scope.Scope | RIn>;
+    /**
+     * Converts a layer that requires no services into a scoped runtime, which can
+     * be used to execute effects.
+     *
+     * @since 2.0.0
+     * @category conversions
+     */
     <RIn, E, ROut>(self: Layer<ROut, E, RIn>, memoMap: MemoMap): Effect.Effect<Runtime.Runtime<ROut>, E, Scope.Scope | RIn>;
 };
 /**
@@ -633,8 +974,54 @@ export declare const toRuntimeWithMemoMap: {
  * @category utils
  */
 export declare const provide: {
-    <RIn, E, ROut>(self: Layer<ROut, E, RIn>): <RIn2, E2, ROut2>(that: Layer<ROut2, E2, RIn2>) => Layer<ROut2, E | E2, RIn | Exclude<RIn2, ROut>>;
-    <RIn2, E2, ROut2, RIn, E, ROut>(that: Layer<ROut2, E2, RIn2>, self: Layer<ROut, E, RIn>): Layer<ROut2, E2 | E, RIn | Exclude<RIn2, ROut>>;
+    /**
+     * Feeds the output services of this builder into the input of the specified
+     * builder, resulting in a new builder with the inputs of this builder as
+     * well as any leftover inputs, and the outputs of the specified builder.
+     *
+     * @since 2.0.0
+     * @category utils
+     */
+    <RIn, E, ROut>(that: Layer<ROut, E, RIn>): <RIn2, E2, ROut2>(self: Layer<ROut2, E2, RIn2>) => Layer<ROut2, E | E2, RIn | Exclude<RIn2, ROut>>;
+    /**
+     * Feeds the output services of this builder into the input of the specified
+     * builder, resulting in a new builder with the inputs of this builder as
+     * well as any leftover inputs, and the outputs of the specified builder.
+     *
+     * @since 2.0.0
+     * @category utils
+     */
+    <const Layers extends [Layer.Any, ...Array<Layer.Any>]>(that: Layers): <A, E, R>(self: Layer<A, E, R>) => Layer<A, E | {
+        [k in keyof Layers]: Layer.Error<Layers[k]>;
+    }[number], {
+        [k in keyof Layers]: Layer.Context<Layers[k]>;
+    }[number] | Exclude<R, {
+        [k in keyof Layers]: Layer.Success<Layers[k]>;
+    }[number]>>;
+    /**
+     * Feeds the output services of this builder into the input of the specified
+     * builder, resulting in a new builder with the inputs of this builder as
+     * well as any leftover inputs, and the outputs of the specified builder.
+     *
+     * @since 2.0.0
+     * @category utils
+     */
+    <RIn2, E2, ROut2, RIn, E, ROut>(self: Layer<ROut2, E2, RIn2>, that: Layer<ROut, E, RIn>): Layer<ROut2, E | E2, RIn | Exclude<RIn2, ROut>>;
+    /**
+     * Feeds the output services of this builder into the input of the specified
+     * builder, resulting in a new builder with the inputs of this builder as
+     * well as any leftover inputs, and the outputs of the specified builder.
+     *
+     * @since 2.0.0
+     * @category utils
+     */
+    <A, E, R, const Layers extends [Layer.Any, ...Array<Layer.Any>]>(self: Layer<A, E, R>, that: Layers): Layer<A, E | {
+        [k in keyof Layers]: Layer.Error<Layers[k]>;
+    }[number], {
+        [k in keyof Layers]: Layer.Context<Layers[k]>;
+    }[number] | Exclude<R, {
+        [k in keyof Layers]: Layer.Success<Layers[k]>;
+    }[number]>>;
 };
 /**
  * Feeds the output services of this layer into the input of the specified
@@ -645,7 +1032,23 @@ export declare const provide: {
  * @category utils
  */
 export declare const provideMerge: {
+    /**
+     * Feeds the output services of this layer into the input of the specified
+     * layer, resulting in a new layer with the inputs of this layer, and the
+     * outputs of both layers.
+     *
+     * @since 2.0.0
+     * @category utils
+     */
     <RIn, E, ROut>(self: Layer<ROut, E, RIn>): <RIn2, E2, ROut2>(that: Layer<ROut2, E2, RIn2>) => Layer<ROut | ROut2, E | E2, RIn | Exclude<RIn2, ROut>>;
+    /**
+     * Feeds the output services of this layer into the input of the specified
+     * layer, resulting in a new layer with the inputs of this layer, and the
+     * outputs of both layers.
+     *
+     * @since 2.0.0
+     * @category utils
+     */
     <RIn2, E2, ROut2, RIn, E, ROut>(that: Layer<ROut2, E2, RIn2>, self: Layer<ROut, E, RIn>): Layer<ROut2 | ROut, E2 | E, RIn | Exclude<RIn2, ROut>>;
 };
 /**
@@ -656,7 +1059,21 @@ export declare const provideMerge: {
  * @category zipping
  */
 export declare const zipWith: {
+    /**
+     * Combines this layer with the specified layer concurrently, creating a new layer with merged input types and
+     * combined output types using the provided function.
+     *
+     * @since 2.0.0
+     * @category zipping
+     */
     <B, E2, R2, A, C>(that: Layer<B, E2, R2>, f: (a: Context.Context<A>, b: Context.Context<B>) => Context.Context<C>): <E, R>(self: Layer<A, E, R>) => Layer<C, E2 | E, R2 | R>;
+    /**
+     * Combines this layer with the specified layer concurrently, creating a new layer with merged input types and
+     * combined output types using the provided function.
+     *
+     * @since 2.0.0
+     * @category zipping
+     */
     <A, E, R, B, E2, R2, C>(self: Layer<A, E, R>, that: Layer<B, E2, R2>, f: (a: Context.Context<A>, b: Context.Context<B>) => Context.Context<C>): Layer<C, E | E2, R | R2>;
 };
 /**
@@ -703,7 +1120,15 @@ export declare const setRequestCaching: (requestCaching: boolean) => Layer<never
  * @category requests & batching
  */
 export declare const setRequestCache: {
+    /**
+     * @since 2.0.0
+     * @category requests & batching
+     */
     <E, R>(cache: Effect.Effect<Request.Cache, E, R>): Layer<never, E, Exclude<R, Scope.Scope>>;
+    /**
+     * @since 2.0.0
+     * @category requests & batching
+     */
     (cache: Request.Cache): Layer<never>;
 };
 /**
@@ -749,9 +1174,17 @@ export declare const setUnhandledErrorLogLevel: (level: Option.Option<LogLevel>)
  * @category tracing
  */
 export declare const withSpan: {
+    /**
+     * @since 2.0.0
+     * @category tracing
+     */
     (name: string, options?: Tracer.SpanOptions & {
         readonly onEnd?: ((span: Tracer.Span, exit: Exit.Exit<unknown, unknown>) => Effect.Effect<void>) | undefined;
     }): <A, E, R>(self: Layer<A, E, R>) => Layer<A, E, Exclude<R, Tracer.ParentSpan>>;
+    /**
+     * @since 2.0.0
+     * @category tracing
+     */
     <A, E, R>(self: Layer<A, E, R>, name: string, options?: Tracer.SpanOptions & {
         readonly onEnd?: ((span: Tracer.Span, exit: Exit.Exit<unknown, unknown>) => Effect.Effect<void>) | undefined;
     }): Layer<A, E, Exclude<R, Tracer.ParentSpan>>;
@@ -761,7 +1194,15 @@ export declare const withSpan: {
  * @category tracing
  */
 export declare const withParentSpan: {
+    /**
+     * @since 2.0.0
+     * @category tracing
+     */
     (span: Tracer.AnySpan): <A, E, R>(self: Layer<A, E, R>) => Layer<A, E, Exclude<R, Tracer.ParentSpan>>;
+    /**
+     * @since 2.0.0
+     * @category tracing
+     */
     <A, E, R>(self: Layer<A, E, R>, span: Tracer.AnySpan): Layer<A, E, Exclude<R, Tracer.ParentSpan>>;
 };
 /**
@@ -779,7 +1220,21 @@ export declare const makeMemoMap: Effect.Effect<MemoMap>;
  * @category memo map
  */
 export declare const buildWithMemoMap: {
+    /**
+     * Builds a layer into an `Effect` value, using the specified `MemoMap` to memoize
+     * the layer construction.
+     *
+     * @since 2.0.0
+     * @category memo map
+     */
     (memoMap: MemoMap, scope: Scope.Scope): <RIn, E, ROut>(self: Layer<ROut, E, RIn>) => Effect.Effect<Context.Context<ROut>, E, RIn>;
+    /**
+     * Builds a layer into an `Effect` value, using the specified `MemoMap` to memoize
+     * the layer construction.
+     *
+     * @since 2.0.0
+     * @category memo map
+     */
     <RIn, E, ROut>(self: Layer<ROut, E, RIn>, memoMap: MemoMap, scope: Scope.Scope): Effect.Effect<Context.Context<ROut>, E, RIn>;
 };
 //# sourceMappingURL=Layer.d.ts.map