effect 4.0.1 → 4.0.2

package/src/LayerMap.ts

@@ -7,6 +7,7 @@
  * keyed resource families such as tenant clients, regional connections, or
  * environment-specific services.
  *
+ * @stability unstable
  * @since 3.14.0
  */
 import * as Context from "./Context.ts"
@@ -72,6 +73,7 @@ type IdleTimeToLiveInput<K> = Duration.Input | ((key: K) => Duration.Input)
  * await Effect.runPromise(Effect.scoped(program)) // => { development: "development: SELECT 1", production: "production: SELECT 1" }
  * ```
  *
+ * @stability unstable
  * @category models
  * @since 3.14.0
  */
@@ -150,6 +152,7 @@ export interface LayerMap<in out K, in out I, in out E = never> {
  * await Effect.runPromise(Effect.scoped(program)) // => "development: SELECT * FROM users"
  * ```
  *
+ * @stability unstable
  * @category constructors
  * @since 3.14.0
  */
@@ -256,6 +259,7 @@ export const make: <
  * await Effect.runPromise(Effect.scoped(program)) // => { development: "DEV: SELECT 1", production: "PROD: SELECT 1" }
  * ```
  *
+ * @stability unstable
  * @category constructors
  * @since 3.14.0
  */
@@ -302,6 +306,7 @@ export const fromRecord = <
  *
  * @see {@link Service} for creating concrete `LayerMap` service classes
  *
+ * @stability unstable
  * @category services
  * @since 3.14.0
  */
@@ -402,6 +407,7 @@ export interface TagClass<
  * await Effect.runPromise(program) // => "Hello, John!"
  * ```
  *
+ * @stability unstable
  * @category services
  * @since 3.14.0
  */
@@ -488,6 +494,7 @@ export const Service = <Self>() =>
 /**
  * Type helpers for values created with `LayerMap.Service`.
  *
+ * @stability unstable
  * @since 3.14.0
  */
 export declare namespace Service {

package/src/LayerRef.ts

@@ -5,6 +5,7 @@
  * back as a layer or scoped effect, and supports invalidation so later users can
  * acquire a fresh context.
  *
+ * @stability unstable
  * @since 4.0.0
  */
 import * as Context from "./Context.ts"
@@ -37,6 +38,7 @@ const TypeId = "~effect/LayerRef"
  * @see {@link make} for constructing a `LayerRef` from a layer
  * @see {@link Service} for defining a `LayerRef` as a service class
  *
+ * @stability unstable
  * @category models
  * @since 4.0.0
  */
@@ -127,6 +129,7 @@ export interface LayerRef<in out I, in out E = never> {
  *
  * @see {@link Service} for defining a reusable service class around a `LayerRef`
  *
+ * @stability unstable
  * @category constructors
  * @since 4.0.0
  */
@@ -208,6 +211,7 @@ export const make = Effect.fnUntraced(
  *
  * @see {@link Service} for creating concrete `LayerRef` service classes
  *
+ * @stability unstable
  * @category services
  * @since 4.0.0
  */
@@ -301,6 +305,7 @@ export interface TagClass<
  *
  * @see {@link make} for creating a `LayerRef` value without defining a service class
  *
+ * @stability unstable
  * @category services
  * @since 4.0.0
  */

package/src/LogLevel.ts

@@ -4,6 +4,7 @@
  * equality and ordering instances, threshold comparison helpers, and an effect
  * for checking whether a level is enabled by the current logging settings.
  *
+ * @stability stable
  * @since 2.0.0
  */
 import type * as Effect from "./Effect.ts"
@@ -61,6 +62,7 @@ import * as References from "./References.ts"
  * levels // => ["Error", "Debug"]
  * ```
  *
+ * @stability stable
  * @category models
  * @since 2.0.0
  */
@@ -81,6 +83,7 @@ export type LogLevel = "All" | "Fatal" | "Error" | "Warn" | "Info" | "Debug" | "
  * @see {@link values} for the runtime list of all accepted `LogLevel` values,
  * including sentinels
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -108,6 +111,7 @@ export type Severity = "Fatal" | "Error" | "Warn" | "Info" | "Debug" | "Trace"
  * @see {@link Severity} for the concrete message severity type that excludes `All` and `None`
  * @see {@link Order} for comparing these levels by severity order
  *
+ * @stability stable
  * @category constants
  * @since 4.0.0
  */
@@ -135,6 +139,7 @@ export const values: ReadonlyArray<LogLevel> = ["All", "Fatal", "Error", "Warn",
  * LogLevel.Order("Info", "Info") // => 0
  * ```
  *
+ * @stability stable
  * @category ordering
  * @since 2.0.0
  */
@@ -164,6 +169,7 @@ export const Order: Ord.Order<LogLevel> = effect.LogLevelOrder
  * @see {@link Order} for severity ordering rather than exact level equality
  * @see {@link isGreaterThanOrEqualTo} for minimum-threshold checks
  *
+ * @stability stable
  * @category instances
  * @since 4.0.0
  */
@@ -192,6 +198,7 @@ export const Equivalence: Equ.Equivalence<LogLevel> = Equ.strictEqual<LogLevel>(
  * @see {@link Order} for comparing log levels without exposing numeric keys
  * @see {@link isGreaterThanOrEqualTo} for minimum-threshold filtering
  *
+ * @stability stable
  * @category ordering
  * @since 4.0.0
  */
@@ -230,6 +237,7 @@ export const getOrdinal = (self: LogLevel): number => effect.logLevelToOrder(sel
  * isMoreSevereThanInfo("Debug") // => false
  * ```
  *
+ * @stability stable
  * @category ordering
  * @since 4.0.0
  */
@@ -267,6 +275,7 @@ export const isGreaterThan: {
    * isMoreSevereThanInfo("Debug") // => false
    * ```
    *
+   * @stability stable
    * @category ordering
    * @since 4.0.0
    */
@@ -304,6 +313,7 @@ export const isGreaterThan: {
    * isMoreSevereThanInfo("Debug") // => false
    * ```
    *
+   * @stability stable
    * @category ordering
    * @since 4.0.0
    */
@@ -335,6 +345,7 @@ export const isGreaterThan: {
  * isInfoOrAbove("Error") // => true
  * ```
  *
+ * @stability stable
  * @category ordering
  * @since 4.0.0
  */
@@ -364,6 +375,7 @@ export const isGreaterThanOrEqualTo: {
    * isInfoOrAbove("Error") // => true
    * ```
    *
+   * @stability stable
    * @category ordering
    * @since 4.0.0
    */
@@ -393,6 +405,7 @@ export const isGreaterThanOrEqualTo: {
    * isInfoOrAbove("Error") // => true
    * ```
    *
+   * @stability stable
    * @category ordering
    * @since 4.0.0
    */
@@ -432,6 +445,7 @@ export const isGreaterThanOrEqualTo: {
  * isLessSevereThanError("Fatal") // => false
  * ```
  *
+ * @stability stable
  * @category ordering
  * @since 4.0.0
  */
@@ -469,6 +483,7 @@ export const isLessThan: {
    * isLessSevereThanError("Fatal") // => false
    * ```
    *
+   * @stability stable
    * @category ordering
    * @since 4.0.0
    */
@@ -506,6 +521,7 @@ export const isLessThan: {
    * isLessSevereThanError("Fatal") // => false
    * ```
    *
+   * @stability stable
    * @category ordering
    * @since 4.0.0
    */
@@ -537,6 +553,7 @@ export const isLessThan: {
  * isInfoOrBelow("Debug") // => true
  * ```
  *
+ * @stability stable
  * @category ordering
  * @since 4.0.0
  */
@@ -566,6 +583,7 @@ export const isLessThanOrEqualTo: {
    * isInfoOrBelow("Debug") // => true
    * ```
    *
+   * @stability stable
    * @category ordering
    * @since 4.0.0
    */
@@ -595,6 +613,7 @@ export const isLessThanOrEqualTo: {
    * isInfoOrBelow("Debug") // => true
    * ```
    *
+   * @stability stable
    * @category ordering
    * @since 4.0.0
    */
@@ -633,6 +652,7 @@ export const isLessThanOrEqualTo: {
  * await Effect.runPromise(warnOnly) // => { debugEnabled: false, errorEnabled: true }
  * ```
  *
+ * @stability stable
  * @category predicates
  * @since 4.0.0
  */

package/src/Logger.ts

@@ -7,6 +7,7 @@
  * logger references, console routing helpers, built-in formatters, batching,
  * file logging, and layers for installing loggers.
  *
+ * @stability stable
  * @since 2.0.0
  */
 import * as Array from "./Array.ts"
@@ -58,6 +59,7 @@ const TypeId = "~effect/Logger"
  * messages // => ["[Info] Hello World"]
  * ```
  *
+ * @stability stable
  * @category models
  * @since 2.0.0
  */
@@ -95,6 +97,7 @@ export interface Logger<in Message, out Output> extends Pipeable {
  * outputs // => [{ message: ["Processing request"], level: "Info", hasCause: false }]
  * ```
  *
+ * @stability stable
  * @category options
  * @since 2.0.0
  */
@@ -121,6 +124,7 @@ export interface Options<out Message> {
  * Logger.isLogger({ log: () => {} }) // => false
  * ```
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -156,6 +160,7 @@ export const isLogger = (u: unknown): u is Logger<unknown, unknown> => Predicate
  * messages // => [["Hello from custom logger"]]
  * ```
  *
+ * @stability stable
  * @category services
  * @since 4.0.0
  */
@@ -179,6 +184,7 @@ export const CurrentLoggers: Context.Reference<ReadonlySet<Logger<unknown, any>>
  * @see {@link consolePretty} for the TTY-mode pretty console logger affected by this reference
  * @see {@link withConsoleError} for routing a specific formatter logger to `console.error`
  *
+ * @stability stable
  * @category services
  * @since 4.0.0
  */
@@ -214,6 +220,7 @@ export const LogToStderr: Context.Reference<boolean> = effect.LogToStderr
  * outputs // => [{ message: "HELLO" }]
  * ```
  *
+ * @stability stable
  * @category mapping
  * @since 2.0.0
  */
@@ -248,6 +255,7 @@ export const map = dual<
    * outputs // => [{ message: "HELLO" }]
    * ```
    *
+   * @stability stable
    * @category mapping
    * @since 2.0.0
    */
@@ -284,6 +292,7 @@ export const map = dual<
    * outputs // => [{ message: "HELLO" }]
    * ```
    *
+   * @stability stable
    * @category mapping
    * @since 2.0.0
    */
@@ -320,6 +329,7 @@ export const map = dual<
  * await Effect.runPromise(program) // => ["Info: Hello World"]
  * ```
  *
+ * @stability stable
  * @category logging
  * @since 2.0.0
  */
@@ -360,6 +370,7 @@ export const withConsoleLog = <Message, Output>(
  * await Effect.runPromise(program) // => ["ERROR: Database connection failed"]
  * ```
  *
+ * @stability stable
  * @category logging
  * @since 2.0.0
  */
@@ -414,6 +425,7 @@ export const withConsoleError = <Message, Output>(
  * messages // => expected
  * ```
  *
+ * @stability stable
  * @category logging
  * @since 3.8.0
  */
@@ -526,6 +538,7 @@ const format = (
  * outputs // => ["Info: Hello World"]
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 2.0.0
  */
@@ -544,6 +557,7 @@ export const make: <Message, Output>(
  * Logger.isLogger(Logger.defaultLogger) // => true
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 2.0.0
  */
@@ -579,6 +593,7 @@ export const defaultLogger: Logger<unknown, void> = effect.defaultLogger
  * await Effect.runPromise(program) // => ["level=INFO message=\"Application started\""]
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -614,6 +629,7 @@ export const formatSimple = effect.loggerMake(format(escapeDoubleQuotes))
  * await Effect.runPromise(program) // => ["level=INFO message=\"User login\""]
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -649,6 +665,7 @@ export const formatLogFmt = effect.loggerMake(format(JSON.stringify, 0))
  * await Effect.runPromise(program) // => [{ message: "User action", level: "INFO" }]
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -719,6 +736,7 @@ export const formatStructured: Logger<unknown, {
  * await Effect.runPromise(program) // => ["{\"message\":\"Server started\",\"level\":\"INFO\"}"]
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -757,6 +775,7 @@ export const formatJson = map(formatStructured, Formatter.formatJson)
  * flushed // => [["Event 1", "Event 2"]]
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 2.0.0
  */
@@ -794,6 +813,7 @@ export const batched = dual<
    * flushed // => [["Event 1", "Event 2"]]
    * ```
    *
+   * @stability stable
    * @category constructors
    * @since 2.0.0
    */
@@ -838,6 +858,7 @@ export const batched = dual<
    * flushed // => [["Event 1", "Event 2"]]
    * ```
    *
+   * @stability stable
    * @category constructors
    * @since 2.0.0
    */
@@ -855,16 +876,16 @@ export const batched = dual<
     readonly flush: (messages: Array<NoInfer<Output>>) => Effect.Effect<void>
   }
 ): Effect.Effect<Logger<Message, void>, never, Scope.Scope> =>
-  effect.flatMap(effect.scope, (scope) => {
+  effect.suspend(() => {
     let buffer: Array<Output> = []
-    const flush = effect.suspend(() => {
+    const flush = effect.uninterruptible(effect.suspend(() => {
       if (buffer.length === 0) {
         return effect.void
       }
       const arr = buffer
       buffer = []
       return options.flush(arr)
-    })
+    }))
 
     return effect.uninterruptibleMask((restore) =>
       restore(
@@ -874,8 +895,12 @@ export const batched = dual<
         )
       ).pipe(
         effect.forkDetach,
-        effect.flatMap((fiber) => effect.scopeAddFinalizerExit(scope, () => effect.fiberInterrupt(fiber))),
-        effect.andThen(effect.addFinalizer(() => flush)),
+        effect.flatMap((fiber) =>
+          effect.addFinalizer(() =>
+            // Wait for any in-flight flush before draining the remaining buffer.
+            effect.andThen(effect.fiberInterrupt(fiber), flush)
+          )
+        ),
         effect.as(
           effect.loggerMake((options) => {
             buffer.push(self.log(options))
@@ -930,6 +955,7 @@ export const batched = dual<
  *
  * @see {@link consolePrettyBrowser} for browser-specific implementation
  * @see {@link consolePrettyTty} for the TTY-mode implementation
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -967,6 +993,7 @@ export const consolePretty: (
  * ```
  *
  * @see {@link consolePretty} for the platform-independent implementation
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1019,6 +1046,7 @@ export const consolePrettyBrowser: (
  * ```
  *
  * @see {@link consolePretty} for the platform-independent implementation
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1046,6 +1074,7 @@ export const consolePrettyTty: (
  * Logger.isLogger(Logger.consoleLogFmt) // => true
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1071,6 +1100,7 @@ export const consoleLogFmt: Logger<unknown, void> = withConsoleLog(formatLogFmt)
  * Logger.isLogger(Logger.consoleStructured) // => true
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1094,6 +1124,7 @@ export const consoleStructured: Logger<unknown, void> = withConsoleLog(formatStr
  * Logger.isLogger(Logger.consoleJson) // => true
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1124,6 +1155,7 @@ export const consoleJson: Logger<unknown, void> = withConsoleLog(formatJson)
  * Effect.runSync(program)
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 2.0.0
  */
@@ -1156,6 +1188,7 @@ export const tracerLogger: Logger<unknown, void> = effect.tracerLogger
  * messages // => [["Application started"]]
  * ```
  *
+ * @stability stable
  * @category layers
  * @since 4.0.0
  */
@@ -1244,6 +1277,7 @@ export const layer = <
  * writes // => ["Application started"]
  * ```
  *
+ * @stability unstable
  * @category logging
  * @since 4.0.0
  */
@@ -1309,6 +1343,7 @@ export const toFile = dual<
    * writes // => ["Application started"]
    * ```
    *
+   * @stability unstable
    * @category logging
    * @since 4.0.0
    */
@@ -1383,6 +1418,7 @@ export const toFile = dual<
    * writes // => ["Application started"]
    * ```
    *
+   * @stability unstable
    * @category logging
    * @since 4.0.0
    */

package/src/ManagedRuntime.ts

@@ -7,12 +7,14 @@
  * and runners for connecting Effect programs to JavaScript entry points such as
  * promises, callbacks, and synchronous code.
  *
+ * @stability stable
  * @since 2.0.0
  */
 import type * as Context from "./Context.ts"
 import * as Effect from "./Effect.ts"
 import * as Exit from "./Exit.ts"
 import * as Fiber from "./Fiber.ts"
+import { type FiberImpl, scopeRemoveFinalizerUnsafe } from "./internal/effect.ts"
 import * as Layer from "./Layer.ts"
 import { hasProperty } from "./Predicate.ts"
 import * as Scope from "./Scope.ts"
@@ -39,6 +41,7 @@ const TypeId = "~effect/ManagedRuntime"
  *
  * @see {@link make} for creating managed runtimes this guard recognizes
  *
+ * @stability stable
  * @category guards
  * @since 3.9.0
  */
@@ -53,6 +56,7 @@ export const isManagedRuntime = (input: unknown): input is ManagedRuntime<unknow
  * Use to reference type-level helpers for extracting managed runtime services
  * and layer errors.
  *
+ * @stability stable
  * @since 3.4.0
  */
 export declare namespace ManagedRuntime {
@@ -106,6 +110,7 @@ export declare namespace ManagedRuntime {
  * @see {@link make} for constructing a managed runtime from a layer
  * @see {@link Layer.build} for lower-level scoped layer construction
  *
+ * @stability stable
  * @category models
  * @since 2.0.0
  */
@@ -279,6 +284,7 @@ export interface ManagedRuntime<in R, out ER> {
  * @see {@link Layer.MemoMap} for shared layer memoization
  * @see {@link Layer.build} for lower-level scoped layer construction
  *
+ * @stability stable
  * @category constructors
  * @since 2.0.0
  */
@@ -340,7 +346,12 @@ export const make = <R, ER>(
     [Symbol.asyncDispose](): Promise<void> {
       return self.dispose()
     },
-    disposeEffect: Effect.suspend(() => {
+    disposeEffect: Effect.withFiber((fiber) => {
+      // Closing fiberScope interrupts and awaits every managed fiber. Skip the
+      // disposing fiber and its ancestors, which would otherwise await themselves.
+      for (let current = fiber as FiberImpl<any, any> | undefined; current; current = current._parent) {
+        scopeRemoveFinalizerUnsafe(fiberScope, current)
+      }
       ;(self as Mutable<ManagedRuntime<R, ER>>).contextEffect = Effect.die("ManagedRuntime disposed")
       self.cachedContext = undefined
       return Scope.close(self.scope, Exit.void)