effect 4.0.0 → 4.0.2

package/src/Exit.ts

@@ -7,6 +7,7 @@
  * Effect results need to be inspected, transformed, filtered, or matched
  * synchronously as data.
  *
+ * @stability stable
  * @since 2.0.0
  */
 import type * as Cause from "./Cause.ts"
@@ -53,6 +54,7 @@ const TypeId = core.ExitTypeId
  * @see {@link Failure} for the failure case
  * @see {@link match} for pattern matching
  *
+ * @stability stable
  * @category models
  * @since 2.0.0
  */
@@ -66,6 +68,7 @@ export type Exit<A, E = never> = Success<A, E> | Failure<A, E>
  * Use to reference helper types that describe the shared structure of `Exit`
  * values.
  *
+ * @stability stable
  * @since 2.0.0
  */
 export declare namespace Exit {
@@ -112,6 +115,7 @@ export declare namespace Exit {
  * @see {@link isSuccess} to narrow an Exit to Success
  * @see {@link Failure} for the failure counterpart
  *
+ * @stability stable
  * @category models
  * @since 2.0.0
  */
@@ -148,6 +152,7 @@ export interface Success<out A, out E = never> extends Exit.Proto<A, E> {
  * @see {@link isFailure} to narrow an Exit to Failure
  * @see {@link Success} for the success counterpart
  *
+ * @stability stable
  * @category models
  * @since 2.0.0
  */
@@ -182,6 +187,7 @@ export interface Failure<out A, out E> extends Exit.Proto<A, E> {
  * @see {@link isSuccess} to check for a successful Exit
  * @see {@link isFailure} to check for a failed Exit
  *
+ * @stability stable
  * @category guards
  * @since 2.0.0
  */
@@ -210,6 +216,7 @@ export const isExit: (u: unknown) => u is Exit<unknown, unknown> = core.isExit
  * @see {@link fail} to create a failed Exit
  * @see {@link void_ void} for a pre-allocated success with no value
  *
+ * @stability stable
  * @category constructors
  * @since 2.0.0
  */
@@ -240,6 +247,7 @@ export const succeed: <A>(a: A) => Exit<A> = core.exitSucceed
  * @see {@link fail} to create a Failure from a plain error value
  * @see {@link die} to create a Failure from a defect
  *
+ * @stability stable
  * @category constructors
  * @since 2.0.0
  */
@@ -270,6 +278,7 @@ export const failCause: <E>(cause: Cause.Cause<E>) => Exit<never, E> = core.exit
  * @see {@link die} to create a Failure from an unexpected defect
  * @see {@link failCause} to create a Failure from a full Cause
  *
+ * @stability stable
  * @category constructors
  * @since 2.0.0
  */
@@ -301,6 +310,7 @@ export const fail: <E>(e: E) => Exit<never, E> = core.exitFail
  * @see {@link fail} to create a Failure from a typed error
  * @see {@link hasDies} to check whether an Exit contains defects
  *
+ * @stability stable
  * @category constructors
  * @since 2.0.0
  */
@@ -328,6 +338,7 @@ export const die: (defect: unknown) => Exit<never> = core.exitDie
  *
  * @see {@link hasInterrupts} to check whether an Exit contains interruptions
  *
+ * @stability stable
  * @category constructors
  * @since 2.0.0
  */
@@ -358,6 +369,7 @@ export {
    * @see {@link succeed} to create a success with a specific value
    * @see {@link asVoid} to discard the value of an existing Exit
    *
+   * @stability stable
    * @category constructors
    * @since 2.0.0
    */
@@ -387,6 +399,7 @@ export {
  * @see {@link isFailure} for the opposite check
  * @see {@link match} for exhaustive pattern matching
  *
+ * @stability stable
  * @category guards
  * @since 2.0.0
  */
@@ -415,6 +428,7 @@ export const isSuccess: <A, E>(self: Exit<A, E>) => self is Success<A, E> = effe
  * @see {@link isSuccess} for the opposite check
  * @see {@link match} for exhaustive pattern matching
  *
+ * @stability stable
  * @category guards
  * @since 2.0.0
  */
@@ -445,6 +459,7 @@ export const isFailure: <A, E>(self: Exit<A, E>) => self is Failure<A, E> = effe
  * @see {@link hasDies} to check for defects
  * @see {@link hasInterrupts} to check for interruptions
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -475,6 +490,7 @@ export const hasFails: <A, E>(self: Exit<A, E>) => self is Failure<A, E> = effec
  * @see {@link hasFails} to check for typed errors
  * @see {@link hasInterrupts} to check for interruptions
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -505,6 +521,7 @@ export const hasDies: <A, E>(self: Exit<A, E>) => self is Failure<A, E> = effect
  * @see {@link hasFails} to check for typed errors
  * @see {@link hasDies} to check for defects
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -539,6 +556,7 @@ export const hasInterrupts: <A, E>(self: Exit<A, E>) => self is Failure<A, E> =
  * @see {@link filterFailure} for the inverse
  * @see {@link filterValue} to extract the raw value instead of the Success object
  *
+ * @stability stable
  * @category filtering
  * @since 4.0.0
  */
@@ -576,6 +594,7 @@ export const filterSuccess: <A, E>(
  * @see {@link filterSuccess} to get the full Success object
  * @see {@link getSuccess} to get the value as an Option instead
  *
+ * @stability stable
  * @category filtering
  * @since 4.0.0
  */
@@ -610,6 +629,7 @@ export const filterValue: <A, E>(self: Exit<A, E>) => Result.Result<A, Failure<n
  * @see {@link filterSuccess} for the inverse
  * @see {@link filterCause} to extract the Cause directly
  *
+ * @stability stable
  * @category filtering
  * @since 4.0.0
  */
@@ -645,6 +665,7 @@ export const filterFailure: <A, E>(self: Exit<A, E>) => Result.Result<Failure<ne
  * @see {@link filterFailure} to get the full Failure object
  * @see {@link getCause} to get the Cause as an Option instead
  *
+ * @stability stable
  * @category filtering
  * @since 4.0.0
  */
@@ -680,6 +701,7 @@ export const filterCause: <A, E>(self: Exit<A, E>) => Result.Result<Cause.Cause<
  * @see {@link findErrorOption} to get the error as an Option instead
  * @see {@link findDefect} to find defects instead
  *
+ * @stability stable
  * @category filtering
  * @since 4.0.0
  */
@@ -715,6 +737,7 @@ export const findError: <A, E>(input: Exit<A, E>) => Result.Result<E, Exit<A, E>
  * @see {@link findError} to find typed errors instead
  * @see {@link hasDies} to check for defects without extracting them
  *
+ * @stability stable
  * @category filtering
  * @since 4.0.0
  */
@@ -746,6 +769,7 @@ export const findDefect: <A, E>(input: Exit<A, E>) => Result.Result<unknown, Exi
  *
  * @see {@link isSuccess} and {@link isFailure} for simple boolean checks
  *
+ * @stability stable
  * @category pattern matching
  * @since 2.0.0
  */
@@ -776,6 +800,7 @@ export const match: {
    *
    * @see {@link isSuccess} and {@link isFailure} for simple boolean checks
    *
+   * @stability stable
    * @category pattern matching
    * @since 2.0.0
    */
@@ -811,6 +836,7 @@ export const match: {
    *
    * @see {@link isSuccess} and {@link isFailure} for simple boolean checks
    *
+   * @stability stable
    * @category pattern matching
    * @since 2.0.0
    */
@@ -847,6 +873,7 @@ export const match: {
  * @see {@link mapError} to transform the error
  * @see {@link mapBoth} to transform both success and error
  *
+ * @stability stable
  * @category combinators
  * @since 2.0.0
  */
@@ -875,6 +902,7 @@ export const map: {
    * @see {@link mapError} to transform the error
    * @see {@link mapBoth} to transform both success and error
    *
+   * @stability stable
    * @category combinators
    * @since 2.0.0
    */
@@ -903,6 +931,7 @@ export const map: {
    * @see {@link mapError} to transform the error
    * @see {@link mapBoth} to transform both success and error
    *
+   * @stability stable
    * @category combinators
    * @since 2.0.0
    */
@@ -938,6 +967,7 @@ export const map: {
  * @see {@link map} to transform the success value
  * @see {@link mapBoth} to transform both success and error
  *
+ * @stability stable
  * @category combinators
  * @since 2.0.0
  */
@@ -971,6 +1001,7 @@ export const mapError: {
    * @see {@link map} to transform the success value
    * @see {@link mapBoth} to transform both success and error
    *
+   * @stability stable
    * @category combinators
    * @since 2.0.0
    */
@@ -1004,6 +1035,7 @@ export const mapError: {
    * @see {@link map} to transform the success value
    * @see {@link mapBoth} to transform both success and error
    *
+   * @stability stable
    * @category combinators
    * @since 2.0.0
    */
@@ -1042,6 +1074,7 @@ export const mapError: {
  * @see {@link map} to transform only the success value
  * @see {@link mapError} to transform only the error
  *
+ * @stability stable
  * @category combinators
  * @since 2.0.0
  */
@@ -1078,6 +1111,7 @@ export const mapBoth: {
    * @see {@link map} to transform only the success value
    * @see {@link mapError} to transform only the error
    *
+   * @stability stable
    * @category combinators
    * @since 2.0.0
    */
@@ -1116,6 +1150,7 @@ export const mapBoth: {
    * @see {@link map} to transform only the success value
    * @see {@link mapError} to transform only the error
    *
+   * @stability stable
    * @category combinators
    * @since 2.0.0
    */
@@ -1150,6 +1185,7 @@ export const mapBoth: {
  * @see {@link void_ void} for a pre-allocated void success
  * @see {@link asVoidAll} to combine multiple exits into a single void Exit
  *
+ * @stability stable
  * @category combinators
  * @since 2.0.0
  */
@@ -1181,6 +1217,7 @@ export const asVoid: <A, E>(self: Exit<A, E>) => Exit<void, E> = effect.exitAsVo
  *
  * @see {@link asVoid} to discard the value of a single Exit
  *
+ * @stability stable
  * @category combinators
  * @since 4.0.0
  */
@@ -1212,6 +1249,7 @@ export const asVoidAll: <I extends Iterable<Exit<any, any>>>(
  * @see {@link getCause} to extract the Cause of a failure
  * @see {@link filterValue} for filter-pipeline usage
  *
+ * @stability stable
  * @category getters
  * @since 4.0.0
  */
@@ -1241,6 +1279,7 @@ export const getSuccess: <A, E>(self: Exit<A, E>) => Option<A> = effect.exitGetS
  * @see {@link getSuccess} to extract the success value
  * @see {@link filterCause} for filter-pipeline usage
  *
+ * @stability stable
  * @category getters
  * @since 4.0.0
  */
@@ -1277,6 +1316,7 @@ export const getCause: <A, E>(self: Exit<A, E>) => Option<Cause.Cause<E>> = effe
  * @see {@link findError} for filter-pipeline usage
  * @see {@link getCause} to get the full Cause as an Option
  *
+ * @stability stable
  * @category getters
  * @since 4.0.0
  */

package/src/Fiber.ts

@@ -5,6 +5,7 @@
  * interrupt one or many fibers, check unknown values, access the current fiber,
  * and attach manually managed fibers to a `Scope` for cleanup.
  *
+ * @stability stable
  * @since 2.0.0
  */
 import type * as Arr from "./Array.ts"
@@ -65,6 +66,7 @@ const TypeId = "~effect/Fiber"
  * actual // => Exit.succeed(42)
  * ```
  *
+ * @stability stable
  * @category models
  * @since 2.0.0
  */
@@ -119,6 +121,7 @@ export interface Fiber<out A, out E = never> extends Pipeable {
  * actual // => 42
  * ```
  *
+ * @stability stable
  * @since 2.0.0
  */
 export declare namespace Fiber {
@@ -216,6 +219,7 @@ export {
    * actual // => Exit.succeed(42)
    * ```
    *
+   * @stability stable
    * @category combinators
    * @since 2.0.0
    */
@@ -254,6 +258,7 @@ export {
  * actual // => [Exit.succeed(1), Exit.succeed(2)]
  * ```
  *
+ * @stability stable
  * @category combinators
  * @since 2.0.0
  */
@@ -298,6 +303,7 @@ export const awaitAll: <A extends Fiber<any, any>>(
  *
  * @see {@link await_ await} for inspecting the fiber outcome as an Exit
  *
+ * @stability stable
  * @category combinators
  * @since 2.0.0
  */
@@ -324,6 +330,7 @@ export const join: <A, E>(self: Fiber<A, E>) => Effect<A, E> = effect.fiberJoin
  *
  * @see {@link awaitAll} for collecting every fiber outcome as an Exit
  *
+ * @stability stable
  * @category combinators
  * @since 2.0.0
  */
@@ -373,6 +380,7 @@ export const joinAll: <A extends Iterable<Fiber<any, any>>>(
  * @see {@link interruptAs} for specifying the interrupting fiber ID
  * @see {@link await_ await} for observing the interrupted fiber's Exit
  *
+ * @stability stable
  * @category interruption
  * @since 2.0.0
  */
@@ -415,6 +423,7 @@ export const interrupt: <A, E>(self: Fiber<A, E>) => Effect<void> = effect.fiber
  *
  * @see {@link interrupt} for using the current fiber as the interruptor
  *
+ * @stability stable
  * @category interruption
  * @since 2.0.0
  */
@@ -456,6 +465,7 @@ export const interruptAs: {
    *
    * @see {@link interrupt} for using the current fiber as the interruptor
    *
+   * @stability stable
    * @category interruption
    * @since 2.0.0
    */
@@ -500,6 +510,7 @@ export const interruptAs: {
    *
    * @see {@link interrupt} for using the current fiber as the interruptor
    *
+   * @stability stable
    * @category interruption
    * @since 2.0.0
    */
@@ -546,6 +557,7 @@ export const interruptAs: {
  *
  * @see {@link interruptAllAs} for specifying the interrupting fiber ID
  *
+ * @stability stable
  * @category interruption
  * @since 2.0.0
  */
@@ -593,6 +605,7 @@ export const interruptAll: <A extends Iterable<Fiber<any, any>>>(
  *
  * @see {@link interruptAll} for using the current fiber as the interruptor
  *
+ * @stability stable
  * @category interruption
  * @since 2.0.0
  */
@@ -637,6 +650,7 @@ export const interruptAllAs: {
    *
    * @see {@link interruptAll} for using the current fiber as the interruptor
    *
+   * @stability stable
    * @category interruption
    * @since 2.0.0
    */
@@ -681,6 +695,7 @@ export const interruptAllAs: {
    *
    * @see {@link interruptAll} for using the current fiber as the interruptor
    *
+   * @stability stable
    * @category interruption
    * @since 2.0.0
    */
@@ -718,6 +733,7 @@ export const interruptAllAs: {
  * actual // => [true, false, false, false]
  * ```
  *
+ * @stability stable
  * @category guards
  * @since 2.0.0
  */
@@ -753,6 +769,7 @@ export const isFiber = (
  * actual // => true
  * ```
  *
+ * @stability stable
  * @category getters
  * @since 4.0.0
  */
@@ -777,6 +794,7 @@ export const getCurrent: () => Fiber<any, any> | undefined = effect.getCurrentFi
  *
  * @see {@link interrupt} for interrupting and waiting for completion
  *
+ * @stability stable
  * @category resource management
  * @since 4.0.0
  */
@@ -800,6 +818,7 @@ export const runIn: {
    *
    * @see {@link interrupt} for interrupting and waiting for completion
    *
+   * @stability stable
    * @category resource management
    * @since 4.0.0
    */
@@ -823,6 +842,7 @@ export const runIn: {
    *
    * @see {@link interrupt} for interrupting and waiting for completion
    *
+   * @stability stable
    * @category resource management
    * @since 4.0.0
    */

package/src/FiberHandle.ts

@@ -8,6 +8,7 @@
  * for setting, reading, clearing, and running fibers, and operations for joining
  * the current fiber or waiting until the handle is empty.
  *
+ * @stability stable
  * @since 2.0.0
  */
 import * as Cause from "./Cause.ts"
@@ -51,6 +52,7 @@ const TypeId = "~effect/FiberHandle"
  * actual // => "hello"
  * ```
  *
+ * @stability stable
  * @category models
  * @since 2.0.0
  */
@@ -84,6 +86,7 @@ export interface FiberHandle<out A = unknown, out E = unknown> extends Pipeable,
  * actual // => [true, false]
  * ```
  *
+ * @stability stable
  * @category guards
  * @since 2.0.0
  */
@@ -140,6 +143,7 @@ const makeUnsafe = <A = unknown, E = unknown>(): FiberHandle<A, E> => {
  * actual // => true
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 2.0.0
  */
@@ -190,6 +194,7 @@ export const make = <A = unknown, E = unknown>(): Effect.Effect<FiberHandle<A, E
  * actual // => [Exit.failCause(Cause.interrupt(-1)), Exit.succeed("second")]
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 2.0.0
  */
@@ -245,6 +250,7 @@ export const makeRuntime = <R, E = unknown, A = unknown>(): Effect.Effect<
  * actual // => "hello"
  * ```
  *
+ * @stability stable
  * @category constructors
  * @since 3.13.0
  */
@@ -301,6 +307,7 @@ const isInternalInterruption = Filter.toPredicate(Filter.compose(
  * actual // => "hello"
  * ```
  *
+ * @stability stable
  * @category combinators
  * @since 4.0.0
  */
@@ -334,6 +341,7 @@ export const setUnsafe: {
    * actual // => "hello"
    * ```
    *
+   * @stability stable
    * @category combinators
    * @since 4.0.0
    */
@@ -373,6 +381,7 @@ export const setUnsafe: {
    * actual // => "hello"
    * ```
    *
+   * @stability stable
    * @category combinators
    * @since 4.0.0
    */
@@ -395,18 +404,21 @@ export const setUnsafe: {
   if (self.state._tag === "Closed") {
     fiber.interruptUnsafe(internalFiberId)
     return
-  } else if (self.state.fiber !== undefined) {
-    if (self.state.fiber === fiber) {
+  }
+
+  const previous = self.state.fiber
+  if (previous !== undefined) {
+    if (previous === fiber) {
       return
     } else if (options?.onlyIfMissing === true) {
       fiber.interruptUnsafe(internalFiberId)
       return
     }
-    self.state.fiber.interruptUnsafe(internalFiberId)
-    self.state.fiber = undefined
   }
 
+  // Install the replacement before interruption can re-enter the handle through a finalizer.
   self.state.fiber = fiber
+  previous?.interruptUnsafe(internalFiberId)
   fiber.addObserver((exit) => {
     if (self.state._tag === "Open" && fiber === self.state.fiber) {
       self.state.fiber = undefined
@@ -453,6 +465,7 @@ export const setUnsafe: {
  * actual // => "hello"
  * ```
  *
+ * @stability stable
  * @category combinators
  * @since 2.0.0
  */
@@ -486,6 +499,7 @@ export const set: {
    * actual // => "hello"
    * ```
    *
+   * @stability stable
    * @category combinators
    * @since 2.0.0
    */
@@ -525,6 +539,7 @@ export const set: {
    * actual // => "hello"
    * ```
    *
+   * @stability stable
    * @category combinators
    * @since 2.0.0
    */
@@ -580,6 +595,7 @@ export const set: {
  * actual // => [Option.none(), Option.some(true)]
  * ```
  *
+ * @stability stable
  * @category combinators
  * @since 4.0.0
  */
@@ -610,6 +626,7 @@ export function getUnsafe<A, E>(self: FiberHandle<A, E>): Option.Option<Fiber.Fi
  * actual // => Option.some(true)
  * ```
  *
+ * @stability stable
  * @category combinators
  * @since 2.0.0
  */
@@ -643,6 +660,7 @@ export function get<A, E>(self: FiberHandle<A, E>): Effect.Effect<Option.Option<
  * actual // => Option.none()
  * ```
  *
+ * @stability stable
  * @category combinators
  * @since 2.0.0
  */
@@ -705,6 +723,7 @@ const constInterruptedFiber = (function() {
  * actual // => ["hello", "world"]
  * ```
  *
+ * @stability stable
  * @category combinators
  * @since 2.0.0
  */
@@ -742,6 +761,7 @@ export const run: {
    * actual // => ["hello", "world"]
    * ```
    *
+   * @stability stable
    * @category combinators
    * @since 2.0.0
    */
@@ -788,6 +808,7 @@ export const run: {
    * actual // => ["hello", "world"]
    * ```
    *
+   * @stability stable
    * @category combinators
    * @since 2.0.0
    */
@@ -872,6 +893,7 @@ const runImpl = <A, E, R, XE extends E, XA extends A>(
  * actual // => 0
  * ```
  *
+ * @stability stable
  * @category combinators
  * @since 2.0.0
  */
@@ -947,6 +969,7 @@ export const runtime: <A, E>(
  * actual // => "hello"
  * ```
  *
+ * @stability stable
  * @category combinators
  * @since 3.13.0
  */
@@ -1018,6 +1041,7 @@ export const runtimePromise = <A, E>(self: FiberHandle<A, E>): <R = never>() =>
  * actual // => Exit.fail("error")
  * ```
  *
+ * @stability stable
  * @category combinators
  * @since 2.0.0
  */
@@ -1047,6 +1071,7 @@ export const join = <A, E>(self: FiberHandle<A, E>): Effect.Effect<void, E> =>
  * actual // => Option.none()
  * ```
  *
+ * @stability stable
  * @category combinators
  * @since 3.13.0
  */