@fncts/io 0.0.35 → 0.0.37

package/Fiber/constructors.d.ts

@@ -27,3 +27,8 @@ export declare function interrupted(id: FiberId, __tsplusTrace?: string): Fiber<
  * @tsplus location "@fncts/io/Fiber/constructors"
  */
 export declare function succeed<A>(a: A, __tsplusTrace?: string): Fiber<never, A>;
+/**
+ * @tsplus static fncts.io.FiberOps unit
+ * @tsplus location "@fncts/io/Fiber/constructors"
+ */
+export declare const unit: Fiber<never, void>;

package/Push/api.d.ts

@@ -1,45 +1,44 @@
 import { Lazy } from "@fncts/base/data/function/definition";
 import { Cause } from "@fncts/base/data/Cause/definition";
 import { Either } from "@fncts/base/data/Either/definition";
-import { IO } from "@fncts/io/IO/definition";
 import { Duration } from "@fncts/base/data/Duration/definition";
-import { Fiber } from "@fncts/io/Fiber/definition";
+import { Maybe, Nothing, Just } from "@fncts/base/data/Maybe/definition";
+import { Refinement } from "@fncts/base/data/Refinement/definition";
+import { Predicate } from "@fncts/base/data/Predicate/definition";
+import { UIO, URIO } from "@fncts/io/IO/definition";
 import { Environment } from "@fncts/base/data/Environment/definition";
-import { Future } from "@fncts/io/Future";
+import { Fiber } from "@fncts/io/Fiber/definition";
 import { Scope } from "@fncts/io/Scope/definition";
-import { Schedule } from "@fncts/io/Schedule/definition";
-import { Nothing, Just, Maybe } from "@fncts/base/data/Maybe/definition";
-import { FiberId } from "@fncts/base/data/FiberId/definition";
 import { Conc } from "@fncts/base/collection/immutable/Conc";
-import type { _E, _R } from "@fncts/base/types";
+import { Future } from "@fncts/io/Future";
 import { AtomicReference } from "@fncts/base/internal/AtomicReference";
-import { Emitter, Push, PushTypeId, PushVariance } from "./definition.js";
+import { IO } from "@fncts/io/IO";
+import { Push, PushTypeId, PushVariance, Sink } from "./definition.js";
 /**
  * @tsplus pipeable fncts.io.Push as
  * @tsplus location "@fncts/io/Push/api"
  */
 export declare function as<B>(b: Lazy<B>): <R, E, A>(self: Push<R, E, A>) => Push<R, E, B>;
-interface UnsafeEmitter<E, A> {
-    emit: (value: A) => void;
-    failCause: (cause: Cause<E>) => void;
-    end: () => void;
+interface UnsafeSink<E, A> {
+    event: (value: A) => void;
+    error: (cause: Cause<E>) => void;
 }
 /**
  * @tsplus static fncts.io.PushOps asyncInterrupt
  * @tsplus location "@fncts/io/Push/api"
  */
-export declare function asyncInterrupt<R, E, A>(make: (emitter: UnsafeEmitter<E, A>) => Either<IO<R, never, void>, Push<R, E, A>>): Push<R, E, A>;
+export declare function asyncInterrupt<R, E, A>(make: (emitter: UnsafeSink<E, A>) => Either<IO<R, never, void>, Push<R, E, A>>): Push<R, E, A>;
 /**
  * @tsplus static fncts.io.PushOps async
  * @tsplus location "@fncts/io/Push/api"
  */
-export declare function async<E, A>(make: (emitter: UnsafeEmitter<E, A>) => void): Push<never, E, A>;
+export declare function async<E, A>(make: (sink: UnsafeSink<E, A>) => void): Push<never, E, A>;
 /**
  * @tsplus static fncts.io.PushOps combineLatest
  * @tsplus location "@fncts/io/Push/api"
  */
-export declare function combineLatest<A extends ReadonlyArray<Push<any, any, any>>>(streams: [...A]): Push<_R<A[number]>, _E<A[number]>, {
-    [K in keyof A]: [A[K]] extends [Push<any, any, infer A>] ? A : never;
+export declare function combineLatest<A extends ReadonlyArray<Push<any, any, any>>>(streams: [...A]): Push<Push.EnvironmentOf<A[number]>, Push.ErrorOf<A[number]>, {
+    [K in keyof A]: Push.ValueOf<A[K]>;
 }>;
 export declare function combineLatest<R, E, A>(streams: Iterable<Push<R, E, A>>): Push<R, E, ReadonlyArray<A>>;
 /**
@@ -57,6 +56,37 @@ export declare function debounce(duration: Lazy<Duration>): <R, E, A>(self: Push
  * @tsplus location "@fncts/io/Push/api"
  */
 export declare function defer<R, E, A>(self: Lazy<Push<R, E, A>>): Push<R, E, A>;
+/**
+ * @tsplus pipeable fncts.io.Push exhaustMap
+ * @tsplus location "@fncts/io/Push/api"
+ */
+export declare function exhaustMap<A, R1, E1, B>(f: (a: A) => Push<R1, E1, B>): <R, E>(self: Push<R, E, A>) => Push<R1 | R, E1 | E, B>;
+/**
+ * @tsplus pipeable fncts.io.Push exhaustMapIO
+ * @tsplus location "@fncts/io/Push/api"
+ */
+export declare function exhaustMapIO<A, R1, E1, B>(f: (a: A) => IO<R1, E1, B>): <R, E>(self: Push<R, E, A>) => Push<R1 | R, E1 | E, B>;
+/**
+ * @tsplus pipeable fncts.io.Push filterIO
+ * @tsplus location "@fncts/io/Push/api"
+ */
+export declare function filterIO<A, R1, E1>(predicate: (a: A) => IO<R1, E1, boolean>): <R, E>(self: Push<R, E, A>) => Push<R1 | R, E1 | E, A>;
+/**
+ * @tsplus pipeable fncts.io.Push filterMapIO
+ * @tsplus location "@fncts/io/Push/api"
+ */
+export declare function filterMapIO<A, R1, E1, B>(f: (a: A) => IO<R1, E1, Maybe<B>>): <R, E>(self: Push<R, E, A>) => Push<R1 | R, E1 | E, B>;
+/**
+ * @tsplus pipeable fncts.io.Push filter
+ * @tsplus location "@fncts/io/Push/api"
+ */
+export declare function filter<A, B extends A>(refinement: Refinement<A, B>): <R, E>(self: Push<R, E, A>) => Push<R, E, B>;
+export declare function filter<A>(predicate: Predicate<A>): <R, E>(self: Push<R, E, A>) => Push<R, E, A>;
+/**
+ * @tsplus pipeable fncts.io.Push filterMap
+ * @tsplus location "@fncts/io/Push/api"
+ */
+export declare function filterMap<A, B>(f: (a: A) => Maybe<B>): <R, E>(self: Push<R, E, A>) => Push<R, E, B>;
 /**
  * @tsplus pipeable fncts.io.Push flatMapConcurrentBounded
  * @tsplus location "@fncts/io/Push/api"
@@ -103,11 +133,10 @@ export declare function fromIterable<A>(iterable: Iterable<A>): Push<never, neve
  */
 export declare function multicast<R, E, A>(self: Push<R, E, A>): Push<R, E, A>;
 interface MulticastObserver<E, A> {
-    readonly emitter: Emitter<any, E, A>;
+    readonly sink: Sink<any, E, A>;
     readonly environment: Environment<any>;
-    readonly future: Future<never, void>;
 }
-export declare class Multicast<R, E, A> implements Push<R, E, A>, Emitter<never, E, A> {
+export declare class Multicast<R, E, A> implements Push<R, E, A>, Sink<never, E, A> {
     readonly push: Push<R, E, A>;
     readonly [PushTypeId]: PushTypeId;
     [PushVariance]: {
@@ -118,14 +147,12 @@ export declare class Multicast<R, E, A> implements Push<R, E, A>, Emitter<never,
     protected observers: Array<MulticastObserver<E, A>>;
     protected fiber: Fiber<never, unknown> | undefined;
     constructor(push: Push<R, E, A>);
-    run<R1>(emitter: Emitter<R1, E, A>): IO<R | R1 | Scope, never, unknown>;
-    emit(value: A): import("../IO.js").IO<never, never, void>;
-    failCause(cause: Cause<E>): import("../IO.js").IO<never, never, void>;
-    get end(): import("../IO.js").IO<never, never, void>;
-    protected runEvent(value: A, observer: MulticastObserver<E, A>): import("../IO.js").FIO<never, unknown>;
-    protected runFailCause(cause: Cause<E>, observer: MulticastObserver<E, A>): import("../IO.js").FIO<never, boolean>;
-    protected runEnd(observer: MulticastObserver<E, A>): import("../IO.js").FIO<never, boolean>;
-    protected cleanup(): import("../IO.js").UIO<void>;
+    run<R1>(sink: Sink<R1, E, A>): IO<R | R1, never, void>;
+    event(value: A): IO<never, never, void>;
+    error(cause: Cause<E>): IO<never, never, void>;
+    protected runValue(value: A, observer: MulticastObserver<E, A>): IO<never, never, void>;
+    protected runError(cause: Cause<E>, observer: MulticastObserver<E, A>): IO<never, never, void>;
+    protected removeSink(sink: Sink<any, E, A>): IO<never, never, void>;
 }
 /**
  * @tsplus getter fncts.io.Push hold
@@ -133,19 +160,11 @@ export declare class Multicast<R, E, A> implements Push<R, E, A>, Emitter<never,
  */
 export declare function hold<R, E, A>(self: Push<R, E, A>): Push<R, E, A>;
 export declare class Hold<R, E, A> extends Multicast<R, E, A> {
-    readonly push: Push<R, E, A>;
-    readonly value: AtomicReference<import("@fncts/base/data/Maybe.js").Maybe<A>>;
-    protected pendingEmitters: Array<readonly [Emitter<unknown, E, A>, Array<A>]>;
-    protected scheduledFiber: Fiber<any, any> | null;
+    push: Push<R, E, A>;
+    readonly current: AtomicReference<import("@fncts/base/data/Maybe.js").Maybe<A>>;
     constructor(push: Push<R, E, A>);
-    run<R1>(emitter: Emitter<R1, E, A>): IO<R | R1 | Scope, never, void>;
-    emit(value: A): import("../IO.js").IO<never, never, void>;
-    failCause(cause: Cause<E>): import("../IO.js").IO<never, never, void>;
-    get end(): import("../IO.js").IO<never, never, void>;
-    protected shouldScheduleFlush(): boolean;
-    protected scheduleFlush<R>(observer: Emitter<R, E, A>): import("../IO.js").IO<import("../Scope.js").Scope, never, import("../Fiber.js").Fiber.Runtime<never, void>>;
-    protected flushPending(): import("../IO.js").UIO<void>;
-    protected addValue(value: A): void;
+    run<R1>(sink: Sink<R1, E, A>): IO<R | R1, never, void>;
+    event(value: A): IO<never, never, void>;
 }
 /**
  * @tsplus pipeable fncts.io.Push map 1
@@ -182,7 +201,7 @@ export declare function mergeAll<R, E, A>(streams: Iterable<Push<R, E, A>>): Pus
  * @tsplus pipeable fncts.io.Push observe
  * @tsplus location "@fncts/io/Push/api"
  */
-export declare function observe<A, R1, E1>(f: (a: A) => IO<R1, E1, void>, __tsplusTrace?: string): <R, E>(self: Push<R, E, A>) => import("../IO.js").IO<import("../Scope.js").Scope | R1 | R, E1 | E, void>;
+export declare function observe<A, R1, E1>(f: (a: A) => IO<R1, E1, void>, __tsplusTrace?: string): <R, E>(self: Push<R, E, A>) => IO<import("../Scope.js").Scope | R1 | R, E1 | E, void>;
 /**
  * @tsplus static fncts.io.PushOps repeatIOMaybe
  * @tsplus location "@fncts/io/Push/api"
@@ -209,10 +228,20 @@ export declare function scoped<R, E, A>(io: Lazy<IO<R, E, A>>, __tsplusTrace?: s
  */
 export declare function succeed<A>(value: Lazy<A>): Push<never, never, A>;
 /**
- * @tsplus pipeable fncts.io.PushOps switchMap
+ * @tsplus pipeable fncts.io.Push switchMap
  * @tsplus location "@fncts/io/Push/api"
  */
 export declare function switchMap<A, R1, E1, B>(f: (a: A) => Push<R1, E1, B>): <R, E>(self: Push<R, E, A>) => Push<R1 | R, E1 | E, B>;
+/**
+ * @tsplus pipeable fncts.io.Push switchMapIO
+ * @tsplus location "@fncts/io/Push/api"
+ */
+export declare function switchMapIO<A, R1, E1, B>(f: (a: A) => IO<R1, E1, B>): <R, E>(self: Push<R, E, A>) => Push<R1 | R, E1 | E, B>;
+/**
+ * @tsplus pipeable fncts.io.Push tap
+ * @tsplus location "@fncts/io/Push/api"
+ */
+export declare function tap<A, R1, E1, B>(f: (a: A) => IO<R1, E1, B>): <R, E>(self: Push<R, E, A>) => Push<R1 | R, E1 | E, A>;
 /**
  * @tsplus pipeable fncts.io.Push transform
  * @tsplus location "@fncts/io/Push/api"

package/Push/definition.d.ts

@@ -1,5 +1,4 @@
 import { IO } from "@fncts/io/IO/definition";
-import { Scope } from "@fncts/io/Scope/definition";
 import { Cause } from "@fncts/base/data/Cause/definition";
 export declare const PushVariance: unique symbol;
 export type PushVariance = typeof PushVariance;
@@ -10,14 +9,14 @@ export type PushTypeId = typeof PushTypeId;
  * @tsplus companion fncts.io.PushOps
  */
 export declare class Push<R, E, A> {
-    readonly run: <R1>(emitter: Emitter<R1, E, A>) => IO<R | R1 | Scope, never, unknown>;
+    readonly run: <R1>(emitter: Sink<R1, E, A>) => IO<R | R1, never, unknown>;
     readonly [PushTypeId]: PushTypeId;
     [PushVariance]: {
         readonly _R: (_: never) => R;
         readonly _E: (_: never) => E;
         readonly _A: (_: never) => A;
     };
-    constructor(run: <R1>(emitter: Emitter<R1, E, A>) => IO<R | R1 | Scope, never, unknown>);
+    constructor(run: <R1>(emitter: Sink<R1, E, A>) => IO<R | R1, never, unknown>);
 }
 export declare namespace Push {
     type EnvironmentOf<X> = [X] extends [{
@@ -37,22 +36,21 @@ export declare namespace Push {
     }] ? A : never;
 }
 /**
- * @tsplus type fncts.io.Push.Emitter
- * @tsplus companion fncts.io.Push.EmitterOps
+ * @tsplus type fncts.io.Push.Sink
+ * @tsplus companion fncts.io.Push.SinkOps
  */
-export declare class Emitter<R, E, A> {
-    readonly emit: (value: A) => IO<R, never, unknown>;
-    readonly failCause: (cause: Cause<E>) => IO<R, never, void>;
-    readonly end: IO<R, never, void>;
-    constructor(emit: (value: A) => IO<R, never, unknown>, failCause: (cause: Cause<E>) => IO<R, never, void>, end: IO<R, never, void>);
+export declare class Sink<R, E, A> {
+    readonly event: (value: A) => IO<R, never, void>;
+    readonly error: (cause: Cause<E>) => IO<R, never, void>;
+    constructor(event: (value: A) => IO<R, never, void>, error: (cause: Cause<E>) => IO<R, never, void>);
 }
 /**
  * @tsplus static fncts.io.PushOps __call
  * @tsplus location "@fncts/io/Push/definition"
  */
-export declare function makePush<R, E, A>(run: <R1>(emitter: Emitter<R1, E, A>) => IO<R | R1 | Scope, never, unknown>): Push<R, E, A>;
+export declare function makePush<R, E, A>(run: <R1>(sink: Sink<R1, E, A>) => IO<R | R1, never, unknown>): Push<R, E, A>;
 /**
- * @tsplus static fncts.io.Push.EmitterOps __call
+ * @tsplus static fncts.io.Push.SinkOps __call
  * @tsplus location "@fncts/io/Push/definition"
  */
-export declare function makeEmitter<R, E, A>(emit: (value: A) => IO<R, never, unknown>, failCause: (cause: Cause<E>) => IO<R, never, unknown>, end: IO<R, never, unknown>): Emitter<R, E, A>;
+export declare function makeSink<R, E, A>(value: (value: A) => IO<R, never, unknown>, error: (cause: Cause<E>) => IO<R, never, unknown>): Sink<R, E, A>;

package/Push/internal.d.ts

@@ -1,11 +1,7 @@
-import { CountdownLatch } from "@fncts/io/CountdownLatch";
-import { IO } from "@fncts/io/IO/definition";
-export declare function withCountdownLatch<R, E, A, R1, E1, B>(n: number, f: (latch: CountdownLatch) => IO<R, E, A>, onEnd: IO<R1, E1, B>): IO<R | R1, E | E1, B>;
-export declare const EarlyExitTypeId: unique symbol;
-export type EarlyExitTypeId = typeof EarlyExitTypeId;
-export declare class EarlyExit {
-    readonly [EarlyExitTypeId]: EarlyExitTypeId;
-}
-export declare function isEarlyExit(u: unknown): u is EarlyExit;
-export declare const earlyExit: import("../IO").UIO<never>;
-export declare function onEarlyExit<R1, E1, B>(onEarlyExit: IO<R1, E1, B>): <R, E, A>(self: import("../IO").IO<R, E, A>) => import("../IO").IO<R1 | R, E1 | E, B | A>;
+import { IO, URIO } from "@fncts/io/IO/definition";
+import { Fiber } from "@fncts/io/Fiber/definition";
+import type { RuntimeFiber } from "@fncts/io/Fiber";
+export declare function withScopedFork<R, E, A>(f: (fork: <R, E, A>(io: IO<R, E, A>) => IO<R, never, RuntimeFiber<E, A>>) => IO<R, E, A>): IO<R, E, A>;
+export declare function withSwitch<R, E, A>(f: (fork: <R>(io: URIO<R, void>) => URIO<R, void>) => IO<R, E, A>): import("../IO").IO<R, E, void>;
+export declare function withUnboundedConcurrency<R, E, A>(f: (fork: <R>(io: URIO<R, void>) => URIO<R, RuntimeFiber<never, void>>) => IO<R, E, A>): import("../IO").IO<R, E, void>;
+export declare function withExhaust<R, E, A>(f: (fork: <R>(io: URIO<R, void>) => URIO<R, void>) => IO<R, E, A>): import("../IO").IO<R, E, void>;

package/RefSubject/Atomic.d.ts

@@ -1,8 +1,7 @@
 import { Just } from "@fncts/base/data/Maybe/definition";
 import { IO } from "@fncts/io/IO/definition";
-import { Scope } from "@fncts/io/Scope/definition";
 import { Cause } from "@fncts/base/data/Cause/definition";
-import type { Emitter } from "@fncts/io/Push";
+import type { Sink } from "@fncts/io/Push";
 import { Hold } from "@fncts/io/Push";
 import { Atomic } from "@fncts/io/Ref";
 import { RefSubjectInternal } from "@fncts/io/RefSubject/definition";
@@ -15,19 +14,17 @@ export declare class AtomicRefSubject<E, A> extends RefSubjectInternal<never, E,
     get get(): import("../IO").UIO<A>;
     set(value: A, __tsplusTrace?: string): import("../IO").IO<never, never, void>;
     modify<E, A, B>(this: AtomicRefSubject<E, A>, f: (a: A) => readonly [B, A], __tsplusTrace?: string): IO<never, never, B>;
-    run<R>(emitter: Emitter<R, E, A>): IO<Scope | R, never, unknown>;
-    emit(value: A): IO<never, never, void>;
-    failCause(cause: Cause<E>): IO<never, never, void>;
-    end: IO<never, never, void>;
-    unsafeEmit(value: A): void;
-    unsafeFailCause(cause: Cause<E>): void;
-    unsafeEnd(): void;
+    run<R>(emitter: Sink<R, E, A>): IO<R, never, unknown>;
+    event(value: A): IO<never, never, void>;
+    error(cause: Cause<E>): IO<never, never, void>;
+    unsafeEvent(value: A): void;
+    unsafeError(cause: Cause<E>): void;
     get unsafeGet(): A;
 }
 declare class AtomicEmitRef<E, A> extends Atomic<A> {
     readonly ref: Atomic<A>;
-    readonly emitter: Emitter<never, E, A>;
-    constructor(ref: Atomic<A>, emitter: Emitter<never, E, A>);
+    readonly sink: Sink<never, E, A>;
+    constructor(ref: Atomic<A>, sink: Sink<never, E, A>);
     get get(): import("../IO").UIO<A>;
     get unsafeGet(): A;
     unsafeSet(value: A): void;

package/RefSubject/Synchronized/definition.d.ts

@@ -1,8 +1,7 @@
 import { TSemaphore } from "@fncts/io/TSemaphore/definition";
 import type { RefSubject } from "../definition.js";
 import type { Cause } from "@fncts/base/data/Cause";
-import type { Emitter } from "@fncts/io/Push";
-import type { Scope } from "@fncts/io/Scope";
+import type { Sink } from "@fncts/io/Push";
 import { IO } from "@fncts/io/IO";
 import { RefSubjectInternal } from "../definition.js";
 export declare const SynchronizedRefSubjectTypeId: unique symbol;
@@ -30,12 +29,11 @@ export declare class SynchronizedRefSubjectInternal<R, E, A, B> extends RefSubje
     constructor(semaphore: TSemaphore, ref: RefSubjectInternal<R, E, A, B>);
     get get(): IO<R, never, B>;
     set(a: A, __tsplusTrace?: string | undefined): IO<R, never, void>;
-    run<R1>(emitter: Emitter<R1, E, B>): IO<Scope | R | R1, never, void>;
+    run<R1>(emitter: Sink<R1, E, B>): IO<R | R1, never, void>;
     modify<C>(f: (b: B) => readonly [C, A], __tsplusTrace?: string | undefined): IO<R, never, C>;
     modifyIO<R1, E1, C>(f: (b: B) => IO<R1, E1, readonly [C, A]>, __tsplusTrace?: string): IO<R | R1, E1, C>;
-    emit(value: A): IO<R, never, void>;
-    failCause(cause: Cause<E>): IO<R, never, void>;
-    end: IO<R, never, void>;
+    event(value: A): IO<R, never, void>;
+    error(cause: Cause<E>): IO<R, never, void>;
     withPermit<R, E, A>(io: IO<R, E, A>, __tsplusTrace?: string): IO<R, E, A>;
     get unsafeGet(): B;
 }

package/RefSubject/api.d.ts

@@ -1,6 +1,5 @@
 import { Lazy } from "@fncts/base/data/function/definition";
 import { UIO, IO } from "@fncts/io/IO/definition";
-import { Scope } from "@fncts/io/Scope/definition";
 import { Cause } from "@fncts/base/data/Cause/definition";
 import { Maybe } from "@fncts/base/data/Maybe/definition";
 import { RefSubject } from "./definition.js";

package/RefSubject/definition.d.ts

@@ -1,7 +1,6 @@
 import { IO } from "@fncts/io/IO/definition";
-import { Scope } from "@fncts/io/Scope/definition";
 import { Cause } from "@fncts/base/data/Cause/definition";
-import type { Emitter } from "../Push.js";
+import type { Sink } from "../Push.js";
 import type { Push } from "../Push.js";
 import type { ModifiableRef, ReadableRef, WritableRef } from "../Ref.js";
 import type { SynchronizedRefSubject } from "@fncts/io/RefSubject/Synchronized/definition";
@@ -11,7 +10,7 @@ import { RefVariance } from "../Ref.js";
 /**
  * @tsplus type fncts.io.Push.RefSubject
  */
-export interface RefSubject<out R, in out E, in A, out B> extends Push<R, E, B>, Emitter<R, E, A> {
+export interface RefSubject<out R, in out E, in A, out B> extends Push<R, E, B>, Sink<R, E, A> {
 }
 /**
  * @tsplus type fncts.io.Push.RefSubjectOps
@@ -22,7 +21,7 @@ export declare const RefSubject: RefSubjectOps;
 export declare namespace RefSubject {
     type Synchronized<R, E, A, B> = SynchronizedRefSubject<R, E, A, B>;
 }
-export declare abstract class RefSubjectInternal<R, E, A, B> implements ReadableRef<R, never, B>, WritableRef<R, never, A>, ModifiableRef<R, R, never, never, A, B>, Push<R, E, B>, Emitter<R, E, A> {
+export declare abstract class RefSubjectInternal<R, E, A, B> implements ReadableRef<R, never, B>, WritableRef<R, never, A>, ModifiableRef<R, R, never, never, A, B>, Push<R, E, B>, Sink<R, E, A> {
     readonly [PushTypeId]: PushTypeId;
     [RefVariance]: {
         readonly _RA: (_: never) => R;
@@ -40,10 +39,9 @@ export declare abstract class RefSubjectInternal<R, E, A, B> implements Readable
     abstract get get(): IO<R, never, B>;
     abstract set(value: A): IO<R, never, void>;
     abstract modify<C>(f: (b: B) => readonly [C, A], __tsplusTrace?: string): IO<R, never, C>;
-    abstract run<R1>(emitter: Emitter<R1, E, B>): IO<Scope | R | R1, never, void>;
-    abstract failCause(cause: Cause<E>): IO<R, never, void>;
-    abstract emit(value: A): IO<R, never, void>;
-    abstract end: IO<R, never, void>;
+    abstract run<R1>(emitter: Sink<R1, E, B>): IO<R | R1, never, void>;
+    abstract error(cause: Cause<E>): IO<R, never, void>;
+    abstract event(value: A): IO<R, never, void>;
     abstract get unsafeGet(): B;
 }
 /**

package/STM/definition.d.ts

@@ -36,6 +36,23 @@ export declare abstract class STM<R, E, A> {
         _A: () => A;
     };
 }
+export declare namespace STM {
+    type EnvironmentOf<X> = [X] extends [{
+        [STMVariance]: {
+            _R: () => infer R;
+        };
+    }] ? R : never;
+    type ErrorOf<X> = [X] extends [{
+        [STMVariance]: {
+            _E: () => infer E;
+        };
+    }] ? E : never;
+    type ValueOf<X> = [X] extends [{
+        [STMVariance]: {
+            _A: () => infer A;
+        };
+    }] ? A : never;
+}
 /**
  * @tsplus unify fncts.io.STM
  */

package/Sink/api.d.ts

@@ -23,7 +23,7 @@ import { MergeDecision } from "../Channel/internal/MergeDecision.js";
  */
 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>;
 /**
- * Like {@link zipC }, but keeps only the result from this sink
+ * Like {@link zipConcurrent }, but keeps only the result from this sink
  * @tsplus pipeable fncts.io.Sink zipLeftC
  * @tsplus location "@fncts/io/Sink/api"
  */
@@ -35,7 +35,7 @@ export declare function zipLeftC<In, L, R1, E1, In1 extends In, L1 extends L, 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: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R1 | R, E1 | E, In & In1, L | L1, Z1>;
 /**
- * Like {@link zipC }, but keeps only the result from the `that` sink
+ * Like {@link zipConcurrent }, but keeps only the result from the `that` sink
  * @tsplus pipeable fncts.io.Sink zipRightC
  * @tsplus location "@fncts/io/Sink/api"
  */
@@ -642,10 +642,10 @@ export declare function zip<In, L, R1, E1, In1 extends In, L1 extends L, Z1>(tha
 /**
  * Runs both sinks in parallel on the input and combines the results in a
  * tuple.
- * @tsplus pipeable fncts.io.Sink zipC
+ * @tsplus pipeable fncts.io.Sink zipConcurrent
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function zipC<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: import("./definition.js").Sink<R, E, In, L, Z>) => import("./definition.js").Sink<R1 | R, E1 | E, 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
@@ -657,7 +657,7 @@ export declare function zipWith<In, L, Z, R1, E1, In1 extends In, L1 extends L,
 /**
  * Runs both sinks in parallel on the input and combines the results using the
  * provided function.
- * @tsplus pipeable fncts.io.Sink zipWithC
+ * @tsplus pipeable fncts.io.Sink zipWithConcurrent
  * @tsplus location "@fncts/io/Sink/api"
  */
-export declare function zipWithC<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: 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>;

package/Subject/Atomic.d.ts

@@ -1,7 +1,6 @@
 import { IO } from "@fncts/io/IO/definition";
-import { Scope } from "@fncts/io/Scope/definition";
 import { Cause } from "@fncts/base/data/Cause/definition";
-import type { Emitter } from "@fncts/io/Push/definition";
+import type { Sink } from "@fncts/io/Push/definition";
 import type { Subject } from "@fncts/io/Subject/definition";
 import { Multicast } from "@fncts/io/Push";
 import { PushTypeId, PushVariance } from "@fncts/io/Push/definition";
@@ -15,8 +14,7 @@ export declare class AtomicSubject<E, A> implements Subject<never, E, A> {
         readonly _A: (_: never) => A;
     };
     readonly stream: Multicast<never, E, A>;
-    run<R>(emitter: Emitter<R, E, A>): IO<R | Scope, never, unknown>;
-    emit(value: A): IO<never, never, void>;
-    failCause(cause: Cause<E>): IO<never, never, void>;
-    end: import("../IO").IO<never, never, void>;
+    run<R>(emitter: Sink<R, E, A>): IO<R, never, unknown>;
+    event(value: A): IO<never, never, void>;
+    error(cause: Cause<E>): IO<never, never, void>;
 }

package/Subject/definition.d.ts

@@ -1,10 +1,10 @@
-import type { Emitter, Push } from "../Push.js";
+import type { Push, Sink } from "../Push.js";
 export declare const SubjectTypeId: unique symbol;
 export type SubjectTypeId = typeof SubjectTypeId;
 /**
  * @tsplus type fncts.io.Push.Subject
  */
-export interface Subject<R, E, A> extends Push<R, E, A>, Emitter<R, E, A> {
+export interface Subject<R, E, A> extends Push<R, E, A>, Sink<R, E, A> {
     readonly [SubjectTypeId]: SubjectTypeId;
 }
 /**

package/_cjs/Fiber/constructors.cjs

@@ -7,7 +7,7 @@ exports.done = void 0;
 exports.fail = fail;
 exports.failCause = failCause;
 exports.interrupted = interrupted;
-exports.succeed = succeed;
+exports.unit = exports.succeed = void 0;
 var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/data/FiberId/constructors"));
 var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/io/IO/api"));
 var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("@fncts/base/collection/immutable/Conc/constructors"));
@@ -16,8 +16,11 @@ var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require
 var _definition = /*#__PURE__*/require("@fncts/io/Fiber/definition");
 function _getRequireWildcardCache(nodeInterop) { if (typeof WeakMap !== "function") return null; var cacheBabelInterop = new WeakMap(); var cacheNodeInterop = new WeakMap(); return (_getRequireWildcardCache = function (nodeInterop) { return nodeInterop ? cacheNodeInterop : cacheBabelInterop; })(nodeInterop); }
 function _interopRequireWildcard(obj, nodeInterop) { if (!nodeInterop && obj && obj.__esModule) { return obj; } if (obj === null || typeof obj !== "object" && typeof obj !== "function") { return { default: obj }; } var cache = _getRequireWildcardCache(nodeInterop); if (cache && cache.has(obj)) { return cache.get(obj); } var newObj = {}; var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var key in obj) { if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) { var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null; if (desc && (desc.get || desc.set)) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } newObj.default = obj; if (cache) { cache.set(obj, newObj); } return newObj; }
+const fileName_1 = "(@fncts/io) src/Fiber/constructors.ts";
 const done = done_1;
 exports.done = done;
+const succeed = succeed_1;
+exports.succeed = succeed;
 /**
  * @tsplus static fncts.io.FiberOps done
  */
@@ -45,7 +48,12 @@ function interrupted(id, __tsplusTrace) {
 /**
  * @tsplus static fncts.io.FiberOps succeed
  */
-function succeed(a, __tsplusTrace) {
+function succeed_1(a, __tsplusTrace) {
   return done_1(tsplus_module_5.succeed(a, __tsplusTrace), __tsplusTrace);
 }
+/**
+ * @tsplus static fncts.io.FiberOps unit
+ */
+const unit = /*#__PURE__*/succeed_1(undefined, fileName_1 + ":48:48");
+exports.unit = unit;
 //# sourceMappingURL=constructors.cjs.map

package/_cjs/Fiber/constructors.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"constructors.cjs","names":["_definition","require","_getRequireWildcardCache","nodeInterop","WeakMap","cacheBabelInterop","cacheNodeInterop","_interopRequireWildcard","obj","__esModule","default","cache","has","get","newObj","hasPropertyDescriptor","Object","defineProperty","getOwnPropertyDescriptor","key","prototype","hasOwnProperty","call","desc","set","done","done_1","exports","exit","__tsplusTrace","SyntheticFiber","tsplus_module_1","none","tsplus_module_2","succeedNow","tsplus_module_3","make","unit","tsplus_module_4","just","fail","e","tsplus_module_5","failCause","cause","interrupted","id","interrupt","succeed","a"],"sources":["../../_src/Fiber/constructors.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;;;;;AAAA,IAAAA,WAAA,gBAAAC,OAAA;AAA4D,SAAAC,yBAAAC,WAAA,eAAAC,OAAA,kCAAAC,iBAAA,OAAAD,OAAA,QAAAE,gBAAA,OAAAF,OAAA,YAAAF,wBAAA,YAAAA,CAAAC,WAAA,WAAAA,WAAA,GAAAG,gBAAA,GAAAD,iBAAA,KAAAF,WAAA;AAAA,SAAAI,wBAAAC,GAAA,EAAAL,WAAA,SAAAA,WAAA,IAAAK,GAAA,IAAAA,GAAA,CAAAC,UAAA,WAAAD,GAAA,QAAAA,GAAA,oBAAAA,GAAA,wBAAAA,GAAA,4BAAAE,OAAA,EAAAF,GAAA,UAAAG,KAAA,GAAAT,wBAAA,CAAAC,WAAA,OAAAQ,KAAA,IAAAA,KAAA,CAAAC,GAAA,CAAAJ,GAAA,YAAAG,KAAA,CAAAE,GAAA,CAAAL,GAAA,SAAAM,MAAA,WAAAC,qBAAA,GAAAC,MAAA,CAAAC,cAAA,IAAAD,MAAA,CAAAE,wBAAA,WAAAC,GAAA,IAAAX,GAAA,QAAAW,GAAA,kBAAAH,MAAA,CAAAI,SAAA,CAAAC,cAAA,CAAAC,IAAA,CAAAd,GAAA,EAAAW,GAAA,SAAAI,IAAA,GAAAR,qBAAA,GAAAC,MAAA,CAAAE,wBAAA,CAAAV,GAAA,EAAAW,GAAA,cAAAI,IAAA,KAAAA,IAAA,CAAAV,GAAA,IAAAU,IAAA,CAAAC,GAAA,KAAAR,MAAA,CAAAC,cAAA,CAAAH,MAAA,EAAAK,GAAA,EAAAI,IAAA,YAAAT,MAAA,CAAAK,GAAA,IAAAX,GAAA,CAAAW,GAAA,SAAAL,MAAA,CAAAJ,OAAA,GAAAF,GAAA,MAAAG,KAAA,IAAAA,KAAA,CAAAa,GAAA,CAAAhB,GAAA,EAAAM,MAAA,YAAAA,MAAA;MAK5CW,IAAI,GAAAC,MAAA;AAAAC,OAAA,CAAAF,IAAA,GAAAA,IAAA;AAHpB;;;AAGA,SAAAC,OAA2BE,IAAgB,EAAEC,aAAsB;EACjE,OAAO,IAAIC,0BAAc,CAAAC,eAAA,CAAAC,IAAA,EAEvBC,eAAA,CAAAC,UAAA,CAAcN,IAAI,EAHuBC,aAAA,CAGtB,EACnBI,eAAA,CAAAC,UAAA,CAAcC,eAAA,CAAAC,IAAA,EAAM,EAJqBP,aAAA,CAIpB,EAAAI,eAAA,CAAAI,IAAA,EAErBJ,eAAA,CAAAC,UAAA,CAAcI,eAAA,CAAAC,IAAA,CAAKX,IAAI,EANkBC,aAAA,CAMjB,EANiBA,aAAA,CAMhB,EACzB,MAAMI,eAAA,CAAAC,UAAA,CAAcN,IAAI,EAPiBC,aAAA,CAOhB,CAC1B;AACH;AAEA;;;AAGM,SAAUW,IAAIA,CAAIC,CAAI,EAAEZ,aAAsB;EAClD,OAAOH,MAAA,CAAKgB,eAAA,CAAAF,IAAA,CAAUC,CAAC,EADKZ,aAAA,CACJ,EADIA,aAAA,CACH;AAC3B;AAEA;;;AAGM,SAAUc,SAASA,CAAIC,KAAe,EAAEf,aAAsB;EAClE,OAAOH,MAAA,CAAKgB,eAAA,CAAAC,SAAA,CAAeC,KAAK,EADYf,aAAA,CACX,EADWA,aAAA,CACV;AACpC;AAEA;;;AAGM,SAAUgB,WAAWA,CAACC,EAAW,EAAEjB,aAAsB;EAC7D,OAAOH,MAAA,CAAKgB,eAAA,CAAAK,SAAA,CAAeD,EAAE,EADUjB,aAAA,CACT,EADSA,aAAA,CACR;AACjC;AAEA;;;AAGM,SAAUmB,OAAOA,CAAIC,CAAI,EAAEpB,aAAsB;EACrD,OAAOH,MAAA,CAAKgB,eAAA,CAAAM,OAAA,CAAaC,CAAC,EADKpB,aAAA,CACJ,EADIA,aAAA,CACH;AAC9B"}
+{"version":3,"file":"constructors.cjs","names":["_definition","require","_getRequireWildcardCache","nodeInterop","WeakMap","cacheBabelInterop","cacheNodeInterop","_interopRequireWildcard","obj","__esModule","default","cache","has","get","newObj","hasPropertyDescriptor","Object","defineProperty","getOwnPropertyDescriptor","key","prototype","hasOwnProperty","call","desc","set","done","done_1","exports","succeed","succeed_1","exit","__tsplusTrace","SyntheticFiber","tsplus_module_1","none","tsplus_module_2","succeedNow","tsplus_module_3","make","unit","tsplus_module_4","just","fail","e","tsplus_module_5","failCause","cause","interrupted","id","interrupt","a","undefined","fileName_1"],"sources":["../../_src/Fiber/constructors.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;;;;;AAAA,IAAAA,WAAA,gBAAAC,OAAA;AAA4D,SAAAC,yBAAAC,WAAA,eAAAC,OAAA,kCAAAC,iBAAA,OAAAD,OAAA,QAAAE,gBAAA,OAAAF,OAAA,YAAAF,wBAAA,YAAAA,CAAAC,WAAA,WAAAA,WAAA,GAAAG,gBAAA,GAAAD,iBAAA,KAAAF,WAAA;AAAA,SAAAI,wBAAAC,GAAA,EAAAL,WAAA,SAAAA,WAAA,IAAAK,GAAA,IAAAA,GAAA,CAAAC,UAAA,WAAAD,GAAA,QAAAA,GAAA,oBAAAA,GAAA,wBAAAA,GAAA,4BAAAE,OAAA,EAAAF,GAAA,UAAAG,KAAA,GAAAT,wBAAA,CAAAC,WAAA,OAAAQ,KAAA,IAAAA,KAAA,CAAAC,GAAA,CAAAJ,GAAA,YAAAG,KAAA,CAAAE,GAAA,CAAAL,GAAA,SAAAM,MAAA,WAAAC,qBAAA,GAAAC,MAAA,CAAAC,cAAA,IAAAD,MAAA,CAAAE,wBAAA,WAAAC,GAAA,IAAAX,GAAA,QAAAW,GAAA,kBAAAH,MAAA,CAAAI,SAAA,CAAAC,cAAA,CAAAC,IAAA,CAAAd,GAAA,EAAAW,GAAA,SAAAI,IAAA,GAAAR,qBAAA,GAAAC,MAAA,CAAAE,wBAAA,CAAAV,GAAA,EAAAW,GAAA,cAAAI,IAAA,KAAAA,IAAA,CAAAV,GAAA,IAAAU,IAAA,CAAAC,GAAA,KAAAR,MAAA,CAAAC,cAAA,CAAAH,MAAA,EAAAK,GAAA,EAAAI,IAAA,YAAAT,MAAA,CAAAK,GAAA,IAAAX,GAAA,CAAAW,GAAA,SAAAL,MAAA,CAAAJ,OAAA,GAAAF,GAAA,MAAAG,KAAA,IAAAA,KAAA,CAAAa,GAAA,CAAAhB,GAAA,EAAAM,MAAA,YAAAA,MAAA;;MAK5CW,IAAI,GAAAC,MAAA;AAAAC,OAAA,CAAAF,IAAA,GAAAA,IAAA;MAmCJG,OAAO,GAAAC,SAAA;AAAAF,OAAA,CAAAC,OAAA,GAAAA,OAAA;AAtCvB;;;AAGA,SAAAF,OAA2BI,IAAgB,EAAEC,aAAsB;EACjE,OAAO,IAAIC,0BAAc,CAAAC,eAAA,CAAAC,IAAA,EAEvBC,eAAA,CAAAC,UAAA,CAAcN,IAAI,EAHuBC,aAAA,CAGtB,EACnBI,eAAA,CAAAC,UAAA,CAAcC,eAAA,CAAAC,IAAA,EAAM,EAJqBP,aAAA,CAIpB,EAAAI,eAAA,CAAAI,IAAA,EAErBJ,eAAA,CAAAC,UAAA,CAAcI,eAAA,CAAAC,IAAA,CAAKX,IAAI,EANkBC,aAAA,CAMjB,EANiBA,aAAA,CAMhB,EACzB,MAAMI,eAAA,CAAAC,UAAA,CAAcN,IAAI,EAPiBC,aAAA,CAOhB,CAC1B;AACH;AAEA;;;AAGM,SAAUW,IAAIA,CAAIC,CAAI,EAAEZ,aAAsB;EAClD,OAAOL,MAAA,CAAKkB,eAAA,CAAAF,IAAA,CAAUC,CAAC,EADKZ,aAAA,CACJ,EADIA,aAAA,CACH;AAC3B;AAEA;;;AAGM,SAAUc,SAASA,CAAIC,KAAe,EAAEf,aAAsB;EAClE,OAAOL,MAAA,CAAKkB,eAAA,CAAAC,SAAA,CAAeC,KAAK,EADYf,aAAA,CACX,EADWA,aAAA,CACV;AACpC;AAEA;;;AAGM,SAAUgB,WAAWA,CAACC,EAAW,EAAEjB,aAAsB;EAC7D,OAAOL,MAAA,CAAKkB,eAAA,CAAAK,SAAA,CAAeD,EAAE,EADUjB,aAAA,CACT,EADSA,aAAA,CACR;AACjC;AAEA;;;AAGA,SAAAF,UAA2BqB,CAAI,EAAEnB,aAAsB;EACrD,OAAOL,MAAA,CAAKkB,eAAA,CAAAhB,OAAA,CAAasB,CAAC,EADKnB,aAAA,CACJ,EADIA,aAAA,CACH;AAC9B;AAEA;;;AAGO,MAAMQ,IAAI,gBAAuBV,SAAA,CAAQsB,SAAS,EAAAC,UAAA,YAAC;AAACzB,OAAA,CAAAY,IAAA,GAAAA,IAAA"}

package/_cjs/IO/definition.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"definition.cjs","names":["IOVariance","Symbol","for","exports","IOTypeId","IO","constructor","_a","IOAspects","unifyIO","self","IOPrimitive","_tag","i0","undefined","i1","i2","trace","_b","isIO","u","tsplus_module_1","isObject","concrete","io"],"sources":["../../_src/IO/definition.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;;;AAQO,MAAMA,UAAU,gBAAGC,MAAM,CAACC,GAAG,CAAC,sBAAsB,CAAC;AAACC,OAAA,CAAAH,UAAA,GAAAA,UAAA;AAGtD,MAAMI,QAAQ,gBAAGH,MAAM,CAACC,GAAG,CAAC,aAAa,CAAC;AAYjD;;;;AAAAC,OAAA,CAAAC,QAAA,GAAAA,QAAA;AAIM,MAAgBC,EAAE;EAAxBC,YAAA;IACW,KAAAC,EAAA,CAAU,GAAaH,QAAQ;EAM1C;;AAACD,OAAA,CAAAE,EAAA,GAAAA,EAAA;KANWD,QAAQ;AA4BpB;;;AAGO,MAAMI,SAAS,GAAc,EAAE;AAEtC;;;AAAAL,OAAA,CAAAK,SAAA,GAAAA,SAAA;AAGM,SAAUC,OAAOA,CACrBC,IAAO;EAMP,OAAOA,IAAI;AACb;AAgCM,MAAOC,WAAW;EAMtBL,YAAqBM,IAAuB;IAAvB,KAAAA,IAAI,GAAJA,IAAI;IALlB,KAAAC,EAAE,GAA0BC,SAAS;IACrC,KAAAC,EAAE,GAA0BD,SAAS;IACrC,KAAAE,EAAE,GAA0BF,SAAS;IACrC,KAAAG,KAAK,GAAuBH,SAAS;IAC5C,KAAAI,EAAA,CAAU,GAAGd,QAAQ;EAC0B;;AAChDD,OAAA,CAAAQ,WAAA,GAAAA,WAAA;KAFEP,QAAQ;AAIL,SAAUe,IAAIA,CAACC,CAAU;EAC7B,OAAOC,eAAA,CAAAC,QAAQ,CAACF,CAAC,CAAC,IAAIhB,QAAQ,IAAIgB,CAAC;AACrC;AAmJA;;;;AAIM,SAAUG,QAAQA,CAACC,EAAqB;EAC5C,OAAOA,EAAe;AACxB"}
+{"version":3,"file":"definition.cjs","names":["IOVariance","Symbol","for","exports","IOTypeId","IO","constructor","_a","IOAspects","unifyIO","self","IOPrimitive","_tag","i0","undefined","i1","i2","trace","_b","isIO","u","tsplus_module_1","isObject","concrete","io"],"sources":["../../_src/IO/definition.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;;;AAOO,MAAMA,UAAU,gBAAGC,MAAM,CAACC,GAAG,CAAC,sBAAsB,CAAC;AAACC,OAAA,CAAAH,UAAA,GAAAA,UAAA;AAGtD,MAAMI,QAAQ,gBAAGH,MAAM,CAACC,GAAG,CAAC,aAAa,CAAC;AAYjD;;;;AAAAC,OAAA,CAAAC,QAAA,GAAAA,QAAA;AAIM,MAAgBC,EAAE;EAAxBC,YAAA;IACW,KAAAC,EAAA,CAAU,GAAaH,QAAQ;EAM1C;;AAACD,OAAA,CAAAE,EAAA,GAAAA,EAAA;KANWD,QAAQ;AA4BpB;;;AAGO,MAAMI,SAAS,GAAc,EAAE;AAEtC;;;AAAAL,OAAA,CAAAK,SAAA,GAAAA,SAAA;AAGM,SAAUC,OAAOA,CACrBC,IAAO;EAMP,OAAOA,IAAI;AACb;AAgCM,MAAOC,WAAW;EAMtBL,YAAqBM,IAAuB;IAAvB,KAAAA,IAAI,GAAJA,IAAI;IALlB,KAAAC,EAAE,GAA0BC,SAAS;IACrC,KAAAC,EAAE,GAA0BD,SAAS;IACrC,KAAAE,EAAE,GAA0BF,SAAS;IACrC,KAAAG,KAAK,GAAuBH,SAAS;IAC5C,KAAAI,EAAA,CAAU,GAAGd,QAAQ;EAC0B;;AAChDD,OAAA,CAAAQ,WAAA,GAAAA,WAAA;KAFEP,QAAQ;AAIL,SAAUe,IAAIA,CAACC,CAAU;EAC7B,OAAOC,eAAA,CAAAC,QAAQ,CAACF,CAAC,CAAC,IAAIhB,QAAQ,IAAIgB,CAAC;AACrC;AAmJA;;;;AAIM,SAAUG,QAAQA,CAACC,EAAqB;EAC5C,OAAOA,EAAe;AACxB"}