@fncts/io 0.0.21 → 0.0.23

package/Hub/definition.d.ts

@@ -1,44 +1,106 @@
-import { Future } from "@fncts/io/Future";
+import { UIO } from "@fncts/io/IO/definition";
 import { Scope } from "@fncts/io/Scope/definition";
-import { IO } from "@fncts/io/IO/definition";
-import { Conc } from "@fncts/base/collection/immutable/Conc";
-import { Exit } from "@fncts/base/data/Exit/definition";
-import type { HashedPair } from "../internal/HashedPair.js";
-import type { MutableQueue } from "../internal/MutableQueue.js";
-import type { UIO } from "../IO.js";
-import type { Dequeue, Enqueue } from "../Queue/definition.js";
-import type { Strategy } from "./internal.js";
-import type { HashSet } from "@fncts/base/collection/mutable/HashSet";
-import type { AtomicBoolean } from "@fncts/base/internal/AtomicBoolean";
-import type { Hub as HubInternal } from "@fncts/io/internal/Hub";
-import { QueueTypeId } from "../Queue/definition.js";
+import type { IO } from "@fncts/io/IO";
+import type { PDequeue, PEnqueue, PEnqueueInternal } from "@fncts/io/Queue";
+import { EnqueueTypeId, QueueTypeId, QueueVariance } from "@fncts/io/Queue/definition";
+export declare const HubVariance: unique symbol;
+export type HubVariance = typeof HubVariance;
 export declare const HubTypeId: unique symbol;
 export type HubTypeId = typeof HubTypeId;
 /**
+ * A `Hub<RA, RB, EA, EB, A, B>` is an asynchronous message hub. Publishers
+ * can publish messages of type `A` to the hub and subscribers can subscribe to
+ * take messages of type `B` from the hub. Publishing messages can require an
+ * environment of type `RA` and fail with an error of type `EA`. Taking
+ * messages can require an environment of type `RB` and fail with an error of
+ * type `EB`.
+ *
  * @tsplus type fncts.io.Hub
- * @tsplus companion fncts.io.HubOps
  */
-export declare class Hub<A> implements Enqueue<A> {
-    readonly hub: HubInternal<A>;
-    readonly subscribers: HashSet<HashedPair<HubInternal.Subscription<A>, MutableQueue<Future<never, A>>>>;
-    readonly scope: Scope.Closeable;
-    readonly shutdownHook: Future<never, void>;
-    readonly shutdownFlag: AtomicBoolean;
-    readonly strategy: Strategy<A>;
+export interface PHub<RA, RB, EA, EB, A, B> extends PEnqueue<RA, RB, EA, EB, A, B> {
+    readonly [HubTypeId]: HubTypeId;
+    readonly [HubVariance]: {
+        readonly _RA: (_: never) => RA;
+        readonly _RB: (_: never) => RB;
+        readonly _EA: (_: never) => EA;
+        readonly _EB: (_: never) => EB;
+        readonly _A: (_: A) => void;
+        readonly _B: (_: never) => B;
+    };
+}
+/**
+ * @tsplus type fncts.io.Hub
+ */
+export interface Hub<A> extends PHub<never, never, never, never, A, A> {
+}
+/**
+ * @tsplus type fncts.io.HubOps
+ */
+export interface HubOps {
+}
+export declare const Hub: HubOps;
+export declare namespace PHub { }
+export declare namespace Hub { }
+export declare abstract class PHubInternal<RA, RB, EA, EB, A, B> implements PHub<RA, RB, EA, EB, A, B>, PEnqueueInternal<RA, RB, EA, EB, A, B> {
     readonly [QueueTypeId]: QueueTypeId;
+    readonly [EnqueueTypeId]: EnqueueTypeId;
     readonly [HubTypeId]: HubTypeId;
-    _In: (_: A) => void;
-    constructor(hub: HubInternal<A>, subscribers: HashSet<HashedPair<HubInternal.Subscription<A>, MutableQueue<Future<never, A>>>>, scope: Scope.Closeable, shutdownHook: Future<never, void>, shutdownFlag: AtomicBoolean, strategy: Strategy<A>);
-    awaitShutdown: UIO<void>;
-    get capacity(): number;
-    isShutdown: UIO<boolean>;
-    publish(this: this, a: A, __tsplusTrace?: string): UIO<boolean>;
-    publishAll(this: this, as: Iterable<A>, __tsplusTrace?: string): UIO<boolean>;
-    shutdown: UIO<void>;
-    size: UIO<number>;
-    subscribe: IO<Scope, never, Dequeue<A>>;
-    isEmpty: UIO<boolean>;
-    isFull: UIO<boolean>;
-    offer(this: this, a: A, __tsplusTrace?: string | undefined): UIO<boolean>;
-    offerAll(this: this, as: Iterable<A>, __tsplusTrace?: string | undefined): UIO<boolean>;
+    [HubVariance]: {
+        readonly _RA: (_: never) => RA;
+        readonly _RB: (_: never) => RB;
+        readonly _EA: (_: never) => EA;
+        readonly _EB: (_: never) => EB;
+        readonly _A: (_: A) => void;
+        readonly _B: (_: never) => B;
+    };
+    [QueueVariance]: {
+        readonly _RA: (_: never) => RA;
+        readonly _RB: (_: never) => RB;
+        readonly _EA: (_: never) => EA;
+        readonly _EB: (_: never) => EB;
+        readonly _A: (_: A) => void;
+        readonly _B: (_: never) => B;
+    };
+    /**
+     * Waits for the hub to be shut down.
+     */
+    abstract awaitShutdown: UIO<void>;
+    /**
+     * The maximum capacity of the hub.
+     */
+    abstract capacity: number;
+    /**
+     * Checks whether the hub is shut down.
+     */
+    abstract isShutdown: UIO<boolean>;
+    /**
+     * Publishes a message to the hub, returning whether the message was
+     * published to the hub.
+     */
+    abstract publish(a: A): IO<RA, EA, boolean>;
+    /**
+     * Publishes all of the specified messages to the hub, returning whether
+     * they were published to the hub.
+     */
+    abstract publishAll(as: Iterable<A>): IO<RA, EA, boolean>;
+    /**
+     * Shuts down the hub.
+     */
+    abstract shutdown: UIO<void>;
+    /**
+     * The current number of messages in the hub.
+     */
+    abstract size: UIO<number>;
+    /**
+     * Subscribes to receive messages from the hub. The resulting subscription
+     * can be evaluated multiple times within the scope of the managed to take a
+     * message from the hub each time.
+     */
+    abstract subscribe: IO<Scope, never, PDequeue<RA, RB, EA, EB, A, B>>;
+    offer(a: A, __tsplusTrace?: string): IO<RA, EA, boolean>;
+    offerAll(as: Iterable<A>, __tsplusTrace?: string): IO<RA, EA, boolean>;
 }
+/**
+ * @tsplus macro remove
+ */
+export declare function concrete<RA, RB, EA, EB, A, B>(_: PHub<RA, RB, EA, EB, A, B>): asserts _ is PHubInternal<RA, RB, EA, EB, A, B>;

package/Hub/internal.d.ts

@@ -1,9 +1,11 @@
 import { Future } from "@fncts/io/Future";
 import { UIO, IO } from "@fncts/io/IO/definition";
 import { Conc } from "@fncts/base/collection/immutable/Conc";
-import { Maybe } from "@fncts/base/data/Maybe/definition";
+import { Queue } from "@fncts/io/Queue/definition";
+import { Scope } from "@fncts/io/Scope/definition";
+import { Exit } from "@fncts/base/data/Exit/definition";
+import { Hub } from "@fncts/io/Hub/definition";
 import type { Hub as HubInternal } from "@fncts/io/internal/Hub";
-import type { Dequeue } from "@fncts/io/Queue";
 import { HashSet } from "@fncts/base/collection/mutable/HashSet";
 import { AtomicBoolean } from "@fncts/base/internal/AtomicBoolean";
 import { HashedPair } from "@fncts/io/internal/HashedPair";
@@ -83,9 +85,14 @@ export declare class Sliding<A> extends Strategy<A> {
 /**
  * Creates a subscription with the specified strategy.
  */
-export declare function makeSubscription<A>(hub: HubInternal<A>, subscribers: HashSet<HashedPair<HubInternal.Subscription<A>, MutableQueue<Future<never, A>>>>, strategy: Strategy<A>): UIO<Dequeue<A>>;
+export declare function makeSubscription<A>(hub: HubInternal<A>, subscribers: HashSet<HashedPair<HubInternal.Subscription<A>, MutableQueue<Future<never, A>>>>, strategy: Strategy<A>): UIO<Queue.Dequeue<A>>;
 /**
  * Unsafely creates a subscription with the specified strategy.
  */
-export declare function unsafeMakeSubscription<A>(hub: HubInternal<A>, subscribers: HashSet<HashedPair<HubInternal.Subscription<A>, MutableQueue<Future<never, A>>>>, subscription: HubInternal.Subscription<A>, pollers: MutableQueue<Future<never, A>>, shutdownHook: Future<never, void>, shutdownFlag: AtomicBoolean, strategy: Strategy<A>): Dequeue<A>;
+export declare function unsafeMakeSubscription<A>(hub: HubInternal<A>, subscribers: HashSet<HashedPair<HubInternal.Subscription<A>, MutableQueue<Future<never, A>>>>, subscription: HubInternal.Subscription<A>, pollers: MutableQueue<Future<never, A>>, shutdownHook: Future<never, void>, shutdownFlag: AtomicBoolean, strategy: Strategy<A>): Queue.Dequeue<A>;
 export declare function subscribersHashSet<A>(): HashSet<HashedPair<HubInternal.Subscription<A>, MutableQueue<Future<never, A>>>>;
+/**
+ * Unsafely creates a hub with the specified strategy.
+ */
+export declare function unsafeMakeHub<A>(hub: HubInternal<A>, subscribers: HashSet<HashedPair<HubInternal.Subscription<A>, MutableQueue<Future<never, A>>>>, scope: Scope.Closeable, shutdownHook: Future<never, void>, shutdownFlag: AtomicBoolean, strategy: Strategy<A>): Hub<A>;
+export declare function makeHubInternal<A>(hub: HubInternal<A>, strategy: Strategy<A>): UIO<Hub<A>>;

package/Hub.d.ts

@@ -1,2 +1,2 @@
-export * from "./Hub/constructors.js";
+export * from "./Hub/api.js";
 export * from "./Hub/definition.js";

package/IO/api/asyncInterrupt.d.ts

@@ -0,0 +1,39 @@
+import { IO, URIO, UIO } from "@fncts/io/IO/definition";
+import { Either } from "@fncts/base/data/Either/definition";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
+import { Maybe } from "@fncts/base/data/Maybe/definition";
+/**
+ * Imports an asynchronous side-effect into an IO. The side-effect
+ * has the option of returning the value synchronously, which is useful in
+ * cases where it cannot be determined if the effect is synchronous or
+ * asynchronous until the side-effect is actually executed. The effect also
+ * has the option of returning a canceler, which will be used by the runtime
+ * to cancel the asynchronous effect if the fiber executing the effect is
+ * interrupted.
+ *
+ * If the register function returns a value synchronously, then the callback
+ * function must not be called. Otherwise the callback function must be called
+ * at most once.
+ *
+ * The list of fibers, that may complete the async callback, is used to
+ * provide better diagnostics.
+ * @tsplus static fncts.io.IOOps asyncInterrupt
+ * @tsplus location "@fncts/io/IO/api/asyncInterrupt"
+ */
+export declare function asyncInterrupt<R, E, A>(register: (cb: (resolve: IO<R, E, A>) => void) => Either<URIO<R, any>, IO<R, E, A>>, blockingOn?: FiberId, __tsplusTrace?: string): IO<R, E, A>;
+/**
+ * Imports an asynchronous effect into a pure `IO`, possibly returning the value synchronously.
+ *
+ * If the register function returns a value synchronously, then the callback
+ * function must not be called. Otherwise the callback function must be called at most once.
+ * @tsplus static fncts.io.IOOps asyncMaybe
+ * @tsplus location "@fncts/io/IO/api/asyncInterrupt"
+ */
+export declare function asyncMaybe<R, E, A>(register: (resolve: (_: IO<R, E, A>) => void) => Maybe<IO<R, E, A>>, blockingOn?: FiberId, __tsplusTrace?: string): IO<R, E, A>;
+/**
+ * Returns a `IO` that will never produce anything. The moral equivalent of
+ * `while(true) {}`, only without the wasted CPU cycles.
+ * @tsplus static fncts.io.IOOps never
+ * @tsplus location "@fncts/io/IO/api/asyncInterrupt"
+ */
+export declare const never: UIO<never>;

package/IO/api/core-scope.d.ts

@@ -1,10 +1,8 @@
-import { UIO, URIO } from "@fncts/io/IO/definition";
-import { FiberRef } from "@fncts/io/FiberRef/definition";
-import { Just } from "@fncts/base/data/Maybe/definition";
 import { Lazy } from "@fncts/base/data/function/definition";
 import { Exit } from "@fncts/base/data/Exit/definition";
 import { Fiber } from "@fncts/io/Fiber/definition";
-import { FiberScope } from "../../FiberScope.js";
+import { URIO } from "@fncts/io/IO/definition";
+import type { FiberRuntime } from "@fncts/io/Fiber/FiberRuntime";
 import { IO } from "../definition.js";
 /**
  * @tsplus getter fncts.io.IO daemonChildren
@@ -12,37 +10,17 @@ import { IO } from "../definition.js";
  */
 export declare function daemonChildren<R, E, A>(self: IO<R, E, A>, __tsplusTrace?: string): IO<R, E, A>;
 /**
- * Retrieves the scope that will be used to supervise forked effects.
- * @tsplus static fncts.io.IOOps forkScope
+ * @tsplus pipeable fncts.io.IO raceFibersWith
  * @tsplus location "@fncts/io/IO/api/core-scope"
  */
-export declare const forkScope: UIO<FiberScope>;
-/**
- * Retrieves the scope that will be used to supervise forked effects.
- * @tsplus static fncts.io.IOOps forkScopeWith
- * @tsplus location "@fncts/io/IO/api/core-scope"
- */
-export declare function forkScopeWith<R, E, A>(f: (_: FiberScope) => IO<R, E, A>, __tsplusTrace?: string): IO<R, E, A>;
-export declare class ForkScopeRestore {
-    private scope;
-    constructor(scope: FiberScope);
-    readonly restore: <R, E, A>(ma: IO<R, E, A>, __tsplusTrace?: string) => IO<R, E, A>;
-}
-/**
- * Captures the fork scope, before overriding it with the specified new
- * scope, passing a function that allows restoring the fork scope to
- * what it was originally.
- * @tsplus static fncts.io.IOOps forkScopeMask
- * @tsplus location "@fncts/io/IO/api/core-scope"
- */
-export declare function forkScopeMask<R, E, A>(newScope: FiberScope, f: (restore: ForkScopeRestore) => IO<R, E, A>, __tsplusTrace?: string): IO<R, E, A>;
+export declare function raceFibersWith<R, E, A, R1, E1, B, R2, E2, C, R3, E3, D>(right: Lazy<IO<R1, E1, B>>, leftWins: (winner: FiberRuntime<E, A>, loser: FiberRuntime<E1, B>) => IO<R2, E2, C>, rightWins: (winner: FiberRuntime<E1, B>, loser: FiberRuntime<E, A>) => IO<R3, E3, D>, __tsplusTrace?: string): (left: IO<R, E, A>) => IO<R | R1 | R2 | R3, E2 | E3, C | D>;
 /**
  * Returns an effect that races this effect with the specified effect, calling
  * the specified finisher as soon as one result or the other has been computed.
  * @tsplus pipeable fncts.io.IO raceWith
  * @tsplus location "@fncts/io/IO/api/core-scope"
  */
-export declare function raceWith<E, A, R1, E1, A1, R2, E2, A2, R3, E3, A3>(right: Lazy<IO<R1, E1, A1>>, leftWins: (exit: Exit<E, A>, fiber: Fiber<E1, A1>) => IO<R2, E2, A2>, rightWins: (exit: Exit<E1, A1>, fiber: Fiber<E, A>) => IO<R3, E3, A3>, __tsplusTrace?: string): <R>(left: IO<R, E, A>) => IO<R1 | R2 | R3 | R, E2 | E3, A2 | A3>;
+export declare function raceWith<R, E, A, R1, E1, A1, R2, E2, A2, R3, E3, A3>(right: Lazy<IO<R1, E1, A1>>, leftWins: (exit: Exit<E, A>, fiber: Fiber<E1, A1>) => IO<R2, E2, A2>, rightWins: (exit: Exit<E1, A1>, fiber: Fiber<E, A>) => IO<R3, E3, A3>, __tsplusTrace?: string): (left: IO<R, E, A>) => IO<R | R1 | R2 | R3, E2 | E3, A2 | A3>;
 export type Grafter = <R, E, A>(effect: IO<R, E, A>) => IO<R, E, A>;
 /**
  * Transplants specified effects so that when those effects fork other
@@ -62,18 +40,4 @@ export declare function transplant<R, E, A>(f: (_: Grafter) => IO<R, E, A>, __ts
  * @tsplus getter fncts.io.IO forkDaemon
  * @tsplus location "@fncts/io/IO/api/core-scope"
  */
-export declare function forkDaemon<R, E, A>(ma: IO<R, E, A>, __tsplusTrace?: string): URIO<R, Fiber.Runtime<E, A>>;
-/**
- * Returns a new effect that will utilize the specified scope to supervise
- * any fibers forked within the original effect.
- * @tsplus pipeable fncts.io.IO overrideForkScope
- * @tsplus location "@fncts/io/IO/api/core-scope"
- */
-export declare function overrideForkScope(scope: FiberScope, __tsplusTrace?: string): <R, E, A>(ma: IO<R, E, A>) => IO<R, E, A>;
-/**
- * Returns a new effect that will utilize the default scope (fiber scope) to
- * supervise any fibers forked within the original effect.
- * @tsplus getter fncts.io.IO defaultForkScope
- * @tsplus location "@fncts/io/IO/api/core-scope"
- */
-export declare function defaultForkScope<R, E, A>(ma: IO<R, E, A>, __tsplusTrace?: string): IO<R, E, A>;
+export declare function forkDaemon<R, E, A>(ma: IO<R, E, A>, __tsplusTrace?: string): URIO<R, FiberRuntime<E, A>>;

package/IO/api/delay.d.ts

@@ -0,0 +1,8 @@
+import { Lazy } from "@fncts/base/data/function/definition";
+import { Duration } from "@fncts/base/data/Duration/definition";
+import { IO } from "@fncts/io/IO/definition";
+/**
+ * @tsplus pipeable fncts.io.IO delay
+ * @tsplus location "@fncts/io/IO/api/delay"
+ */
+export declare function delay(duration: Lazy<Duration>): <R, E, A>(self: import("../definition").IO<R, E, A>) => import("../definition").IO<R, E, A>;

package/IO/api/{foreachC.d.ts → foreachConcurrent.d.ts}

@@ -12,18 +12,18 @@ import { Queue } from "@fncts/io/Queue/definition";
  * Behaves almost like this code:
  *
  * Additionally, interrupts all effects on any failure.
- * @tsplus static fncts.io.IOOps foreachDiscardC
- * @tsplus fluent fncts.Iterable traverseIODiscardC
- * @tsplus location "@fncts/io/IO/api/foreachC"
+ * @tsplus static fncts.io.IOOps foreachConcurrentDiscard
+ * @tsplus fluent fncts.Iterable traverseIOConcurrentDiscard
+ * @tsplus location "@fncts/io/IO/api/foreachConcurrent"
  */
-export declare function foreachDiscardC<R, E, A>(as: Iterable<A>, f: (a: A) => IO<R, E, any>, __tsplusTrace?: string): IO<R, E, void>;
+export declare function foreachConcurrentDiscard<R, E, A>(as: Iterable<A>, f: (a: A) => IO<R, E, any>, __tsplusTrace?: string): IO<R, E, void>;
 /**
  * Applies the function `f` to each element of the `Iterable<A>` in parallel,
  * and returns the results in a `Conc<B>`.
  *
  * For a sequential version of this method, see `IO.foreach`.
- * @tsplus static fncts.io.IOOps foreachC
- * @tsplus fluent fncts.Iterable traverseIOC
- * @tsplus location "@fncts/io/IO/api/foreachC"
+ * @tsplus static fncts.io.IOOps foreachConcurrent
+ * @tsplus fluent fncts.Iterable traverseIOConcurrent
+ * @tsplus location "@fncts/io/IO/api/foreachConcurrent"
  */
-export declare function foreachC<R, E, A, B>(as: Iterable<A>, f: (a: A) => IO<R, E, B>, __tsplusTrace?: string): IO<R, E, Conc<B>>;
+export declare function foreachConcurrent<R, E, A, B>(as: Iterable<A>, f: (a: A) => IO<R, E, B>, __tsplusTrace?: string): IO<R, E, Conc<B>>;

package/IO/api/fork.d.ts

@@ -0,0 +1,36 @@
+import { IO, URIO } from "@fncts/io/IO/definition";
+import { FiberScope } from "@fncts/io/FiberScope";
+import type { RuntimeFlags } from "@fncts/io/RuntimeFlags";
+import { FiberRuntime } from "@fncts/io/Fiber/FiberRuntime";
+/**
+ * Returns an IO that forks this IO into its own separate fiber,
+ * returning the fiber immediately, without waiting for it to begin executing
+ * the IO.
+ *
+ * You can use the `fork` method whenever you want to execute an IO in a
+ * new fiber, concurrently and without "blocking" the fiber executing other
+ * IOs. Using fibers can be tricky, so instead of using this method
+ * directly, consider other higher-level methods, such as `raceWith`,
+ * `zipPar`, and so forth.
+ *
+ * The fiber returned by this method has methods interrupt the fiber and to
+ * wait for it to finish executing the IO. See `Fiber` for more
+ * information.
+ *
+ * Whenever you use this method to launch a new fiber, the new fiber is
+ * attached to the parent fiber's scope. This means when the parent fiber
+ * terminates, the child fiber will be terminated as well, ensuring that no
+ * fibers leak. This behavior is called "None supervision", and if this
+ * behavior is not desired, you may use the `forkDaemon` or `forkIn`
+ * methods.
+ * @tsplus getter fncts.io.IO fork
+ * @tsplus location "@fncts/io/IO/api/fork"
+ */
+export declare function fork<R, E, A>(ma: IO<R, E, A>, __tsplusTrace?: string): URIO<R, FiberRuntime<E, A>>;
+/**
+ * @tsplus pipeable fncts.io.IO forkWithScopeOverride
+ * @tsplus location "@fncts/io/IO/api/fork"
+ */
+export declare function forkWithScopeOverride(scopeOverride: FiberScope | null, __tsplusTrace?: string): <R, E, A>(self: import("../definition").IO<R, E, A>) => import("../definition").URIO<R, FiberRuntime<E, A>>;
+export declare function unsafeFork<R, E, A, E1, B>(effect: IO<R, E, A>, parentFiber: FiberRuntime<E1, B>, parentRuntimeFlags: RuntimeFlags, overrideScope: FiberScope | null, trace?: string): FiberRuntime<E, A>;
+export declare function unsafeMakeChildFiber<R, E, A, E1, B>(effect: IO<R, E, A>, parentFiber: FiberRuntime<E1, B>, parentRuntimeFlags: RuntimeFlags, overrideScope: FiberScope | null, trace?: string): FiberRuntime<E, A>;

package/IO/api/interrupt.d.ts

@@ -1,8 +1,12 @@
+import { IO, FIO } from "@fncts/io/IO/definition";
 import { FiberId } from "@fncts/base/data/FiberId/definition";
-import { FIO, IO } from "@fncts/io/IO/definition";
-import { InterruptStatus } from "@fncts/io/InterruptStatus";
-import { HashSet } from "@fncts/base/collection/immutable/HashSet/definition";
 import { Lazy } from "@fncts/base/data/function/definition";
+import { HashSet } from "@fncts/base/collection/immutable/HashSet/definition";
+import { Exit } from "@fncts/base/data/Exit/definition";
+export interface InterruptibilityRestorer {
+    readonly restore: <R, E, A>(io: IO<R, E, A>, __tsplusTrace?: string) => IO<R, E, A>;
+    readonly force: <R, E, A>(io: IO<R, E, A>, __tsplusTrace?: string) => IO<R, E, A>;
+}
 /**
  * Returns an effect that is interrupted as if by the specified fiber.
  * @tsplus static fncts.io.IOOps interruptAs
@@ -16,15 +20,6 @@ export declare function interruptAs(fiberId: FiberId, __tsplusTrace?: string): F
  * @tsplus location "@fncts/io/IO/api/interrupt"
  */
 export declare const interrupt: IO<never, never, never>;
-/**
- * Switches the interrupt status for this effect. If `true` is used, then the
- * effect becomes interruptible (the default), while if `false` is used, then
- * the effect becomes uninterruptible. These changes are compositional, so
- * they only affect regions of the effect.
- * @tsplus pipeable fncts.io.IO setInterruptStatus
- * @tsplus location "@fncts/io/IO/api/interrupt"
- */
-export declare function setInterruptStatus(flag: InterruptStatus, __tsplusTrace?: string): <R, E, A>(self: import("../definition").IO<R, E, A>) => import("../definition").IO<R, E, A>;
 /**
  * Returns a new effect that performs the same operations as this effect, but
  * interruptibly, even if composed inside of an uninterruptible region.
@@ -59,7 +54,12 @@ export declare function uninterruptible<R, E, A>(self: IO<R, E, A>, __tsplusTrac
  * @tsplus static fncts.io.IOOps uninterruptibleMask
  * @tsplus location "@fncts/io/IO/api/interrupt"
  */
-export declare function uninterruptibleMask<R, E, A>(f: (restore: InterruptStatusRestore) => IO<R, E, A>, __tsplusTrace?: string): IO<R, E, A>;
+export declare function uninterruptibleMask<R, E, A>(f: (restore: InterruptibilityRestorer) => IO<R, E, A>): IO<R, E, A>;
+/**
+ * @tsplus pipeable fncts.io.IO ensuring
+ * @tsplus location "@fncts/io/IO/api/interrupt"
+ */
+export declare function ensuring<R1>(finalizer: IO<R1, never, any>, __tsplusTrace?: string): <R, E, A>(self: import("@fncts/io/IO/definition").IO<R, E, A>) => import("@fncts/io/IO/definition").IO<R1 | R, E, A>;
 /**
  * Makes the effect interruptible, but passes it a restore function that can
  * be used to restore the inherited interruptibility from whatever region the
@@ -67,21 +67,26 @@ export declare function uninterruptibleMask<R, E, A>(f: (restore: InterruptStatu
  * @tsplus static fncts.io.IOOps interruptibleMask
  * @tsplus location "@fncts/io/IO/api/interrupt"
  */
-export declare function interruptibleMask<R, E, A>(k: (restore: InterruptStatusRestore) => IO<R, E, A>, __tsplusTrace?: string): IO<R, E, A>;
+export declare function interruptibleMask<R, E, A>(k: (restore: InterruptibilityRestorer) => IO<R, E, A>, __tsplusTrace?: string): IO<R, E, A>;
 /**
  * Calls the specified function, and runs the effect it returns, if this
  * effect is interrupted.
  * @tsplus pipeable fncts.io.IO onInterrupt
  * @tsplus location "@fncts/io/IO/api/interrupt"
  */
-export declare function onInterrupt_<R1>(cleanup: (interruptors: HashSet<FiberId>) => IO<R1, never, any>, __tsplusTrace?: string): <R, E, A>(ma: import("../definition").IO<R, E, A>) => import("../definition").IO<R1 | R, E, A>;
+export declare function onInterrupt<R1, E1>(cleanup: Lazy<IO<R1, E1, any>>, __tsplusTrace?: string): <R, E, A>(ma: import("@fncts/io/IO/definition").IO<R, E, A>) => import("@fncts/io/IO/definition").IO<R1 | R, E1 | E, A>;
 /**
  * Calls the specified function, and runs the effect it returns, if this
- * effect is interrupted (allows for expanding error).
- * @tsplus pipeable fncts.io.IO onInterruptExtended
+ * effect is interrupted.
+ * @tsplus pipeable fncts.io.IO onInterrupt
+ * @tsplus location "@fncts/io/IO/api/interrupt"
+ */
+export declare function onInterruptWith<R1, E1>(cleanup: (interruptors: HashSet<FiberId>) => IO<R1, E1, any>, __tsplusTrace?: string): <R, E, A>(ma: import("@fncts/io/IO/definition").IO<R, E, A>) => import("@fncts/io/IO/definition").IO<R1 | R, E1 | E, A>;
+/**
+ * @tsplus pipeable fncts.io.IO onExit
  * @tsplus location "@fncts/io/IO/api/interrupt"
  */
-export declare function onInterruptExtended_<R2, E2>(cleanup: Lazy<IO<R2, E2, any>>, __tsplusTrace?: string): <R, E, A>(self: import("../definition").IO<R, E, A>) => import("../definition").IO<R2 | R, E2 | E, A>;
+export declare function onExit<E, A, R1, E1>(cleanup: (exit: Exit<E, A>) => IO<R1, E1, any>, __tsplusTrace?: string): <R>(self: import("@fncts/io/IO/definition").IO<R, E, A>) => import("@fncts/io/IO/definition").IO<R1 | R, E | E1, A>;
 /**
  * Returns an IO whose interruption will be disconnected from the
  * fiber's own interruption, being performed in the background without
@@ -98,12 +103,3 @@ export declare function onInterruptExtended_<R2, E2>(cleanup: Lazy<IO<R2, E2, an
  * @tsplus location "@fncts/io/IO/api/interrupt"
  */
 export declare function disconnect<R, E, A>(self: IO<R, E, A>, __tsplusTrace?: string): IO<R, E, A>;
-/**
- * Used to restore the inherited interruptibility
- */
-export declare class InterruptStatusRestore {
-    readonly flag: InterruptStatus;
-    constructor(flag: InterruptStatus);
-    restore: <R, E, A>(io: import("../definition").IO<R, E, A>) => import("../definition").IO<R, E, A>;
-    force: <R, E, A>(io: import("../definition").IO<R, E, A>) => import("../definition").IO<R, E, A>;
-}

package/IO/api/onTermination.d.ts

@@ -1,7 +1,6 @@
 import { Cause } from "@fncts/base/data/Cause/definition";
 import { URIO, IO } from "@fncts/io/IO/definition";
 import { Lazy } from "@fncts/base/data/function/definition";
-import { Exit } from "@fncts/base/data/Exit/definition";
 /**
  * @tsplus pipeable fncts.io.IO onTermination
  * @tsplus location "@fncts/io/IO/api/onTermination"

package/IO/api/race.d.ts

@@ -10,4 +10,4 @@ import { IO } from "@fncts/io/IO/definition";
  * @tsplus pipeable fncts.io.IO race
  * @tsplus location "@fncts/io/IO/api/race"
  */
-export declare function race<R1, E1, A1>(that: IO<R1, E1, A1>, __tsplusTrace?: string): <R, E, A>(io: import("../definition").IO<R, E, A>) => import("../definition").IO<R1 | R, E1 | E, A1 | A>;
+export declare function race<R1, E1, A1>(that: IO<R1, E1, A1>): <R, E, A>(io: import("../definition").IO<R, E, A>) => import("../definition").IO<R1 | R, E1 | E, A1 | A>;

package/IO/api/sequenceT.d.ts

@@ -1,10 +1,26 @@
 import { ReadonlyNonEmptyArray } from "@fncts/base/collection/immutable/ImmutableNonEmptyArray/definition";
 import { IO } from "@fncts/io/IO/definition";
-import type { _A, _E, _R } from "@fncts/base/types";
+import type { IOVariance } from "@fncts/io/IO/definition";
 /**
  * @tsplus static fncts.io.IOOps sequenceT
  * @tsplus location "@fncts/io/IO/api/sequenceT"
  */
-export declare function sequenceT<T extends ReadonlyNonEmptyArray<IO<any, any, any>>>(...ios: T): IO<_R<T[number]>, _E<T[number]>, {
-    [K in keyof T]: _A<T[K]>;
+export declare function sequenceT<T extends ReadonlyNonEmptyArray<IO<any, any, any>>>(...ios: T): IO<[
+    T[number]
+] extends [{
+    [IOVariance]: {
+        _R: () => infer R;
+    };
+}] ? R : never, [
+    T[number]
+] extends [{
+    [IOVariance]: {
+        _E: () => infer E;
+    };
+}] ? E : never, {
+    [K in keyof T]: T[K] extends {
+        [IOVariance]: {
+            _A: () => infer A;
+        };
+    } ? A : never;
 }>;

package/IO/api/supervised.d.ts

@@ -1,10 +1,8 @@
-import { Supervisor } from "@fncts/io/Supervisor/definition";
 import { IO } from "@fncts/io/IO/definition";
+import { Lazy } from "@fncts/base/data/function/definition";
+import { Supervisor } from "@fncts/io/Supervisor/definition";
 /**
- *
- * Returns an IO with the behavior of this one, but where all child
- * fibers forked in the effect are reported to the specified supervisor.
- * @tsplus pipeable fncts.io.IO supervised
+ * @tsplus fluent fncts.io.IO supervised
  * @tsplus location "@fncts/io/IO/api/supervised"
  */
-export declare function supervised(supervisor: Supervisor<any>, __tsplusTrace?: string): <R, E, A>(fa: import("../definition").IO<R, E, A>) => import("../definition").IO<R, E, A>;
+export declare function supervised<R, E, A>(self: IO<R, E, A>, supervisor: Lazy<Supervisor<any>>, __tsplusTrace?: string): IO<R, E, A>;

package/IO/api/zipConcurrent.d.ts

@@ -0,0 +1,13 @@
+import { IO } from "@fncts/io/IO/definition";
+import { Maybe } from "@fncts/base/data/Maybe/definition";
+import { Either } from "@fncts/base/data/Either/definition";
+/**
+ * @tsplus pipeable fncts.io.IO zipConcurrent
+ * @tsplus location "@fncts/io/IO/api/zipConcurrent"
+ */
+export declare function zipConcurrent<R1, E1, B>(that: IO<R1, E1, B>, __tsplusTrace?: string): <R, E, A>(self: import("../definition").IO<R, E, A>) => import("../definition").IO<R1 | R, E1 | E, readonly [A, B]>;
+/**
+ * @tsplus pipeable fncts.io.IO zipWithConcurrent
+ * @tsplus location "@fncts/io/IO/api/zipConcurrent"
+ */
+export declare function zipWithConcurrent<A, R1, E1, B, C>(that: IO<R1, E1, B>, f: (a: A, b: B) => C, __tsplusTrace?: string): <R, E>(self: import("../definition").IO<R, E, A>) => import("../definition").IO<R1 | R, E1 | E, C>;