@fncts/io 0.0.11 → 0.0.14

package/Channel/core-api.d.ts

@@ -1,42 +1,42 @@
-import { Lazy } from "@fncts/base/data/function";
-import { Cause } from "@fncts/base/data/Cause";
+import { Lazy } from "@fncts/base/data/function/definition";
+import { Cause } from "@fncts/base/data/Cause/definition";
 import { Channel } from "@fncts/io/Channel";
 /**
  * Halt a channel with the specified cause
  * @tsplus static fncts.io.ChannelOps failCause
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function failCause<E>(result: Lazy<Cause<E>>): Channel<unknown, unknown, unknown, unknown, E, never, never>;
+export declare function failCause<E>(result: Lazy<Cause<E>>): Channel<never, unknown, unknown, unknown, E, never, never>;
 /**
  * Halt a channel with the specified cause
  * @tsplus static fncts.io.ChannelOps failCauseNow
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function failCauseNow<E>(result: Cause<E>): Channel<unknown, unknown, unknown, unknown, E, never, never>;
+export declare function failCauseNow<E>(result: Cause<E>): Channel<never, unknown, unknown, unknown, E, never, never>;
 /**
  * End a channel with the specified result
  * @tsplus static fncts.io.ChannelOps end
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function end<OutDone>(result: Lazy<OutDone>): Channel<unknown, unknown, unknown, unknown, never, never, OutDone>;
+export declare function end<OutDone>(result: Lazy<OutDone>): Channel<never, unknown, unknown, unknown, never, never, OutDone>;
 /**
  * End a channel with the specified result
  * @tsplus static fncts.io.ChannelOps endNow
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function endNow<OutDone>(result: OutDone): Channel<unknown, unknown, unknown, unknown, never, never, OutDone>;
+export declare function endNow<OutDone>(result: OutDone): Channel<never, unknown, unknown, unknown, never, never, OutDone>;
 /**
  * End a channel with the specified result
  * @tsplus static fncts.io.ChannelOps succeed
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function succeed<Z>(z: Lazy<Z>): Channel<unknown, unknown, unknown, unknown, never, never, Z>;
+export declare function succeed<Z>(z: Lazy<Z>): Channel<never, unknown, unknown, unknown, never, never, Z>;
 /**
  * End a channel with the specified result
  * @tsplus static fncts.io.ChannelOps succeedNow
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function succeedNow<Z>(z: Z): Channel<unknown, unknown, unknown, unknown, never, never, Z>;
+export declare function succeedNow<Z>(z: Z): Channel<never, unknown, unknown, unknown, never, never, Z>;
 /**
  * Returns a new channel, which is the same as this one, except the terminal value of the
  * returned channel is created by applying the specified function to the terminal value of this
@@ -53,21 +53,21 @@ export declare function map_<Env, InErr, InElem, InDone, OutErr, OutElem, OutDon
  * @tsplus fluent fncts.io.Channel flatMap
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function flatMap_<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone2>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, f: (d: OutDone) => Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone2>): Channel<Env & Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, OutDone2>;
+export declare function flatMap_<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone2>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, f: (d: OutDone) => Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone2>): Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, OutDone2>;
 /**
  * Returns a new channel that is the sequential composition of this channel and the specified
  * channel. The returned channel terminates with a tuple of the terminal values of both channels.
  * @tsplus fluent fncts.io.Channel cross
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function cross_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env & Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, readonly [OutDone, OutDone1]>;
+export declare function cross_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, readonly [OutDone, OutDone1]>;
 /**
  * Returns a new channel that is the sequential composition of this channel and the specified
  * channel. The returned channel terminates with the terminal value of this channel.
  * @tsplus fluent fncts.io.Channel apFirst
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function apFirst_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env & Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, OutDone>;
+export declare function apFirst_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, OutDone>;
 /**
  * Returns a new channel that is the sequential composition of this channel and the specified
  * channel. The returned channel terminates with the terminal value of the other channel.
@@ -75,4 +75,4 @@ export declare function apFirst_<Env, Env1, InErr, InErr1, InElem, InElem1, InDo
  * @tsplus operator fncts.io.Channel >
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function apSecond_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env & Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1 | OutErr, OutElem1 | OutElem, OutDone1>;
+export declare function apSecond_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1 | OutErr, OutElem1 | OutElem, OutDone1>;

package/Channel/definition.d.ts

@@ -1,7 +1,7 @@
-import { Cause } from "@fncts/base/data/Cause";
-import { Exit } from "@fncts/base/data/Exit";
+import { Cause } from "@fncts/base/data/Cause/definition";
+import { Exit } from "@fncts/base/data/Exit/definition";
 import { URIO, IO } from "@fncts/io/IO/definition";
-import { Environment } from "@fncts/base/data/Environment";
+import { Environment } from "@fncts/base/data/Environment/definition";
 import type { ChildExecutorDecision } from "./ChildExecutorDecision.js";
 import type { AsyncInputProducer } from "./internal/AsyncInputProducer.js";
 import type { UpstreamPullRequest } from "./UpstreamPullRequest.js";
@@ -28,34 +28,48 @@ export declare const enum ChannelTag {
  * @tsplus companion fncts.io.ChannelOps
  */
 export declare abstract class Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone> {
-    readonly _Env: (_: Env) => void;
-    readonly _InErr: (_: InErr) => void;
-    readonly _InElem: (_: InElem) => void;
-    readonly _InDone: (_: InDone) => void;
-    readonly _OutErr: () => OutErr;
-    readonly _OutElem: () => OutElem;
-    readonly _OutDone: () => OutDone;
+    _Env: () => Env;
+    _InErr: (_: InErr) => void;
+    _InElem: (_: InElem) => void;
+    _InDone: (_: InDone) => void;
+    _OutErr: () => OutErr;
+    _OutElem: () => OutElem;
+    _OutDone: () => OutDone;
 }
 /**
  * @tsplus unify fncts.io.Channel
  */
 export declare function unifyChannel<X extends Channel<any, any, any, any, any, any, any>>(_: X): Channel<[
     X
-] extends [Channel<infer Env, any, any, any, any, any, any>] ? Env : never, [
+] extends [{
+    _Env: () => infer Env;
+}] ? Env : never, [
     X
-] extends [Channel<any, infer InErr, any, any, any, any, any>] ? InErr : never, [
+] extends [{
+    _InErr: (_: infer InErr) => void;
+}] ? InErr : never, [
     X
-] extends [Channel<any, any, infer InElem, any, any, any, any>] ? InElem : never, [
+] extends [{
+    _InElem: (_: infer InElem) => void;
+}] ? InElem : never, [
     X
-] extends [Channel<any, any, any, infer InDone, any, any, any>] ? InDone : never, [
+] extends [{
+    _InDone: (_: infer InDone) => void;
+}] ? InDone : never, [
     X
-] extends [Channel<any, any, any, any, infer OutErr, any, any>] ? OutErr : never, [
+] extends [{
+    _OutErr: () => infer OutErr;
+}] ? OutErr : never, [
     X
-] extends [Channel<any, any, any, any, any, infer OutElem, any>] ? OutElem : never, [
+] extends [{
+    _OutElem: () => infer OutElem;
+}] ? OutElem : never, [
     X
-] extends [Channel<any, any, any, any, any, any, infer OutDone>] ? OutDone : never>;
+] extends [{
+    _OutDone: () => infer OutDone;
+}] ? OutDone : never>;
 export declare abstract class Continuation<Env, InErr, InElem, InDone, OutErr, OutErr2, OutElem, OutDone, OutDone2> {
-    readonly _Env: (_: Env) => void;
+    readonly _Env: () => Env;
     readonly _InErr: (_: InErr) => void;
     readonly _InElem: (_: InElem) => void;
     readonly _InDone: (_: InDone) => void;
@@ -99,12 +113,12 @@ export declare class Read<Env, InErr, InElem, InDone, OutErr, OutErr2, OutElem,
     readonly _tag = ChannelTag.Read;
     constructor(more: (_: InElem) => Channel<Env, InErr, InElem, InDone, OutErr2, OutElem, OutDone2>, done: ContinuationK<Env, InErr, InElem, InDone, OutErr, OutErr2, OutElem, OutDone, OutDone2>);
 }
-export declare class Done<OutDone> extends Channel<unknown, unknown, unknown, unknown, never, never, OutDone> {
+export declare class Done<OutDone> extends Channel<never, unknown, unknown, unknown, never, never, OutDone> {
     readonly terminal: () => OutDone;
     readonly _tag = ChannelTag.Done;
     constructor(terminal: () => OutDone);
 }
-export declare class Fail<OutErr> extends Channel<unknown, unknown, unknown, unknown, OutErr, never, never> {
+export declare class Fail<OutErr> extends Channel<never, unknown, unknown, unknown, OutErr, never, never> {
     readonly cause: () => Cause<OutErr>;
     readonly _tag = ChannelTag.Halt;
     constructor(cause: () => Cause<OutErr>);
@@ -141,13 +155,13 @@ export declare class BracketOut<R, E, Z, OutDone> extends Channel<R, unknown, un
     readonly _tag = ChannelTag.BracketOut;
     constructor(acquire: IO<R, E, Z>, finalizer: (_: Z, exit: Exit<any, any>) => URIO<R, any>);
 }
-export declare class Provide<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone> extends Channel<unknown, InErr, InElem, InDone, OutErr, OutElem, OutDone> {
+export declare class Provide<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone> extends Channel<never, InErr, InElem, InDone, OutErr, OutElem, OutDone> {
     readonly environment: Environment<Env>;
     readonly inner: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
     readonly _tag = ChannelTag.Provide;
     constructor(environment: Environment<Env>, inner: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>);
 }
-export declare class Emit<OutElem, OutDone> extends Channel<unknown, unknown, unknown, unknown, never, OutElem, OutDone> {
+export declare class Emit<OutElem, OutDone> extends Channel<never, unknown, unknown, unknown, never, OutElem, OutDone> {
     readonly out: () => OutElem;
     readonly _tag = ChannelTag.Emit;
     constructor(out: () => OutElem);

package/Channel/internal/AsyncInputConsumer.d.ts

@@ -1,4 +1,4 @@
-import { Cause } from "@fncts/base/data/Cause";
+import { Cause } from "@fncts/base/data/Cause/definition";
 import { UIO } from "@fncts/io/IO/definition";
 /**
  * Consumer-side view of `SingleProducerAsyncInput` for variance purposes.

package/Channel/internal/AsyncInputProducer.d.ts

@@ -1,5 +1,5 @@
 import { UIO } from "@fncts/io/IO/definition";
-import { Cause } from "@fncts/base/data/Cause";
+import { Cause } from "@fncts/base/data/Cause/definition";
 export interface AsyncInputProducer<Err, Elem, Done> {
     emit(el: Elem): UIO<unknown>;
     done(a: Done): UIO<unknown>;

package/Channel/internal/ChannelExecutor.d.ts

@@ -1,11 +1,11 @@
 import { Channel } from "@fncts/io/Channel";
-import { Exit } from "@fncts/base/data/Exit";
+import { Exit } from "@fncts/base/data/Exit/definition";
 import { URIO, IO } from "@fncts/io/IO/definition";
-import { List, Nil } from "@fncts/base/collection/immutable/List";
-import { Environment } from "@fncts/base/data/Environment";
-import { Cause } from "@fncts/base/data/Cause";
+import { List, Nil } from "@fncts/base/collection/immutable/List/definition";
+import { Environment } from "@fncts/base/data/Environment/definition";
+import { Cause } from "@fncts/base/data/Cause/definition";
 import { ListBuffer } from "@fncts/base/collection/mutable/ListBuffer";
-import { Maybe } from "@fncts/base/data/Maybe";
+import { Maybe } from "@fncts/base/data/Maybe/definition";
 import type { ChannelState } from "@fncts/io/Channel/internal/ChannelState";
 import * as State from "@fncts/io/Channel/internal/ChannelState";
 export declare type ErasedExecutor<R> = ChannelExecutor<R, unknown, unknown, unknown, unknown, unknown, unknown>;

package/Channel/internal/ChannelState.d.ts

@@ -1,5 +1,5 @@
 import { UIO, IO } from "@fncts/io/IO/definition";
-import { Exit } from "@fncts/base/data/Exit";
+import { Exit } from "@fncts/base/data/Exit/definition";
 import type { ErasedExecutor } from "@fncts/io/Channel/internal/ChannelExecutor";
 export declare const enum ChannelStateTag {
     Emit = "Emit",

package/Channel/internal/MergeDecision.d.ts

@@ -1,5 +1,5 @@
 import { IO } from "@fncts/io/IO/definition";
-import { Exit } from "@fncts/base/data/Exit";
+import { Exit } from "@fncts/base/data/Exit/definition";
 export declare const enum MergeDecisionTag {
     Done = "Done",
     Await = "Await"
@@ -12,7 +12,7 @@ export declare type MergeDecisionTypeId = typeof MergeDecisionTypeId;
  */
 export declare abstract class MergeDecision<R, E0, Z0, E, Z> {
     readonly _typeId: MergeDecisionTypeId;
-    readonly _R: (_: R) => void;
+    readonly _R: () => R;
     readonly _E0: (_: E0) => void;
     readonly _Z0: (_: Z0) => void;
     readonly _E: () => E;

package/Channel/internal/MergeState.d.ts

@@ -1,6 +1,6 @@
 import { Fiber } from "@fncts/io/Fiber/definition";
-import { Either } from "@fncts/base/data/Either";
-import { Exit } from "@fncts/base/data/Exit";
+import { Either } from "@fncts/base/data/Either/definition";
+import { Exit } from "@fncts/base/data/Exit/definition";
 import { IO } from "@fncts/io/IO/definition";
 export declare const enum MergeStateTag {
     BothRunning = "BothRunning",

package/Channel/internal/SingleProducerAsyncInput.d.ts

@@ -1,10 +1,10 @@
-import { Cause } from "@fncts/base/data/Cause";
+import { Cause } from "@fncts/base/data/Cause/definition";
 import { Future } from "@fncts/io/Future";
-import { Either } from "@fncts/base/data/Either";
+import { Either } from "@fncts/base/data/Either/definition";
 import { Ref } from "@fncts/io/Ref";
 import { UIO, IO } from "@fncts/io/IO/definition";
-import { Maybe } from "@fncts/base/data/Maybe";
-import { Exit } from "@fncts/base/data/Exit";
+import { Maybe } from "@fncts/base/data/Maybe/definition";
+import { Exit } from "@fncts/base/data/Exit/definition";
 import type { AsyncInputConsumer } from "@fncts/io/Channel/internal/AsyncInputConsumer";
 import type { AsyncInputProducer } from "@fncts/io/Channel/internal/AsyncInputProducer";
 import { Queue } from "@fncts/base/collection/immutable/Queue";
@@ -61,7 +61,7 @@ export declare class SingleProducerAsyncInput<Err, Elem, Done> implements AsyncI
     error(cause: Cause<Err>): UIO<unknown>;
     takeWith<X>(onError: (cause: Cause<Err>) => X, onElement: (element: Elem) => X, onDone: (done: Done) => X): UIO<X>;
     take: import("../../IO").UIO<import("@fncts/base/data/Exit").Exit<import("@fncts/base/data/Either").Either<Err, Done>, Elem>>;
-    close: import("../../IO").IO<unknown, never, unknown>;
+    close: import("../../IO").IO<never, never, unknown>;
     awaitRead: UIO<void>;
 }
 /**

package/Clock/api.d.ts

@@ -1,11 +1,11 @@
-import { Lazy } from "@fncts/base/data/function";
-import { Duration } from "@fncts/base/data/Duration";
+import { Lazy } from "@fncts/base/data/function/definition";
+import { Duration } from "@fncts/base/data/Duration/definition";
 import { UIO } from "@fncts/io/IO/definition";
 /**
  * @tsplus static fncts.io.ClockOps currentTime
  * @tsplus location "@fncts/io/Clock/api"
  */
-export declare const currentTime: import("../IO").IO<unknown, never, number>;
+export declare const currentTime: import("../IO").IO<never, never, number>;
 /**
  * @tsplus static fncts.io.ClockOps sleep
  * @tsplus location "@fncts/io/Clock/api"

package/Clock/definition.d.ts

@@ -1,6 +1,6 @@
 import { UIO } from "@fncts/io/IO/definition";
-import { Lazy } from "@fncts/base/data/function";
-import { Duration } from "@fncts/base/data/Duration";
+import { Lazy } from "@fncts/base/data/function/definition";
+import { Duration } from "@fncts/base/data/Duration/definition";
 /**
  * @tsplus type fncts.io.Clock
  * @tsplus companion fncts.io.ClockOps

package/Clock/live.d.ts

@@ -1,8 +1,8 @@
 import { Clock } from "@fncts/io/Clock/definition";
 import { UIO, IO } from "@fncts/io/IO/definition";
-import { Lazy } from "@fncts/base/data/function";
-import { Duration } from "@fncts/base/data/Duration";
-import { Either } from "@fncts/base/data/Either";
+import { Lazy } from "@fncts/base/data/function/definition";
+import { Duration } from "@fncts/base/data/Duration/definition";
+import { Either } from "@fncts/base/data/Either/definition";
 /**
  * @tsplus static fncts.io.ClockOps Live
  * @tsplus location "@fncts/io/Clock/live"

package/Console/api.d.ts

@@ -8,4 +8,4 @@ export declare function show(...data: unknown[]): UIO<void>;
  * @tsplus static fncts.io.ConsoleOps print
  * @tsplus location "@fncts/io/Console/api"
  */
-export declare function print(line: string): UIO<void>;
+export declare function print(line: string, __tsplusTrace?: string): UIO<void>;

package/Fiber/FiberContext.d.ts

@@ -1,9 +1,9 @@
-import { HashMap } from "@fncts/base/collection/immutable/HashMap";
+import { HashMap } from "@fncts/base/collection/immutable/HashMap/definition";
 import { FiberRef } from "@fncts/io/FiberRef/definition";
-import { Cons, List, Nil } from "@fncts/base/collection/immutable/List";
-import { FiberId } from "@fncts/base/data/FiberId";
+import { Cons, List, Nil } from "@fncts/base/collection/immutable/List/definition";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
 import { IO, UIO } from "@fncts/io/IO/definition";
-import { Maybe, Nothing, Just } from "@fncts/base/data/Maybe";
+import { Maybe, Nothing, Just } from "@fncts/base/data/Maybe/definition";
 import { Fiber } from "@fncts/io/Fiber/definition";
 import { Hashable } from "@fncts/base/typeclass/Hashable";
 import { Equatable } from "@fncts/base/typeclass/Equatable";
@@ -12,11 +12,11 @@ import { RuntimeConfig, RuntimeConfigFlag } from "@fncts/io/RuntimeConfig";
 import { FiberRefs } from "@fncts/io/FiberRefs";
 import { Conc, ConcBuilder } from "@fncts/base/collection/immutable/Conc";
 import { Future } from "@fncts/io/Future";
-import { Exit } from "@fncts/base/data/Exit";
-import { Either } from "@fncts/base/data/Either";
-import { FiberScope } from "@fncts/io/FiberScope/definition";
+import { Exit } from "@fncts/base/data/Exit/definition";
+import { Either } from "@fncts/base/data/Either/definition";
+import { FiberScope } from "@fncts/io/FiberScope";
 import { Trace } from "@fncts/base/data/Trace/definition";
-import { Cause } from "@fncts/base/data/Cause";
+import { Cause } from "@fncts/base/data/Cause/definition";
 import { InterruptStatus } from "@fncts/io/InterruptStatus";
 import { isInterruptedException, IllegalStateError } from "@fncts/base/data/exceptions";
 import { FiberDescriptor } from "@fncts/io/FiberDescriptor";
@@ -50,11 +50,11 @@ export declare class TracedCont {
     constructor(apply: ErasedCont, trace?: string | undefined);
 }
 export declare class Finalizer {
-    readonly finalizer: UIO<any>;
+    readonly finalizer: IO<any, never, any>;
     readonly apply: ErasedCont;
     readonly trace?: string | undefined;
     readonly _tag = "Finalizer";
-    constructor(finalizer: UIO<any>, apply: ErasedCont, trace?: string | undefined);
+    constructor(finalizer: IO<any, never, any>, apply: ErasedCont, trace?: string | undefined);
 }
 export declare type Frame = InterruptExit | Match<any, any, any, any, any, any, any, any, any> | HandlerFrame | TracedCont | Finalizer;
 export declare const currentFiber: AtomicReference<FiberContext<any, any> | null>;
@@ -82,7 +82,7 @@ export declare class FiberContext<E, A> implements Fiber.Runtime<E, A>, Hashable
     nextIO: Instruction | null;
     private currentSupervisor;
     constructor(fiberId: FiberId.Runtime, runtimeConfig: RuntimeConfig, interruptStatus: Stack<boolean>, fiberRefLocals: FiberRefLocals, _children: Set<FiberContext<unknown, unknown>>);
-    get poll(): import("@fncts/io/IO/definition").UIO<import("@fncts/base/data/Maybe").Maybe<import("@fncts/base/data/Exit").Success<A> | import("@fncts/base/data/Exit").Failure<E>>>;
+    get poll(): import("@fncts/io/IO/definition").UIO<import("@fncts/base/data/Maybe").Maybe<import("@fncts/base/data/Exit").Exit<E, A>>>;
     get inheritRefs(): UIO<void>;
     get id(): import("@fncts/base/data/FiberId").Runtime;
     awaitAsync(k: FiberState.Callback<E, A>): void;
@@ -107,7 +107,7 @@ export declare class FiberContext<E, A> implements Fiber.Runtime<E, A>, Hashable
     private unsafeGetRefs;
     private unsafeSetRef;
     private unsafeDeleteRef;
-    private unsafePoll;
+    unsafePoll(): import("@fncts/base/data/Maybe").Maybe<import("@fncts/base/data/Exit").Exit<E, A>>;
     private interruptExit;
     private unsafeAddFinalizer;
     private get unsafeIsInterruptible();

package/Fiber/api/await.d.ts

@@ -1,8 +1,8 @@
 import { Fiber } from "@fncts/io/Fiber/definition";
 import { UIO } from "@fncts/io/IO/definition";
-import { Exit } from "@fncts/base/data/Exit";
+import { Exit } from "@fncts/base/data/Exit/definition";
 /**
  * @tsplus getter fncts.io.Fiber await
  * @tsplus location "@fncts/io/Fiber/api/await"
  */
-export declare function wait<E, A>(fiber: Fiber<E, A>): UIO<Exit<E, A>>;
+export declare function wait<E, A>(fiber: Fiber<E, A>, __tsplusTrace?: string): UIO<Exit<E, A>>;

package/Fiber/api/awaitAll.d.ts

@@ -1,10 +1,10 @@
 import { Fiber } from "@fncts/io/Fiber/definition";
 import { IO } from "@fncts/io/IO/definition";
-import { Exit } from "@fncts/base/data/Exit";
+import { Exit } from "@fncts/base/data/Exit/definition";
 import { Conc } from "@fncts/base/collection/immutable/Conc";
 /**
  * Awaits on all fibers to be completed, successfully or not.
  * @tsplus static fncts.io.FiberOps awaitAll
  * @tsplus location "@fncts/io/Fiber/api/awaitAll"
  */
-export declare function awaitAll<E, A>(as: Iterable<Fiber<E, A>>): IO<unknown, never, Exit<E, Conc<A>>>;
+export declare function awaitAll<E, A>(as: Iterable<Fiber<E, A>>, __tsplusTrace?: string): IO<never, never, Exit<E, Conc<A>>>;

package/Fiber/api/children.d.ts

@@ -5,4 +5,4 @@ import { Conc } from "@fncts/base/collection/immutable/Conc";
  * @tsplus getter fncts.io.Fiber children
  * @tsplus location "@fncts/io/Fiber/api/children"
  */
-export declare function children<E, A>(self: Fiber<E, A>): UIO<Conc<Fiber.Runtime<any, any>>>;
+export declare function children<E, A>(self: Fiber<E, A>, __tsplusTrace?: string): UIO<Conc<Fiber.Runtime<any, any>>>;

package/Fiber/api/collectAll.d.ts

@@ -1,11 +1,11 @@
 import { Fiber } from "@fncts/io/Fiber/definition";
 import { Conc } from "@fncts/base/collection/immutable/Conc";
-import { FiberId } from "@fncts/base/data/FiberId";
-import { Exit } from "@fncts/base/data/Exit";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
+import { Exit } from "@fncts/base/data/Exit/definition";
 /**
  * Collects all fibers into a single fiber producing an in-order list of the
  * results.
  * @tsplus static fncts.io.FiberOps sequenceIterable
  * @tsplus location "@fncts/io/Fiber/api/collectAll"
  */
-export declare function sequenceIterable<E, A>(fibers: Iterable<Fiber<E, A>>): Fiber.Synthetic<E, Conc<A>>;
+export declare function sequenceIterable<E, A>(fibers: Iterable<Fiber<E, A>>, __tsplusTrace?: string): Fiber.Synthetic<E, Conc<A>>;

package/Fiber/api/evalOn.d.ts

@@ -4,4 +4,4 @@ import { UIO } from "@fncts/io/IO/definition";
  * @tsplus fluent fncts.io.Fiber evalOn
  * @tsplus location "@fncts/io/Fiber/api/evalOn"
  */
-export declare function evalOn_<E, A>(fiber: Fiber<E, A>, effect: UIO<any>, orElse: UIO<any>): UIO<void>;
+export declare function evalOn_<E, A>(fiber: Fiber<E, A>, effect: UIO<any>, orElse: UIO<any>, __tsplusTrace?: string): UIO<void>;

package/Fiber/api/evalOnIO.d.ts

@@ -6,4 +6,4 @@ import { IO } from "@fncts/io/IO/definition";
  * @tsplus fluent fncts.io.Fiber evalOnIO
  * @tsplus location "@fncts/io/Fiber/api/evalOnIO"
  */
-export declare function evalOnIO_<E, A, R1, E1, B, R2, E2, C>(fiber: Fiber<E, A>, effect: IO<R1, E1, B>, orElse: IO<R2, E2, C>): IO<R1 & R2, E1 | E2, B | C>;
+export declare function evalOnIO_<E, A, R1, E1, B, R2, E2, C>(fiber: Fiber<E, A>, effect: IO<R1, E1, B>, orElse: IO<R2, E2, C>, __tsplusTrace?: string): IO<R1 | R2, E1 | E2, B | C>;

package/Fiber/api/fromIO.d.ts

@@ -5,4 +5,4 @@ import { Fiber } from "@fncts/io/Fiber/definition";
  * @tsplus static fncts.io.FiberOps fromIO
  * @tsplus location "@fncts/io/Fiber/api/fromIO"
  */
-export declare function fromIO<E, A>(effect: FIO<E, A>): UIO<Fiber<E, A>>;
+export declare function fromIO<E, A>(effect: FIO<E, A>, __tsplusTrace?: string): UIO<Fiber<E, A>>;

package/Fiber/api/id.d.ts

@@ -1,7 +1,7 @@
 import { Fiber } from "@fncts/io/Fiber/definition";
-import { FiberId } from "@fncts/base/data/FiberId";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
 /**
  * @tsplus getter fncts.io.Fiber id
  * @tsplus location "@fncts/io/Fiber/api/id"
  */
-export declare function id<E, A>(self: Fiber<E, A>): FiberId;
+export declare function id<E, A>(self: Fiber<E, A>, __tsplusTrace?: string): FiberId;

package/Fiber/api/inheritRefs.d.ts

@@ -4,4 +4,4 @@ import { UIO } from "@fncts/io/IO/definition";
  * @tsplus getter fncts.io.Fiber inheritRefs
  * @tsplus location "@fncts/io/Fiber/api/inheritRefs"
  */
-export declare function inheritRefs<E, A>(fiber: Fiber<E, A>): UIO<void>;
+export declare function inheritRefs<E, A>(fiber: Fiber<E, A>, __tsplusTrace?: string): UIO<void>;

package/Fiber/api/interrupt.d.ts

@@ -1,6 +1,6 @@
 import { Fiber } from "@fncts/io/Fiber/definition";
 import { UIO } from "@fncts/io/IO/definition";
-import { Exit } from "@fncts/base/data/Exit";
+import { Exit } from "@fncts/base/data/Exit/definition";
 /**
  * Interrupts the fiber from whichever fiber is calling this method. If the
  * fiber has already exited, the returned effect will resume immediately.
@@ -8,4 +8,4 @@ import { Exit } from "@fncts/base/data/Exit";
  * @tsplus getter fncts.io.Fiber interrupt
  * @tsplus location "@fncts/io/Fiber/api/interrupt"
  */
-export declare function interrupt<E, A>(fiber: Fiber<E, A>): UIO<Exit<E, A>>;
+export declare function interrupt<E, A>(fiber: Fiber<E, A>, __tsplusTrace?: string): UIO<Exit<E, A>>;

package/Fiber/api/interruptAll.d.ts

@@ -1,15 +1,15 @@
 import { Fiber } from "@fncts/io/Fiber/definition";
-import { FiberId } from "@fncts/base/data/FiberId";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
 import { UIO } from "@fncts/io/IO/definition";
 /**
  * Interrupts all fibers as by the specified fiber, awaiting their interruption.
  * @tsplus static fncts.io.FiberOps interruptAllAs
  * @tsplus location "@fncts/io/Fiber/api/interruptAll"
  */
-export declare function interruptAllAs_(fs: Iterable<Fiber<any, any>>, id: FiberId): UIO<void>;
+export declare function interruptAllAs_(fs: Iterable<Fiber<any, any>>, id: FiberId, __tsplusTrace?: string): UIO<void>;
 /**
  * Interrupts all fibers and awaits their interruption
  * @tsplus static fncts.io.FiberOps interruptAll
  * @tsplus location "@fncts/io/Fiber/api/interruptAll"
  */
-export declare function interruptAll(fs: Iterable<Fiber<any, any>>): UIO<void>;
+export declare function interruptAll(fs: Iterable<Fiber<any, any>>, __tsplusTrace?: string): UIO<void>;

package/Fiber/api/interruptAs.d.ts

@@ -1,9 +1,9 @@
 import { Fiber } from "@fncts/io/Fiber/definition";
-import { FiberId } from "@fncts/base/data/FiberId";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
 import { UIO } from "@fncts/io/IO/definition";
-import { Exit } from "@fncts/base/data/Exit";
+import { Exit } from "@fncts/base/data/Exit/definition";
 /**
  * @tsplus fluent fncts.io.Fiber interruptAs
  * @tsplus location "@fncts/io/Fiber/api/interruptAs"
  */
-export declare function interruptAs<E, A>(self: Fiber<E, A>, fiberId: FiberId): UIO<Exit<E, A>>;
+export declare function interruptAs<E, A>(self: Fiber<E, A>, fiberId: FiberId, __tsplusTrace?: string): UIO<Exit<E, A>>;

package/Fiber/api/join.d.ts

@@ -9,4 +9,4 @@ import { FIO } from "@fncts/io/IO/definition";
  * @tsplus getter fncts.io.Fiber join
  * @tsplus location "@fncts/io/Fiber/api/join"
  */
-export declare function join<E, A>(fiber: Fiber<E, A>): FIO<E, A>;
+export declare function join<E, A>(fiber: Fiber<E, A>, __tsplusTrace?: string): FIO<E, A>;

package/Fiber/api/joinAll.d.ts

@@ -8,4 +8,4 @@ import { Conc } from "@fncts/base/collection/immutable/Conc";
  * @tsplus static fncts.io.FiberOps joinAll
  * @tsplus location "@fncts/io/Fiber/api/joinAll"
  */
-export declare function joinAll<E, A>(as: Iterable<Fiber<E, A>>): IO<unknown, E, Conc<A>>;
+export declare function joinAll<E, A>(as: Iterable<Fiber<E, A>>, __tsplusTrace?: string): IO<never, E, Conc<A>>;

package/Fiber/api/mapFiber.d.ts

@@ -6,4 +6,4 @@ import { UIO } from "@fncts/io/IO/definition";
  * @tsplus fluent fncts.io.Fiber mapFiber
  * @tsplus location "@fncts/io/Fiber/api/mapFiber"
  */
-export declare function mapFiber_<A, E, E1, A1>(fiber: Fiber<E, A>, f: (a: A) => Fiber<E1, A1>): UIO<Fiber<E | E1, A1>>;
+export declare function mapFiber_<A, E, E1, A1>(fiber: Fiber<E, A>, f: (a: A) => Fiber<E1, A1>, __tsplusTrace?: string): UIO<Fiber<E | E1, A1>>;

package/Fiber/api/mapIO.d.ts

@@ -5,10 +5,10 @@ import { FIO } from "@fncts/io/IO/definition";
  * @tsplus fluent fncts.io.Fiber mapIO
  * @tsplus location "@fncts/io/Fiber/api/mapIO"
  */
-export declare function mapIO_<E, E1, A, B>(fiber: Fiber<E, A>, f: (a: A) => FIO<E1, B>): Fiber<E | E1, B>;
+export declare function mapIO_<E, E1, A, B>(fiber: Fiber<E, A>, f: (a: A) => FIO<E1, B>, __tsplusTrace?: string): Fiber<E | E1, B>;
 /**
  * Maps over the value the fiber computes.
  * @tsplus fluent fncts.io.Fiber map
  * @tsplus location "@fncts/io/Fiber/api/mapIO"
  */
-export declare function map_<E, A, B>(fa: Fiber<E, A>, f: (a: A) => B): Fiber<E, B>;
+export declare function map_<E, A, B>(fa: Fiber<E, A>, f: (a: A) => B, __tsplusTrace?: string): Fiber<E, B>;

package/Fiber/api/poll.d.ts

@@ -1,9 +1,9 @@
 import { Fiber } from "@fncts/io/Fiber/definition";
 import { UIO } from "@fncts/io/IO/definition";
-import { Maybe } from "@fncts/base/data/Maybe";
-import { Exit } from "@fncts/base/data/Exit";
+import { Maybe } from "@fncts/base/data/Maybe/definition";
+import { Exit } from "@fncts/base/data/Exit/definition";
 /**
  * @tsplus getter fncts.io.Fiber poll
  * @tsplus location "@fncts/io/Fiber/api/poll"
  */
-export declare function poll<E, A>(self: Fiber<E, A>): UIO<Maybe<Exit<E, A>>>;
+export declare function poll<E, A>(self: Fiber<E, A>, __tsplusTrace?: string): UIO<Maybe<Exit<E, A>>>;

package/Fiber/api/zipWith.d.ts

@@ -6,4 +6,4 @@ import { Fiber } from "@fncts/io/Fiber/definition";
  * @tsplus fluent fncts.io.Fiber zipWith
  * @tsplus location "@fncts/io/Fiber/api/zipWith"
  */
-export declare function zipWith_<E, A, E1, B, C>(self: Fiber<E, A>, that: Fiber<E1, B>, f: (a: A, b: B) => C): Fiber<E | E1, C>;
+export declare function zipWith_<E, A, E1, B, C>(self: Fiber<E, A>, that: Fiber<E1, B>, f: (a: A, b: B) => C, __tsplusTrace?: string): Fiber<E | E1, C>;