effect 3.12.10 → 3.12.12

package/dist/esm/internal/version.js

@@ -1,4 +1,4 @@
-let moduleVersion = "3.12.10";
+let moduleVersion = "3.12.12";
 export const getCurrentVersion = () => moduleVersion;
 export const setCurrentVersion = version => {
   moduleVersion = version;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "effect",
-  "version": "3.12.10",
+  "version": "3.12.12",
   "description": "The missing standard library for TypeScript, for writing production-grade software.",
   "license": "MIT",
   "repository": {

package/src/Channel.ts

@@ -2456,12 +2456,9 @@ export const provideService: {
    * @since 2.0.0
    * @category context
    */
-  <T extends Context.Tag<any, any>>(
-    tag: T,
-    service: Context.Tag.Service<T>
-  ): <OutElem, InElem, OutErr, InErr, OutDone, InDone, Env>(
+  <I, S>(tag: Context.Tag<I, S>, service: Types.NoInfer<S>): <OutElem, InElem, OutErr, InErr, OutDone, InDone, Env>(
     self: Channel<OutElem, InElem, OutErr, InErr, OutDone, InDone, Env>
-  ) => Channel<OutElem, InElem, OutErr, InErr, OutDone, InDone, Exclude<Env, Context.Tag.Identifier<T>>>
+  ) => Channel<OutElem, InElem, OutErr, InErr, OutDone, InDone, Exclude<Env, I>>
   /**
    * Provides the effect with the single service it requires. If the effect
    * requires more than one service use `provideContext` instead.
@@ -2469,11 +2466,11 @@ export const provideService: {
    * @since 2.0.0
    * @category context
    */
-  <OutElem, InElem, OutErr, InErr, OutDone, InDone, Env, T extends Context.Tag<any, any>>(
+  <OutElem, InElem, OutErr, InErr, OutDone, InDone, Env, I, S>(
     self: Channel<OutElem, InElem, OutErr, InErr, OutDone, InDone, Env>,
-    tag: T,
-    service: Context.Tag.Service<T>
-  ): Channel<OutElem, InElem, OutErr, InErr, OutDone, InDone, Exclude<Env, Context.Tag.Identifier<T>>>
+    tag: Context.Tag<I, S>,
+    service: Types.NoInfer<S>
+  ): Channel<OutElem, InElem, OutErr, InErr, OutDone, InDone, Exclude<Env, I>>
 } = channel.provideService
 
 /**
@@ -2829,23 +2826,23 @@ export const updateService: {
    * @since 2.0.0
    * @category context
    */
-  <T extends Context.Tag<any, any>>(
-    tag: T,
-    f: (resource: Context.Tag.Service<T>) => Context.Tag.Service<T>
+  <I, S>(
+    tag: Context.Tag<I, S>,
+    f: (resource: Types.NoInfer<S>) => Types.NoInfer<S>
   ): <OutElem, OutErr, InErr, OutDone, InDone, R>(
     self: Channel<OutElem, unknown, OutErr, InErr, OutDone, InDone, R>
-  ) => Channel<OutElem, unknown, OutErr, InErr, OutDone, InDone, T | R>
+  ) => Channel<OutElem, unknown, OutErr, InErr, OutDone, InDone, I | R>
   /**
    * Updates a service in the context of this channel.
    *
    * @since 2.0.0
    * @category context
    */
-  <OutElem, OutErr, InErr, OutDone, InDone, R, T extends Context.Tag<any, any>>(
+  <OutElem, OutErr, InErr, OutDone, InDone, R, I, S>(
     self: Channel<OutElem, unknown, OutErr, InErr, OutDone, InDone, R>,
-    tag: T,
-    f: (resource: Context.Tag.Service<T>) => Context.Tag.Service<T>
-  ): Channel<OutElem, unknown, OutErr, InErr, OutDone, InDone, R | T>
+    tag: Context.Tag<I, S>,
+    f: (resource: Types.NoInfer<S>) => Types.NoInfer<S>
+  ): Channel<OutElem, unknown, OutErr, InErr, OutDone, InDone, I | R>
 } = channel.updateService
 
 /**

package/src/Chunk.ts

@@ -1059,26 +1059,47 @@ export const flatMap: {
 })
 
 /**
- * Applies the specified function to each element of the `List`.
+ * Iterates over each element of a `Chunk` and applies a function to it.
+ *
+ * **Details**
+ *
+ * This function processes every element of the given `Chunk`, calling the
+ * provided function `f` on each element. It does not return a new value;
+ * instead, it is primarily used for side effects, such as logging or
+ * accumulating data in an external variable.
  *
  * @since 2.0.0
  * @category combinators
  */
 export const forEach: {
   /**
-   * Applies the specified function to each element of the `List`.
+   * Iterates over each element of a `Chunk` and applies a function to it.
+   *
+   * **Details**
+   *
+   * This function processes every element of the given `Chunk`, calling the
+   * provided function `f` on each element. It does not return a new value;
+   * instead, it is primarily used for side effects, such as logging or
+   * accumulating data in an external variable.
    *
    * @since 2.0.0
    * @category combinators
    */
-  <A, B>(f: (a: A) => B): (self: Chunk<A>) => void
+  <A, B>(f: (a: A, index: number) => B): (self: Chunk<A>) => void
   /**
-   * Applies the specified function to each element of the `List`.
+   * Iterates over each element of a `Chunk` and applies a function to it.
+   *
+   * **Details**
+   *
+   * This function processes every element of the given `Chunk`, calling the
+   * provided function `f` on each element. It does not return a new value;
+   * instead, it is primarily used for side effects, such as logging or
+   * accumulating data in an external variable.
    *
    * @since 2.0.0
    * @category combinators
    */
-  <A, B>(self: Chunk<A>, f: (a: A) => B): void
+  <A, B>(self: Chunk<A>, f: (a: A, index: number) => B): void
 } = dual(2, <A, B>(self: Chunk<A>, f: (a: A) => B): void => toReadonlyArray(self).forEach(f))
 
 /**

package/src/Effect.ts

@@ -15002,10 +15002,7 @@ export const provideService: {
    * @since 2.0.0
    * @category Context
    */
-  <T extends Context.Tag<any, any>>(
-    tag: T,
-    service: Context.Tag.Service<T>
-  ): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E, Exclude<R, Context.Tag.Identifier<T>>>
+  <I, S>(tag: Context.Tag<I, S>, service: NoInfer<S>): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E, Exclude<R, I>>
   /**
    * Provides an implementation for a service in the context of an effect.
    *
@@ -15058,11 +15055,7 @@ export const provideService: {
    * @since 2.0.0
    * @category Context
    */
-  <A, E, R, T extends Context.Tag<any, any>>(
-    self: Effect<A, E, R>,
-    tag: T,
-    service: Context.Tag.Service<T>
-  ): Effect<A, E, Exclude<R, Context.Tag.Identifier<T>>>
+  <A, E, R, I, S>(self: Effect<A, E, R>, tag: Context.Tag<I, S>, service: NoInfer<S>): Effect<A, E, Exclude<R, I>>
 } = effect.provideService
 
 /**
@@ -15102,10 +15095,10 @@ export const provideServiceEffect: {
    * @since 2.0.0
    * @category Context
    */
-  <T extends Context.Tag<any, any>, E1, R1>(
-    tag: T,
-    effect: Effect<Context.Tag.Service<T>, E1, R1>
-  ): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E1 | E, R1 | Exclude<R, Context.Tag.Identifier<T>>>
+  <I, S, E1, R1>(
+    tag: Context.Tag<I, S>,
+    effect: Effect<NoInfer<S>, E1, R1>
+  ): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E | E1, R1 | Exclude<R, I>>
   /**
    * Dynamically provides an implementation for a service using an effect.
    *
@@ -15124,11 +15117,11 @@ export const provideServiceEffect: {
    * @since 2.0.0
    * @category Context
    */
-  <A, E, R, T extends Context.Tag<any, any>, E1, R1>(
+  <A, E, R, I, S, E1, R1>(
     self: Effect<A, E, R>,
-    tag: T,
-    effect: Effect<Context.Tag.Service<T>, E1, R1>
-  ): Effect<A, E | E1, R1 | Exclude<R, Context.Tag.Identifier<T>>>
+    tag: Context.Tag<I, S>,
+    effect: Effect<NoInfer<S>, E1, R1>
+  ): Effect<A, E | E1, R1 | Exclude<R, I>>
 } = effect.provideServiceEffect
 
 /**
@@ -15279,10 +15272,10 @@ export const updateService: {
    * @since 2.0.0
    * @category Context
    */
-  <T extends Context.Tag<any, any>>(
-    tag: T,
-    f: (service: Context.Tag.Service<T>) => Context.Tag.Service<T>
-  ): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E, R | Context.Tag.Identifier<T>>
+  <I, S>(
+    tag: Context.Tag<I, S>,
+    f: (service: NoInfer<S>) => NoInfer<S>
+  ): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E, R | I>
   /**
    * Updates a service in the context with a new implementation.
    *
@@ -15301,11 +15294,11 @@ export const updateService: {
    * @since 2.0.0
    * @category Context
    */
-  <A, E, R, T extends Context.Tag<any, any>>(
+  <A, E, R, I, S>(
     self: Effect<A, E, R>,
-    tag: T,
-    f: (service: Context.Tag.Service<T>) => Context.Tag.Service<T>
-  ): Effect<A, E, R | Context.Tag.Identifier<T>>
+    tag: Context.Tag<I, S>,
+    f: (service: NoInfer<S>) => NoInfer<S>
+  ): Effect<A, E, R | I>
 } = effect.updateService
 
 /**
@@ -27590,7 +27583,7 @@ export const fn:
     const errorDef = new Error()
     Error.stackTraceLimit = limit
     if (typeof nameOrBody !== "string") {
-      return function(this: any, ...args: Array<any>) {
+      return defineLength(nameOrBody.length, function(this: any, ...args: Array<any>) {
         const limit = Error.stackTraceLimit
         Error.stackTraceLimit = 2
         const errorCall = new Error()
@@ -27607,12 +27600,12 @@ export const fn:
           errorDef,
           errorCall
         })
-      } as any
+      }) as any
     }
     const name = nameOrBody
     const options = pipeables[0]
-    return (body: Function, ...pipeables: Array<any>) => {
-      return function(this: any, ...args: Array<any>) {
+    return (body: Function, ...pipeables: Array<any>) =>
+      defineLength(body.length, function(this: any, ...args: Array<any>) {
         const limit = Error.stackTraceLimit
         Error.stackTraceLimit = 2
         const errorCall = new Error()
@@ -27627,10 +27620,16 @@ export const fn:
           errorDef,
           errorCall
         })
-      }
-    }
+      })
   }
 
+function defineLength<F extends Function>(length: number, fn: F) {
+  return Object.defineProperty(fn, "length", {
+    value: length,
+    configurable: true
+  })
+}
+
 function fnApply(options: {
   readonly self: any
   readonly body: Function
@@ -27695,14 +27694,17 @@ function fnApply(options: {
  * @category Tracing
  */
 export const fnUntraced: fn.Gen = (body: Function, ...pipeables: Array<any>) =>
-  pipeables.length === 0
-    ? function(this: any, ...args: Array<any>) {
-      return core.fromIterator(() => body.apply(this, args))
-    }
-    : function(this: any, ...args: Array<any>) {
-      let effect = core.fromIterator(() => body.apply(this, args))
-      for (const x of pipeables) {
-        effect = x(effect)
+  defineLength(
+    body.length,
+    pipeables.length === 0
+      ? function(this: any, ...args: Array<any>) {
+        return core.fromIterator(() => body.apply(this, args))
       }
-      return effect
-    }
+      : function(this: any, ...args: Array<any>) {
+        let effect = core.fromIterator(() => body.apply(this, args))
+        for (const x of pipeables) {
+          effect = x(effect)
+        }
+        return effect
+      }
+  )

package/src/Layer.ts

@@ -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
 
 /**