@fncts/io 0.0.47 → 0.0.49

package/Cached/api.d.ts

@@ -8,7 +8,7 @@ import { Exit } from "@fncts/base/data/Exit/definition";
  * @tsplus static fncts.io.CachedOps auto
  * @tsplus location "@fncts/io/Cached/api"
  */
-export declare function auto<R, Error, Resource>(acquire: IO<R, Error, Resource>, policy: Schedule<any, any, any>, __tsplusTrace?: string): IO<R | Scope, never, Cached<Error, Resource>>;
+export declare function auto<R, Error, Resource, R2, E2, O>(acquire: IO<R, Error, Resource>, policy: Schedule<R2, E2, O>, __tsplusTrace?: string): IO<R | R2 | Scope, never, Cached<Error, Resource>>;
 /**
  * @tsplus getter fncts.io.Cached get
  * @tsplus location "@fncts/io/Cached/api"

package/Channel/api.d.ts

@@ -1,7 +1,7 @@
-import { Lazy } from "@fncts/base/data/function/definition";
-import { Environment } from "@fncts/base/data/Environment/definition";
 import { IO, URIO } from "@fncts/io/IO/definition";
 import { Exit } from "@fncts/base/data/Exit/definition";
+import { Lazy } from "@fncts/base/data/function/definition";
+import { Environment } from "@fncts/base/data/Environment/definition";
 import { Predicate } from "@fncts/base/data/Predicate/definition";
 import { Ref } from "@fncts/io/Ref/definition";
 import { Conc, ConcBuilder } from "@fncts/base/collection/immutable/Conc";
@@ -19,46 +19,46 @@ import { ChildExecutorDecision } from "@fncts/io/Channel/ChildExecutorDecision";
 import { Channel } from "@fncts/io/Channel/definition";
 import { UpstreamPullStrategy } from "@fncts/io/Channel/UpstreamPullStrategy";
 /**
- * Returns a new channel that is the same as this one, except the terminal value of the channel
- * is the specified constant value.
- *
- * This method produces the same result as mapping this channel to the specified constant value.
- * @tsplus pipeable fncts.io.Channel as
+ * @tsplus static fncts.io.ChannelOps acquireReleaseExitWith
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function as_<OutDone2>(z2: Lazy<OutDone2>): <Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone2>;
+export declare function acquireReleaseExitWith<Env, InErr, InElem, InDone, OutErr, OutElem1, OutDone, Acquired>(acquire: IO<Env, OutErr, Acquired>, use: (a: Acquired) => Channel<Env, InErr, InElem, InDone, OutErr, OutElem1, OutDone>, release: (a: Acquired, exit: Exit<OutErr, OutDone>) => URIO<Env, any>): Channel<Env, InErr, InElem, InDone, OutErr, OutElem1, OutDone>;
 /**
- * @tsplus static fncts.io.ChannelOps ask
+ * Construct a resource Channel with Acquire / Release
+ * @tsplus static fncts.io.ChannelOps acquireReleaseOutExitWith
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function ask<Env>(): Channel<Env, unknown, unknown, unknown, never, never, Environment<Env>>;
+export declare function acquireReleaseOutExitWith<R, R2, E, Z>(self: IO<R, E, Z>, release: (z: Z, e: Exit<unknown, unknown>) => URIO<R2, unknown>): Channel<R | R2, unknown, unknown, unknown, E, Z, void>;
 /**
- * @tsplus getter fncts.io.Channel asUnit
+ * Construct a resource Channel with Acquire / Release
+ * @tsplus static fncts.io.ChannelOps acquireReleaseOutWith
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function asUnit<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>): Channel<Env, InErr, InElem, InDone, OutErr, OutElem, void>;
+export declare function acquireReleaseOutWith<Env, OutErr, Acquired, Z>(acquire: IO<Env, OutErr, Acquired>, release: (a: Acquired) => URIO<Env, Z>): Channel<Env, unknown, unknown, unknown, OutErr, Acquired, void>;
 /**
  * @tsplus static fncts.io.ChannelOps acquireReleaseWith
  * @tsplus location "@fncts/io/Channel/api"
  */
 export declare function acquireReleaseWith<Env, InErr, InElem, InDone, OutErr, OutElem1, OutDone, Acquired>(acquire: IO<Env, OutErr, Acquired>, use: (a: Acquired) => Channel<Env, InErr, InElem, InDone, OutErr, OutElem1, OutDone>, release: (a: Acquired) => URIO<Env, any>): Channel<Env, InErr, InElem, InDone, OutErr, OutElem1, OutDone>;
 /**
- * @tsplus static fncts.io.ChannelOps acquireReleaseExitWith
+ * Returns a new channel that is the same as this one, except the terminal value of the channel
+ * is the specified constant value.
+ *
+ * This method produces the same result as mapping this channel to the specified constant value.
+ * @tsplus pipeable fncts.io.Channel as
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function acquireReleaseExitWith<Env, InErr, InElem, InDone, OutErr, OutElem1, OutDone, Acquired>(acquire: IO<Env, OutErr, Acquired>, use: (a: Acquired) => Channel<Env, InErr, InElem, InDone, OutErr, OutElem1, OutDone>, release: (a: Acquired, exit: Exit<OutErr, OutDone>) => URIO<Env, any>): Channel<Env, InErr, InElem, InDone, OutErr, OutElem1, OutDone>;
+export declare function as_<OutDone2>(z2: Lazy<OutDone2>): <Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone2>;
 /**
- * Construct a resource Channel with Acquire / Release
- * @tsplus static fncts.io.ChannelOps acquireReleaseOutWith
+ * @tsplus static fncts.io.ChannelOps ask
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function acquireReleaseOutWith<Env, OutErr, Acquired, Z>(acquire: IO<Env, OutErr, Acquired>, release: (a: Acquired) => URIO<Env, Z>): Channel<Env, unknown, unknown, unknown, OutErr, Acquired, void>;
+export declare function ask<Env>(): Channel<Env, unknown, unknown, unknown, never, never, Environment<Env>>;
 /**
- * Construct a resource Channel with Acquire / Release
- * @tsplus static fncts.io.ChannelOps acquireReleaseOutExitWith
+ * @tsplus getter fncts.io.Channel asUnit
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function acquireReleaseOutExitWith<R, R2, E, Z>(self: IO<R, E, Z>, release: (z: Z, e: Exit<unknown, unknown>) => URIO<R2, unknown>): Channel<R | R2, unknown, unknown, unknown, E, Z, void>;
+export declare function asUnit<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>): Channel<Env, InErr, InElem, InDone, OutErr, OutElem, void>;
 /**
  * Creates a channel backed by a buffer. When the buffer is empty, the channel will simply
  * passthrough its input as output. However, when the buffer is non-empty, the value inside
@@ -98,6 +98,20 @@ export declare function collectElements<Env, InErr, InElem, InDone, OutErr, OutE
  * @tsplus location "@fncts/io/Channel/api"
  */
 export declare function concatAll<Env, InErr, InElem, InDone, OutErr, OutElem>(channels: Channel<Env, InErr, InElem, InDone, OutErr, Channel<Env, InErr, InElem, InDone, OutErr, OutElem, any>, any>): Channel<Env, InErr, InElem, InDone, OutErr, OutElem, any>;
+/**
+ * Concat sequentially a channel of channels
+ * @tsplus pipeable fncts.io.Channel concatAllWith
+ * @tsplus location "@fncts/io/Channel/api"
+ */
+export declare function concatAllWith<OutDone, OutDone2, OutDone3>(f: (o: OutDone, o1: OutDone) => OutDone, g: (o: OutDone, o2: OutDone2) => OutDone3): <Env, InErr, InElem, InDone, OutErr, OutElem, Env2, InErr2, InElem2, InDone2, OutErr2>(channels: Channel<Env, InErr, InElem, InDone, OutErr, Channel<Env2, InErr2, InElem2, InDone2, OutErr2, OutElem, OutDone>, OutDone2>) => Channel<Env | Env2, InErr & InErr2, InElem & InElem2, InDone & InDone2, OutErr | OutErr2, OutElem, OutDone3>;
+/**
+ * Returns a new channel whose outputs are fed to the specified factory function, which creates
+ * new channels in response. These new channels are sequentially concatenated together, and all
+ * their outputs appear as outputs of the newly returned channel.
+ * @tsplus pipeable fncts.io.Channel concatMap
+ * @tsplus location "@fncts/io/Channel/api"
+ */
+export declare function concatMap<OutElem, OutElem2, OutDone, Env2, InErr2, InElem2, InDone2, OutErr2>(f: (o: OutElem) => Channel<Env2, InErr2, InElem2, InDone2, OutErr2, OutElem2, OutDone>): <Env, InErr, InElem, InDone, OutErr, OutDone2>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone2>) => Channel<Env | Env2, InErr & InErr2, InElem & InElem2, InDone & InDone2, OutErr | OutErr2, OutElem2, unknown>;
 /**
  * Returns a new channel whose outputs are fed to the specified factory function, which creates
  * new channels in response. These new channels are sequentially concatenated together, and all
@@ -119,39 +133,30 @@ export declare function concatMapWith<OutElem, OutElem2, OutDone, OutDone2, OutD
  */
 export declare function concatMapWithCustom<OutElem, OutElem2, OutDone, OutDone2, OutDone3, Env2, InErr2, InElem2, InDone2, OutErr2>(f: (o: OutElem) => Channel<Env2, InErr2, InElem2, InDone2, OutErr2, OutElem2, OutDone>, g: (o: OutDone, o1: OutDone) => OutDone, h: (o: OutDone, o2: OutDone2) => OutDone3, onPull: (_: UpstreamPullRequest<OutElem>) => UpstreamPullStrategy<OutElem2>, onEmit: (_: OutElem2) => ChildExecutorDecision): <Env, InErr, InElem, InDone, OutErr>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone2>) => Channel<Env | Env2, InErr & InErr2, InElem & InElem2, InDone & InDone2, OutErr | OutErr2, OutElem2, OutDone3>;
 /**
- * Concat sequentially a channel of channels
- * @tsplus pipeable fncts.io.Channel concatAllWith
- * @tsplus location "@fncts/io/Channel/api"
- */
-export declare function concatAllWith<OutDone, OutDone2, OutDone3>(f: (o: OutDone, o1: OutDone) => OutDone, g: (o: OutDone, o2: OutDone2) => OutDone3): <Env, InErr, InElem, InDone, OutErr, OutElem, Env2, InErr2, InElem2, InDone2, OutErr2>(channels: Channel<Env, InErr, InElem, InDone, OutErr, Channel<Env2, InErr2, InElem2, InDone2, OutErr2, OutElem, OutDone>, OutDone2>) => Channel<Env | Env2, InErr & InErr2, InElem & InElem2, InDone & InDone2, OutErr | OutErr2, OutElem, OutDone3>;
-/**
- * Returns a new channel whose outputs are fed to the specified factory function, which creates
- * new channels in response. These new channels are sequentially concatenated together, and all
- * their outputs appear as outputs of the newly returned channel.
- * @tsplus pipeable fncts.io.Channel concatMap
+ * @tsplus pipeable fncts.io.Channel contramap
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function concatMap<OutElem, OutElem2, OutDone, Env2, InErr2, InElem2, InDone2, OutErr2>(f: (o: OutElem) => Channel<Env2, InErr2, InElem2, InDone2, OutErr2, OutElem2, OutDone>): <Env, InErr, InElem, InDone, OutErr, OutDone2>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone2>) => Channel<Env | Env2, InErr & InErr2, InElem & InElem2, InDone & InDone2, OutErr | OutErr2, OutElem2, unknown>;
+export declare function contramap<InDone0, InDone>(f: (a: InDone0) => InDone): <Env, InErr, InElem, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env, InErr, InElem, InDone0, OutErr, OutElem, OutDone>;
 /**
- * @tsplus pipeable fncts.io.Channel contramap
+ * @tsplus pipeable fncts.io.Channel contramapEnvironment
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function contramap<InDone0, InDone>(f: (a: InDone0) => InDone): <Env, InErr, InElem, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env, InErr, InElem, InDone0, OutErr, OutElem, OutDone>;
+export declare function contramapEnvironment<Env, Env0>(f: (env0: Environment<Env0>) => Environment<Env>): <InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env0, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
 /**
  * @tsplus pipeable fncts.io.Channel contramapIn
  * @tsplus location "@fncts/io/Channel/api"
  */
 export declare function contramapIn<InElem0, InElem>(f: (a: InElem0) => InElem): <Env, InErr, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env, InErr, InElem0, InDone, OutErr, OutElem, OutDone>;
 /**
- * @tsplus pipeable fncts.io.Channel contramapIO
+ * @tsplus pipeable fncts.io.Channel contramapInIO
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function contramapIO<Env1, InErr, InDone0, InDone>(f: (i: InDone0) => IO<Env1, InErr, InDone>): <Env, InElem, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env1 | Env, InErr, InElem, InDone0, OutErr, OutElem, OutDone>;
+export declare function contramapInIO<Env1, InErr, InElem0, InElem>(f: (a: InElem0) => IO<Env1, InErr, InElem>): <Env, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env1 | Env, InErr, InElem0, InDone, OutErr, OutElem, OutDone>;
 /**
- * @tsplus pipeable fncts.io.Channel contramapInIO
+ * @tsplus pipeable fncts.io.Channel contramapIO
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function contramapInIO<Env1, InErr, InElem0, InElem>(f: (a: InElem0) => IO<Env1, InErr, InElem>): <Env, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env1 | Env, InErr, InElem0, InDone, OutErr, OutElem, OutDone>;
+export declare function contramapIO<Env1, InErr, InDone0, InDone>(f: (i: InDone0) => IO<Env1, InErr, InDone>): <Env, InElem, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env1 | Env, InErr, InElem, InDone0, OutErr, OutElem, OutDone>;
 /**
  * @tsplus static fncts.io.ChannelOps defer
  * @tsplus location "@fncts/io/Channel/api"
@@ -175,6 +180,12 @@ export declare function doneCollect<Env, InErr, InElem, InDone, OutErr, OutElem,
  * @tsplus location "@fncts/io/Channel/api"
  */
 export declare function drain<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>): Channel<Env, InErr, InElem, InDone, OutErr, never, OutDone>;
+/**
+ * Embed inputs from continuos pulling of a producer
+ * @tsplus pipeable fncts.io.Channel embedInput
+ * @tsplus location "@fncts/io/Channel/api"
+ */
+export declare function embedInput<InErr, InElem, InDone>(input: AsyncInputProducer<InErr, InElem, InDone>): <Env, OutErr, OutElem, OutDone>(self: Channel<Env, unknown, unknown, unknown, OutErr, OutElem, OutDone>) => Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
 /**
  * Returns a new channel that collects the output and terminal value of this channel, which it
  * then writes as output of the returned channel.
@@ -194,12 +205,6 @@ export declare function ensuring<Env1, Z>(finalizer: URIO<Env1, Z>): <Env, InErr
  * @tsplus location "@fncts/io/Channel/api"
  */
 export declare function ensuringWith<Env2, OutErr, OutDone>(finalizer: (e: Exit<OutErr, OutDone>) => IO<Env2, never, unknown>): <Env, InErr, InElem, InDone, OutElem>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env | Env2, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
-/**
- * Embed inputs from continuos pulling of a producer
- * @tsplus pipeable fncts.io.Channel embedInput
- * @tsplus location "@fncts/io/Channel/api"
- */
-export declare function embedInput<InErr, InElem, InDone>(input: AsyncInputProducer<InErr, InElem, InDone>): <Env, OutErr, OutElem, OutDone>(self: Channel<Env, unknown, unknown, unknown, OutErr, OutElem, OutDone>) => Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
 /**
  * Halt a channel with the specified error
  * @tsplus static fncts.io.ChannelOps fail
@@ -246,29 +251,17 @@ export declare function fromOption<A>(option: Lazy<Maybe<A>>): Channel<never, un
  */
 export declare function fromQueue<Err, Elem, Done>(queue: Queue.Dequeue<Either<Exit<Err, Done>, Elem>>): Channel<never, unknown, unknown, unknown, Err, Elem, Done>;
 /**
- * Provides the channel with its required environment, which eliminates
- * its dependency on `Env`.
- * @tsplus pipeable fncts.io.Channel provideEnvironment
- * @tsplus location "@fncts/io/Channel/api"
- */
-export declare function provideEnvironment<Env>(env: Lazy<Environment<Env>>): <InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<never, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
-/**
- * @tsplus pipeable fncts.io.Channel contramapEnvironment
+ * Halt a channel with the specified exception
+ * @tsplus static fncts.io.ChannelOps halt
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function contramapEnvironment<Env, Env0>(f: (env0: Environment<Env0>) => Environment<Env>): <InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env0, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
+export declare function halt(defect: Lazy<unknown>): Channel<never, unknown, unknown, unknown, never, never, never>;
 /**
  * Halt a channel with the specified exception
  * @tsplus static fncts.io.ChannelOps haltNow
  * @tsplus location "@fncts/io/Channel/api"
  */
 export declare function haltNow(defect: unknown): Channel<never, unknown, unknown, unknown, never, never, never>;
-/**
- * Halt a channel with the specified exception
- * @tsplus static fncts.io.ChannelOps halt
- * @tsplus location "@fncts/io/Channel/api"
- */
-export declare function halt(defect: Lazy<unknown>): Channel<never, unknown, unknown, unknown, never, never, never>;
 /**
  * @tsplus static fncts.io.ChannelOps id
  * @tsplus location "@fncts/io/Channel/api"
@@ -279,12 +272,6 @@ export declare function id<Err, Elem, Done>(): Channel<never, Err, Elem, Done, E
  * @tsplus location "@fncts/io/Channel/api"
  */
 export declare function interrupt(fiberId: FiberId): Channel<never, unknown, unknown, unknown, never, never, never>;
-/**
- * Use a managed to emit an output element
- * @tsplus static fncts.io.ChannelOps scoped
- * @tsplus location "@fncts/io/Channel/api"
- */
-export declare function scoped<R, E, A>(io: Lazy<IO<R, E, A>>): Channel<Exclude<R, Scope>, unknown, unknown, unknown, E, A, unknown>;
 /**
  * Returns a new channel, which is the same as this one, except the failure value of the returned
  * channel is created by applying the specified function to the failure value of this channel.
@@ -312,6 +299,19 @@ export declare function mapIO<Env1, OutErr1, OutDone, OutDone1>(f: (o: OutDone)
  * @tsplus location "@fncts/io/Channel/api"
  */
 export declare function mapOut<OutElem, OutElem2>(f: (o: OutElem) => OutElem2): <Env, InErr, InElem, InDone, OutErr, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env, InErr, InElem, InDone, OutErr, OutElem2, OutDone>;
+/**
+ * Provides the channel with its required environment, which eliminates
+ * its dependency on `Env`.
+ * @tsplus pipeable fncts.io.Channel provideEnvironment
+ * @tsplus location "@fncts/io/Channel/api"
+ */
+export declare function provideEnvironment<Env>(env: Lazy<Environment<Env>>): <InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<never, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
+/**
+ * Use a managed to emit an output element
+ * @tsplus static fncts.io.ChannelOps scoped
+ * @tsplus location "@fncts/io/Channel/api"
+ */
+export declare function scoped<R, E, A>(io: Lazy<IO<R, E, A>>): Channel<Exclude<R, Scope>, unknown, unknown, unknown, E, A, unknown>;
 /**
  * @tsplus pipeable fncts.io.Channel mapOutIO
  * @tsplus location "@fncts/io/Channel/api"
@@ -370,18 +370,18 @@ export declare function read<In>(): Channel<never, unknown, In, unknown, Nothing
  * @tsplus location "@fncts/io/Channel/api"
  */
 export declare function readOrFail<In, E>(e: E): Channel<never, unknown, In, unknown, E, never, In>;
-/**
- * Reads an input and continue exposing both full error cause and completion
- * @tsplus static fncts.io.ChannelOps readWithCause
- * @tsplus location "@fncts/io/Channel/api"
- */
-export declare function readWithCause<Env, Env1, Env2, InErr, InElem, InDone, OutErr, OutErr1, OutErr2, OutElem, OutElem1, OutElem2, OutDone, OutDone1, OutDone2>(inp: (i: InElem) => Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, halt: (e: Cause<InErr>) => Channel<Env1, InErr, InElem, InDone, OutErr1, OutElem1, OutDone1>, done: (d: InDone) => Channel<Env2, InErr, InElem, InDone, OutErr2, OutElem2, OutDone2>): Channel<Env | Env1 | Env2, InErr, InElem, InDone, OutErr | OutErr1 | OutErr2, OutElem | OutElem1 | OutElem2, OutDone | OutDone1 | OutDone2>;
 /**
  * Reads an input and continue exposing both error and completion
  * @tsplus static fncts.io.ChannelOps readWith
  * @tsplus location "@fncts/io/Channel/api"
  */
 export declare function readWith<Env, Env1, Env2, InErr, InElem, InDone, OutErr, OutErr1, OutErr2, OutElem, OutElem1, OutElem2, OutDone, OutDone1, OutDone2>(inp: (i: InElem) => Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, error: (e: InErr) => Channel<Env1, InErr, InElem, InDone, OutErr1, OutElem1, OutDone1>, done: (d: InDone) => Channel<Env2, InErr, InElem, InDone, OutErr2, OutElem2, OutDone2>): Channel<Env | Env1 | Env2, InErr, InElem, InDone, OutErr | OutErr1 | OutErr2, OutElem | OutElem1 | OutElem2, OutDone | OutDone1 | OutDone2>;
+/**
+ * Reads an input and continue exposing both full error cause and completion
+ * @tsplus static fncts.io.ChannelOps readWithCause
+ * @tsplus location "@fncts/io/Channel/api"
+ */
+export declare function readWithCause<Env, Env1, Env2, InErr, InElem, InDone, OutErr, OutErr1, OutErr2, OutElem, OutElem1, OutElem2, OutDone, OutDone1, OutDone2>(inp: (i: InElem) => Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, halt: (e: Cause<InErr>) => Channel<Env1, InErr, InElem, InDone, OutErr1, OutElem1, OutDone1>, done: (d: InDone) => Channel<Env2, InErr, InElem, InDone, OutErr2, OutElem2, OutDone2>): Channel<Env | Env1 | Env2, InErr, InElem, InDone, OutErr | OutErr1 | OutErr2, OutElem | OutElem1 | OutElem2, OutDone | OutDone1 | OutDone2>;
 /**
  * Repeats this channel forever
  * @tsplus getter fncts.io.Channel repeated
@@ -421,24 +421,24 @@ export declare function writeNow<OutElem>(out: OutElem): Channel<never, unknown,
  */
 export declare const unit: Channel<never, unknown, unknown, unknown, never, never, void>;
 /**
- * Makes a channel from an effect that returns a channel in case of success
- * @tsplus static fncts.io.ChannelOps unwrap
+ * @tsplus static fncts.io.ChannelOps fromHubScoped
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function unwrap<R, E, Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Lazy<IO<R, E, Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>>>): Channel<R | Env, InErr, InElem, InDone, E | OutErr, OutElem, OutDone>;
+export declare function fromHubScoped<Err, Done, Elem>(hub: Lazy<Hub<Either<Exit<Err, Done>, Elem>>>): IO<Scope, never, Channel<never, unknown, unknown, unknown, Err, Elem, Done>>;
 /**
- * Makes a channel from a managed that returns a channel in case of success
- * @tsplus static fncts.io.ChannelOps unwrapScoped
+ * @tsplus static fncts.io.ChannelOps toHub
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function unwrapScoped<R, E, Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Lazy<IO<R, E, Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>>>): Channel<Exclude<R, Scope> | Env, InErr, InElem, InDone, E | OutErr, OutElem, OutDone>;
+export declare function toHub<Err, Done, Elem>(hub: Lazy<Hub<Either<Exit<Err, Done>, Elem>>>): Channel<never, Err, Elem, Done, never, never, unknown>;
 /**
- * @tsplus static fncts.io.ChannelOps fromHubScoped
+ * Makes a channel from an effect that returns a channel in case of success
+ * @tsplus static fncts.io.ChannelOps unwrap
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function fromHubScoped<Err, Done, Elem>(hub: Lazy<Hub<Either<Exit<Err, Done>, Elem>>>): IO<Scope, never, Channel<never, unknown, unknown, unknown, Err, Elem, Done>>;
+export declare function unwrap<R, E, Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Lazy<IO<R, E, Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>>>): Channel<R | Env, InErr, InElem, InDone, E | OutErr, OutElem, OutDone>;
 /**
- * @tsplus static fncts.io.ChannelOps toHub
+ * Makes a channel from a managed that returns a channel in case of success
+ * @tsplus static fncts.io.ChannelOps unwrapScoped
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function toHub<Err, Done, Elem>(hub: Lazy<Hub<Either<Exit<Err, Done>, Elem>>>): Channel<never, Err, Elem, Done, never, never, unknown>;
+export declare function unwrapScoped<R, E, Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Lazy<IO<R, E, Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>>>): Channel<Exclude<R, Scope> | Env, InErr, InElem, InDone, E | OutErr, OutElem, OutDone>;

package/Channel/core-api.d.ts

@@ -1,18 +1,13 @@
+import { Channel } from "@fncts/io/Channel";
 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<never, unknown, unknown, unknown, E, never, never>;
-/**
- * Halt a channel with the specified cause
- * @tsplus static fncts.io.ChannelOps failCauseNow
+ * 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 pipeable fncts.io.Channel cross
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function failCauseNow<E>(result: Cause<E>): Channel<never, unknown, unknown, unknown, E, never, never>;
+export declare function cross<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>(that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): <Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, readonly [OutDone, OutDone1]>;
 /**
  * End a channel with the specified result
  * @tsplus static fncts.io.ChannelOps end
@@ -26,17 +21,26 @@ export declare function end<OutDone>(result: Lazy<OutDone>): Channel<never, unkn
  */
 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
+ * Halt a channel with the specified cause
+ * @tsplus static fncts.io.ChannelOps failCause
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function succeed<Z>(z: Lazy<Z>): Channel<never, unknown, unknown, unknown, never, never, Z>;
+export declare function failCause<E>(result: Lazy<Cause<E>>): Channel<never, unknown, unknown, unknown, E, never, never>;
 /**
- * End a channel with the specified result
- * @tsplus static fncts.io.ChannelOps succeedNow
+ * Halt a channel with the specified cause
+ * @tsplus static fncts.io.ChannelOps failCauseNow
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function succeedNow<Z>(z: Z): Channel<never, unknown, unknown, unknown, never, never, Z>;
+export declare function failCauseNow<E>(result: Cause<E>): Channel<never, unknown, unknown, unknown, E, never, never>;
+/**
+ * Returns a new channel, which sequentially combines this channel, together with the provided
+ * factory function, which creates a second channel based on the terminal value of this channel.
+ * The result is a channel that will first perform the functions of this channel, before
+ * performing the functions of the created channel (including yielding its terminal value).
+ * @tsplus pipeable fncts.io.Channel flatMap
+ * @tsplus location "@fncts/io/Channel/core-api"
+ */
+export declare function flatMap<OutDone, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone2>(f: (d: OutDone) => Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone2>): <Env, InErr, InElem, InDone, OutErr, OutElem>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, OutDone2>;
 /**
  * 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
@@ -46,21 +50,17 @@ export declare function succeedNow<Z>(z: Z): Channel<never, unknown, unknown, un
  */
 export declare function map<OutDone, OutDone2>(f: (out: OutDone) => OutDone2): <Env, InErr, InElem, InDone, OutErr, OutElem>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone2>;
 /**
- * Returns a new channel, which sequentially combines this channel, together with the provided
- * factory function, which creates a second channel based on the terminal value of this channel.
- * The result is a channel that will first perform the functions of this channel, before
- * performing the functions of the created channel (including yielding its terminal value).
- * @tsplus pipeable fncts.io.Channel flatMap
+ * End a channel with the specified result
+ * @tsplus static fncts.io.ChannelOps succeed
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function flatMap<OutDone, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone2>(f: (d: OutDone) => Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone2>): <Env, InErr, InElem, InDone, OutErr, OutElem>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, OutDone2>;
+export declare function succeed<Z>(z: Lazy<Z>): Channel<never, unknown, unknown, unknown, never, never, Z>;
 /**
- * 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 pipeable fncts.io.Channel cross
+ * End a channel with the specified result
+ * @tsplus static fncts.io.ChannelOps succeedNow
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function cross<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>(that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): <Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, readonly [OutDone, OutDone1]>;
+export declare function succeedNow<Z>(z: Z): Channel<never, unknown, unknown, unknown, never, never, Z>;
 /**
  * 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.

package/Console/definition.d.ts

@@ -10,6 +10,7 @@ export declare abstract class Console {
 }
 /**
  * @tsplus static fncts.io.ConsoleOps Tag
+ * @tsplus implicit
  * @tsplus location "@fncts/io/Console/definition"
  */
 export declare const ConsoleTag: import("@fncts/base/data/Tag").Tag<Console, Console>;

package/CountdownLatch.d.ts

@@ -16,6 +16,7 @@ export declare class CountdownLatch {
     readonly countDown: UIO<void>;
     readonly count: UIO<number>;
     readonly increment: UIO<void>;
+    readonly isOpen: UIO<boolean>;
 }
 /**
  * @tsplus static fncts.io.CountdownLatchOps make

package/Fiber/FiberMessage.d.ts

@@ -1,16 +1,12 @@
 import { Cause } from "@fncts/base/data/Cause/definition";
-import { Trace } from "@fncts/base/data/Trace/definition";
 import { IO } from "@fncts/io/IO/definition";
-import type { FiberStatus } from "../FiberStatus.js";
 import type { FiberRuntime } from "./FiberRuntime.js";
 export declare const enum FiberMessageTag {
     InterruptSignal = 0,
-    GenStackTrace = 1,
-    Stateful = 2,
-    Resume = 3,
-    YieldNow = 4
+    Stateful = 1,
+    Resume = 2
 }
-export type FiberMessage = InterruptSignal | GenStackTrace | Stateful | Resume | YieldNow;
+export type FiberMessage = InterruptSignal | Stateful | Resume;
 /**
  * @tsplus type fncts.io.FiberMessageOps
  */
@@ -27,26 +23,16 @@ export declare class InterruptSignal {
  * @tsplus location "@fncts/io/Fiber/FiberMessage"
  */
 export declare function interruptSignal(cause: Cause<never>): FiberMessage;
-export declare class GenStackTrace {
-    readonly onTrace: (trace: Trace) => void;
-    readonly _tag = FiberMessageTag.GenStackTrace;
-    constructor(onTrace: (trace: Trace) => void);
-}
-/**
- * @tsplus static fncts.io.FiberMessageOps GenStackTrace
- * @tsplus location "@fncts/io/Fiber/FiberMessage"
- */
-export declare function genStackTrace(onTrace: (trace: Trace) => void): FiberMessage;
 export declare class Stateful {
-    readonly onFiber: (fiber: FiberRuntime<any, any>, status: FiberStatus) => void;
+    readonly onFiber: (fiber: FiberRuntime<any, any>) => void;
     readonly _tag = FiberMessageTag.Stateful;
-    constructor(onFiber: (fiber: FiberRuntime<any, any>, status: FiberStatus) => void);
+    constructor(onFiber: (fiber: FiberRuntime<any, any>) => void);
 }
 /**
  * @tsplus static fncts.io.FiberMessageOps Stateful
  * @tsplus location "@fncts/io/Fiber/FiberMessage"
  */
-export declare function stateful(onFiber: (fiber: FiberRuntime<any, any>, status: FiberStatus) => void): FiberMessage;
+export declare function stateful(onFiber: (fiber: FiberRuntime<any, any>) => void): FiberMessage;
 export declare class Resume {
     readonly cont: IO<any, any, any>;
     readonly _tag = FiberMessageTag.Resume;
@@ -57,11 +43,3 @@ export declare class Resume {
  * @tsplus location "@fncts/io/Fiber/FiberMessage"
  */
 export declare function resume(cont: IO<any, any, any>): FiberMessage;
-export interface YieldNow {
-    readonly _tag: FiberMessageTag.YieldNow;
-}
-/**
- * @tsplus static fncts.io.FiberMessageOps YieldNow
- * @tsplus location "@fncts/io/Fiber/FiberMessage"
- */
-export declare const yieldNow: FiberMessage;