@fncts/io 0.0.8 → 0.0.11

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/IO/api/onTermination.d.ts

@@ -0,0 +1,9 @@
+import { Lazy } from "@fncts/base/data/function";
+import { IO, URIO } from "@fncts/io/IO/definition";
+import { Cause } from "@fncts/base/data/Cause";
+import { Exit } from "@fncts/base/data/Exit";
+/**
+ * @tsplus fluent fncts.io.IO onTermination
+ * @tsplus location "@fncts/io/IO/api/onTermination"
+ */
+export declare function onTermination<R, E, A, R1>(self: Lazy<IO<R, E, A>>, cleanup: (cause: Cause<never>) => URIO<R1, any>, __tsPlusTrace?: string): IO<R & R1, E, A>;

package/IO.d.ts

@@ -27,6 +27,7 @@ export * from "./IO/api/interrupt.js";
 export * from "./IO/api/memoize.js";
 export * from "./IO/api/once.js";
 export * from "./IO/api/onExit.js";
+export * from "./IO/api/onTermination.js";
 export * from "./IO/api/provideLayer.js";
 export * from "./IO/api/provideSomeLayer.js";
 export * from "./IO/api/race.js";

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