@fncts/io 0.0.38 → 0.0.40

package/Sink/api.d.ts

@@ -21,37 +21,37 @@ import { MergeDecision } from "../Channel/internal/MergeDecision.js";
  * @tsplus pipeable fncts.io.Sink zipLeft
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function zipLeft<In, L, R1, E1, In1 extends In, L1 extends L, Z1>(that: Lazy<Sink<R1, E1, In1, L1, Z1>>, __tsplusTrace?: string): <R, E, Z>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R1 | R, E1 | E, In & In1, L | L1, Z>;
+export declare function zipLeft<In, L, R1, E1, In1 extends In, L1 extends L, Z1>(that: Lazy<Sink<R1, E1, In1, L1, Z1>>, __tsplusTrace?: string): <R, E, Z>(self: Sink<R, E, In, L, Z>) => Sink<R | R1, E | E1, In & In1, L | L1, Z>;
 /**
  * Like {@link zipConcurrent }, but keeps only the result from this sink
- * @tsplus pipeable fncts.io.Sink zipLeftC
+ * @tsplus pipeable fncts.io.Sink zipLeftConcurrent
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function zipLeftC<In, L, R1, E1, In1 extends In, L1 extends L, Z1>(that: Lazy<Sink<R1, E1, In1, L1, Z1>>, __tsplusTrace?: string): <R, E, Z>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R1 | R, E1 | E, In & In1, L | L1, Z>;
+export declare function zipLeftConcurrent<In, L, R1, E1, In1 extends In, L1 extends L, Z1>(that: Lazy<Sink<R1, E1, In1, L1, Z1>>, __tsplusTrace?: string): <R, E, Z>(self: Sink<R, E, In, L, Z>) => Sink<R | R1, E | E1, In & In1, L | L1, Z>;
 /**
  * Like {@link zip }, but keeps only the result from the `that` sink
  * @tsplus pipeable fncts.io.Sink zipRight
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function zipRight<In, L, R1, E1, In1 extends In, L1 extends L, Z1>(that: Lazy<Sink<R1, E1, In1, L1, Z1>>, __tsplusTrace?: string): <R, E, Z>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R1 | R, E1 | E, In & In1, L | L1, Z1>;
+export declare function zipRight<In, L, R1, E1, In1 extends In, L1 extends L, Z1>(that: Lazy<Sink<R1, E1, In1, L1, Z1>>, __tsplusTrace?: string): <R, E, Z>(self: Sink<R, E, In, L, Z>) => Sink<R | R1, E | E1, In & In1, L | L1, Z1>;
 /**
  * Like {@link zipConcurrent }, but keeps only the result from the `that` sink
- * @tsplus pipeable fncts.io.Sink zipRightC
+ * @tsplus pipeable fncts.io.Sink zipRightConcurrent
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function zipRightC<In, L, R1, E1, In1 extends In, L1 extends L, Z1>(that: Lazy<Sink<R1, E1, In1, L1, Z1>>, __tsplusTrace?: string): <R, E, Z>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R1 | R, E1 | E, In & In1, L | L1, Z1>;
+export declare function zipRightConcurrent<In, L, R1, E1, In1 extends In, L1 extends L, Z1>(that: Lazy<Sink<R1, E1, In1, L1, Z1>>, __tsplusTrace?: string): <R, E, Z>(self: Sink<R, E, In, L, Z>) => Sink<R | R1, E | E1, In & In1, L | L1, Z1>;
 /**
  * Replaces this sink's result with the provided value.
  * @tsplus pipeable fncts.io.Sink as
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function as<Z1>(z: Lazy<Z1>, __tsplusTrace?: string): <R, E, In, L, Z>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R, E, In, L, Z1>;
+export declare function as<Z1>(z: Lazy<Z1>, __tsplusTrace?: string): <R, E, In, L, Z>(self: Sink<R, E, In, L, Z>) => Sink<R, E, In, L, Z1>;
 /**
  * Repeatedly runs the sink and accumulates its results into a chunk
  * @tsplus pipeable fncts.io.Sink collectAll
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function collectAll(__tsplusTrace?: string): <R, E, In extends L, L, Z>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R, E, In, L, import("@fncts/base/collection/immutable/Conc.js").Conc<Z>>;
+export declare function collectAll(__tsplusTrace?: string): <R, E, In extends L, L, Z>(self: Sink<R, E, In, L, Z>) => Sink<R, E, In, L, Conc<Z>>;
 /**
  * Repeatedly runs the sink for as long as its results satisfy the predicate
  * `p`. The sink's results will be accumulated using the stepping function
@@ -59,7 +59,7 @@ export declare function collectAll(__tsplusTrace?: string): <R, E, In extends L,
  * @tsplus pipeable fncts.io.Sink collectAllWhileWith
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function collectAllWhileWith<Z, S>(z: Lazy<S>, p: Predicate<Z>, f: (s: S, z: Z) => S, __tsplusTrace?: string): <R, E, In extends L, L>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R, E, In, L, S>;
+export declare function collectAllWhileWith<Z, S>(z: Lazy<S>, p: Predicate<Z>, f: (s: S, z: Z) => S, __tsplusTrace?: string): <R, E, In extends L, L>(self: Sink<R, E, In, L, Z>) => Sink<R, E, In, L, S>;
 /**
  * Collects the leftovers from the stream when the sink succeeds and returns
  * them as part of the sink's result
@@ -72,54 +72,54 @@ export declare function collectLeftover<R, E, In, L, Z>(self: Sink<R, E, In, L,
  * @tsplus pipeable fncts.io.Sink contramap
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function contramap<In, In1>(f: (inp: In1) => In, __tsplusTrace?: string): <R, E, L, Z>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R, E, In1, L, Z>;
+export declare function contramap<In, In1>(f: (inp: In1) => In, __tsplusTrace?: string): <R, E, L, Z>(self: Sink<R, E, In, L, Z>) => Sink<R, E, In1, L, Z>;
 /**
  * Transforms this sink's input chunks. `f` must preserve chunking-invariance
  * @tsplus pipeable fncts.io.Sink contramapChunks
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function contramapChunks<In, In1>(f: (chunk: Conc<In1>) => Conc<In>, __tsplusTrace?: string): <R, E, L, Z>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R, E, In1, L, Z>;
+export declare function contramapChunks<In, In1>(f: (chunk: Conc<In1>) => Conc<In>, __tsplusTrace?: string): <R, E, L, Z>(self: Sink<R, E, In, L, Z>) => Sink<R, E, In1, L, Z>;
 /**
  * Effectfully transforms this sink's input chunks. `f` must preserve
  * chunking-invariance
  * @tsplus pipeable fncts.io.Sink contramapChunksIO
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function contramapChunksIO<In, R1, E1, In1>(f: (chunk: Conc<In1>) => IO<R1, E1, Conc<In>>, __tsplusTrace?: string): <R, E, L, Z>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R1 | R, E1 | E, In1, L, Z>;
+export declare function contramapChunksIO<In, R1, E1, In1>(f: (chunk: Conc<In1>) => IO<R1, E1, Conc<In>>, __tsplusTrace?: string): <R, E, L, Z>(self: Sink<R, E, In, L, Z>) => Sink<R | R1, E | E1, In1, L, Z>;
 /**
  * Effectfully transforms this sink's input elements.
  * @tsplus pipeable fncts.io.Sink contramapIO
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function contramapIO<In, R1, E1, In1>(f: (inp: In1) => IO<R1, E1, In>, __tsplusTrace?: string): <R, E, L, Z>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R1 | R, E1 | E, In1, L, Z>;
+export declare function contramapIO<In, R1, E1, In1>(f: (inp: In1) => IO<R1, E1, In>, __tsplusTrace?: string): <R, E, L, Z>(self: Sink<R, E, In, L, Z>) => Sink<R | R1, E | E1, In1, L, Z>;
 /**
  * Transforms both inputs and result of this sink using the provided
  * functions.
  * @tsplus pipeable fncts.io.Sink dimap
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function dimap<In, Z, In1, Z1>(f: (inp: In1) => In, g: (z: Z) => Z1, __tsplusTrace?: string): <R, E, L>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R, E, In1, L, Z1>;
+export declare function dimap<In, Z, In1, Z1>(f: (inp: In1) => In, g: (z: Z) => Z1, __tsplusTrace?: string): <R, E, L>(self: Sink<R, E, In, L, Z>) => Sink<R, E, In1, L, Z1>;
 /**
  * Transforms both input chunks and result of this sink using the provided
  * functions.
  * @tsplus pipeable fncts.io.Sink dimapChunks
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function dimapChunks<In, Z, In1, Z1>(f: (chunk: Conc<In1>) => Conc<In>, g: (z: Z) => Z1, __tsplusTrace?: string): <R, E, L>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R, E, In1, L, Z1>;
+export declare function dimapChunks<In, Z, In1, Z1>(f: (chunk: Conc<In1>) => Conc<In>, g: (z: Z) => Z1, __tsplusTrace?: string): <R, E, L>(self: Sink<R, E, In, L, Z>) => Sink<R, E, In1, L, Z1>;
 /**
  * Effectfully transforms both input chunks and result of this sink using the
  * provided functions. `f` and `g` must preserve chunking-invariance
  * @tsplus pipeable fncts.io.Sink dimapChunksIO
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function dimapChunksIO<In, Z, R1, E1, In1, R2, E2, Z1>(f: (chunk: Conc<In1>) => IO<R1, E1, Conc<In>>, g: (z: Z) => IO<R2, E2, Z1>, __tsplusTrace?: string): <R, E, L>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R1 | R2 | R, E1 | E2 | E, In1, L, Z1>;
+export declare function dimapChunksIO<In, Z, R1, E1, In1, R2, E2, Z1>(f: (chunk: Conc<In1>) => IO<R1, E1, Conc<In>>, g: (z: Z) => IO<R2, E2, Z1>, __tsplusTrace?: string): <R, E, L>(self: Sink<R, E, In, L, Z>) => Sink<R | R1 | R2, E | E1 | E2, In1, L, Z1>;
 /**
  * Effectfully transforms both inputs and result of this sink using the
  * provided functions.
  * @tsplus pipeable fncts.io.Sink dimapIO
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function dimapIO<In, Z, R1, E1, In1, R2, E2, Z1>(f: (inp: In1) => IO<R1, E1, In>, g: (z: Z) => IO<R2, E2, Z1>, __tsplusTrace?: string): <R, E, L>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R1 | R2 | R, E1 | E2 | E, In1, L, Z1>;
+export declare function dimapIO<In, Z, R1, E1, In1, R2, E2, Z1>(f: (inp: In1) => IO<R1, E1, In>, g: (z: Z) => IO<R2, E2, Z1>, __tsplusTrace?: string): <R, E, L>(self: Sink<R, E, In, L, Z>) => Sink<R | R1 | R2, E | E1 | E2, In1, L, Z1>;
 /**
  * Returns a lazily constructed sink that may require effects for its
  * creation.
@@ -223,7 +223,7 @@ export declare function filterInputIO<R, E, In, L, Z, R1, E1>(self: Sink<R, E, I
  * @tsplus pipeable fncts.io.Sink findIO
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function findIO<Z, R1, E1>(f: (z: Z) => IO<R1, E1, boolean>, __tsplusTrace?: string): <R, E, In extends L, L>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R1 | R, E1 | E, In, L, import("@fncts/base/data/Maybe.js").Maybe<Z>>;
+export declare function findIO<Z, R1, E1>(f: (z: Z) => IO<R1, E1, boolean>, __tsplusTrace?: string): <R, E, In extends L, L>(self: Sink<R, E, In, L, Z>) => Sink<R | R1, E | E1, In, L, Maybe<Z>>;
 /**
  * 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
@@ -233,7 +233,7 @@ export declare function findIO<Z, R1, E1>(f: (z: Z) => IO<R1, E1, boolean>, __ts
  * @tsplus pipeable fncts.io.Sink flatMap
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function flatMap<In, Z, R1, E1, In1 extends In, L1, Z1>(f: (z: Z) => Sink<R1, E1, In1, L1, Z1>, __tsplusTrace?: string): <R, E, L>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R1 | R, E1 | E, In1, L1 | L, Z1>;
+export declare function flatMap<In, Z, R1, E1, In1 extends In, L1, Z1>(f: (z: Z) => Sink<R1, E1, In1, L1, Z1>, __tsplusTrace?: string): <R, E, L>(self: Sink<R, E, In, L, Z>) => Sink<R | R1, E | E1, In1, L | L1, Z1>;
 /**
  * Creates a sink from a {@link Channel }
  * @tsplus static fncts.io.SinkOps fromChannel
@@ -501,19 +501,19 @@ export declare function makeFoldWeightedIO<R, E, In, S, R1, E1>(z: Lazy<S>, cost
  * @tsplus pipeable fncts.io.Sink map
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function map<Z, Z1>(f: (z: Z) => Z1, __tsplusTrace?: string): <R, E, In, L>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R, E, In, L, Z1>;
+export declare function map<Z, Z1>(f: (z: Z) => Z1, __tsplusTrace?: string): <R, E, In, L>(self: Sink<R, E, In, L, Z>) => Sink<R, E, In, L, Z1>;
 /**
  * Transforms the errors emitted by this sink using `f`.
  * @tsplus pipeable fncts.io.Sink mapError
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function mapError<E, E1>(f: (e: E) => E1, __tsplusTrace?: string): <R, In, L, Z>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R, E1, In, L, Z>;
+export declare function mapError<E, E1>(f: (e: E) => E1, __tsplusTrace?: string): <R, In, L, Z>(self: Sink<R, E, In, L, Z>) => Sink<R, E1, In, L, Z>;
 /**
  * Effectfully transforms this sink's result.
  * @tsplus pipeable fncts.io.Sink mapIO
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function mapIO<Z, R1, E1, Z1>(f: (z: Z) => IO<R1, E1, Z1>, __tsplusTrace?: string): <R, E, In, L>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R1 | R, E1 | E, In, L, Z1>;
+export declare function mapIO<Z, R1, E1, Z1>(f: (z: Z) => IO<R1, E1, Z1>, __tsplusTrace?: string): <R, E, In, L>(self: Sink<R, E, In, L, Z>) => 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
@@ -523,41 +523,41 @@ export declare function mapIO<Z, R1, E1, Z1>(f: (z: Z) => IO<R1, E1, Z1>, __tspl
  * @tsplus pipeable fncts.io.Sink matchSink
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function matchSink<E, In, Z, R1, E1, In1 extends In, L1, Z1, R2, E2, In2 extends In, L2, Z2>(onFailure: (e: E) => Sink<R1, E1, In1, L1, Z1>, onSuccess: (z: Z) => Sink<R2, E2, In2, L2, Z2>, __tsplusTrace?: string): <R, L>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R1 | R2 | R, E1 | E2, In1 & In2, L1 | L2 | L, Z1 | Z2>;
+export declare function matchSink<E, In, Z, R1, E1, In1 extends In, L1, Z1, R2, E2, In2 extends In, L2, Z2>(onFailure: (e: E) => Sink<R1, E1, In1, L1, Z1>, onSuccess: (z: Z) => Sink<R2, E2, In2, L2, Z2>, __tsplusTrace?: string): <R, L>(self: Sink<R, E, In, L, Z>) => Sink<R | R1 | R2, E1 | E2, In1 & In2, L | L1 | L2, Z1 | Z2>;
 /**
  * Switch to another sink in case of failure
  * @tsplus pipeable fncts.io.Sink orElse
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function orElse<R1, E1, In1, L1, Z1>(that: Lazy<Sink<R1, E1, In1, L1, Z1>>, __tsplusTrace?: string): <R, E, In, L, Z>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R1 | R, E1 | E, In & In1, L1 | L, Z1 | Z>;
+export declare function orElse<R1, E1, In1, L1, Z1>(that: Lazy<Sink<R1, E1, In1, L1, Z1>>, __tsplusTrace?: string): <R, E, In, L, Z>(self: Sink<R, E, In, L, Z>) => Sink<R | R1, E | E1, In & In1, L | L1, Z | Z1>;
 /**
  * Provides the sink with its required environment, which eliminates its
  * dependency on `R`.
  * @tsplus pipeable fncts.io.Sink provideEnvironment
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function provideEnvironment<R>(r: Lazy<Environment<R>>, __tsplusTrace?: string): <E, In, L, Z>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<never, E, In, L, Z>;
+export declare function provideEnvironment<R>(r: Lazy<Environment<R>>, __tsplusTrace?: string): <E, In, L, Z>(self: Sink<R, E, In, L, Z>) => Sink<never, E, In, L, Z>;
 /**
  * Runs both sinks in parallel on the input, returning the result or the
  * error from the one that finishes first.
  * @tsplus pipeable fncts.io.Sink race
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function race<R1, E1, In1, L1, Z1>(that: Lazy<Sink<R1, E1, In1, L1, Z1>>, __tsplusTrace?: string): <R, E, In, L, Z>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R1 | R, E1 | E, In & In1, L1 | L, Z1 | Z>;
+export declare function race<R1, E1, In1, L1, Z1>(that: Lazy<Sink<R1, E1, In1, L1, Z1>>, __tsplusTrace?: string): <R, E, In, L, Z>(self: Sink<R, E, In, L, Z>) => Sink<R | R1, E | E1, In & In1, L | L1, Z | Z1>;
 /**
  * Runs both sinks in parallel on the input, returning the result or the error
  * from the one that finishes first.
  * @tsplus pipeable fncts.io.Sink raceBoth
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function raceBoth<R1, E1, In1, L1, Z1>(that: Lazy<Sink<R1, E1, In1, L1, Z1>>, capacity?: Lazy<number>, __tsplusTrace?: string): <R, E, In, L, Z>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R1 | R, E1 | E, In & In1, L1 | L, import("@fncts/base/data/Either.js").Either<Z, Z1>>;
+export declare function raceBoth<R1, E1, In1, L1, Z1>(that: Lazy<Sink<R1, E1, In1, L1, Z1>>, capacity?: Lazy<number>, __tsplusTrace?: string): <R, E, In, L, Z>(self: Sink<R, E, In, L, Z>) => Sink<R | R1, E | E1, In & In1, L | L1, Either<Z, Z1>>;
 /**
  * Runs both sinks in parallel on the input, using the specified merge
  * function as soon as one result or the other has been computed.
  * @tsplus pipeable fncts.io.Sink raceWith
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function raceWith<R, E, Z, R1, E1, In1, L1, Z1, E2, Z2, E3, Z3>(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): <In, L, R2, R3>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R | R1 | R2 | R3, E2 | E3, In & In1, L1 | L, Z2 | Z3>;
+export declare function raceWith<R, E, Z, R1, E1, In1, L1, Z1, E2, Z2, E3, Z3>(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): <In, L, R2, R3>(self: Sink<R, E, In, L, Z>) => Sink<R | R1 | R2 | R3, E2 | E3, In & In1, L | L1, Z2 | Z3>;
 /**
  * Accesses the specified service in the environment of the effect.
  * @tsplus static fncts.io.SinkOps service
@@ -594,7 +594,7 @@ export declare function serviceWithSink<S, R, E, In, L, Z>(f: (service: S) => Si
  * @tsplus pipeable fncts.io.Sink splitWhere
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function splitWhere<In>(p: Predicate<In>, __tsplusTrace?: string): <R, E, L extends In, Z>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R, E, In, In, Z>;
+export declare function splitWhere<In>(p: Predicate<In>, __tsplusTrace?: string): <R, E, L extends In, Z>(self: Sink<R, E, In, L, Z>) => Sink<R, E, In, In, Z>;
 /**
  * A sink that immediately ends with the specified value.
  * @tsplus static fncts.io.SinkOps succeed
@@ -613,7 +613,7 @@ export declare function succeedNow<Z>(z: Z, __tsplusTrace?: string): Sink<never,
  * @tsplus pipeable fncts.io.Sink summarized
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function summarized<R1, E1, B, C>(summary: Lazy<IO<R1, E1, B>>, f: (b1: B, b2: B) => C, __tsplusTrace?: string): <R, E, In, L, Z>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R1 | R, E1 | E, In, L, readonly [Z, C]>;
+export declare function summarized<R1, E1, B, C>(summary: Lazy<IO<R1, E1, B>>, f: (b1: B, b2: B) => C, __tsplusTrace?: string): <R, E, In, L, Z>(self: Sink<R, E, In, L, Z>) => Sink<R | R1, E | E1, In, L, readonly [Z, C]>;
 /**
  * @tsplus getter fncts.io.Sink timed
  * @tsplus location "@fncts/io/Sink/api"
@@ -638,14 +638,14 @@ export declare function unwrapScoped<R, E, R1, E1, In, L, Z>(scoped: Lazy<IO<R,
  * @tsplus pipeable fncts.io.Sink zip
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function zip<In, L, R1, E1, In1 extends In, L1 extends L, Z1>(that: Lazy<Sink<R1, E1, In1, L1, Z1>>, __tsplusTrace?: string): <R, E, Z>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R1 | R, E1 | E, In & In1, L | L1, readonly [Z, Z1]>;
+export declare function zip<In, L, R1, E1, In1 extends In, L1 extends L, Z1>(that: Lazy<Sink<R1, E1, In1, L1, Z1>>, __tsplusTrace?: string): <R, E, Z>(self: Sink<R, E, In, L, Z>) => Sink<R | R1, E | E1, In & In1, L | L1, readonly [Z, Z1]>;
 /**
  * Runs both sinks in parallel on the input and combines the results in a
  * tuple.
  * @tsplus pipeable fncts.io.Sink zipConcurrent
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function zipConcurrent<In, L, R1, E1, In1 extends In, L1 extends L, Z1>(that: Lazy<Sink<R1, E1, In1, L1, Z1>>, __tsplusTrace?: string): <R, E, Z>(self: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R1 | R, E1 | E, In & In1, L | L1, readonly [Z, Z1]>;
+export declare function zipConcurrent<In, L, R1, E1, In1 extends In, L1 extends L, Z1>(that: Lazy<Sink<R1, E1, In1, L1, Z1>>, __tsplusTrace?: string): <R, E, Z>(self: Sink<R, E, In, L, Z>) => 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
@@ -653,11 +653,11 @@ export declare function zipConcurrent<In, L, R1, E1, In1 extends In, L1 extends
  * @tsplus pipeable fncts.io.Sink zipWith
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function zipWith<In, L, Z, R1, E1, In1 extends In, L1 extends L, Z1, Z2>(that: Lazy<Sink<R1, E1, In1, L1, Z1>>, f: (z: Z, z1: Z1) => Z2, __tsplusTrace?: string): <R, E>(self: import("@fncts/base/data/function.js").Lazy<import("./definition.js").Sink<R, E, In, L, Z>>) => import("./definition.js").Sink<R1 | R, E1 | E, In & In1, L | L1, Z2>;
+export declare function zipWith<In, L, Z, R1, E1, In1 extends In, L1 extends L, Z1, Z2>(that: Lazy<Sink<R1, E1, In1, L1, Z1>>, f: (z: Z, z1: Z1) => Z2, __tsplusTrace?: string): <R, E>(self: Lazy<Sink<R, E, In, L, Z>>) => 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 pipeable fncts.io.Sink zipWithConcurrent
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function zipWithConcurrent<Z, R1, E1, In1, L1, Z1, Z2>(that: Lazy<Sink<R1, E1, In1, L1, Z1>>, f: (z: Z, z1: Z1) => Z2, __tsplusTrace?: string): <R, E, In, L>(self: import("@fncts/base/data/function.js").Lazy<import("./definition.js").Sink<R, E, In, L, Z>>) => import("./definition.js").Sink<R1 | R, E1 | E, In & In1, L1 | L, Z2>;
+export declare function zipWithConcurrent<Z, R1, E1, In1, L1, Z1, Z2>(that: Lazy<Sink<R1, E1, In1, L1, Z1>>, f: (z: Z, z1: Z1) => Z2, __tsplusTrace?: string): <R, E, In, L>(self: Lazy<Sink<R, E, In, L, Z>>) => Sink<R | R1, E | E1, In & In1, L | L1, Z2>;

package/Sink.d.ts

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

package/State.d.ts

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

package/Stream/api/zipAllWith.d.ts

@@ -7,4 +7,4 @@ import { Exit } from "@fncts/base/data/Exit/definition";
  * @tsplus pipeable fncts.io.Stream zipAllWith
  * @tsplus location "@fncts/io/Stream/api/zipAllWith"
  */
-export declare function zipAllWith<A, R1, E1, B, C, D, F>(that: Stream<R1, E1, B>, left: (a: A) => C, right: (b: B) => D, both: (a: A, b: B) => F, __tsplusTrace?: string): <R, E>(self: import("../definition.js").Stream<R, E, A>) => import("../definition.js").Stream<R1 | R, E1 | E, C | D | F>;
+export declare function zipAllWith<A, R1, E1, B, C, D, F>(that: Stream<R1, E1, B>, left: (a: A) => C, right: (b: B) => D, both: (a: A, b: B) => F, __tsplusTrace?: string): <R, E>(self: Stream<R, E, A>) => Stream<R | R1, E | E1, C | D | F>;

package/Stream/api/zipWith.d.ts

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

package/Stream/api/zipWithChunks.d.ts

@@ -8,4 +8,4 @@ import { Stream } from "@fncts/io/Stream/definition";
  * @tsplus pipeable fncts.io.Stream zipWithChunks
  * @tsplus location "@fncts/io/Stream/api/zipWithChunks"
  */
-export declare function zipWithChunks<A, R1, E1, B, C>(that: Stream<R1, E1, B>, f: (as: Conc<A>, bs: Conc<B>) => readonly [Conc<C>, Either<Conc<A>, Conc<B>>], __tsplusTrace?: string): <R, E>(self: import("../definition").Stream<R, E, A>) => import("../definition").Stream<R1 | R, E1 | E, C>;
+export declare function zipWithChunks<A, R1, E1, B, C>(that: Stream<R1, E1, B>, f: (as: Conc<A>, bs: Conc<B>) => readonly [Conc<C>, Either<Conc<A>, Conc<B>>], __tsplusTrace?: string): <R, E>(self: Stream<R, E, A>) => Stream<R | R1, E | E1, C>;