@typed/fx 0.0.3 → 0.0.4

package/esm/Atomic/Atomic.d.ts

@@ -2,12 +2,12 @@ import { Endomorphism } from 'hkt-ts/Endomorphism';
 import { Maybe } from 'hkt-ts/Maybe';
 import { Associative } from 'hkt-ts/Typeclass/Associative';
 import { Eq } from 'hkt-ts/Typeclass/Eq';
-import { Identity } from 'hkt-ts/Typeclass/Identity';
 /**
  * Atomic represents an a mutable reference to immutable data
  * that can be modified and joined back together.
  */
-export interface Atomic<A> extends Identity<A> {
+export interface Atomic<A> extends Associative<A> {
+    readonly initial: A;
     readonly get: () => A;
     readonly modify: <B>(f: (a: A) => readonly [B, A]) => B;
     readonly set: (a: A) => A;

package/esm/Atomic/Atomic.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Atomic.d.ts","sourceRoot":"","sources":["../../src/Atomic/Atomic.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AAClD,OAAO,EAAQ,KAAK,EAAW,MAAM,cAAc,CAAA;AACnD,OAAO,EAAE,WAAW,EAAS,MAAM,8BAA8B,CAAA;AACjE,OAAO,EAAE,EAAE,EAAE,MAAM,qBAAqB,CAAA;AACxC,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAA;AAEpD;;;GAGG;AACH,MAAM,WAAW,MAAM,CAAC,CAAC,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC5C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;IACvD,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;CAC1B;AAED;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,GAAE,WAAW,CAAC,CAAC,CAAS,GAAG,MAAM,CAAC,CAAC,CAAC,CAc1E;AAED;;GAEG;AACH,wBAAgB,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAE3C;AAED;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,YACvC,OAAO,CAAC,CAAC,KAAG,CAAC,CAC9B;AAED;;GAEG;AACH,eAAO,MAAM,SAAS,0DAGgB,CAAA;AAEtC;;GAEG;AACH,eAAO,MAAM,GAAG,0DAG2B,CAAA;AAE3C;;GAEG;AACH,eAAO,MAAM,MAAM,qDAOb,CAAA;AAEN;;;GAGG;AACH,eAAO,MAAM,YAAY,qDAOnB,CAAA;AAEN;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,WACxB,OAAO,CAAC,CAAC,KAAG,CAAC,CAK7B;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,GAAE,YAAY,CAAC,CAAC,CAAY,WACpC,OAAO,CAAC,CAAC,KAAG,OAAO,CAAC,CAAC,CACrC;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aACvB,CAAC,WAAW,CAAC,cACnB,OAAO,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,CAOhC"}
+{"version":3,"file":"Atomic.d.ts","sourceRoot":"","sources":["../../src/Atomic/Atomic.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AAClD,OAAO,EAAQ,KAAK,EAAW,MAAM,cAAc,CAAA;AACnD,OAAO,EAAE,WAAW,EAAS,MAAM,8BAA8B,CAAA;AACjE,OAAO,EAAE,EAAE,EAAE,MAAM,qBAAqB,CAAA;AAExC;;;GAGG;AACH,MAAM,WAAW,MAAM,CAAC,CAAC,CAAE,SAAQ,WAAW,CAAC,CAAC,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;IACvD,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;CAC1B;AAED;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,GAAE,WAAW,CAAC,CAAC,CAAS,GAAG,MAAM,CAAC,CAAC,CAAC,CAc1E;AAED;;GAEG;AACH,wBAAgB,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAE3C;AAED;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,YACvC,OAAO,CAAC,CAAC,KAAG,CAAC,CAC9B;AAED;;GAEG;AACH,eAAO,MAAM,SAAS,0DAGgB,CAAA;AAEtC;;GAEG;AACH,eAAO,MAAM,GAAG,0DAG2B,CAAA;AAE3C;;GAEG;AACH,eAAO,MAAM,MAAM,qDAOb,CAAA;AAEN;;;GAGG;AACH,eAAO,MAAM,YAAY,qDAOnB,CAAA;AAEN;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,WACxB,OAAO,CAAC,CAAC,KAAG,CAAC,CAK7B;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,GAAE,YAAY,CAAC,CAAC,CAAY,WACpC,OAAO,CAAC,CAAC,KAAG,OAAO,CAAC,CAAC,CACrC;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aACvB,CAAC,WAAW,CAAC,cACnB,OAAO,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,CAOhC"}

package/esm/Atomic/Atomic.js

@@ -7,7 +7,7 @@ import { First } from 'hkt-ts/Typeclass/Associative';
 export function Atomic(initial, A = First) {
     let current = initial;
     return {
-        id: initial,
+        initial,
         concat: A.concat,
         get: () => current,
         modify: (f) => {

package/esm/Atomic/Atomic.js.map

@@ -1 +1 @@
-{"version":3,"file":"Atomic.js","sourceRoot":"","sources":["../../src/Atomic/Atomic.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAAE,IAAI,EAAS,OAAO,EAAE,MAAM,cAAc,CAAA;AACnD,OAAO,EAAe,KAAK,EAAE,MAAM,8BAA8B,CAAA;AAcjE;;GAEG;AACH,MAAM,UAAU,MAAM,CAAI,OAAU,EAAE,IAAoB,KAAK;IAC7D,IAAI,OAAO,GAAG,OAAO,CAAA;IAErB,OAAO;QACL,EAAE,EAAE,OAAO;QACX,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO;QAClB,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE;YACZ,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAA;YACzB,OAAO,GAAG,CAAC,CAAA;YACX,OAAO,CAAC,CAAA;QACV,CAAC;QACD,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC;KAC1B,CAAA;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,GAAG,CAAI,MAAiB;IACtC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAA;AACrB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,MAAM,CAAO,CAA4B;IACvD,OAAO,CAAC,MAAiB,EAAK,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;AACnD,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GACpB,CAAiB,OAAU,EAAE,EAAE,CAC/B,CAAC,MAAiB,EAAK,EAAE,CACvB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAA;AAEtC;;GAEG;AACH,MAAM,CAAC,MAAM,GAAG,GACd,CAAiB,OAAU,EAAE,EAAE,CAC/B,CAAC,MAAiB,EAAK,EAAE,CACvB,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAA;AAE3C;;GAEG;AACH,MAAM,CAAC,MAAM,MAAM,GACjB,CAAI,CAAkB,EAAE,EAAE,CAC1B,CAAC,MAAiB,EAAK,EAAE,CACvB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;IAClB,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;IAEpB,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;AAC3B,CAAC,CAAC,CAAA;AAEN;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GACvB,CAAI,CAAkB,EAAE,EAAE,CAC1B,CAAC,MAAiB,EAAK,EAAE,CACvB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;IAClB,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;IAEpB,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;AACrB,CAAC,CAAC,CAAA;AAEN;;GAEG;AACH,MAAM,UAAU,IAAI,CAAI,MAAiB;IACvC,OAAO,CAAC,KAAgB,EAAK,EAAE,CAC7B,IAAI,CACF,KAAK,EACL,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAC7C,CAAA;AACL,CAAC;AAED,MAAM,UAAU,IAAI,CAAI,IAAqB,QAAQ;IACnD,OAAO,CAAC,KAAgB,EAAa,EAAE,CAAC,MAAM,CAAI,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,CAAC,CAAA;AAC1E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAI,CAAQ;IACxC,OAAO,CAAC,OAAU,EAAE,OAAU,EAAE,EAAE,CAChC,CAAC,MAAiB,EAAY,EAAE;QAC9B,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,EAAE;YACnC,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAA;SACjC;QAED,OAAO,OAAO,CAAA;IAChB,CAAC,CAAA;AACL,CAAC"}
+{"version":3,"file":"Atomic.js","sourceRoot":"","sources":["../../src/Atomic/Atomic.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAAE,IAAI,EAAS,OAAO,EAAE,MAAM,cAAc,CAAA;AACnD,OAAO,EAAe,KAAK,EAAE,MAAM,8BAA8B,CAAA;AAcjE;;GAEG;AACH,MAAM,UAAU,MAAM,CAAI,OAAU,EAAE,IAAoB,KAAK;IAC7D,IAAI,OAAO,GAAG,OAAO,CAAA;IAErB,OAAO;QACL,OAAO;QACP,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO;QAClB,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE;YACZ,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAA;YACzB,OAAO,GAAG,CAAC,CAAA;YACX,OAAO,CAAC,CAAA;QACV,CAAC;QACD,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC;KAC1B,CAAA;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,GAAG,CAAI,MAAiB;IACtC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAA;AACrB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,MAAM,CAAO,CAA4B;IACvD,OAAO,CAAC,MAAiB,EAAK,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;AACnD,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GACpB,CAAiB,OAAU,EAAE,EAAE,CAC/B,CAAC,MAAiB,EAAK,EAAE,CACvB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAA;AAEtC;;GAEG;AACH,MAAM,CAAC,MAAM,GAAG,GACd,CAAiB,OAAU,EAAE,EAAE,CAC/B,CAAC,MAAiB,EAAK,EAAE,CACvB,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAA;AAE3C;;GAEG;AACH,MAAM,CAAC,MAAM,MAAM,GACjB,CAAI,CAAkB,EAAE,EAAE,CAC1B,CAAC,MAAiB,EAAK,EAAE,CACvB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;IAClB,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;IAEpB,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;AAC3B,CAAC,CAAC,CAAA;AAEN;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GACvB,CAAI,CAAkB,EAAE,EAAE,CAC1B,CAAC,MAAiB,EAAK,EAAE,CACvB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;IAClB,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;IAEpB,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;AACrB,CAAC,CAAC,CAAA;AAEN;;GAEG;AACH,MAAM,UAAU,IAAI,CAAI,MAAiB;IACvC,OAAO,CAAC,KAAgB,EAAK,EAAE,CAC7B,IAAI,CACF,KAAK,EACL,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAC7C,CAAA;AACL,CAAC;AAED,MAAM,UAAU,IAAI,CAAI,IAAqB,QAAQ;IACnD,OAAO,CAAC,KAAgB,EAAa,EAAE,CAAC,MAAM,CAAI,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,CAAC,CAAA;AAC1E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAI,CAAQ;IACxC,OAAO,CAAC,OAAU,EAAE,OAAU,EAAE,EAAE,CAChC,CAAC,MAAiB,EAAY,EAAE;QAC9B,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,EAAE;YACnC,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAA;SACjC;QAED,OAAO,OAAO,CAAA;IAChB,CAAC,CAAA;AACL,CAAC"}

package/esm/Effect/Effect.d.ts

@@ -0,0 +1,199 @@
+import * as F from 'hkt-ts/function';
+import * as C from "../Cause/index.js";
+import { Cause } from "../Cause/index.js";
+import { Exit } from "../Exit/Exit.js";
+export declare abstract class EffectBrand<R, E, A> {
+    readonly __EFFECT__: {
+        readonly _R: () => R;
+        readonly _E: () => E;
+        readonly _A: () => A;
+    };
+}
+export declare abstract class Instr<out I, out R, out E, out A> extends EffectBrand<R, E, A> {
+    readonly input: I;
+    readonly __trace?: string | undefined;
+    static tag: string;
+    abstract readonly tag: string;
+    constructor(input: I, __trace?: string | undefined);
+    [Symbol.iterator](): Generator<this, A, any>;
+}
+export declare const instr: <Tag extends string>(tag: Tag) => {
+    new <I, R, E, A>(input: I, __trace?: string): {
+        readonly tag: Tag;
+        readonly input: I;
+        readonly __trace?: string;
+        [Symbol.iterator](): Generator<any, A, any>;
+        readonly __EFFECT__: {
+            readonly _R: () => R;
+            readonly _E: () => E;
+            readonly _A: () => A;
+        };
+    };
+    tag: Tag;
+};
+export declare type YieldOf<T> = T extends EffectBrand<infer _R, infer _E, infer _A> ? _R : never;
+export declare type ErrorsOf<T> = T extends EffectBrand<infer _R, infer _E, infer _A> ? _E : never;
+export declare type OutputOf<T> = T extends EffectBrand<infer _R, infer _E, infer _A> ? _A : never;
+export declare type Effect<R, E, A> = Now<A> | FromLazy<A> | FromCause<E> | LazyEffect<R, E, A> | MapEffect<R, E, any, A> | FlatMapEffect<R, E, any, R, E, A> | OrElseEffect<R, any, A, R, E, A> | EnsuringEffect<R, any, any, R, E, A> | YieldNow | YieldEffect<R>;
+declare const Now_base: {
+    new <I, R, E, A_1>(input: I, __trace?: string | undefined): {
+        readonly tag: "Now";
+        readonly input: I;
+        readonly __trace?: string | undefined;
+        [Symbol.iterator](): Generator<any, A_1, any>;
+        readonly __EFFECT__: {
+            readonly _R: () => R;
+            readonly _E: () => E;
+            readonly _A: () => A_1;
+        };
+    };
+    tag: "Now";
+};
+export declare class Now<A> extends Now_base<A, never, never, A> {
+}
+declare const FromLazy_base: {
+    new <I, R, E, A_1>(input: I, __trace?: string | undefined): {
+        readonly tag: "FromLazy";
+        readonly input: I;
+        readonly __trace?: string | undefined;
+        [Symbol.iterator](): Generator<any, A_1, any>;
+        readonly __EFFECT__: {
+            readonly _R: () => R;
+            readonly _E: () => E;
+            readonly _A: () => A_1;
+        };
+    };
+    tag: "FromLazy";
+};
+export declare class FromLazy<A> extends FromLazy_base<F.Lazy<A>, never, never, A> {
+}
+declare const FromCause_base: {
+    new <I, R, E_1, A>(input: I, __trace?: string | undefined): {
+        readonly tag: "FromCause";
+        readonly input: I;
+        readonly __trace?: string | undefined;
+        [Symbol.iterator](): Generator<any, A, any>;
+        readonly __EFFECT__: {
+            readonly _R: () => R;
+            readonly _E: () => E_1;
+            readonly _A: () => A;
+        };
+    };
+    tag: "FromCause";
+};
+export declare class FromCause<E> extends FromCause_base<C.Cause<E>, never, E, never> {
+}
+declare const LazyEffect_base: {
+    new <I, R_1, E_1, A_1>(input: I, __trace?: string | undefined): {
+        readonly tag: "LazyEffect";
+        readonly input: I;
+        readonly __trace?: string | undefined;
+        [Symbol.iterator](): Generator<any, A_1, any>;
+        readonly __EFFECT__: {
+            readonly _R: () => R_1;
+            readonly _E: () => E_1;
+            readonly _A: () => A_1;
+        };
+    };
+    tag: "LazyEffect";
+};
+export declare class LazyEffect<R, E, A> extends LazyEffect_base<F.Lazy<Effect<R, E, A>>, R, E, A> {
+}
+declare const MapEffect_base: {
+    new <I, R_1, E_1, A_1>(input: I, __trace?: string | undefined): {
+        readonly tag: "MapEffect";
+        readonly input: I;
+        readonly __trace?: string | undefined;
+        [Symbol.iterator](): Generator<any, A_1, any>;
+        readonly __EFFECT__: {
+            readonly _R: () => R_1;
+            readonly _E: () => E_1;
+            readonly _A: () => A_1;
+        };
+    };
+    tag: "MapEffect";
+};
+export declare class MapEffect<R, E, A, B> extends MapEffect_base<readonly [Effect<R, E, A>, (a: A) => B], R, E, B> {
+}
+declare const FlatMapEffect_base: {
+    new <I, R_1, E_1, A_1>(input: I, __trace?: string | undefined): {
+        readonly tag: "FlatMapEffect";
+        readonly input: I;
+        readonly __trace?: string | undefined;
+        [Symbol.iterator](): Generator<any, A_1, any>;
+        readonly __EFFECT__: {
+            readonly _R: () => R_1;
+            readonly _E: () => E_1;
+            readonly _A: () => A_1;
+        };
+    };
+    tag: "FlatMapEffect";
+};
+export declare class FlatMapEffect<R, E, A, R2, E2, B> extends FlatMapEffect_base<readonly [Effect<R, E, A>, (a: A) => Effect<R2, E2, B>], R | R2, E | E2, B> {
+}
+declare const OrElseEffect_base: {
+    new <I, R_1, E_1, A_1>(input: I, __trace?: string | undefined): {
+        readonly tag: "OrElseEffect";
+        readonly input: I;
+        readonly __trace?: string | undefined;
+        [Symbol.iterator](): Generator<any, A_1, any>;
+        readonly __EFFECT__: {
+            readonly _R: () => R_1;
+            readonly _E: () => E_1;
+            readonly _A: () => A_1;
+        };
+    };
+    tag: "OrElseEffect";
+};
+export declare class OrElseEffect<R, E, A, R2, E2, B> extends OrElseEffect_base<readonly [Effect<R, E, A>, (cause: Cause<E>) => Effect<R2, E2, B>], R | R2, E2, A | B> {
+}
+declare const EnsuringEffect_base: {
+    new <I, R_1, E_1, A_1>(input: I, __trace?: string | undefined): {
+        readonly tag: "Ensuring";
+        readonly input: I;
+        readonly __trace?: string | undefined;
+        [Symbol.iterator](): Generator<any, A_1, any>;
+        readonly __EFFECT__: {
+            readonly _R: () => R_1;
+            readonly _E: () => E_1;
+            readonly _A: () => A_1;
+        };
+    };
+    tag: "Ensuring";
+};
+export declare class EnsuringEffect<R, E, A, R2, E2, B> extends EnsuringEffect_base<readonly [Effect<R, E, A>, (cause: Exit<E, A>) => Effect<R2, E2, B>], R | R2, E2, B> {
+}
+declare const YieldNow_base: {
+    new <I, R, E, A>(input: I, __trace?: string | undefined): {
+        readonly tag: "YieldNow";
+        readonly input: I;
+        readonly __trace?: string | undefined;
+        [Symbol.iterator](): Generator<any, A, any>;
+        readonly __EFFECT__: {
+            readonly _R: () => R;
+            readonly _E: () => E;
+            readonly _A: () => A;
+        };
+    };
+    tag: "YieldNow";
+};
+export declare class YieldNow extends YieldNow_base<never, never, never, void> {
+}
+declare const YieldEffect_base: {
+    new <I, R_1, E, A>(input: I, __trace?: string | undefined): {
+        readonly tag: "YieldEffect";
+        readonly input: I;
+        readonly __trace?: string | undefined;
+        [Symbol.iterator](): Generator<any, A, any>;
+        readonly __EFFECT__: {
+            readonly _R: () => R_1;
+            readonly _E: () => E;
+            readonly _A: () => A;
+        };
+    };
+    tag: "YieldEffect";
+};
+export declare class YieldEffect<R> extends YieldEffect_base<R, R | YieldOf<R>, ErrorsOf<R>, OutputOf<R>> {
+}
+export {};
+//# sourceMappingURL=Effect.d.ts.map

package/esm/Effect/Effect.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Effect.d.ts","sourceRoot":"","sources":["../../src/Effect/Effect.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,iBAAiB,CAAA;AAEpC,OAAO,KAAK,CAAC,0BAAwB;AACrC,OAAO,EAAE,KAAK,EAAE,0BAAwB;AACxC,OAAO,EAAE,IAAI,EAAE,wBAAsB;AAKrC,8BAAsB,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAG;QACpB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;QACpB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;QACpB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;KACrB,CAAA;CACF;AAED,8BAAsB,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAE,SAAQ,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAItE,QAAQ,CAAC,KAAK,EAAE,CAAC;IAAE,QAAQ,CAAC,OAAO,CAAC;IAHhD,MAAM,CAAC,GAAG,EAAE,MAAM,CAAA;IAClB,QAAQ,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;gBAER,KAAK,EAAE,CAAC,EAAW,OAAO,CAAC,oBAAQ;IAIvD,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC;CAG9C;AAED,eAAO,MAAM,KAAK;yCATkC,MAAM;;;2BAAN,MAAM;;;;;;;;;CAavD,CAAA;AAGH,oBAAY,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,WAAW,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAA;AACzF,oBAAY,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,WAAW,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAA;AAC1F,oBAAY,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,WAAW,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAA;AAG1F,oBAAY,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAEtB,GAAG,CAAC,CAAC,CAAC,GACN,QAAQ,CAAC,CAAC,CAAC,GACX,SAAS,CAAC,CAAC,CAAC,GACZ,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAEnB,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GACvB,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GACjC,YAAY,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAChC,cAAc,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GACpC,QAAQ,GAER,WAAW,CAAC,CAAC,CAAC,CAAA;;;;;;;;;;;;;;;AAElB,qBAAa,GAAG,CAAC,CAAC,CAAE,SAAQ,SAAa,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;CAAG;;;;;;;;;;;;;;;AAE/D,qBAAa,QAAQ,CAAC,CAAC,CAAE,SAAQ,cAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;CAAG;;;;;;;;;;;;;;;AAEjF,qBAAa,SAAS,CAAC,CAAC,CAAE,SAAQ,eAAmB,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC;CAAG;;;;;;;;;;;;;;;AAEpF,qBAAa,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAE,SAAQ,gBAAoB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;CAAG;;;;;;;;;;;;;;;AAEjG,qBAAa,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAE,SAAQ,eACzC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EACvC,CAAC,EACD,CAAC,EACD,CAAC,CACF;CAAG;;;;;;;;;;;;;;;AAEJ,qBAAa,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAE,SAAQ,mBACrD,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EACvD,CAAC,GAAG,EAAE,EACN,CAAC,GAAG,EAAE,EACN,CAAC,CACF;CAAG;;;;;;;;;;;;;;;AAEJ,qBAAa,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAE,SAAQ,kBACpD,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAClE,CAAC,GAAG,EAAE,EACN,EAAE,EACF,CAAC,GAAG,CAAC,CACN;CAAG;;;;;;;;;;;;;;;AAEJ,qBAAa,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAE,SAAQ,oBACtD,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EACpE,CAAC,GAAG,EAAE,EACN,EAAE,EACF,CAAC,CACF;CAAG;;;;;;;;;;;;;;;AAEJ,qBAAa,QAAS,SAAQ,cAAkB,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC;CAAG;;;;;;;;;;;;;;;AAE7E,qBAAa,WAAW,CAAC,CAAC,CAAE,SAAQ,iBAClC,CAAC,EACD,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,EACd,QAAQ,CAAC,CAAC,CAAC,EACX,QAAQ,CAAC,CAAC,CAAC,CACZ;CAAG"}

package/esm/Effect/Effect.js

@@ -0,0 +1,50 @@
+// TODO: Track yields as a Tuple?
+// TODO: Track Return HKTs?
+export class EffectBrand {
+    __EFFECT__;
+}
+export class Instr extends EffectBrand {
+    input;
+    __trace;
+    static tag;
+    constructor(input, __trace) {
+        super();
+        this.input = input;
+        this.__trace = __trace;
+    }
+    *[Symbol.iterator]() {
+        return yield this;
+    }
+}
+export const instr = (tag) => class Instruction extends Instr {
+    static tag = tag;
+    tag = tag;
+};
+export class Now extends instr('Now') {
+}
+export class FromLazy extends instr('FromLazy') {
+}
+export class FromCause extends instr('FromCause') {
+}
+export class LazyEffect extends instr('LazyEffect') {
+}
+export class MapEffect extends instr('MapEffect') {
+}
+export class FlatMapEffect extends instr('FlatMapEffect') {
+}
+export class OrElseEffect extends instr('OrElseEffect') {
+}
+export class EnsuringEffect extends instr('Ensuring') {
+}
+export class YieldNow extends instr('YieldNow') {
+}
+export class YieldEffect extends instr('YieldEffect') {
+}
+// TODO: ProvideHandler + Handler
+// TODO: GetHandlers - Use HKT to track return values?
+// TODO: StackMap + References
+// TODO: Interrupts
+// TODO: Tracing
+// TODO: Supervision
+// TODO: Multiple Resumes
+//# sourceMappingURL=Effect.js.map

package/esm/Effect/Effect.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Effect.js","sourceRoot":"","sources":["../../src/Effect/Effect.ts"],"names":[],"mappings":"AAMA,iCAAiC;AACjC,2BAA2B;AAE3B,MAAM,OAAgB,WAAW;IACtB,UAAU,CAIlB;CACF;AAED,MAAM,OAAgB,KAAkC,SAAQ,WAAoB;IAI7D;IAAmB;IAHxC,MAAM,CAAC,GAAG,CAAQ;IAGlB,YAAqB,KAAQ,EAAW,OAAgB;QACtD,KAAK,EAAE,CAAA;QADY,UAAK,GAAL,KAAK,CAAG;QAAW,YAAO,GAAP,OAAO,CAAS;IAExD,CAAC;IAED,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC;QAChB,OAAO,MAAM,IAAI,CAAA;IACnB,CAAC;CACF;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,CAAqB,GAAQ,EAAE,EAAE,CACpD,MAAM,WAAwB,SAAQ,KAAiB;IACrD,MAAM,CAAC,GAAG,GAAQ,GAAG,CAAA;IACZ,GAAG,GAAQ,GAAG,CAAA;CACxB,CAAA;AAuBH,MAAM,OAAO,GAAO,SAAQ,KAAK,CAAC,KAAK,CAAqB;CAAG;AAE/D,MAAM,OAAO,QAAY,SAAQ,KAAK,CAAC,UAAU,CAA6B;CAAG;AAEjF,MAAM,OAAO,SAAa,SAAQ,KAAK,CAAC,WAAW,CAA8B;CAAG;AAEpF,MAAM,OAAO,UAAoB,SAAQ,KAAK,CAAC,YAAY,CAAmC;CAAG;AAEjG,MAAM,OAAO,SAAsB,SAAQ,KAAK,CAAC,WAAW,CAK3D;CAAG;AAEJ,MAAM,OAAO,aAAkC,SAAQ,KAAK,CAAC,eAAe,CAK3E;CAAG;AAEJ,MAAM,OAAO,YAAiC,SAAQ,KAAK,CAAC,cAAc,CAKzE;CAAG;AAEJ,MAAM,OAAO,cAAmC,SAAQ,KAAK,CAAC,UAAU,CAKvE;CAAG;AAEJ,MAAM,OAAO,QAAS,SAAQ,KAAK,CAAC,UAAU,CAA4B;CAAG;AAE7E,MAAM,OAAO,WAAe,SAAQ,KAAK,CAAC,aAAa,CAKtD;CAAG;AAEJ,iCAAiC;AACjC,sDAAsD;AACtD,8BAA8B;AAC9B,mBAAmB;AACnB,gBAAgB;AAChB,oBAAoB;AACpB,yBAAyB"}

package/esm/Env/Env.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Env.d.ts","sourceRoot":"","sources":["../../src/Env/Env.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,SAAS,kCAAgC;AACrD,OAAO,EAAM,EAAE,EAAY,oBAAkB;AAG7C,OAAO,EAAE,OAAO,EAAE,8BAA4B;AAE9C,MAAM,WAAW,GAAG,CAAC,CAAC;IACpB,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAA;CAC1D;AAED,wBAAgB,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC,CAI7D"}
+{"version":3,"file":"Env.d.ts","sourceRoot":"","sources":["../../src/Env/Env.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,SAAS,kCAAgC;AACrD,OAAO,EAAE,EAAE,EAAE,oBAAkB;AAC/B,OAAO,EAAE,OAAO,EAAE,8BAA4B;AAE9C,MAAM,WAAW,GAAG,CAAC,CAAC;IACpB,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAA;CAC1D;AAED,wBAAgB,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC,CAI7D"}

package/esm/Env/Env.js

@@ -1,37 +1,7 @@
-import { pipe } from 'hkt-ts';
-import * as Maybe from 'hkt-ts/Maybe';
-// eslint-disable-next-line import/no-cycle
-import * as FiberRef from "../FiberRef/index.js";
-// eslint-disable-next-line import/no-cycle
-import * as FiberRefs from "../FiberRefs/FiberRefs.js";
-import { Fx, fromExit } from "../Fx/Fx.js";
-// eslint-disable-next-line import/no-cycle
-import { join } from "../Fx/join.js";
+import { getServiceFromFiberRefs } from "../FiberRef/builtins.js";
 export function Env(fiberRefs) {
     return {
-        get: get(fiberRefs), // Always use a snapshot of the FiberRefs to avoid mutability problems.
-    };
-}
-function get(fiberRefs) {
-    return (id) => {
-        return Fx(function* () {
-            const service = pipe(fiberRefs, FiberRefs.maybeGetFiberRefStack(FiberRef.Services), Maybe.flatMap((s) => s.value.get(id)));
-            if (Maybe.isJust(service)) {
-                return service.value;
-            }
-            const layers = FiberRefs.maybeGetFiberRefStack(FiberRef.Layers)(fiberRefs);
-            const layer = pipe(layers, Maybe.flatMap((s) => s.value.get(id)));
-            if (Maybe.isNothing(layers) || Maybe.isNothing(layer)) {
-                throw new Error(`Unable to find Layer or Service for ${id.description}`);
-            }
-            const [makeFiber, currentFiber] = layer.value;
-            if (Maybe.isJust(currentFiber)) {
-                return (yield* fromExit(yield* currentFiber.value.exit));
-            }
-            const fiber = makeFiber();
-            FiberRefs.setFiberRef(FiberRef.Layers, layers.value.value.set(id, [makeFiber, Maybe.Just(fiber)]))(fiberRefs);
-            return (yield* join(fiber));
-        }, "Fx" + " node_modules/@typed/fx/src/Env/Env.ts:25:14");
+        get: getServiceFromFiberRefs(fiberRefs),
     };
 }
 //# sourceMappingURL=Env.js.map

package/esm/Env/Env.js.map

@@ -1 +1 @@
-{"version":3,"file":"Env.js","sourceRoot":"","sources":["../../src/Env/Env.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAC7B,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AAErC,2CAA2C;AAC3C,OAAO,KAAK,QAAQ,6BAA2B;AAC/C,2CAA2C;AAC3C,OAAO,KAAK,SAAS,kCAAgC;AACrD,OAAO,EAAE,EAAE,EAAM,QAAQ,EAAE,oBAAkB;AAC7C,2CAA2C;AAC3C,OAAO,EAAE,IAAI,EAAE,sBAAoB;AAOnC,MAAM,UAAU,GAAG,CAAI,SAA8B;IACnD,OAAO;QACL,GAAG,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,uEAAuE;KAC7F,CAAA;AACH,CAAC;AAED,SAAS,GAAG,CAAC,SAA8B;IACzC,OAAO,CAAI,EAAc,EAAS,EAAE;QAClC,OAAO,EAAE,CAAC,QAAQ,CAAC;YACjB,MAAM,OAAO,GAAG,IAAI,CAClB,SAAS,EACT,SAAS,CAAC,qBAAqB,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAClD,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CACtC,CAAA;YAED,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE;gBACzB,OAAO,OAAO,CAAC,KAAU,CAAA;aAC1B;YAED,MAAM,MAAM,GAAG,SAAS,CAAC,qBAAqB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAA;YAC1E,MAAM,KAAK,GAAG,IAAI,CAChB,MAAM,EACN,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CACtC,CAAA;YAED,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE;gBACrD,MAAM,IAAI,KAAK,CAAC,uCAAuC,EAAE,CAAC,WAAW,EAAE,CAAC,CAAA;aACzE;YAED,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,KAAK,CAAC,KAAK,CAAA;YAE7C,IAAI,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE;gBAC9B,OAAO,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAM,CAAA;aAC9D;YAED,MAAM,KAAK,GAAG,SAAS,EAAE,CAAA;YAEzB,SAAS,CAAC,WAAW,CACnB,QAAQ,CAAC,MAAM,EACf,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAC3D,CAAC,SAAS,CAAC,CAAA;YAEZ,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAM,CAAA;QAClC,CAAC,wDAAC,CAAA;IACJ,CAAC,CAAA;AACH,CAAC"}
+{"version":3,"file":"Env.js","sourceRoot":"","sources":["../../src/Env/Env.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,gCAA8B;AAShE,MAAM,UAAU,GAAG,CAAI,SAA8B;IACnD,OAAO;QACL,GAAG,EAAE,uBAAuB,CAAC,SAAS,CAAC;KACxC,CAAA;AACH,CAAC"}

package/esm/Exit/hkt.d.ts

@@ -1,9 +1,15 @@
-import { HKT2, Params } from 'hkt-ts';
+import { HKT2, Params, Variance } from 'hkt-ts';
 import * as B from 'hkt-ts/Typeclass/Bicovariant';
+import { Bottom2 } from 'hkt-ts/Typeclass/Bottom';
 import * as C from 'hkt-ts/Typeclass/Covariant';
+import { Top2 } from 'hkt-ts/Typeclass/Top';
 import { Exit } from './Exit.js';
 export interface ExitHKT extends HKT2 {
     readonly type: Exit<this[Params.E], this[Params.A]>;
+    readonly defaults: {
+        readonly [Params.E]: Variance.Covariant<unknown>;
+        readonly [Params.A]: Variance.Covariant<unknown>;
+    };
 }
 export declare const Bicovariant: B.Bicovariant2<ExitHKT>;
 export declare const bimap: <A, B, C, D>(f: import("hkt-ts/Unary").Unary<A, B>, g: import("hkt-ts/Unary").Unary<C, D>) => (kind: Exit<A, C>) => Exit<B, D>;
@@ -14,4 +20,8 @@ export declare const bindTo: <N extends string>(name: N) => <E, A>(kind: Exit<E,
 export declare const flap: <A>(a: A) => <E, B>(kind: Exit<E, (a: A) => B>) => Exit<E, B>;
 export declare const mapTo: <B>(b: B) => <E, A>(kind: Exit<E, A>) => Exit<E, B>;
 export declare const tupled: <E, A>(kind: Exit<E, A>) => Exit<E, readonly [A]>;
+export declare const Top: Top2<ExitHKT>;
+export declare const top: Exit<never, unknown>;
+export declare const Bottom: Bottom2<ExitHKT>;
+export declare const bottom: Exit<never, never>;
 //# sourceMappingURL=hkt.d.ts.map

package/esm/Exit/hkt.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"hkt.d.ts","sourceRoot":"","sources":["../../src/Exit/hkt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAc,MAAM,QAAQ,CAAA;AAEjD,OAAO,KAAK,CAAC,MAAM,8BAA8B,CAAA;AACjD,OAAO,KAAK,CAAC,MAAM,4BAA4B,CAAA;AAE/C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAIhC,MAAM,WAAW,OAAQ,SAAQ,IAAI;IACnC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;CACpD;AAED,eAAO,MAAM,WAAW,EAAE,CAAC,CAAC,YAAY,CAAC,OAAO,CAE/C,CAAA;AAED,eAAO,MAAM,KAAK,gIAAoB,CAAA;AACtC,eAAO,MAAM,OAAO,+DAAyB,CAAA;AAC7C,eAAO,MAAM,GAAG,+DAAqB,CAAA;AAErC,eAAO,MAAM,SAAS,EAAE,CAAC,CAAC,UAAU,CAAC,OAAO,CAE3C,CAAA;AAED,eAAO,MAAM,MAAM,+FAAsB,CAAA;AACzC,eAAO,MAAM,IAAI,+DAAoB,CAAA;AACrC,eAAO,MAAM,KAAK,qDAAqB,CAAA;AACvC,eAAO,MAAM,MAAM,mDAAsB,CAAA"}
+{"version":3,"file":"hkt.d.ts","sourceRoot":"","sources":["../../src/Exit/hkt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAc,MAAM,QAAQ,CAAA;AAE3D,OAAO,KAAK,CAAC,MAAM,8BAA8B,CAAA;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAA;AACjD,OAAO,KAAK,CAAC,MAAM,4BAA4B,CAAA;AAC/C,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAA;AAE3C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAIhC,MAAM,WAAW,OAAQ,SAAQ,IAAI;IACnC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IACnD,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;QAChD,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;KACjD,CAAA;CACF;AAED,eAAO,MAAM,WAAW,EAAE,CAAC,CAAC,YAAY,CAAC,OAAO,CAG/C,CAAA;AAED,eAAO,MAAM,KAAK,gIAAoB,CAAA;AACtC,eAAO,MAAM,OAAO,+DAAyB,CAAA;AAC7C,eAAO,MAAM,GAAG,+DAAqB,CAAA;AAErC,eAAO,MAAM,SAAS,EAAE,CAAC,CAAC,UAAU,CAAC,OAAO,CAE3C,CAAA;AAED,eAAO,MAAM,MAAM,+FAAsB,CAAA;AACzC,eAAO,MAAM,IAAI,+DAAoB,CAAA;AACrC,eAAO,MAAM,KAAK,qDAAqB,CAAA;AACvC,eAAO,MAAM,MAAM,mDAAsB,CAAA;AAEzC,eAAO,MAAM,GAAG,eAA8B,CAAA;AAC9C,eAAO,MAAM,GAAG,sBAAU,CAAA;AAE1B,eAAO,MAAM,MAAM,EAAE,OAAO,CAAC,OAAO,CAEnC,CAAA;AACD,eAAO,MAAM,MAAM,oBAAgB,CAAA"}

package/esm/Exit/hkt.js

@@ -1,10 +1,10 @@
-import { flow, pipe } from 'hkt-ts';
-import { Left, Right, match } from 'hkt-ts/Either';
+import { Params, flow, pipe } from 'hkt-ts';
+import * as Either from 'hkt-ts/Either';
 import * as B from 'hkt-ts/Typeclass/Bicovariant';
 import * as C from 'hkt-ts/Typeclass/Covariant';
 import * as Cause from "../Cause/index.js";
 export const Bicovariant = {
-    bimap: (f, g) => (exit) => pipe(exit, match(flow(Cause.map(f), Left), flow(g, Right))),
+    bimap: (f, g) => (exit) => pipe(exit, Either.match(flow(Cause.map(f), Either.Left), flow(g, Either.Right))),
 };
 export const bimap = Bicovariant.bimap;
 export const mapLeft = B.mapLeft(Bicovariant);
@@ -16,4 +16,10 @@ export const bindTo = C.bindTo(Covariant);
 export const flap = C.flap(Covariant);
 export const mapTo = C.mapTo(Covariant);
 export const tupled = C.tupled(Covariant);
+export const Top = Either.Top;
+export const top = Top.top;
+export const Bottom = {
+    bottom: Either.Left(Cause.Empty),
+};
+export const bottom = Bottom.bottom;
 //# sourceMappingURL=hkt.js.map

package/esm/Exit/hkt.js.map

@@ -1 +1 @@
-{"version":3,"file":"hkt.js","sourceRoot":"","sources":["../../src/Exit/hkt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,IAAI,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAClD,OAAO,KAAK,CAAC,MAAM,8BAA8B,CAAA;AACjD,OAAO,KAAK,CAAC,MAAM,4BAA4B,CAAA;AAI/C,OAAO,KAAK,KAAK,0BAAwB;AAMzC,MAAM,CAAC,MAAM,WAAW,GAA4B;IAClD,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;CACvF,CAAA;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAA;AACtC,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAA;AAC7C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;AAErC,MAAM,CAAC,MAAM,SAAS,GAA0B;IAC9C,GAAG;CACJ,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;AACzC,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;AACrC,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;AACvC,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA"}
+{"version":3,"file":"hkt.js","sourceRoot":"","sources":["../../src/Exit/hkt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,MAAM,EAAY,IAAI,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAC3D,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,CAAC,MAAM,8BAA8B,CAAA;AAEjD,OAAO,KAAK,CAAC,MAAM,4BAA4B,CAAA;AAK/C,OAAO,KAAK,KAAK,0BAAwB;AAUzC,MAAM,CAAC,MAAM,WAAW,GAA4B;IAClD,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CACxB,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;CACnF,CAAA;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAA;AACtC,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAA;AAC7C,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;AAErC,MAAM,CAAC,MAAM,SAAS,GAA0B;IAC9C,GAAG;CACJ,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;AACzC,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;AACrC,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;AACvC,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;AAEzC,MAAM,CAAC,MAAM,GAAG,GAAG,MAAM,CAAC,GAAoB,CAAA;AAC9C,MAAM,CAAC,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAA;AAE1B,MAAM,CAAC,MAAM,MAAM,GAAqB;IACtC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;CACjC,CAAA;AACD,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAA"}

package/esm/Fiber/Fiber.d.ts

@@ -2,7 +2,7 @@ import type { Exit } from "../Exit/Exit.js";
 import type { FiberContext } from "../FiberContext/FiberContext.js";
 import type { FiberId } from "../FiberId/FiberId.js";
 import type { FiberStatus } from "../FiberStatus/index.js";
-import { Fx, Of } from "../Fx/Fx.js";
+import { Of } from "../Fx/Fx.js";
 import type { Trace } from "../Trace/Trace.js";
 export declare type Fiber<E, A> = Live<E, A> | Synthetic<E, A>;
 export declare type AnyFiber = Fiber<any, any> | Fiber<never, never> | Fiber<any, never> | Fiber<never, any>;
@@ -18,19 +18,19 @@ export interface Live<E, A> {
     readonly interruptAs: (id: FiberId) => Of<Exit<E, A>>;
 }
 export declare type AnyLiveFiber = Live<any, any> | Live<never, never> | Live<any, never> | Live<never, any>;
-export declare const Live: <E, A>(params: Omit<Live<E, A>, "tag">) => Live<E, A>;
+export declare const Live: <E, A>(params: Omit<Live<E, A>, "tag">) => Fiber<E, A>;
 export interface Synthetic<E, A> {
     readonly tag: 'Synthetic';
-    readonly id: FiberId.Synthetic;
+    readonly id: FiberId;
     readonly exit: Of<Exit<E, A>>;
     readonly inheritFiberRefs: Of<void>;
     readonly interruptAs: (id: FiberId) => Of<Exit<E, A>>;
 }
-export declare const Synthetic: <E, A>(params: Omit<Synthetic<E, A>, "tag">) => Synthetic<E, A>;
+export declare const Synthetic: <E, A>(params: Omit<Synthetic<E, A>, "tag">) => Fiber<E, A>;
 export declare const match: <E, A, B, C>(onLive: (live: Live<E, A>) => B, onSynthetic: (synthetic: Synthetic<E, A>) => C) => (fiber: Fiber<E, A>) => B | C;
-export declare const inheritFiberRefs: <E, A>(fiber: Fiber<E, A>) => Fx<never, never, void>;
+export declare const inheritFiberRefs: <E, A>(fiber: Fiber<E, A>) => Of<void>;
 export declare const interruptAs: (id: FiberId) => <E, A>(fiber: Fiber<E, A>) => Of<Exit<E, A>>;
-export declare const interruptAsFork: (id: FiberId) => <E, A>(fiber: Fiber<E, A>) => Fx<never, never, Live<never, Exit<E, A>>>;
-export declare const interrupt: <E, A>(fiber: Fiber<E, A>) => Fx<never, never, Exit<E, A>>;
-export declare const interruptFork: <E, A>(fiber: Fiber<E, A>) => Fx<never, never, Live<never, Exit<E, A>>>;
+export declare const interruptAsFork: (id: FiberId) => <E, A>(fiber: Fiber<E, A>) => import("../Fx/Fx.js").Fx<never, never, Live<E, A>>;
+export declare const interrupt: <E, A>(fiber: Fiber<E, A>) => import("../Fx/Fx.js").Fx<never, never, Exit<E, A>>;
+export declare const interruptFork: <E, A>(fiber: Fiber<E, A>) => import("../Fx/Fx.js").Fx<never, never, Live<E, A>>;
 //# sourceMappingURL=Fiber.d.ts.map

package/esm/Fiber/Fiber.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Fiber.d.ts","sourceRoot":"","sources":["../../src/Fiber/Fiber.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,IAAI,EAAE,wBAAsB;AAC1C,OAAO,KAAK,EAAE,YAAY,EAAE,wCAAsC;AAClE,OAAO,KAAK,EAAE,OAAO,EAAE,8BAA4B;AAGnD,OAAO,KAAK,EAAE,WAAW,EAAE,gCAA8B;AACzD,OAAO,EAAE,EAAE,EAAE,EAAE,EAA4C,oBAAkB;AAC7E,OAAO,KAAK,EAAE,KAAK,EAAE,0BAAwB;AAE7C,oBAAY,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAEtD,oBAAY,QAAQ,GAAG,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;AAGpG,oBAAY,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAE5E,oBAAY,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAG5E,MAAM,WAAW,IAAI,CAAC,CAAC,EAAE,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;IAC9B,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,WAAW,CAAC,CAAA;IAChC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAC7B,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAA;IACzB,QAAQ,CAAC,WAAW,EAAE,CAAC,EAAE,EAAE,OAAO,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;CACtD;AAED,oBAAY,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;AAEpG,eAAO,MAAM,IAAI,uDAGf,CAAA;AAEF,MAAM,WAAW,SAAS,CAAC,CAAC,EAAE,CAAC;IAC7B,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAA;IACzB,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC,SAAS,CAAA;IAC9B,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAC7B,QAAQ,CAAC,gBAAgB,EAAE,EAAE,CAAC,IAAI,CAAC,CAAA;IACnC,QAAQ,CAAC,WAAW,EAAE,CAAC,EAAE,EAAE,OAAO,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;CACtD;AAED,eAAO,MAAM,SAAS,iEAGpB,CAAA;AAEF,eAAO,MAAM,KAAK,gIAG2C,CAAA;AAE7D,eAAO,MAAM,gBAAgB,sDASzB,CAAA;AAEJ,eAAO,MAAM,WAAW,OACjB,OAAO,iDAEW,CAAA;AAEzB,eAAO,MAAM,eAAe,OAAQ,OAAO,4EAAgC,CAAA;AAE3E,eAAO,MAAM,SAAS,4DAInB,CAAA;AAEH,eAAO,MAAM,aAAa,yEAIvB,CAAA"}
+{"version":3,"file":"Fiber.d.ts","sourceRoot":"","sources":["../../src/Fiber/Fiber.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,IAAI,EAAE,wBAAsB;AAC1C,OAAO,KAAK,EAAE,YAAY,EAAE,wCAAsC;AAClE,OAAO,KAAK,EAAE,OAAO,EAAE,8BAA4B;AAEnD,OAAO,KAAK,EAAE,WAAW,EAAE,gCAA8B;AACzD,OAAO,EAAE,EAAE,EAAiD,oBAAkB;AAC9E,OAAO,KAAK,EAAE,KAAK,EAAE,0BAAwB;AAE7C,oBAAY,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAEtD,oBAAY,QAAQ,GAAG,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;AAGpG,oBAAY,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAE5E,oBAAY,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAG5E,MAAM,WAAW,IAAI,CAAC,CAAC,EAAE,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;IAC9B,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,WAAW,CAAC,CAAA;IAChC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAC7B,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAA;IACzB,QAAQ,CAAC,WAAW,EAAE,CAAC,EAAE,EAAE,OAAO,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;CACtD;AAED,oBAAY,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;AAEpG,eAAO,MAAM,IAAI,wDAGf,CAAA;AAEF,MAAM,WAAW,SAAS,CAAC,CAAC,EAAE,CAAC;IAC7B,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAA;IACzB,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAA;IACpB,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAC7B,QAAQ,CAAC,gBAAgB,EAAE,EAAE,CAAC,IAAI,CAAC,CAAA;IACnC,QAAQ,CAAC,WAAW,EAAE,CAAC,EAAE,EAAE,OAAO,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;CACtD;AAED,eAAO,MAAM,SAAS,6DAGpB,CAAA;AAEF,eAAO,MAAM,KAAK,gIAG2C,CAAA;AAE7D,eAAO,MAAM,gBAAgB,gCAA+B,GAAG,IAAI,CAWhE,CAAA;AAEH,eAAO,MAAM,WAAW,OACjB,OAAO,iDAEW,CAAA;AAEzB,eAAO,MAAM,eAAe,OAAQ,OAAO,qFAAmD,CAAA;AAE9F,eAAO,MAAM,SAAS,kFAInB,CAAA;AAEH,eAAO,MAAM,aAAa,kFAIvB,CAAA"}

package/esm/Fiber/Fiber.js

@@ -1,7 +1,6 @@
 import { flow, pipe } from 'hkt-ts/function';
-// eslint-disable-next-line import/no-cycle
 import { join } from "../FiberRefs/FiberRefs.js";
-import { Fx, flatMap, fork, fromLazy, getFiberContext } from "../Fx/Fx.js";
+import { flatMap, fork, fromExit, getFiberContext, map } from "../Fx/Fx.js";
 export const Live = (params) => ({
     tag: 'Live',
     ...params,
@@ -11,15 +10,9 @@ export const Synthetic = (params) => ({
     ...params,
 });
 export const match = (onLive, onSynthetic) => (fiber) => fiber.tag === 'Live' ? onLive(fiber) : onSynthetic(fiber);
-export const inheritFiberRefs = (fiber) => Fx(function* () {
-    if (fiber.tag === 'Synthetic') {
-        return yield* fiber.inheritFiberRefs;
-    }
-    const { fiberRefs } = yield* getFiberContext;
-    yield* fromLazy(() => join(fiberRefs, fiber.context.fiberRefs));
-}, "Fx" + " node_modules/@typed/fx/src/Fiber/Fiber.ts:58:5");
+export const inheritFiberRefs = (fiber) => pipe(fiber, match((l) => pipe(getFiberContext, map((c) => join(c.fiberRefs, l.context.fiberRefs))), (s) => s.inheritFiberRefs));
 export const interruptAs = (id) => (fiber) => fiber.interruptAs(id);
-export const interruptAsFork = (id) => flow(interruptAs(id), fork);
+export const interruptAsFork = (id) => flow(interruptAs(id), flatMap(fromExit), fork);
 export const interrupt = (fiber) => pipe(getFiberContext, flatMap(({ id }) => interruptAs(id)(fiber)));
 export const interruptFork = (fiber) => pipe(getFiberContext, flatMap(({ id }) => interruptAsFork(id)(fiber)));
 //# sourceMappingURL=Fiber.js.map

package/esm/Fiber/Fiber.js.map

@@ -1 +1 @@
-{"version":3,"file":"Fiber.js","sourceRoot":"","sources":["../../src/Fiber/Fiber.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAK5C,2CAA2C;AAC3C,OAAO,EAAE,IAAI,EAAE,kCAAgC;AAE/C,OAAO,EAAE,EAAE,EAAM,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,eAAe,EAAE,oBAAkB;AAyB7E,MAAM,CAAC,MAAM,IAAI,GAAG,CAAO,MAA+B,EAAc,EAAE,CAAC,CAAC;IAC1E,GAAG,EAAE,MAAM;IACX,GAAG,MAAM;CACV,CAAC,CAAA;AAUF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAO,MAAoC,EAAmB,EAAE,CAAC,CAAC;IACzF,GAAG,EAAE,WAAW;IAChB,GAAG,MAAM;CACV,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,KAAK,GAChB,CAAa,MAA+B,EAAE,WAA8C,EAAE,EAAE,CAChG,CAAC,KAAkB,EAAE,EAAE,CACrB,KAAK,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAA;AAE7D,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAO,KAAkB,EAAE,EAAE,CAC3D,EAAE,CAAC,QAAQ,CAAC;IACV,IAAI,KAAK,CAAC,GAAG,KAAK,WAAW,EAAE;QAC7B,OAAO,KAAK,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAA;KACrC;IAED,MAAM,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC,CAAC,eAAe,CAAA;IAE5C,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAA;AACjE,CAAC,2DAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,WAAW,GACtB,CAAC,EAAW,EAAE,EAAE,CAChB,CAAO,KAAkB,EAAE,EAAE,CAC3B,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC,CAAA;AAEzB,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,EAAW,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAA;AAE3E,MAAM,CAAC,MAAM,SAAS,GAAG,CAAO,KAAkB,EAAE,EAAE,CACpD,IAAI,CACF,eAAe,EACf,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAC5C,CAAA;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAO,KAAkB,EAAE,EAAE,CACxD,IAAI,CACF,eAAe,EACf,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAChD,CAAA"}
+{"version":3,"file":"Fiber.js","sourceRoot":"","sources":["../../src/Fiber/Fiber.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAK5C,OAAO,EAAE,IAAI,EAAE,kCAAgC;AAE/C,OAAO,EAAM,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,eAAe,EAAE,GAAG,EAAE,oBAAkB;AAyB9E,MAAM,CAAC,MAAM,IAAI,GAAG,CAAO,MAA+B,EAAe,EAAE,CAAC,CAAC;IAC3E,GAAG,EAAE,MAAM;IACX,GAAG,MAAM;CACV,CAAC,CAAA;AAUF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAO,MAAoC,EAAe,EAAE,CAAC,CAAC;IACrF,GAAG,EAAE,WAAW;IAChB,GAAG,MAAM;CACV,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,KAAK,GAChB,CAAa,MAA+B,EAAE,WAA8C,EAAE,EAAE,CAChG,CAAC,KAAkB,EAAE,EAAE,CACrB,KAAK,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAA;AAE7D,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAO,KAAkB,EAAY,EAAE,CACrE,IAAI,CACF,KAAK,EACL,KAAK,CACH,CAAC,CAAC,EAAE,EAAE,CACJ,IAAI,CACF,eAAe,EACf,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CACnD,EACH,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAC1B,CACF,CAAA;AAEH,MAAM,CAAC,MAAM,WAAW,GACtB,CAAC,EAAW,EAAE,EAAE,CAChB,CAAO,KAAkB,EAAE,EAAE,CAC3B,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC,CAAA;AAEzB,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,EAAW,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAA;AAE9F,MAAM,CAAC,MAAM,SAAS,GAAG,CAAO,KAAkB,EAAE,EAAE,CACpD,IAAI,CACF,eAAe,EACf,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAC5C,CAAA;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAO,KAAkB,EAAE,EAAE,CACxD,IAAI,CACF,eAAe,EACf,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAChD,CAAA"}

package/esm/Fiber/fromExit.d.ts

@@ -0,0 +1,4 @@
+import { Fiber } from './Fiber.js';
+import { Exit } from "../Exit/Exit.js";
+export declare function fromExit<E, A>(exit: Exit<E, A>): Fiber<E, A>;
+//# sourceMappingURL=fromExit.d.ts.map

package/esm/Fiber/fromExit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fromExit.d.ts","sourceRoot":"","sources":["../../src/Fiber/fromExit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAa,MAAM,YAAY,CAAA;AAE7C,OAAO,EAAE,IAAI,EAAE,wBAAsB;AAIrC,wBAAgB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAO5D"}

package/esm/Fiber/fromExit.js

@@ -0,0 +1,12 @@
+import { Synthetic } from './Fiber.js';
+import { FiberId } from "../FiberId/FiberId.js";
+import { now, unit } from "../Fx/index.js";
+export function fromExit(exit) {
+    return Synthetic({
+        id: new FiberId.Synthetic([]),
+        exit: now(exit),
+        inheritFiberRefs: unit,
+        interruptAs: () => now(exit),
+    });
+}
+//# sourceMappingURL=fromExit.js.map

package/esm/Fiber/fromExit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fromExit.js","sourceRoot":"","sources":["../../src/Fiber/fromExit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,SAAS,EAAE,MAAM,YAAY,CAAA;AAG7C,OAAO,EAAE,OAAO,EAAE,8BAA4B;AAC9C,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,uBAAqB;AAEzC,MAAM,UAAU,QAAQ,CAAO,IAAgB;IAC7C,OAAO,SAAS,CAAC;QACf,EAAE,EAAE,IAAI,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7B,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC;QACf,gBAAgB,EAAE,IAAI;QACtB,WAAW,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC;KAC7B,CAAC,CAAA;AACJ,CAAC"}

package/esm/Fiber/hkt.d.ts

@@ -0,0 +1,40 @@
+import { HKT2, Params } from 'hkt-ts/HKT';
+import * as AB from 'hkt-ts/Typeclass/AssociativeBoth';
+import * as B from 'hkt-ts/Typeclass/Bicovariant';
+import { Bottom2 } from 'hkt-ts/Typeclass/Bottom';
+import { CommutativeBoth2 } from 'hkt-ts/Typeclass/CommutativeBoth';
+import * as C from 'hkt-ts/Typeclass/Covariant';
+import * as IB from 'hkt-ts/Typeclass/IdentityBoth';
+import { Top2 } from 'hkt-ts/Typeclass/Top';
+import { Fiber } from './Fiber.js';
+export interface FiberHKT extends HKT2 {
+    readonly type: Fiber<this[Params.E], this[Params.A]>;
+}
+export declare const Bicovariant: B.Bicovariant2<FiberHKT>;
+export declare const bimap: <A, B, C, D>(f: import("hkt-ts/Unary").Unary<A, B>, g: import("hkt-ts/Unary").Unary<C, D>) => (kind: Fiber<A, C>) => Fiber<B, D>;
+export declare const mapLeft: <A, B>(f: (a: A) => B) => <C>(kind: Fiber<A, C>) => Fiber<B, C>;
+export declare const map: <A, B>(f: (a: A) => B) => <C>(kind: Fiber<C, A>) => Fiber<C, B>;
+export declare const Covariant: C.Covariant2<FiberHKT>;
+export declare const bindTo: <N extends string>(name: N) => <E, A>(kind: Fiber<E, A>) => Fiber<E, { readonly [K in N]: A; }>;
+export declare const flap: <A>(a: A) => <E, B>(kind: Fiber<E, (a: A) => B>) => Fiber<E, B>;
+export declare const mapTo: <B>(b: B) => <E, A>(kind: Fiber<E, A>) => Fiber<E, B>;
+export declare const tupled: <E, A>(kind: Fiber<E, A>) => Fiber<E, readonly [A]>;
+export declare const Top: Top2<FiberHKT>;
+export declare const top: Fiber<unknown, unknown>;
+export declare const Bottom: Bottom2<FiberHKT>;
+export declare const bottom: Fiber<unknown, never>;
+export declare const AssociativeBoth: AB.AssociativeBoth2<FiberHKT>;
+export declare const bothSeq: <E, B>(second: Fiber<E, B>) => <A>(first: Fiber<E, A>) => Fiber<E, readonly [A, B]>;
+export declare const zipLeftSeq: <E, B>(second: Fiber<E, B>) => <A>(first: Fiber<E, A>) => Fiber<E, A>;
+export declare const zipRightSeq: <E, B>(second: Fiber<E, B>) => <A>(first: Fiber<E, A>) => Fiber<E, B>;
+export declare const CommutativeBoth: CommutativeBoth2<FiberHKT>;
+export declare const both: <E, B>(second: Fiber<E, B>) => <A>(first: Fiber<E, A>) => Fiber<E, readonly [A, B]>;
+export declare const zipLeft: <E, B>(second: Fiber<E, B>) => <A>(first: Fiber<E, A>) => Fiber<E, A>;
+export declare const zipRight: <E, B>(second: Fiber<E, B>) => <A>(first: Fiber<E, A>) => Fiber<E, B>;
+export declare const IdentityBothSeq: IB.IdentityBoth2<FiberHKT>;
+export declare const tupleSeq: <AS extends readonly Fiber<unknown, any>[]>(...values: AS) => Fiber<([AS[number]] extends [Fiber<infer E, infer A>] ? readonly [E, A] : never)[0], { readonly [K in keyof AS]: ([AS[K]] extends [Fiber<infer E, infer A>] ? readonly [E, A] : never)[1]; }>;
+export declare const structSeq: <A extends Readonly<Record<string, Fiber<unknown, any>>>>(values: A) => Fiber<([A[string]] extends [Fiber<infer E, infer A_1>] ? readonly [E, A_1] : never)[0], { readonly [K in keyof A]: ([A[K]] extends [Fiber<infer E, infer A_1>] ? readonly [E, A_1] : never)[1]; }>;
+export declare const IdentityBothPar: IB.IdentityBoth2<FiberHKT>;
+export declare const tuple: <AS extends readonly Fiber<unknown, any>[]>(...values: AS) => Fiber<([AS[number]] extends [Fiber<infer E, infer A>] ? readonly [E, A] : never)[0], { readonly [K in keyof AS]: ([AS[K]] extends [Fiber<infer E, infer A>] ? readonly [E, A] : never)[1]; }>;
+export declare const struct: <A extends Readonly<Record<string, Fiber<unknown, any>>>>(values: A) => Fiber<([A[string]] extends [Fiber<infer E, infer A_1>] ? readonly [E, A_1] : never)[0], { readonly [K in keyof A]: ([A[K]] extends [Fiber<infer E, infer A_1>] ? readonly [E, A_1] : never)[1]; }>;
+//# sourceMappingURL=hkt.d.ts.map

package/esm/Fiber/hkt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hkt.d.ts","sourceRoot":"","sources":["../../src/Fiber/hkt.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA;AACzC,OAAO,KAAK,EAAE,MAAM,kCAAkC,CAAA;AACtD,OAAO,KAAK,CAAC,MAAM,8BAA8B,CAAA;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAA;AACjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAA;AACnE,OAAO,KAAK,CAAC,MAAM,4BAA4B,CAAA;AAC/C,OAAO,KAAK,EAAE,MAAM,+BAA+B,CAAA;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAA;AAG3C,OAAO,EAAE,KAAK,EAA+B,MAAM,YAAY,CAAA;AAO/D,MAAM,WAAW,QAAS,SAAQ,IAAI;IACpC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;CACrD;AAED,eAAO,MAAM,WAAW,EAAE,CAAC,CAAC,YAAY,CAAC,QAAQ,CAQhD,CAAA;AAED,eAAO,MAAM,KAAK,kIAAoB,CAAA;AACtC,eAAO,MAAM,OAAO,iEAAyB,CAAA;AAC7C,eAAO,MAAM,GAAG,iEAAqB,CAAA;AAErC,eAAO,MAAM,SAAS,EAAE,CAAC,CAAC,UAAU,CAAC,QAAQ,CAE5C,CAAA;AAED,eAAO,MAAM,MAAM,iGAAsB,CAAA;AACzC,eAAO,MAAM,IAAI,iEAAoB,CAAA;AACrC,eAAO,MAAM,KAAK,uDAAqB,CAAA;AACvC,eAAO,MAAM,MAAM,qDAAsB,CAAA;AAEzC,eAAO,MAAM,GAAG,EAAE,IAAI,CAAC,QAAQ,CAE9B,CAAA;AACD,eAAO,MAAM,GAAG,yBAAU,CAAA;AAE1B,eAAO,MAAM,MAAM,EAAE,OAAO,CAAC,QAAQ,CAEpC,CAAA;AACD,eAAO,MAAM,MAAM,uBAAgB,CAAA;AAInC,eAAO,MAAM,eAAe,EAAE,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAkBzD,CAAA;AAED,eAAO,MAAM,OAAO,qFAAuB,CAAA;AAE3C,eAAO,MAAM,UAAU,uEAA6D,CAAA;AACpF,eAAO,MAAM,WAAW,uEAA8D,CAAA;AAItF,eAAO,MAAM,eAAe,EAAE,gBAAgB,CAAC,QAAQ,CAkBtD,CAAA;AAED,eAAO,MAAM,IAAI,qFAAuB,CAAA;AACxC,eAAO,MAAM,OAAO,uEAA6D,CAAA;AACjF,eAAO,MAAM,QAAQ,uEAA8D,CAAA;AAEnF,eAAO,MAAM,eAAe,EAAE,EAAE,CAAC,aAAa,CAAC,QAAQ,CAGtD,CAAA;AAED,eAAO,MAAM,QAAQ,6PAA2D,CAAA;AAChF,eAAO,MAAM,SAAS,4QAA4D,CAAA;AAElF,eAAO,MAAM,eAAe,EAAE,EAAE,CAAC,aAAa,CAAC,QAAQ,CAGtD,CAAA;AAED,eAAO,MAAM,KAAK,6PAA2D,CAAA;AAC7E,eAAO,MAAM,MAAM,4QAA4D,CAAA"}