effect 3.8.4 → 3.9.0

package/src/Layer.ts

@@ -76,23 +76,34 @@ export declare namespace Layer {
       readonly _RIn: Types.Covariant<RIn>
     }
   }
+  /**
+   * @since 3.9.0
+   * @category type-level
+   */
+  export interface Any {
+    readonly [LayerTypeId]: {
+      readonly _ROut: any
+      readonly _E: any
+      readonly _RIn: any
+    }
+  }
   /**
    * @since 2.0.0
    * @category type-level
    */
-  export type Context<T extends Layer<never, any, any>> = [T] extends [Layer<infer _ROut, infer _E, infer _RIn>] ? _RIn
+  export type Context<T extends Any> = [T] extends [Layer<infer _ROut, infer _E, infer _RIn>] ? _RIn
     : never
   /**
    * @since 2.0.0
    * @category type-level
    */
-  export type Error<T extends Layer<never, any, any>> = [T] extends [Layer<infer _ROut, infer _E, infer _RIn>] ? _E
+  export type Error<T extends Any> = [T] extends [Layer<infer _ROut, infer _E, infer _RIn>] ? _E
     : never
   /**
    * @since 2.0.0
    * @category type-level
    */
-  export type Success<T extends Layer<never, any, any>> = [T] extends [Layer<infer _ROut, infer _E, infer _RIn>] ? _ROut
+  export type Success<T extends Any> = [T] extends [Layer<infer _ROut, infer _E, infer _RIn>] ? _ROut
     : never
 }
 
@@ -144,9 +155,25 @@ export const isFresh: <RIn, E, ROut>(self: Layer<ROut, E, RIn>) => boolean = int
  * @category tracing
  */
 export 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>
 } = internal.annotateLogs
 
@@ -155,9 +182,25 @@ export const annotateLogs: {
  * @category tracing
  */
 export 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>
 } = internal.annotateSpans
 
@@ -182,7 +225,27 @@ export const build: <RIn, E, ROut>(
  * @category destructors
  */
 export 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>
 } = internal.buildWithScope
 
@@ -193,9 +256,21 @@ export const buildWithScope: {
  * @category error handling
  */
 export 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>
@@ -209,9 +284,21 @@ export const catchAll: {
  * @category error handling
  */
 export 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>
@@ -259,9 +346,21 @@ export const discard: <RIn, E, ROut>(self: Layer<ROut, E, RIn>) => Layer<never,
  * @category constructors
  */
 export 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>
@@ -345,9 +444,21 @@ export const failCauseSync: <E>(evaluate: LazyArg<Cause.Cause<E>>) => Layer<unkn
  * @category sequencing
  */
 export 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>
@@ -361,7 +472,19 @@ export const flatMap: {
  * @category sequencing
  */
 export 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>
 } = internal.flatten
 
@@ -405,8 +528,23 @@ export const launch: <RIn, E, ROut>(self: Layer<ROut, E, RIn>) => Effect.Effect<
  * @category mapping
  */
 export 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>
-  <A, E, R, B>(self: Layer<A, E, R>, f: (context: Context.Context<A>) => Context.Context<B>): 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>
 } = internal.map
 
 /**
@@ -416,7 +554,19 @@ export const map: {
  * @category mapping
  */
 export 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>
 } = internal.mapError
 
@@ -429,12 +579,28 @@ export const mapError: {
  * @category folding
  */
 export 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: {
@@ -453,12 +619,28 @@ export const match: {
  * @category folding
  */
 export 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: {
@@ -486,9 +668,21 @@ export const memoize: <RIn, E, ROut>(
  * @category zipping
  */
 export 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>
@@ -526,7 +720,21 @@ export const orDie: <A, E, R>(self: Layer<A, E, R>) => Layer<A, never, R> = inte
  * @category error handling
  */
 export 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>
 } = internal.orElse
 
@@ -547,11 +755,25 @@ export const passthrough: <RIn, E, ROut>(self: Layer<ROut, E, RIn>) => Layer<RIn
  * @category utils
  */
 export 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,
@@ -565,9 +787,17 @@ export const project: {
  * @category utils
  */
 export 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>>
@@ -579,15 +809,16 @@ export const locallyEffect: {
  * @category utils
  */
 export const locally: {
-  <X>(
-    ref: FiberRef<X>,
-    value: X
-  ): <A, E, R>(self: Layer<A, E, R>) => Layer<A, E, R>
-  <A, E, R, X>(
-    self: Layer<A, E, R>,
-    ref: FiberRef<X>,
-    value: X
-  ): Layer<A, E, R>
+  /**
+   * @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>
 } = internal.fiberRefLocally
 
 /**
@@ -595,7 +826,15 @@ export const locally: {
  * @category utils
  */
 export 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>
 } = internal.fiberRefLocallyWith
 
@@ -619,9 +858,21 @@ export const fiberRefLocallyScopedWith: <A>(self: FiberRef<A>, value: (_: A) =>
  * @category retrying
  */
 export 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>
@@ -646,11 +897,21 @@ export const scope: Layer<Scope.CloseableScope> = internal.scope
  * @category constructors
  */
 export const scoped: {
-  <T extends Context.Tag<any, any>>(
-    tag: T
-  ): <E, R>(
+  /**
+   * 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>
@@ -695,13 +956,20 @@ export const service: <T extends Context.Tag<any, any>>(
  * @category constructors
  */
 export const succeed: {
-  <T extends Context.Tag<any, any>>(
-    tag: T
-  ): (resource: Context.Tag.Service<T>) => Layer<Context.Tag.Identifier<T>>
-  <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>>
+  /**
+   * 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>>
 } = internal.succeed
 
 /**
@@ -729,13 +997,22 @@ export const suspend: <RIn, E, ROut>(evaluate: LazyArg<Layer<ROut, E, RIn>>) =>
  * @category constructors
  */
 export 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>>
-  <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>>
 } = internal.sync
 
 /**
@@ -754,9 +1031,21 @@ export const syncContext: <A>(evaluate: LazyArg<Context.Context<A>>) => Layer<A>
  * @category sequencing
  */
 export 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>
@@ -770,9 +1059,21 @@ export const tap: {
  * @category sequencing
  */
 export 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>
@@ -786,9 +1087,21 @@ export const tapError: {
  * @category sequencing
  */
 export 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>
@@ -814,9 +1127,23 @@ export const toRuntime: <RIn, E, ROut>(
  * @category conversions
  */
 export 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
@@ -832,13 +1159,59 @@ export const toRuntimeWithMemoMap: {
  * @category utils
  */
 export const provide: {
+  /**
+   * 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>(
-    self: Layer<ROut, E, RIn>
-  ): <RIn2, E2, ROut2>(that: Layer<ROut2, E2, RIn2>) => Layer<ROut2, E | E2, RIn | Exclude<RIn2, 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>(
-    that: Layer<ROut2, E2, RIn2>,
-    self: Layer<ROut, E, RIn>
-  ): Layer<ROut2, E2 | E, RIn | Exclude<RIn2, 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]>
+  >
 } = internal.provide
 
 /**
@@ -850,9 +1223,25 @@ export const provide: {
  * @category utils
  */
 export 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>
@@ -867,10 +1256,24 @@ export const provideMerge: {
  * @category zipping
  */
 export 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>,
@@ -947,12 +1350,16 @@ export const setRequestCaching: (requestCaching: boolean) => Layer<never> = (
  * @category requests & batching
  */
 export const setRequestCache: {
-  <E, R>(
-    cache: Effect.Effect<Request.Cache, E, R>
-  ): Layer<never, E, Exclude<R, Scope.Scope>>
-  (
-    cache: Request.Cache
-  ): Layer<never>
+  /**
+   * @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>
 } = (<E, R>(cache: Request.Cache | Effect.Effect<Request.Cache, E, R>) =>
   scopedDiscard(
     core.isEffect(cache) ?
@@ -1030,6 +1437,10 @@ export const setUnhandledErrorLogLevel: (level: Option.Option<LogLevel>) => Laye
  * @category tracing
  */
 export const withSpan: {
+  /**
+   * @since 2.0.0
+   * @category tracing
+   */
   (
     name: string,
     options?: Tracer.SpanOptions & {
@@ -1038,6 +1449,10 @@ export const withSpan: {
         | 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,
@@ -1054,7 +1469,15 @@ export const withSpan: {
  * @category tracing
  */
 export 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>>
 } = internal.withParentSpan
 
@@ -1078,10 +1501,24 @@ export const makeMemoMap: Effect.Effect<MemoMap> = internal.makeMemoMap
  * @category memo map
  */
 export 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,