effect 3.12.11 → 3.13.0

package/src/Layer.ts

@@ -24,7 +24,7 @@ import * as Context from "./Context.js"
 import type * as Effect from "./Effect.js"
 import type * as Exit from "./Exit.js"
 import type { FiberRef } from "./FiberRef.js"
-import type { LazyArg } from "./Function.js"
+import { dual, type LazyArg } from "./Function.js"
 import { clockTag } from "./internal/clock.js"
 import * as core from "./internal/core.js"
 import * as defaultServices from "./internal/defaultServices.js"
@@ -352,19 +352,14 @@ export const 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>
+  <I, S>(tag: Context.Tag<I, S>): <E, R>(effect: Effect.Effect<Types.NoInfer<S>, E, R>) => Layer<I, 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>
+  <I, S, E, R>(tag: Context.Tag<I, S>, effect: Effect.Effect<Types.NoInfer<S>, E, R>): Layer<I, E, R>
 } = internal.fromEffect
 
 /**
@@ -496,11 +491,11 @@ export const flatten: {
  */
 export const fresh: <A, E, R>(self: Layer<A, E, R>) => Layer<A, E, R> = internal.fresh
 
-const fromFunction: <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>
-) => Layer<Context.Tag.Identifier<B>, never, Context.Tag.Identifier<A>> = internal.fromFunction
+const fromFunction: <I1, S1, I2, S2>(
+  tagA: Context.Tag<I1, S1>,
+  tagB: Context.Tag<I2, S2>,
+  f: (a: Types.NoInfer<S1>) => Types.NoInfer<S2>
+) => Layer<I2, never, I1> = internal.fromFunction
 
 export {
   /**
@@ -762,11 +757,11 @@ export const project: {
    * @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>
+  <I1, S1, I2, S2>(
+    tagA: Context.Tag<I1, S1>,
+    tagB: Context.Tag<I2, S2>,
+    f: (a: Types.NoInfer<S1>) => Types.NoInfer<S2>
+  ): <RIn, E>(self: Layer<I1, E, RIn>) => Layer<I2, E, RIn>
   /**
    * Projects out part of one of the services output by this layer using the
    * specified function.
@@ -774,12 +769,12 @@ export const project: {
    * @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>
+  <RIn, E, I1, S1, I2, S2>(
+    self: Layer<I1, E, RIn>,
+    tagA: Context.Tag<I1, S1>,
+    tagB: Context.Tag<I2, S2>,
+    f: (a: Types.NoInfer<S1>) => Types.NoInfer<S2>
+  ): Layer<I2, E, RIn>
 } = internal.project
 
 /**
@@ -903,19 +898,19 @@ export const scoped: {
    * @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>>
+  <I, S>(
+    tag: Context.Tag<I, S>
+  ): <E, R>(effect: Effect.Effect<Types.NoInfer<S>, E, R>) => Layer<I, 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>>
+  <I, S, E, R>(
+    tag: Context.Tag<I, S>,
+    effect: Effect.Effect<Types.NoInfer<S>, E, R>
+  ): Layer<I, E, Exclude<R, Scope.Scope>>
 } = internal.scoped
 
 /**
@@ -945,9 +940,7 @@ export const scopedContext: <A, E, R>(
  * @since 2.0.0
  * @category constructors
  */
-export const service: <T extends Context.Tag<any, any>>(
-  tag: T
-) => Layer<Context.Tag.Identifier<T>, never, Context.Tag.Identifier<T>> = internal.service
+export const service: <I, S>(tag: Context.Tag<I, S>) => Layer<I, never, I> = internal.service
 
 /**
  * Constructs a layer from the specified value.
@@ -962,14 +955,14 @@ export const succeed: {
    * @since 2.0.0
    * @category constructors
    */
-  <T extends Context.Tag<any, any>>(tag: T): (resource: Context.Tag.Service<T>) => Layer<Context.Tag.Identifier<T>>
+  <I, S>(tag: Context.Tag<I, S>): (resource: Types.NoInfer<S>) => Layer<I>
   /**
    * 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>>
+  <I, S>(tag: Context.Tag<I, S>, resource: Types.NoInfer<S>): Layer<I>
 } = internal.succeed
 
 /**
@@ -1003,16 +996,14 @@ export const sync: {
    * @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>>
+  <I, S>(tag: Context.Tag<I, S>): (evaluate: LazyArg<Types.NoInfer<S>>) => Layer<I>
   /**
    * 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>>
+  <I, S>(tag: Context.Tag<I, S>, evaluate: LazyArg<Types.NoInfer<S>>): Layer<I>
 } = internal.sync
 
 /**
@@ -1525,3 +1516,66 @@ export const buildWithMemoMap: {
     scope: Scope.Scope
   ): Effect.Effect<Context.Context<ROut>, E, RIn>
 } = internal.buildWithMemoMap
+
+/**
+ * Updates a service in the context with a new implementation.
+ *
+ * **Details**
+ *
+ * This function modifies the existing implementation of a service in the
+ * context. It retrieves the current service, applies the provided
+ * transformation function `f`, and replaces the old service with the
+ * transformed one.
+ *
+ * **When to Use**
+ *
+ * This is useful for adapting or extending a service's behavior during the
+ * creation of a layer.
+ *
+ * @since 3.13.0
+ * @category utils
+ */
+export const updateService = dual<
+  /**
+   * Updates a service in the context with a new implementation.
+   *
+   * **Details**
+   *
+   * This function modifies the existing implementation of a service in the
+   * context. It retrieves the current service, applies the provided
+   * transformation function `f`, and replaces the old service with the
+   * transformed one.
+   *
+   * **When to Use**
+   *
+   * This is useful for adapting or extending a service's behavior during the
+   * creation of a layer.
+   *
+   * @since 3.13.0
+   * @category utils
+   */
+  <I, A>(tag: Context.Tag<I, A>, f: (a: A) => A) => <A1, E1, R1>(layer: Layer<A1, E1, R1>) => Layer<A1, E1, I | R1>,
+  /**
+   * Updates a service in the context with a new implementation.
+   *
+   * **Details**
+   *
+   * This function modifies the existing implementation of a service in the
+   * context. It retrieves the current service, applies the provided
+   * transformation function `f`, and replaces the old service with the
+   * transformed one.
+   *
+   * **When to Use**
+   *
+   * This is useful for adapting or extending a service's behavior during the
+   * creation of a layer.
+   *
+   * @since 3.13.0
+   * @category utils
+   */
+  <A1, E1, R1, I, A>(layer: Layer<A1, E1, R1>, tag: Context.Tag<I, A>, f: (a: A) => A) => Layer<A1, E1, I | R1>
+>(3, (layer, tag, f) =>
+  provide(
+    layer,
+    map(context(), (c) => Context.add(c, tag, f(Context.unsafeGet(c, tag))))
+  ))