@fncts/io 0.0.38 → 0.0.40

package/Cached.d.ts

@@ -1,3 +1,3 @@
-export * from "./Cached/api.js";
-export * from "./Cached/definition.js";
 export * from "./Cached/internal.js";
+export * from "./Cached/definition.js";
+export * from "./Cached/api.js";

package/Channel/ChildExecutorDecision.d.ts

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

package/Channel/UpstreamPullRequest.d.ts

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

package/Channel/api/interruptWhen.d.ts

@@ -10,7 +10,7 @@ import { Future } from "@fncts/io/Future";
  * @tsplus pipeable fncts.io.Channel interruptWhen
  * @tsplus location "@fncts/io/Channel/api/interruptWhen"
  */
-export declare function interruptWhen<Env1, OutErr1, OutDone1>(io: IO<Env1, OutErr1, OutDone1>): <Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: import("../definition").Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => import("../definition").Channel<Env1 | Env, InErr, InElem, InDone, OutErr1 | OutErr, OutElem, OutDone1 | OutDone>;
+export declare function interruptWhen<Env1, OutErr1, OutDone1>(io: IO<Env1, OutErr1, OutDone1>): <Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env1 | Env, InErr, InElem, InDone, OutErr | OutErr1, OutElem, OutDone | OutDone1>;
 /**
  * Returns a new channel, which is the same as this one, except it will be interrupted when the
  * specified promise is completed. If the promise is completed before the underlying channel is
@@ -20,4 +20,4 @@ export declare function interruptWhen<Env1, OutErr1, OutDone1>(io: IO<Env1, OutE
  * @tsplus pipeable fncts.io.Channel interruptWhen
  * @tsplus location "@fncts/io/Channel/api/interruptWhen"
  */
-export declare function interruptWhenFuture<OutErr1, OutDone1>(promise: Future<OutErr1, OutDone1>): <Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: import("../definition").Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => import("../definition").Channel<Env, InErr, InElem, InDone, OutErr1 | OutErr, OutElem, OutDone1 | OutDone>;
+export declare function interruptWhenFuture<OutErr1, OutDone1>(promise: Future<OutErr1, OutDone1>): <Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env, InErr, InElem, InDone, OutErr | OutErr1, OutElem, OutDone | OutDone1>;

package/Channel/api/mapOutConcurrentIO.d.ts

@@ -5,4 +5,4 @@ import { Either } from "@fncts/base/data/Either/definition";
  * @tsplus pipeable fncts.io.Channel mapOutConcurrentIO
  * @tsplus location "@fncts/io/Channel/api/mapOutConcurrentIO"
  */
-export declare function mapOutConcurrentIO<OutElem, Env1, OutErr1, OutElem1>(n: number, f: (_: OutElem) => IO<Env1, OutErr1, OutElem1>): <Env, InErr, InElem, InDone, OutErr, OutDone>(self: import("../definition").Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => import("../definition").Channel<Env1 | Env, InErr, InElem, InDone, OutErr1 | OutErr, OutElem1, OutDone>;
+export declare function mapOutConcurrentIO<OutElem, Env1, OutErr1, OutElem1>(n: number, f: (_: OutElem) => IO<Env1, OutErr1, OutElem1>): <Env, InErr, InElem, InDone, OutErr, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env | Env1, InErr, InElem, InDone, OutErr | OutErr1, OutElem1, OutDone>;

package/Channel/api/mergeAll.d.ts

@@ -4,4 +4,4 @@ import type { MergeStrategy } from "@fncts/io/Channel/api/mergeAllWith";
  * @tsplus pipeable fncts.io.Channel mergeAll
  * @tsplus location "@fncts/io/Channel/api/mergeAll"
  */
-export declare function mergeAll(n: number, bufferSize?: number, mergeStrategy?: MergeStrategy): <Env, InErr, InElem, InDone, OutErr, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem>(channels: import("../definition").Channel<Env, InErr, InElem, InDone, OutErr, import("../definition").Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem, any>, any>) => import("../definition").Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem, unknown>;
+export declare function mergeAll(n: number, bufferSize?: number, mergeStrategy?: MergeStrategy): <Env, InErr, InElem, InDone, OutErr, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem>(channels: Channel<Env, InErr, InElem, InDone, OutErr, Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem, any>, any>) => Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem, unknown>;

package/Channel/api/mergeAllUnboundedWith.d.ts

@@ -3,4 +3,4 @@ import { Channel } from "@fncts/io/Channel";
  * @tsplus pipeable fncts.io.Channel mergeAllUnboundedWith
  * @tsplus location "@fncts/io/Channel/api/mergeAllUnboundedWith"
  */
-export declare function mergeAllUnboundedWith<OutDone>(f: (x: OutDone, y: OutDone) => OutDone): <Env, InErr, InElem, InDone, OutErr, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem>(channels: import("../definition").Channel<Env, InErr, InElem, InDone, OutErr, import("../definition").Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem, OutDone>, OutDone>) => import("../definition").Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem, OutDone>;
+export declare function mergeAllUnboundedWith<OutDone>(f: (x: OutDone, y: OutDone) => OutDone): <Env, InErr, InElem, InDone, OutErr, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem>(channels: Channel<Env, InErr, InElem, InDone, OutErr, Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem, OutDone>, OutDone>) => Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem, OutDone>;

package/Channel/api/mergeAllWith.d.ts

@@ -8,4 +8,4 @@ export type MergeStrategy = "BackPressure" | "BufferSliding";
  * @tsplus pipeable fncts.io.Channel mergeAllWith
  * @tsplus location "@fncts/io/Channel/api/mergeAllWith"
  */
-export declare function mergeAllWith<OutDone>(n: number, f: (x: OutDone, y: OutDone) => OutDone, bufferSize?: number, mergeStrategy?: MergeStrategy): <Env, InErr, InElem, InDone, OutErr, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem>(channels: import("../definition").Channel<Env, InErr, InElem, InDone, OutErr, import("../definition").Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem, OutDone>, OutDone>) => import("../definition").Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem, OutDone>;
+export declare function mergeAllWith<OutDone>(n: number, f: (x: OutDone, y: OutDone) => OutDone, bufferSize?: number, mergeStrategy?: MergeStrategy): <Env, InErr, InElem, InDone, OutErr, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem>(channels: Channel<Env, InErr, InElem, InDone, OutErr, Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem, OutDone>, OutDone>) => Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem, OutDone>;

package/Channel/api/mergeMap.d.ts

@@ -4,4 +4,4 @@ import type { MergeStrategy } from "@fncts/io/Channel/api/mergeAllWith";
  * @tsplus pipeable fncts.io.Channel mergeMap
  * @tsplus location "@fncts/io/Channel/api/mergeMap"
  */
-export declare function mergeMap<OutElem, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1>(f: (elem: OutElem) => Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, any>, n: number, bufferSize?: number, mergeStrategy?: MergeStrategy): <Env, InErr, InElem, InDone, OutErr>(self: import("../definition").Channel<Env, InErr, InElem, InDone, OutErr, OutElem, any>) => import("../definition").Channel<Env1 | Env, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1 | OutErr, OutElem1, unknown>;
+export declare function mergeMap<OutElem, Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1>(f: (elem: OutElem) => Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, any>, n: number, bufferSize?: number, mergeStrategy?: MergeStrategy): <Env, InErr, InElem, InDone, OutErr>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, any>) => Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem1, unknown>;

package/Channel/api/mergeWith.d.ts

@@ -11,4 +11,4 @@ import type { MergeDecision } from "@fncts/io/Channel/internal/MergeDecision";
  * @tsplus pipeable fncts.io.Channel mergeWith
  * @tsplus location "@fncts/io/Channel/api/mergeWith"
  */
-export declare function mergeWith<Env1, Env2, Env3, InErr1, InElem1, InDone1, OutErr, OutErr1, OutErr2, OutErr3, OutElem1, OutDone, OutDone1, OutDone2, OutDone3>(that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>, leftDone: (ex: Exit<OutErr, OutDone>) => MergeDecision<Env2, OutErr1, OutDone1, OutErr2, OutDone2>, rightDone: (ex: Exit<OutErr1, OutDone1>) => MergeDecision<Env3, OutErr, OutDone, OutErr3, OutDone3>): <Env, InErr, InElem, InDone, OutElem>(self: import("../definition").Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => import("../definition").Channel<Env1 | Env2 | Env3 | Env, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr2 | OutErr3, OutElem1 | OutElem, OutDone2 | OutDone3>;
+export declare function mergeWith<Env1, Env2, Env3, InErr1, InElem1, InDone1, OutErr, OutErr1, OutErr2, OutErr3, OutElem1, OutDone, OutDone1, OutDone2, OutDone3>(that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>, leftDone: (ex: Exit<OutErr, OutDone>) => MergeDecision<Env2, OutErr1, OutDone1, OutErr2, OutDone2>, rightDone: (ex: Exit<OutErr1, OutDone1>) => MergeDecision<Env3, OutErr, OutDone, OutErr3, OutDone3>): <Env, InErr, InElem, InDone, OutElem>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env | Env1 | Env2 | Env3, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr2 | OutErr3, OutElem | OutElem1, OutDone2 | OutDone3>;

package/Channel/api/zipConcurrent.d.ts

@@ -3,14 +3,14 @@ import { Channel } from "@fncts/io/Channel";
  * @tsplus pipeable fncts.io.Channel zipConcurrent
  * @tsplus location "@fncts/io/Channel/api/zipConcurrent"
  */
-export declare function zipConcurrent<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>(that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): <Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: import("../definition").Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => import("../definition").Channel<Env1 | Env, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1 | OutErr, OutElem1 | OutElem, readonly [OutDone, OutDone1]>;
+export declare function zipConcurrent<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<Env1 | Env, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, readonly [OutDone, OutDone1]>;
 /**
  * @tsplus pipeable fncts.io.Channel zipLeftConcurrent
  * @tsplus location "@fncts/io/Channel/api/zipConcurrent"
  */
-export declare function zipLeftConcurrent<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>(that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): <Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: import("../definition").Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => import("../definition").Channel<Env1 | Env, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1 | OutErr, OutElem1 | OutElem, OutDone>;
+export declare function zipLeftConcurrent<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<Env1 | Env, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, OutDone>;
 /**
  * @tsplus pipeable fncts.io.Channel zipRightConcurrent
  * @tsplus location "@fncts/io/Channel/api/zipConcurrent"
  */
-export declare function zipRightConcurrent<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>(that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): <Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: import("../definition").Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => import("../definition").Channel<Env1 | Env, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1 | OutErr, OutElem1 | OutElem, OutDone1>;
+export declare function zipRightConcurrent<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<Env1 | Env, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr | OutErr1, OutElem | OutElem1, OutDone1>;

package/Channel/api.d.ts

@@ -79,7 +79,7 @@ export declare function bufferChunk<InElem, InErr, InDone>(ref: Ref<Conc<InElem>
  * @tsplus pipeable fncts.io.Channel catchAll
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function catchAll<Env1, InErr1, InElem1, InDone1, OutErr, OutErr1, OutElem1, OutDone1>(f: (error: OutErr) => Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): <Env, InErr, InElem, InDone, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env1 | Env, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1, OutElem1 | OutElem, OutDone1 | OutDone>;
+export declare function catchAll<Env1, InErr1, InElem1, InDone1, OutErr, OutErr1, OutElem1, OutDone1>(f: (error: OutErr) => Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): <Env, InErr, InElem, InDone, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1, OutElem | OutElem1, OutDone | OutDone1>;
 /**
  * Returns a new channel that is the same as this one, except if this channel errors for any
  * typed error, then the returned channel will switch over to using the fallback channel returned
@@ -87,7 +87,7 @@ export declare function catchAll<Env1, InErr1, InElem1, InDone1, OutErr, OutErr1
  * @tsplus pipeable fncts.io.Channel catchAllCause
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function catchAllCause<Env1, InErr1, InElem1, InDone1, OutErr, OutErr1, OutElem1, OutDone1>(f: (cause: Cause<OutErr>) => Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): <Env, InErr, InElem, InDone, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env1 | Env, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1, OutElem1 | OutElem, OutDone1 | OutDone>;
+export declare function catchAllCause<Env1, InErr1, InElem1, InDone1, OutErr, OutErr1, OutElem1, OutDone1>(f: (cause: Cause<OutErr>) => Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): <Env, InErr, InElem, InDone, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env | Env1, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1, OutElem | OutElem1, OutDone | OutDone1>;
 /**
  * @tsplus getter fncts.io.Channel collectElements
  * @tsplus location "@fncts/io/Channel/api"
@@ -107,7 +107,7 @@ export declare function concatAll<Env, InErr, InElem, InDone, OutErr, OutElem>(c
  * @tsplus pipeable fncts.io.Channel concatMapWith
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function concatMapWith<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): <Env, InErr, InElem, InDone, OutErr>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone2>) => Channel<Env2 | Env, InErr & InErr2, InElem & InElem2, InDone & InDone2, OutErr2 | OutErr, OutElem2, OutDone3>;
+export declare function concatMapWith<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): <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>;
 /**
  * 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
@@ -117,7 +117,7 @@ export declare function concatMapWith<OutElem, OutElem2, OutDone, OutDone2, OutD
  * @tsplus pipeable fncts.io.Channel concatMapWithCustom
  * @tsplus location "@fncts/io/Channel/api"
  */
-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<Env2 | Env, InErr & InErr2, InElem & InElem2, InDone & InDone2, OutErr2 | OutErr, OutElem2, OutDone3>;
+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
@@ -131,7 +131,7 @@ export declare function concatAllWith<OutDone, OutDone2, OutDone3>(f: (o: OutDon
  * @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<Env2 | Env, InErr & InErr2, InElem & InElem2, InDone & InDone2, OutErr2 | OutErr, OutElem2, unknown>;
+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>;
 /**
  * @tsplus pipeable fncts.io.Channel contramap
  * @tsplus location "@fncts/io/Channel/api"
@@ -186,14 +186,14 @@ export declare function emitCollect<Env, InErr, InElem, InDone, OutErr, OutElem,
  * @tsplus pipeable fncts.io.Channel ensuring
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function ensuring<Env1, Z>(finalizer: URIO<Env1, Z>): <Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env1 | Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
+export declare function ensuring<Env1, Z>(finalizer: URIO<Env1, Z>): <Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env | Env1, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
 /**
  * Returns a new channel with an attached finalizer. The finalizer is guaranteed to be executed
  * so long as the channel begins execution (and regardless of whether or not it completes).
  * @tsplus pipeable fncts.io.Channel ensuringWith
  * @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<Env2 | Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
+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
@@ -305,7 +305,7 @@ export declare function mapErrorCause<OutErr, OutErr2>(f: (cause: Cause<OutErr>)
  * @tsplus pipeable fncts.io.Channel mapIO
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function mapIO<Env1, OutErr1, OutDone, OutDone1>(f: (o: OutDone) => IO<Env1, OutErr1, OutDone1>): <Env, InErr, InElem, InDone, OutErr, OutElem>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env1 | Env, InErr, InElem, InDone, OutErr1 | OutErr, OutElem, OutDone1>;
+export declare function mapIO<Env1, OutErr1, OutDone, OutDone1>(f: (o: OutDone) => IO<Env1, OutErr1, OutDone1>): <Env, InErr, InElem, InDone, OutErr, OutElem>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env | Env1, InErr, InElem, InDone, OutErr | OutErr1, OutElem, OutDone1>;
 /**
  * Maps the output of this channel using f
  * @tsplus pipeable fncts.io.Channel mapOut
@@ -316,19 +316,19 @@ export declare function mapOut<OutElem, OutElem2>(f: (o: OutElem) => OutElem2):
  * @tsplus pipeable fncts.io.Channel mapOutIO
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function mapOutIO<Env1, OutErr1, OutElem, OutElem1>(f: (o: OutElem) => IO<Env1, OutErr1, OutElem1>): <Env, InErr, InElem, InDone, OutErr, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env1 | Env, InErr, InElem, InDone, OutErr1 | OutErr, OutElem1, OutDone>;
+export declare function mapOutIO<Env1, OutErr1, OutElem, OutElem1>(f: (o: OutElem) => IO<Env1, OutErr1, OutElem1>): <Env, InErr, InElem, InDone, OutErr, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env | Env1, InErr, InElem, InDone, OutErr | OutErr1, OutElem1, OutDone>;
 /**
  * Fold the channel exposing success and full error cause
  * @tsplus pipeable fncts.io.Channel matchCauseChannel
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function matchCauseChannel<Env1, Env2, InErr1, InErr2, InElem1, InElem2, InDone1, InDone2, OutErr, OutErr2, OutErr3, OutElem1, OutElem2, OutDone, OutDone2, OutDone3>(onError: (c: Cause<OutErr>) => Channel<Env1, InErr1, InElem1, InDone1, OutErr2, OutElem1, OutDone2>, onSuccess: (o: OutDone) => Channel<Env2, InErr2, InElem2, InDone2, OutErr3, OutElem2, OutDone3>): <Env, InErr, InElem, InDone, OutElem>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env1 | Env2 | Env, InErr & InErr1 & InErr2, InElem & InElem1 & InElem2, InDone & InDone1 & InDone2, OutErr2 | OutErr3, OutElem1 | OutElem2 | OutElem, OutDone2 | OutDone3>;
+export declare function matchCauseChannel<Env1, Env2, InErr1, InErr2, InElem1, InElem2, InDone1, InDone2, OutErr, OutErr2, OutErr3, OutElem1, OutElem2, OutDone, OutDone2, OutDone3>(onError: (c: Cause<OutErr>) => Channel<Env1, InErr1, InElem1, InDone1, OutErr2, OutElem1, OutDone2>, onSuccess: (o: OutDone) => Channel<Env2, InErr2, InElem2, InDone2, OutErr3, OutElem2, OutDone3>): <Env, InErr, InElem, InDone, OutElem>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env | Env1 | Env2, InErr & InErr1 & InErr2, InElem & InElem1 & InElem2, InDone & InDone1 & InDone2, OutErr2 | OutErr3, OutElem | OutElem1 | OutElem2, OutDone2 | OutDone3>;
 /**
  * Fold the channel exposing success and full error cause
  * @tsplus pipeable fncts.io.Channel matchChannel
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function matchChannel<Env1, Env2, InErr1, InErr2, InElem1, InElem2, InDone1, InDone2, OutErr, OutErr2, OutErr3, OutElem1, OutElem2, OutDone, OutDone2, OutDone3>(onError: (e: OutErr) => Channel<Env1, InErr1, InElem1, InDone1, OutErr2, OutElem1, OutDone2>, onSuccess: (o: OutDone) => Channel<Env2, InErr2, InElem2, InDone2, OutErr3, OutElem2, OutDone3>): <Env, InErr, InElem, InDone, OutElem>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env1 | Env2 | Env, InErr & InErr1 & InErr2, InElem & InElem1 & InElem2, InDone & InDone1 & InDone2, OutErr2 | OutErr3, OutElem1 | OutElem2 | OutElem, OutDone2 | OutDone3>;
+export declare function matchChannel<Env1, Env2, InErr1, InErr2, InElem1, InElem2, InDone1, InDone2, OutErr, OutErr2, OutErr3, OutElem1, OutElem2, OutDone, OutDone2, OutDone3>(onError: (e: OutErr) => Channel<Env1, InErr1, InElem1, InDone1, OutErr2, OutElem1, OutDone2>, onSuccess: (o: OutDone) => Channel<Env2, InErr2, InElem2, InDone2, OutErr3, OutElem2, OutDone3>): <Env, InErr, InElem, InDone, OutElem>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env | Env1 | Env2, InErr & InErr1 & InErr2, InElem & InElem1 & InElem2, InDone & InDone1 & InDone2, OutErr2 | OutErr3, OutElem | OutElem1 | OutElem2, OutDone2 | OutDone3>;
 export declare const never: Channel<never, unknown, unknown, unknown, never, never, never>;
 /**
  * Returns a new channel that will perform the operations of this one, until failure, and then
@@ -336,7 +336,7 @@ export declare const never: Channel<never, unknown, unknown, unknown, never, nev
  * @tsplus pipeable fncts.io.Channel orElse
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function orElse<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<Env1 | Env, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1, OutElem1 | OutElem, OutDone1 | OutDone>;
+export declare function orElse<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, OutErr1, OutElem | OutElem1, OutDone | OutDone1>;
 /**
  * @tsplus pipeable fncts.io.Channel orHalt
  * @tsplus location "@fncts/io/Channel/api"
@@ -353,13 +353,13 @@ export declare function orHaltWith<OutErr, E>(f: (e: OutErr) => E): <Env, InErr,
  * @tsplus pipeable-operator fncts.io.Channel >>>
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function pipeTo<OutErr, OutElem, OutDone, Env1, OutErr1, OutElem1, OutDone1>(right: Channel<Env1, OutErr, OutElem, OutDone, OutErr1, OutElem1, OutDone1>): <Env, InErr, InElem, InDone>(left: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env1 | Env, InErr, InElem, InDone, OutErr1, OutElem1, OutDone1>;
+export declare function pipeTo<OutErr, OutElem, OutDone, Env1, OutErr1, OutElem1, OutDone1>(right: Channel<Env1, OutErr, OutElem, OutDone, OutErr1, OutElem1, OutDone1>): <Env, InErr, InElem, InDone>(left: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env | Env1, InErr, InElem, InDone, OutErr1, OutElem1, OutDone1>;
 /**
  * @tsplus pipeable fncts.io.Channel pipeToOrFail
  * @tsplus pipeable-operator fncts.io.Channel >>>
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function pipeToOrFail<OutElem, OutDone, Env1, OutErr1, OutElem1, OutDone1>(right: Channel<Env1, never, OutElem, OutDone, OutErr1, OutElem1, OutDone1>): <Env, InErr, InElem, InDone, OutErr>(left: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env1 | Env, InErr, InElem, InDone, OutErr1 | OutErr, OutElem1, OutDone1>;
+export declare function pipeToOrFail<OutElem, OutDone, Env1, OutErr1, OutElem1, OutDone1>(right: Channel<Env1, never, OutElem, OutDone, OutErr1, OutElem1, OutDone1>): <Env, InErr, InElem, InDone, OutErr>(left: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => Channel<Env | Env1, InErr, InElem, InDone, OutErr | OutErr1, OutElem1, OutDone1>;
 /**
  * @tsplus static fncts.io.ChannelOps read
  * @tsplus location "@fncts/io/Channel/api"

package/Channel/core-api.d.ts

@@ -44,7 +44,7 @@ export declare function succeedNow<Z>(z: Z): Channel<never, unknown, unknown, un
  * @tsplus pipeable fncts.io.Channel map
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function map<OutDone, OutDone2>(f: (out: OutDone) => OutDone2): <Env, InErr, InElem, InDone, OutErr, OutElem>(self: import("./definition.js").Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => import("./definition.js").Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone2>;
+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.
@@ -53,21 +53,21 @@ export declare function map<OutDone, OutDone2>(f: (out: OutDone) => OutDone2): <
  * @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: import("./definition.js").Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => import("./definition.js").Channel<Env1 | Env, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1 | OutErr, OutElem1 | OutElem, OutDone2>;
+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 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 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: import("./definition.js").Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => import("./definition.js").Channel<Env1 | Env, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1 | OutErr, OutElem1 | OutElem, readonly [OutDone, OutDone1]>;
+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]>;
 /**
  * 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 pipeable fncts.io.Channel zipLeft
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function zipLeft<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>(that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): <Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: import("./definition.js").Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => import("./definition.js").Channel<Env1 | Env, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1 | OutErr, OutElem1 | OutElem, OutDone>;
+export declare function zipLeft<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, 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 zipLeft<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem
  * @tsplus pipeable-operator fncts.io.Channel >
  * @tsplus location "@fncts/io/Channel/core-api"
  */
-export declare function zipRight<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>(that: Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): <Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: import("./definition.js").Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>) => import("./definition.js").Channel<Env1 | Env, InErr & InErr1, InElem & InElem1, InDone & InDone1, OutErr1 | OutErr, OutElem1 | OutElem, OutDone1>;
+export declare function zipRight<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, OutErr1 | OutErr, OutElem1 | OutElem, OutDone1>;

package/Channel/definition.d.ts

@@ -7,21 +7,21 @@ import type { AsyncInputProducer } from "./internal/AsyncInputProducer.js";
 import type { UpstreamPullRequest } from "./UpstreamPullRequest.js";
 import type { UpstreamPullStrategy } from "./UpstreamPullStrategy.js";
 export declare const enum ChannelTag {
-    PipeTo = "PipeTo",
-    ContinuationK = "ContinuationK",
-    ContinuationFinalizer = "ContinuationFinalizer",
-    Fold = "Fold",
-    Bridge = "Bridge",
-    Read = "Read",
-    Done = "Done",
-    Halt = "Halt",
-    FromIO = "FromIO",
-    Emit = "Emit",
-    Defer = "Defer",
-    Ensuring = "Ensuring",
-    ConcatAll = "ConcatAll",
-    BracketOut = "BracketOut",
-    Provide = "Provide"
+    PipeTo = 0,
+    ContinuationK = 1,
+    ContinuationFinalizer = 2,
+    Fold = 3,
+    Bridge = 4,
+    Read = 5,
+    Done = 6,
+    Halt = 7,
+    FromIO = 8,
+    Emit = 9,
+    Defer = 10,
+    Ensuring = 11,
+    ConcatAll = 12,
+    BracketOut = 13,
+    Provide = 14
 }
 export declare const ChannelVariance: unique symbol;
 export type ChannelVariance = typeof ChannelVariance;
@@ -103,6 +103,21 @@ export declare function unifyChannel<X extends Channel<any, any, any, any, any,
         };
     }
 ] ? OutDone : never>;
+export type ChannelOp<Tag extends string | number, Body = {}> = Channel<any, unknown, unknown, unknown, never, never, never> & Body & {
+    readonly _tag: Tag;
+};
+export declare class ChannelPrimitive {
+    readonly _tag: Primitive["_tag"] | ContinuationPrimitive["_tag"];
+    i0: any;
+    i1: any;
+    i2: any;
+    i3: any;
+    i4: any;
+    i5: any;
+    trace: string | undefined;
+    [ChannelTypeId]: symbol;
+    constructor(_tag: Primitive["_tag"] | ContinuationPrimitive["_tag"]);
+}
 export declare abstract class Continuation<Env, InErr, InElem, InDone, OutErr, OutErr2, OutElem, OutDone, OutDone2> {
     readonly _Env: () => Env;
     readonly _InErr: (_: InErr) => void;
@@ -114,100 +129,89 @@ export declare abstract class Continuation<Env, InErr, InElem, InDone, OutErr, O
     readonly _OutDone: (_: OutDone) => OutDone;
     readonly _OutDone2: () => OutDone2;
 }
-export declare class ContinuationK<Env, InErr, InElem, InDone, OutErr, OutErr2, OutElem, OutDone, OutDone2> extends Continuation<Env, InErr, InElem, InDone, OutErr, OutErr2, OutElem, OutDone, OutDone2> {
-    readonly onSuccess: (_: OutDone) => Channel<Env, InErr, InElem, InDone, OutErr2, OutElem, OutDone2>;
-    readonly onHalt: (_: Cause<OutErr>) => Channel<Env, InErr, InElem, InDone, OutErr2, OutElem, OutDone2>;
-    readonly _tag = ChannelTag.ContinuationK;
-    constructor(onSuccess: (_: OutDone) => Channel<Env, InErr, InElem, InDone, OutErr2, OutElem, OutDone2>, onHalt: (_: Cause<OutErr>) => Channel<Env, InErr, InElem, InDone, OutErr2, OutElem, OutDone2>);
-    onExit(exit: Exit<OutErr, OutDone>): Channel<Env, InErr, InElem, InDone, OutErr2, OutElem, OutDone2>;
+export type ChannelContinuationOp<Tag extends string | number, Body = {}> = Continuation<never, unknown, unknown, unknown, any, never, never, any, never> & Body & {
+    readonly _tag: Tag;
+};
+export interface ContinuationK extends ChannelContinuationOp<ChannelTag.ContinuationK, {
+    readonly i0: (_: any) => Primitive;
+    readonly i1: (_: Cause<any>) => Primitive;
+}> {
 }
-export declare class ContinuationFinalizer<Env, OutErr, OutDone> extends Continuation<Env, unknown, unknown, unknown, OutErr, never, never, OutDone, never> {
-    readonly finalizer: (_: Exit<OutErr, OutDone>) => URIO<Env, any>;
-    readonly _tag = ChannelTag.ContinuationFinalizer;
-    constructor(finalizer: (_: Exit<OutErr, OutDone>) => URIO<Env, any>);
+export interface ContinuationFinalizer extends ChannelContinuationOp<ChannelTag.ContinuationFinalizer, {
+    readonly i0: (_: Exit<any, any>) => URIO<any, any>;
+}> {
 }
+export type ContinuationPrimitive = ContinuationK | ContinuationFinalizer;
 /**
  * @optimize remove
  */
-export declare function concreteContinuation<Env, InErr, InElem, InDone, OutErr, OutErr2, OutElem, OutDone, OutDone2>(_: Continuation<Env, InErr, InElem, InDone, OutErr, OutErr2, OutElem, OutDone, OutDone2>): asserts _ is ContinuationK<Env, InErr, InElem, InDone, OutErr, OutErr2, OutElem, OutDone, OutDone2> | ContinuationFinalizer<Env, OutErr, OutDone>;
-export declare class PipeTo<Env, InErr, InElem, InDone, OutErr, OutErr2, OutElem, OutElem2, OutDone, OutDone2> extends Channel<Env, InErr, InElem, InDone, OutErr2, OutElem2, OutDone2> {
-    readonly left: () => Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
-    readonly right: () => Channel<Env, OutErr, OutElem, OutDone, OutErr2, OutElem2, OutDone2>;
-    readonly _tag = ChannelTag.PipeTo;
-    constructor(left: () => Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, right: () => Channel<Env, OutErr, OutElem, OutDone, OutErr2, OutElem2, OutDone2>);
-}
-export declare class Fold<Env, InErr, InElem, InDone, OutErr, OutErr2, OutElem, OutDone, OutDone2> extends Channel<Env, InErr, InElem, InDone, OutErr2, OutElem, OutDone2> {
-    readonly value: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
-    readonly k: ContinuationK<Env, InErr, InElem, InDone, OutErr, OutErr2, OutElem, OutDone, OutDone2>;
-    readonly _tag = ChannelTag.Fold;
-    constructor(value: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, k: ContinuationK<Env, InErr, InElem, InDone, OutErr, OutErr2, OutElem, OutDone, OutDone2>);
-}
-export declare class Read<Env, InErr, InElem, InDone, OutErr, OutErr2, OutElem, OutDone, OutDone2> extends Channel<Env, InErr, InElem, InDone, OutErr2, OutElem, OutDone2> {
-    readonly more: (_: InElem) => Channel<Env, InErr, InElem, InDone, OutErr2, OutElem, OutDone2>;
-    readonly done: ContinuationK<Env, InErr, InElem, InDone, OutErr, OutErr2, OutElem, OutDone, OutDone2>;
-    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<never, unknown, unknown, unknown, never, never, OutDone> {
-    readonly terminal: () => OutDone;
-    readonly _tag = ChannelTag.Done;
-    constructor(terminal: () => OutDone);
-}
-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>);
-}
-export declare class FromIO<Env, OutErr, OutDone> extends Channel<Env, unknown, unknown, unknown, OutErr, never, OutDone> {
-    readonly io: IO<Env, OutErr, OutDone>;
-    readonly _tag = ChannelTag.FromIO;
-    constructor(io: IO<Env, OutErr, OutDone>);
-}
-export declare class Defer<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone> extends Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone> {
-    readonly effect: () => Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
-    readonly _tag = ChannelTag.Defer;
-    constructor(effect: () => Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>);
-}
-export declare class Ensuring<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone> extends Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone> {
-    readonly channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
-    readonly finalizer: (_: Exit<OutErr, OutDone>) => IO<Env, never, any>;
-    readonly _tag = ChannelTag.Ensuring;
-    constructor(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, finalizer: (_: Exit<OutErr, OutDone>) => IO<Env, never, any>);
-}
-export declare class ConcatAll<Env, InErr, InElem, InDone, OutErr, OutElem, OutElem2, OutDone, OutDone2, OutDone3> extends Channel<Env, InErr, InElem, InDone, OutErr, OutElem2, OutDone3> {
-    readonly combineInners: (_: OutDone, __: OutDone) => OutDone;
-    readonly combineAll: (_: OutDone, __: OutDone2) => OutDone3;
-    readonly onPull: (_: UpstreamPullRequest<OutElem>) => UpstreamPullStrategy<OutElem2>;
-    readonly onEmit: (_: OutElem2) => ChildExecutorDecision;
-    readonly value: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone2>;
-    readonly k: (_: OutElem) => Channel<Env, InErr, InElem, InDone, OutErr, OutElem2, OutDone>;
-    readonly _tag = ChannelTag.ConcatAll;
-    constructor(combineInners: (_: OutDone, __: OutDone) => OutDone, combineAll: (_: OutDone, __: OutDone2) => OutDone3, onPull: (_: UpstreamPullRequest<OutElem>) => UpstreamPullStrategy<OutElem2>, onEmit: (_: OutElem2) => ChildExecutorDecision, value: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone2>, k: (_: OutElem) => Channel<Env, InErr, InElem, InDone, OutErr, OutElem2, OutDone>);
-}
-export declare class BracketOut<R, E, Z, OutDone> extends Channel<R, unknown, unknown, unknown, E, Z, OutDone> {
-    readonly acquire: IO<R, E, Z>;
-    readonly finalizer: (_: Z, exit: Exit<any, any>) => URIO<R, any>;
-    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<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<never, unknown, unknown, unknown, never, OutElem, OutDone> {
-    readonly out: () => OutElem;
-    readonly _tag = ChannelTag.Emit;
-    constructor(out: () => OutElem);
-}
-export declare class Bridge<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone> extends Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone> {
-    readonly input: AsyncInputProducer<InErr, InElem, InDone>;
-    readonly channel: Channel<Env, unknown, unknown, unknown, OutErr, OutElem, OutDone>;
-    readonly _tag = ChannelTag.Bridge;
-    constructor(input: AsyncInputProducer<InErr, InElem, InDone>, channel: Channel<Env, unknown, unknown, unknown, OutErr, OutElem, OutDone>);
-}
+export declare function concreteContinuation<Env, InErr, InElem, InDone, OutErr, OutErr2, OutElem, OutDone, OutDone2>(_: Continuation<Env, InErr, InElem, InDone, OutErr, OutErr2, OutElem, OutDone, OutDone2>): asserts _ is ContinuationK | ContinuationFinalizer;
+export interface PipeTo extends ChannelOp<ChannelTag.PipeTo, {
+    readonly i0: () => Primitive;
+    readonly i1: () => Primitive;
+}> {
+}
+export interface Fold extends ChannelOp<ChannelTag.Fold, {
+    readonly i0: Primitive;
+    readonly i1: ContinuationK;
+}> {
+}
+export interface Read extends ChannelOp<ChannelTag.Read, {
+    readonly i0: (_: any) => Primitive;
+    readonly i1: ContinuationK;
+}> {
+}
+export interface Done extends ChannelOp<ChannelTag.Done, {
+    readonly i0: () => any;
+}> {
+}
+export interface Fail extends ChannelOp<ChannelTag.Halt, {
+    readonly i0: () => Cause<any>;
+}> {
+}
+export interface FromIO extends ChannelOp<ChannelTag.FromIO, {
+    readonly i0: IO<any, any, any>;
+}> {
+}
+export interface Defer extends ChannelOp<ChannelTag.Defer, {
+    readonly i0: () => Primitive;
+}> {
+}
+export interface Ensuring extends ChannelOp<ChannelTag.Ensuring, {
+    readonly i0: Primitive;
+    readonly i1: (_: Exit<any, any>) => URIO<any, any>;
+}> {
+}
+export interface ConcatAll extends ChannelOp<ChannelTag.ConcatAll, {
+    readonly i0: (_: any, __: any) => any;
+    readonly i1: (_: any, __: any) => any;
+    readonly i2: (_: UpstreamPullRequest<any>) => UpstreamPullStrategy<any>;
+    readonly i3: (_: any) => ChildExecutorDecision;
+    readonly i4: Primitive;
+    readonly i5: (_: any) => Primitive;
+}> {
+}
+export interface BracketOut extends ChannelOp<ChannelTag.BracketOut, {
+    readonly i0: IO<any, any, any>;
+    readonly i1: (_: any, __: Exit<any, any>) => URIO<any, any>;
+}> {
+}
+export interface Provide extends ChannelOp<ChannelTag.Provide, {
+    readonly i0: Environment<any>;
+    readonly i1: Primitive;
+}> {
+}
+export interface Emit extends ChannelOp<ChannelTag.Emit, {
+    readonly i0: () => any;
+}> {
+}
+export interface Bridge extends ChannelOp<ChannelTag.Bridge, {
+    readonly i0: AsyncInputProducer<any, any, any>;
+    readonly i1: Primitive;
+}> {
+}
+export type Primitive = PipeTo | Read | Done | Fail | FromIO | Emit | ConcatAll | Bridge | Fold | Provide | BracketOut | Ensuring | Defer;
 /**
  * @tsplus macro remove
  */
-export declare function concrete<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(_: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>): asserts _ is PipeTo<Env, InErr, InElem, InDone, OutErr, any, OutElem, any, OutDone, any> | Read<Env, InErr, InElem, InDone, OutErr, any, OutElem, OutDone, any> | Done<OutDone> | Fail<OutErr> | FromIO<Env, OutErr, OutDone> | Emit<OutElem, OutDone> | ConcatAll<Env, InErr, InElem, InDone, OutErr, any, OutElem, any, OutDone, any> | Bridge<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone> | Fold<Env, InErr, InElem, InDone, OutErr, any, OutElem, OutDone, any> | Provide<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone> | BracketOut<Env, OutErr, OutElem, OutDone> | Ensuring<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone> | Defer<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
+export declare function concrete<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(_: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>): asserts _ is Primitive;

package/Channel.d.ts

@@ -1,3 +1,3 @@
-export * from "./Channel/api.js";
-export * from "./Channel/core-api.js";
 export * from "./Channel/definition.js";
+export * from "./Channel/core-api.js";
+export * from "./Channel/api.js";

package/Clock/definition.d.ts

@@ -14,4 +14,4 @@ export declare abstract class Clock {
  * @tsplus implicit
  * @tsplus location "@fncts/io/Clock/definition"
  */
-export declare const ClockTag: import("@fncts/base/data/Tag").Tag<Clock>;
+export declare const ClockTag: import("@fncts/base/data/Tag").Tag<Clock, Clock>;

package/Clock.d.ts

@@ -1,3 +1,3 @@
-export * from "./Clock/api.js";
-export * from "./Clock/definition.js";
 export * from "./Clock/live.js";
+export * from "./Clock/definition.js";
+export * from "./Clock/api.js";

package/Console/definition.d.ts

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

package/Console.d.ts

@@ -1,3 +1,3 @@
-export * from "./Console/api.js";
-export * from "./Console/definition.js";
 export * from "./Console/live.js";
+export * from "./Console/definition.js";
+export * from "./Console/api.js";

package/Fiber/api/mapFiber.d.ts

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

package/Fiber/api/mapIO.d.ts

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