@fncts/io 0.0.9 → 0.0.10

package/Channel/api.d.ts

@@ -12,6 +12,7 @@ import { Queue } from "@fncts/io/Queue/definition";
 import { FiberId } from "@fncts/base/data/FiberId";
 import { Has } from "@fncts/base/typeclass/Has";
 import { Scope } from "@fncts/io/Scope/definition";
+import { Hub } from "@fncts/io/Hub/definition";
 import type { AsyncInputConsumer } from "@fncts/io/Channel/internal/AsyncInputConsumer";
 import type { AsyncInputProducer } from "@fncts/io/Channel/internal/AsyncInputProducer";
 import type { UpstreamPullRequest } from "@fncts/io/Channel/UpstreamPullRequest";
@@ -88,6 +89,11 @@ export declare function catchAll_<Env, Env1, InErr, InErr1, InElem, InElem1, InD
  * @tsplus location "@fncts/io/Channel/api"
  */
 export declare function catchAllCause_<Env, Env1, InErr, InErr1, InElem, InElem1, InDone, InDone1, OutErr, OutErr1, OutElem, OutElem1, OutDone, OutDone1>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, f: (cause: Cause<OutErr>) => Channel<Env1, InErr1, InElem1, InDone1, OutErr1, OutElem1, OutDone1>): 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"
+ */
+export declare function collectElements<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>): Channel<Env, InErr, InElem, InDone, OutErr, never, readonly [Conc<OutElem>, OutDone]>;
 /**
  * @tsplus getter fncts.io.Channel concatAll
  * @tsplus location "@fncts/io/Channel/api"
@@ -246,7 +252,7 @@ export declare function fromQueue<Err, Elem, Done>(queue: Queue.Dequeue<Either<E
  * @tsplus fluent fncts.io.Channel provideEnvironment
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function provideEnvironment_<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, env: Environment<Env>): Channel<unknown, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
+export declare function provideEnvironment_<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, env: Lazy<Environment<Env>>): Channel<unknown, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
 /**
  * @tsplus fluent fncts.io.Channel contramapEnvironment
  * @tsplus location "@fncts/io/Channel/api"
@@ -318,6 +324,12 @@ export declare function mapOutIO_<Env, Env1, InErr, InElem, InDone, OutErr, OutE
  * @tsplus location "@fncts/io/Channel/api"
  */
 export declare function matchCauseChannel_<Env, Env1, Env2, InErr, InErr1, InErr2, InElem, InElem1, InElem2, InDone, InDone1, InDone2, OutErr, OutErr2, OutErr3, OutElem, OutElem1, OutElem2, OutDone, OutDone2, OutDone3>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, onError: (c: Cause<OutErr>) => Channel<Env1, InErr1, InElem1, InDone1, OutErr2, OutElem1, OutDone2>, onSuccess: (o: OutDone) => Channel<Env2, InErr2, InElem2, InDone2, OutErr3, OutElem2, OutDone3>): 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 fluent fncts.io.Channel matchChannel
+ * @tsplus location "@fncts/io/Channel/api"
+ */
+export declare function matchChannel_<Env, Env1, Env2, InErr, InErr1, InErr2, InElem, InElem1, InElem2, InDone, InDone1, InDone2, OutErr, OutErr2, OutErr3, OutElem, OutElem1, OutElem2, OutDone, OutDone2, OutDone3>(channel: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, onError: (e: OutErr) => Channel<Env1, InErr1, InElem1, InDone1, OutErr2, OutElem1, OutDone2>, onSuccess: (o: OutDone) => Channel<Env2, InErr2, InElem2, InDone2, OutErr3, OutElem2, OutDone3>): 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<unknown, unknown, unknown, unknown, never, never, never>;
 /**
  * Returns a new channel that will perform the operations of this one, until failure, and then
@@ -339,6 +351,7 @@ export declare function orHaltWith_<Env, InErr, InElem, InDone, OutErr, OutElem,
 /**
  * Pipe the output of a channel into the input of another
  * @tsplus fluent fncts.io.Channel pipeTo
+ * @tsplus operator fncts.io.Channel >>>
  * @tsplus location "@fncts/io/Channel/api"
  */
 export declare function pipeTo_<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone, Env1, OutErr1, OutElem1, OutDone1>(left: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>, right: Channel<Env1, OutErr, OutElem, OutDone, OutErr1, OutElem1, OutDone1>): Channel<Env & Env1, InErr, InElem, InDone, OutErr1, OutElem1, OutDone1>;
@@ -376,10 +389,10 @@ export declare function readWith<Env, Env1, Env2, InErr, InElem, InDone, OutErr,
  */
 export declare function repeated<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>): Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>;
 /**
- * @tsplus static fncts.io.Channel toQueue
+ * @tsplus static fncts.io.ChannelOps toQueue
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function toQueue<Err, Done, Elem>(queue: Queue.Enqueue<Either<Exit<Err, Done>, Elem>>): Channel<unknown, Err, Elem, Done, never, never, any>;
+export declare function toQueue<Err, Done, Elem>(queue: Lazy<Queue.Enqueue<Either<Exit<Err, Done>, Elem>>>): Channel<unknown, Err, Elem, Done, never, never, unknown>;
 /**
  * Writes an output to the channel
  * @tsplus static fncts.io.ChannelOps write
@@ -418,4 +431,14 @@ export declare function unwrap<R, E, Env, InErr, InElem, InDone, OutErr, OutElem
  * @tsplus static fncts.io.ChannelOps unwrapScoped
  * @tsplus location "@fncts/io/Channel/api"
  */
-export declare function unwrapScoped<R, E, Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: IO<R & Has<Scope>, E, Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>>): Channel<R & Env, InErr, InElem, InDone, E | OutErr, OutElem, OutDone>;
+export declare function unwrapScoped<R, E, Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>(self: Lazy<IO<R & Has<Scope>, E, Channel<Env, InErr, InElem, InDone, OutErr, OutElem, OutDone>>>): Channel<R & Env, InErr, InElem, InDone, E | OutErr, OutElem, OutDone>;
+/**
+ * @tsplus static fncts.io.ChannelOps fromHubScoped
+ * @tsplus location "@fncts/io/Channel/api"
+ */
+export declare function fromHubScoped<Err, Done, Elem>(hub: Lazy<Hub<Either<Exit<Err, Done>, Elem>>>): IO<Has<Scope>, never, Channel<unknown, unknown, unknown, unknown, Err, Elem, Done>>;
+/**
+ * @tsplus static fncts.io.ChannelOps toHub
+ * @tsplus location "@fncts/io/Channel/api"
+ */
+export declare function toHub<Err, Done, Elem>(hub: Lazy<Hub<Either<Exit<Err, Done>, Elem>>>): Channel<unknown, Err, Elem, Done, never, never, unknown>;

package/Channel/internal/MergeDecision.d.ts

@@ -18,6 +18,20 @@ export declare abstract class MergeDecision<R, E0, Z0, E, Z> {
     readonly _E: () => E;
     readonly _Z: () => Z;
 }
+/**
+ * @tsplus unify fncts.io.Channel.MergeDecision
+ */
+export declare function unifyMergeDecision<X extends MergeDecision<any, any, any, any, any>>(_: X): MergeDecision<[
+    X
+] extends [MergeDecision<infer R, any, any, any, any>] ? R : never, [
+    X
+] extends [MergeDecision<any, infer E0, any, any, any>] ? E0 : never, [
+    X
+] extends [MergeDecision<any, any, infer Z0, any, any>] ? Z0 : never, [
+    X
+] extends [MergeDecision<any, any, any, infer E, any>] ? E : never, [
+    X
+] extends [MergeDecision<any, any, any, any, infer Z>] ? Z : never>;
 /**
  * @tsplus fluent fncts.io.Channel.MergeDecision concrete
  * @tsplus macro remove

package/STM/api.d.ts

@@ -1,10 +1,12 @@
 import { Lazy } from "@fncts/base/data/function";
 import { Maybe } from "@fncts/base/data/Maybe";
 import { Either } from "@fncts/base/data/Either";
+import { FiberId } from "@fncts/base/data/FiberId";
 import { IO } from "@fncts/io/IO/definition";
 import { Environment } from "@fncts/base/data/Environment";
 import { Refinement } from "@fncts/base/data/Refinement";
 import { Predicate } from "@fncts/base/data/Predicate";
+import type { Journal } from "./internal/Journal.js";
 import { STM } from "./definition.js";
 /**
  * Maps the success value of this effect to the specified constant value.
@@ -31,6 +33,11 @@ export declare function asJustError<R, E, A>(stm: STM<R, E, A>): STM<R, Maybe<E>
  * @tsplus location "@fncts/io/STM/api"
  */
 export declare function absolve<R, E, E1, A>(z: STM<R, E, Either<E1, A>>): STM<R, E | E1, A>;
+/**
+ * @tsplus static fncts.io.STMOps Effect
+ * @tsplus location "@fncts/io/STM/api"
+ */
+export declare function makeEffect<R, E, A>(f: (journal: Journal, fiberId: FiberId, r: R) => A): STM<R, E, A>;
 /**
  * Retrieves the environment inside an stm.
  * @tsplus static fncts.io.STMOps environment

package/Sink/api.d.ts

@@ -1,14 +1,107 @@
-import { Conc } from "@fncts/base/collection/immutable/Conc";
-import { Channel } from "@fncts/io/Channel";
 import { Sink } from "@fncts/io/Sink/definition";
+import { Lazy } from "@fncts/base/data/function";
+import { Conc, ConcBuilder } from "@fncts/base/collection/immutable/Conc";
 import { Predicate } from "@fncts/base/data/Predicate";
+import { Channel } from "@fncts/io/Channel";
 import { IO } from "@fncts/io/IO/definition";
+import { Environment } from "@fncts/base/data/Environment";
+import { Cause } from "@fncts/base/data/Cause";
+import { Maybe } from "@fncts/base/data/Maybe";
+import { Has } from "@fncts/base/typeclass/Has";
+import { Scope } from "@fncts/io/Scope/definition";
+import { Either } from "@fncts/base/data/Either";
+import { Queue } from "@fncts/io/Queue/definition";
+import { Hub } from "@fncts/io/Hub/definition";
+import { Exit } from "@fncts/base/data/Exit";
+import { Tag } from "@fncts/base/data/Tag";
+import { Ref } from "@fncts/io/Ref";
+import { Duration } from "@fncts/base/data/Duration";
+import { MergeDecision } from "../Channel/internal/MergeDecision.js";
 /**
- * A sink that collects all of its inputs into a chunk.
- * @tsplus static fncts.io.SinkOps collectAll
+ * @tsplus fluent fncts.io.Sink apFirst
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function apFirst<R, E, In, L, Z, R1, E1, In1 extends In, L1 extends L, Z1>(self: Sink<R, E, In, L, Z>, that: Lazy<Sink<R1, E1, In1, L1, Z1>>): Sink<R & R1, E | E1, In & In1, L | L1, Z>;
+/**
+ * @tsplus fluent fncts.io.Sink apFirstC
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function apFirstC<R, E, In, L, Z, R1, E1, In1 extends In, L1 extends L, Z1>(self: Sink<R, E, In, L, Z>, that: Lazy<Sink<R1, E1, In1, L1, Z1>>): Sink<R & R1, E | E1, In & In1, L | L1, Z>;
+/**
+ * @tsplus fluent fncts.io.Sink apSecond
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function apSecond<R, E, In, L, Z, R1, E1, In1 extends In, L1 extends L, Z1>(self: Sink<R, E, In, L, Z>, that: Lazy<Sink<R1, E1, In1, L1, Z1>>): Sink<R & R1, E | E1, In & In1, L | L1, Z1>;
+/**
+ * @tsplus fluent fncts.io.Sink apSecondC
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function apSecondC<R, E, In, L, Z, R1, E1, In1 extends In, L1 extends L, Z1>(self: Sink<R, E, In, L, Z>, that: Lazy<Sink<R1, E1, In1, L1, Z1>>): Sink<R & R1, E | E1, In & In1, L | L1, Z1>;
+/**
+ * @tsplus fluent fncts.io.Sink as
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function as<R, E, In, L, Z, Z1>(self: Sink<R, E, In, L, Z>, z: Lazy<Z1>): Sink<R, E, In, L, Z1>;
+/**
+ * @tsplus fluent fncts.io.Sink collectAll
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function collectAll<R, E, In extends L, L, Z>(self: Sink<R, E, In, L, Z>, __tsplusTrace?: string): Sink<R, E, In, L, Conc<Z>>;
+/**
+ * @tsplus fluent fncts.io.Sink collectAllWhileWith
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function collectAllWhileWith<R, E, In extends L, L, Z, S>(self: Sink<R, E, In, L, Z>, z: Lazy<S>, p: Predicate<Z>, f: (s: S, z: Z) => S, __tsplusTrace?: string): Sink<R, E, In, L, S>;
+/**
+ * @tsplus getter fncts.io.Sink collectLeftover
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function collectLeftover<R, E, In, L, Z>(self: Sink<R, E, In, L, Z>, __tsplusTrace?: string): Sink<R, E, In, never, readonly [Z, Conc<L>]>;
+/**
+ * @tsplus fluent fncts.io.Sink contramap
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function contramap<R, E, In, L, Z, In1>(self: Sink<R, E, In, L, Z>, f: (inp: In1) => In): Sink<R, E, In1, L, Z>;
+/**
+ * @tsplus fluent fncts.io.Sink contramapChunks
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function contramapChunks<R, E, In, L, Z, In1>(self: Sink<R, E, In, L, Z>, f: (chunk: Conc<In1>) => Conc<In>): Sink<R, E, In1, L, Z>;
+/**
+ * @tsplus fluent fncts.io.Sink contramapChunksIO
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function contramapChunksIO<R, E, In, L, Z, R1, E1, In1>(self: Sink<R, E, In, L, Z>, f: (chunk: Conc<In1>) => IO<R1, E1, Conc<In>>): Sink<R & R1, E | E1, In1, L, Z>;
+/**
+ * @tsplus fluent fncts.io.Sink contramapIO
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function contramapIO<R, E, In, L, Z, R1, E1, In1>(self: Sink<R, E, In, L, Z>, f: (inp: In1) => IO<R1, E1, In>): Sink<R & R1, E | E1, In1, L, Z>;
+/**
+ * @tsplus fluent fncts.io.Sink dimap
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function dimap<R, E, In, L, Z, In1, Z1>(self: Sink<R, E, In, L, Z>, f: (inp: In1) => In, g: (z: Z) => Z1): Sink<R, E, In1, L, Z1>;
+/**
+ * @tsplus fluent fncts.io.Sink dimapChunks
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function dimapChunks<R, E, In, L, Z, In1, Z1>(self: Sink<R, E, In, L, Z>, f: (chunk: Conc<In1>) => Conc<In>, g: (z: Z) => Z1): Sink<R, E, In1, L, Z1>;
+/**
+ * @tsplus fluent fncts.io.Sink dimapChunksIO
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function dimapChunksIO<R, E, In, L, Z, R1, E1, In1, R2, E2, Z1>(self: Sink<R, E, In, L, Z>, f: (chunk: Conc<In1>) => IO<R1, E1, Conc<In>>, g: (z: Z) => IO<R2, E2, Z1>): Sink<R & R1 & R2, E | E1 | E2, In1, L, Z1>;
+/**
+ * @tsplus fluent fncts.io.Sink dimapIO
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function dimapIO<R, E, In, L, Z, R1, E1, In1, R2, E2, Z1>(self: Sink<R, E, In, L, Z>, f: (inp: In1) => IO<R1, E1, In>, g: (z: Z) => IO<R2, E2, Z1>): Sink<R & R1 & R2, E | E1 | E2, In1, L, Z1>;
+/**
+ * @tsplus static fncts.io.SinkOps defer
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function collectAll<Err, A>(): Sink<unknown, Err, A, never, Conc<A>>;
+export declare function defer<R, E, In, L, Z>(sink: Lazy<Sink<R, E, In, L, Z>>): Sink<R, E, In, L, Z>;
 /**
  * A sink that ignores all of its inputs.
  * @tsplus static fncts.io.SinkOps drain
@@ -20,16 +113,371 @@ export declare const drain: Sink<unknown, never, unknown, never, void>;
  * @tsplus location "@fncts/io/Sink/api"
  */
 export declare function dropWhile<Err, In>(predicate: Predicate<In>): Sink<unknown, never, In, In, any>;
+/**
+ * @tsplus static fncts.io.SinkOps environment
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function environment<R>(__tsplusTrace?: string): Sink<R, never, unknown, never, Environment<R>>;
+/**
+ * @tsplus static fncts.io.SinkOps environmentWith
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function environmentWith<R, Z>(f: (r: Environment<R>) => Z, __tsplusTrace?: string): Sink<R, never, unknown, never, Z>;
+/**
+ * @tsplus static fncts.io.SinkOps environmentWithIO
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function environmentWithIO<R, R1, E, Z>(f: (r: Environment<R>) => IO<R1, E, Z>, __tsplusTrace?: string): Sink<R & R1, E, unknown, never, Z>;
+/**
+ * @tsplus static fncts.io.SinkOps environmentWithSink
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function environmentWithSink<R, R1, E, In, L, Z>(f: (r: Environment<R>) => Sink<R1, E, In, L, Z>, __tsplusTrace?: string): Sink<R & R1, E, In, L, Z>;
+/**
+ * @tsplus static fncts.io.SinkOps fail
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function fail<E>(e: Lazy<E>): Sink<unknown, E, unknown, never, never>;
+/**
+ * @tsplus static fncts.io.SinkOps failCause
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function failCause<E>(cause: Lazy<Cause<E>>, __tsplusTrace?: string): Sink<unknown, E, unknown, never, never>;
+/**
+ * @tsplus static fncts.io.SinkOps failCauseNow
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function failCauseNow<E>(cause: Cause<E>, __tsplusTrace?: string): Sink<unknown, E, unknown, never, never>;
+/**
+ * @tsplus static fncts.io.SinkOps failNow
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function failNow<E>(e: E, __tsplusTrace?: string): Sink<unknown, E, unknown, never, never>;
+/**
+ * @tsplus static fncts.io.SinkOps filterInput
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function filterInput<R, E, In, L, Z>(self: Sink<R, E, In, L, Z>, p: Predicate<In>, __tsplusTrace?: string): Sink<R, E, In, L, Z>;
+/**
+ * @tsplus static fncts.io.SinkOps filterInputIO
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function filterInputIO<R, E, In, L, Z, R1, E1>(self: Sink<R, E, In, L, Z>, p: (inp: In) => IO<R1, E1, boolean>, __tsplusTrace?: string): Sink<R & R1, E | E1, In, L, Z>;
+/**
+ * @tsplus fluent fncts.io.Sink findIO
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function findIO<R, E, In extends L, L, Z, R1, E1>(self: Sink<R, E, In, L, Z>, f: (z: Z) => IO<R1, E1, boolean>, __tsplusTrace?: string): Sink<R & R1, E | E1, In, L, Maybe<Z>>;
+/**
+ * @tsplus fluent fncts.io.Sink flatMap
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function flatMap<R, E, In, L, Z, R1, E1, In1 extends In, L1, Z1>(self: Sink<R, E, In, L, Z>, f: (z: Z) => Sink<R1, E1, In1, L1, Z1>, __tsplusTrace?: string): Sink<R & R1, E | E1, In1, L | L1, Z1>;
+/**
+ * @tsplus static fncts.io.SinkOps fromChannel
+ * @tsplus static fncts.io.SinkOps __call
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function fromChannel<R, E, In, L, Z>(channel: Channel<R, never, Conc<In>, unknown, E, Conc<L>, Z>): Sink<R, E, In, L, Z>;
+/**
+ * @tsplus static fncts.io.SinkOps fromPush
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function fromPush<R, E, In, L, Z, R1>(push: IO<Has<Scope> & R, never, (_: Maybe<Conc<In>>) => IO<R1, readonly [Either<E, Z>, Conc<L>], void>>, __tsplusTrace?: string): Sink<R & R1, E, In, L, Z>;
+/**
+ * @tsplus static fncts.io.SinkOps fromQueue
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function fromQueue<In>(queue: Lazy<Queue.Enqueue<In>>): Sink<unknown, never, In, never, void>;
+/**
+ * @tsplus static fncts.io.SinkOps fromQueueWithShutdown
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function fromQueueWithShutdown<In>(queue: Lazy<Queue.Enqueue<In>>): Sink<unknown, never, In, never, void>;
+/**
+ * @tsplus static fncts.io.SinkOps fromHub
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function fromHub<In>(hub: Lazy<Hub<In>>): Sink<unknown, never, In, never, void>;
+/**
+ * @tsplus static fncts.io.SinkOps fromHubWithShutdown
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function fromHubWithShutdown<In>(hub: Lazy<Hub<In>>): Sink<unknown, never, In, never, void>;
+/**
+ * @tsplus static fncts.io.SinkOps fromIO
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function fromIO<R, E, Z>(b: Lazy<IO<R, E, Z>>): Sink<R, E, unknown, never, Z>;
+/**
+ * @tsplus static fncts.io.SinkOps halt
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function halt(defect: Lazy<unknown>, __tsplusTrace?: string): Sink<unknown, never, unknown, never, never>;
+/**
+ * @tsplus static fncts.io.SinkOps haltNow
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function haltNow(defect: unknown, __tsplusTrace?: string): Sink<unknown, never, unknown, never, never>;
+/**
+ * @tsplus static fncts.io.SinkOps head
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function head<In>(__tsplusTrace?: string): Sink<unknown, never, In, In, Maybe<In>>;
+/**
+ * @tsplus getter fncts.io.Sink ignoreLeftover
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function ignoreLeftover<R, E, In, L, Z>(self: Sink<R, E, In, L, Z>, __tsplusTrace?: string): Sink<R, E, In, never, Z>;
+/**
+ * @tsplus static fncts.io.SinkOps last
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function last<In>(__tsplusTrace?: string): Sink<unknown, never, In, In, Maybe<In>>;
+/**
+ * @tsplus static fncts.io.SinkOps leftover
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function leftover<L>(c: Lazy<Conc<L>>, __tsplusTrace?: string): Sink<unknown, never, unknown, L, void>;
+/**
+ * @tsplus static fncts.io.SinkOps log
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function log(message: Lazy<string>, __tsplusTrace?: string): Sink<unknown, never, unknown, never, void>;
+/**
+ * A sink that collects all of its inputs into a chunk.
+ * @tsplus static fncts.io.SinkOps collectAll
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function makeCollectAll<In>(): Sink<unknown, never, In, never, Conc<In>>;
+export declare function makeCollectAllN<In>(n: Lazy<number>): Sink<unknown, never, In, In, Conc<In>>;
 /**
  * A sink that executes the provided effectful function for every element fed to it.
  * @tsplus static fncts.io.SinkOps foreach
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function foreach<R, Err, In>(f: (inp: In) => IO<R, Err, any>): Sink<R, Err, In, In, void>;
+export declare function makeForeach<R, Err, In>(f: (inp: In) => IO<R, Err, any>, __tsplusTrace?: string): Sink<R, Err, In, In, void>;
+/**
+ * @tsplus static fncts.io.SinkOps foreachChunk
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function makeForeachChunk<R, E, In>(f: (inp: Conc<In>) => IO<R, E, void>, __tsplusTrace?: string): Sink<R, E, In, never, void>;
 /**
  * A sink that executes the provided effectful function for every element fed to it
  * until `f` evaluates to `false`.
  * @tsplus static fncts.io.SinkOps foreachWhile
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function foreachWhile<R, Err, In>(f: (_: In) => IO<R, Err, boolean>): Sink<R, Err, In, In, void>;
+export declare function makeForeachWhile<R, Err, In>(f: (_: In) => IO<R, Err, boolean>, __tsplusTrace?: string): Sink<R, Err, In, In, void>;
+/**
+ * @tsplus static fncts.io.SinkOps foreachChunkWhile
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function makeForeachChunkWhile<R, E, In>(f: (chunk: Conc<In>) => IO<R, E, boolean>, __tsplusTrace?: string): Sink<R, E, In, In, void>;
+/**
+ * @tsplus static fncts.io.SinkOps fold
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function makeFold<In, S>(z: Lazy<S>, contFn: Predicate<S>, f: (s: S, inp: In) => S, __tsplusTrace?: string): Sink<unknown, never, In, In, S>;
+/**
+ * @tsplus static fncts.io.SinkOps foldUntil
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function makeFoldUntil<In, S>(z: Lazy<S>, max: Lazy<number>, f: (s: S, inp: In) => S, __tsplusTrace?: string): Sink<unknown, never, In, In, S>;
+/**
+ * @tsplus static fncts.io.SinkOps foldChunks
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function makeFoldChunks<In, S>(z: Lazy<S>, contFn: Predicate<S>, f: (s: S, inp: Conc<In>) => S): Sink<unknown, never, In, never, S>;
+/**
+ * @tsplus static fncts.io.SinkOps foldChunksIO
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function makeFoldChunksIO<Env, Err, In, S>(z: Lazy<S>, contFn: Predicate<S>, f: (s: S, inp: Conc<In>) => IO<Env, Err, S>): Sink<Env, Err, In, In, S>;
+/**
+ * @tsplus static fncts.io.SinkOps foldLeft
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function makeFoldLeft<In, S>(z: Lazy<S>, f: (s: S, inp: In) => S): Sink<unknown, never, In, never, S>;
+/**
+ * @tsplus static fncts.io.SinkOps foldLeftChunks
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function makeFoldLeftChunks<In, S>(z: Lazy<S>, f: (s: S, inp: Conc<In>) => S): Sink<unknown, never, In, never, S>;
+/**
+ * @tsplus static fncts.io.SinkOps foldLeftChunksIO
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function makeFoldLeftChunksIO<R, E, In, S>(z: Lazy<S>, f: (s: S, inp: Conc<In>) => IO<R, E, S>): Sink<R, E, In, In, S>;
+/**
+ * @tsplus static fncts.io.SinkOps foldLeftIO
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function makeFoldLeftIO<R, E, In, S>(z: Lazy<S>, f: (s: S, inp: In) => IO<R, E, S>): Sink<R, E, In, In, S>;
+/**
+ * @tsplus static fncts.io.SinkOps foldIO
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function makeFoldIO<R, E, In, S>(z: Lazy<S>, contFn: Predicate<S>, f: (s: S, inp: In) => IO<R, E, S>): Sink<R, E, In, In, S>;
+/**
+ * @tsplus static fncts.io.SinkOps foldUntilIO
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function makeFoldUntilIO<R, E, In, S>(z: Lazy<S>, max: Lazy<number>, f: (s: S, inp: In) => IO<R, E, S>): Sink<R, E, In, In, S>;
+/**
+ * @tsplus static fncts.io.SinkOps foldWeightedDecompose
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function makeFoldWeightedDecompose<In, S>(z: Lazy<S>, costFn: (s: S, inp: In) => number, max: Lazy<number>, decompose: (inp: In) => Conc<In>, f: (s: S, inp: In) => S): Sink<unknown, never, In, In, S>;
+/**
+ * @tsplus static fncts.io.SinkOps foldWeightedDecomposeIO
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function makeFoldWeightedDecomposeIO<R, E, In, S, R1, E1, R2, E2>(z: Lazy<S>, costFn: (s: S, inp: In) => IO<R1, E1, number>, max: Lazy<number>, decompose: (inp: In) => IO<R2, E2, Conc<In>>, f: (s: S, inp: In) => IO<R, E, S>): Sink<R & R1 & R2, E | E1 | E2, In, In, S>;
+/**
+ * @tsplus static fncts.io.SinkOps foldWeighted
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function makeFoldWeighted<In, S>(z: Lazy<S>, costFn: (s: S, inp: In) => number, max: Lazy<number>, f: (s: S, inp: In) => S): Sink<unknown, never, In, In, S>;
+/**
+ * @tsplus static fncts.io.SinkOps foldWeightedIO
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function makeFoldWeightedIO<R, E, In, S, R1, E1>(z: Lazy<S>, costFn: (s: S, inp: In) => IO<R, E, number>, max: Lazy<number>, f: (s: S, inp: In) => IO<R1, E1, S>): Sink<R & R1, E | E1, In, In, S>;
+/**
+ * Transforms this sink's result.
+ * @tsplus fluent fncts.io.Sink map
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function map_<R, E, In, L, Z, Z1>(self: Sink<R, E, In, L, Z>, f: (z: Z) => Z1, __tsplusTrace?: string): Sink<R, E, In, L, Z1>;
+/**
+ * Transforms the errors emitted by this sink using `f`.
+ * @tsplus fluent fncts.io.Sink mapError
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function mapError_<R, E, In, L, Z, E1>(self: Sink<R, E, In, L, Z>, f: (e: E) => E1, __tsplusTrace?: string): Sink<R, E1, In, L, Z>;
+/**
+ * Effectfully transforms this sink's result.
+ * @tsplus fluent fncts.io.Sink mapIO
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function mapIO_<R, E, In, L, Z, R1, E1, Z1>(self: Sink<R, E, In, L, Z>, f: (z: Z) => IO<R1, E1, Z1>, __tsplusTrace?: string): Sink<R & R1, E | E1, In, L, Z1>;
+/**
+ * Runs this sink until it yields a result, then uses that result to create
+ * another sink from the provided function which will continue to run until it
+ * yields a result.
+ *
+ * This function essentially runs sinks in sequence.
+ * @tsplus fluent fncts.io.Sink matchSink
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function matchSink_<R, E, In, L, Z, R1, E1, In1 extends In, L1, Z1, R2, E2, In2 extends In, L2, Z2>(self: Sink<R, E, In, L, Z>, onFailure: (e: E) => Sink<R1, E1, In1, L1, Z1>, onSuccess: (z: Z) => Sink<R2, E2, In2, L2, Z2>, __tsplusTrace?: string): Sink<R & R1 & R2, E1 | E2, In1 & In2, L | L1 | L2, Z1 | Z2>;
+/**
+ * @tsplus fluent fncts.io.Sink orElse
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function orElse<R, E, In, L, Z, R1, E1, In1, L1, Z1>(self: Sink<R, E, In, L, Z>, that: Lazy<Sink<R1, E1, In1, L1, Z1>>, __tsplusTrace?: string): Sink<R & R1, E | E1, In & In1, L | L1, Z | Z1>;
+/**
+ * @tsplus fluent fncts.io.Sink provideEnvironment
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function provideEnvironment<R, E, In, L, Z>(self: Sink<R, E, In, L, Z>, r: Lazy<Environment<R>>, __tsplusTrace?: string): Sink<unknown, E, In, L, Z>;
+/**
+ * @tsplus fluent fncts.io.Sink race
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function race<R, E, In, L, Z, R1, E1, In1, L1, Z1>(self: Sink<R, E, In, L, Z>, that: Lazy<Sink<R1, E1, In1, L1, Z1>>): Sink<R & R1, E | E1, In & In1, L | L1, Z | Z1>;
+/**
+ * @tsplus fluent fncts.io.Sink raceBoth
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function raceBoth<R, E, In, L, Z, R1, E1, In1, L1, Z1>(self: Sink<R, E, In, L, Z>, that: Lazy<Sink<R1, E1, In1, L1, Z1>>, capacity?: Lazy<number>): Sink<R & R1, E | E1, In & In1, L | L1, Either<Z, Z1>>;
+/**
+ * @tsplus fluent fncts.io.Sink raceWith
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function raceWith<R, E, In, L, Z, R1, E1, In1, L1, Z1, R2, E2, Z2, R3, E3, Z3>(self: Sink<R, E, In, L, Z>, that: Lazy<Sink<R1, E1, In1, L1, Z1>>, leftDone: (exit: Exit<E, Z>) => MergeDecision<R1, E1, Z1, E2, Z2>, rightDone: (exit: Exit<E1, Z1>) => MergeDecision<R, E, Z, E3, Z3>, capacity?: Lazy<number>, __tsplusTrace?: string): Sink<R & R1 & R2 & R3, E2 | E3, In & In1, L | L1, Z2 | Z3>;
+/**
+ * @tsplus static fncts.io.SinkOps service
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function service<S>(/** @tsplus auto */ tag: Tag<S>): Sink<Has<S>, never, unknown, never, S>;
+/**
+ * @tsplus static fncts.io.SinkOps serviceWith
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function serviceWith<S, Z>(f: (service: S) => Z, 
+/** @tsplus auto */ tag: Tag<S>): Sink<Has<S>, never, unknown, never, Z>;
+/**
+ * @tsplus static fncts.io.SinkOps serviceWithIO
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function serviceWithIO<S, R, E, Z>(f: (service: S) => IO<R, E, Z>, 
+/** @tsplus auto */ tag: Tag<S>): Sink<Has<S> & R, E, unknown, never, Z>;
+/**
+ * @tsplus static fncts.io.SinkOps serviceWithSink
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function serviceWithSink<S, R, E, In, L, Z>(f: (service: S) => Sink<R, E, In, L, Z>, 
+/** @tsplus auto */ tag: Tag<S>): Sink<Has<S> & R, E, In, L, Z>;
+/**
+ * @tsplus fluent fncts.io.Sink splitWhere
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function splitWhere<R, E, In, L extends In, Z>(self: Sink<R, E, In, L, Z>, p: Predicate<In>): Sink<R, E, In, In, Z>;
+/**
+ * @tsplus static fncts.io.SinkOps succeed
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function succeed<Z>(z: Lazy<Z>, __tsplusTrace?: string): Sink<unknown, never, unknown, never, Z>;
+/**
+ * @tsplus static fncts.io.SinkOps succeedNow
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function succeedNow<Z>(z: Z, __tsplusTrace?: string): Sink<unknown, never, unknown, never, Z>;
+/**
+ * @tsplus fluent fncts.io.Sink summarized
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function summarized<R, E, In, L, Z, R1, E1, B, C>(self: Sink<R, E, In, L, Z>, summary: Lazy<IO<R1, E1, B>>, f: (b1: B, b2: B) => C, __tsplusTrace?: string): Sink<R & R1, E | E1, In, L, readonly [Z, C]>;
+/**
+ * @tsplus getter fncts.io.Sink timed
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function timed<R, E, In, L, Z>(self: Sink<R, E, In, L, Z>, __tsplusTrace?: string): Sink<R, E, In, L, readonly [Z, Duration]>;
+/**
+ * @tsplus static fncts.io.SinkOps unwrap
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function unwrap<R, E, R1, E1, In, L, Z>(io: Lazy<IO<R, E, Sink<R1, E1, In, L, Z>>>): Sink<R & R1, E | E1, In, L, Z>;
+/**
+ * Creates a sink produced from a scoped effect.
+ * @tsplus static fncts.io.SinkOps unwrapScoped
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function unwrapScoped<R, E, R1, E1, In, L, Z>(scoped: Lazy<IO<Has<Scope> & R, E, Sink<R1, E1, In, L, Z>>>): Sink<R & R1, E | E1, In, L, Z>;
+/**
+ * @tsplus fluent fncts.io.Sink zip
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function zip<R, E, In, L, Z, R1, E1, In1 extends In, L1 extends L, Z1>(self: Sink<R, E, In, L, Z>, that: Lazy<Sink<R1, E1, In1, L1, Z1>>): Sink<R & R1, E | E1, In & In1, L | L1, readonly [Z, Z1]>;
+/**
+ * @tsplus fluent fncts.io.Sink zipC
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function zipC<R, E, In, L, Z, R1, E1, In1 extends In, L1 extends L, Z1>(self: Sink<R, E, In, L, Z>, that: Lazy<Sink<R1, E1, In1, L1, Z1>>): Sink<R & R1, E | E1, In & In1, L | L1, readonly [Z, Z1]>;
+/**
+ * Feeds inputs to this sink until it yields a result, then switches over to
+ * the provided sink until it yields a result, finally combining the two
+ * results with `f`.
+ * @tsplus fluent fncts.io.Sink zipWith
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function zipWith<R, E, In, L, Z, R1, E1, In1 extends In, L1 extends L, Z1, Z2>(self: Lazy<Sink<R, E, In, L, Z>>, that: Lazy<Sink<R1, E1, In1, L1, Z1>>, f: (z: Z, z1: Z1) => Z2): Sink<R & R1, E | E1, In & In1, L | L1, Z2>;
+/**
+ * Runs both sinks in parallel on the input and combines the results using the
+ * provided function.
+ * @tsplus fluent fncts.io.Sink zipWithC
+ * @tsplus location "@fncts/io/Sink/api"
+ */
+export declare function zipWithC<R, E, In, L, Z, R1, E1, In1, L1, Z1, Z2>(self: Lazy<Sink<R, E, In, L, Z>>, that: Lazy<Sink<R1, E1, In1, L1, Z1>>, f: (z: Z, z1: Z1) => Z2): Sink<R & R1, E | E1, In & In1, L | L1, Z2>;