@typed/fx 0.0.4 → 0.0.6

package/esm/Effect/Effect.d.ts

@@ -1,199 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

@@ -1,50 +0,0 @@
-// 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

@@ -1 +0,0 @@
-{"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/src/Effect/Effect.ts

@@ -1,109 +0,0 @@
-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'
-
-// TODO: Track yields as a Tuple?
-// TODO: Track Return HKTs?
-
-export abstract class EffectBrand<R, E, A> {
-  readonly __EFFECT__!: {
-    readonly _R: () => R
-    readonly _E: () => E
-    readonly _A: () => A
-  }
-}
-
-export abstract class Instr<out I, out R, out E, out A> extends EffectBrand<R, E, A> {
-  static tag: string
-  abstract readonly tag: string
-
-  constructor(readonly input: I, readonly __trace?: string) {
-    super()
-  }
-
-  *[Symbol.iterator](): Generator<this, A, any> {
-    return yield this
-  }
-}
-
-export const instr = <Tag extends string>(tag: Tag) =>
-  class Instruction<I, R, E, A> extends Instr<I, R, E, A> {
-    static tag: Tag = tag
-    readonly tag: Tag = tag
-  }
-
-/* eslint-disable @typescript-eslint/no-unused-vars */
-export type YieldOf<T> = T extends EffectBrand<infer _R, infer _E, infer _A> ? _R : never
-export type ErrorsOf<T> = T extends EffectBrand<infer _R, infer _E, infer _A> ? _E : never
-export type OutputOf<T> = T extends EffectBrand<infer _R, infer _E, infer _A> ? _A : never
-/* eslint-enable @typescript-eslint/no-unused-vars */
-
-export type Effect<R, E, A> =
-  // Constructors
-  | Now<A>
-  | FromLazy<A>
-  | FromCause<E>
-  | LazyEffect<R, E, A>
-  // Control Flow
-  | 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
-  // Efeccts
-  | YieldEffect<R>
-
-export class Now<A> extends instr('Now')<A, never, never, A> {}
-
-export class FromLazy<A> extends instr('FromLazy')<F.Lazy<A>, never, never, A> {}
-
-export class FromCause<E> extends instr('FromCause')<C.Cause<E>, never, E, never> {}
-
-export class LazyEffect<R, E, A> extends instr('LazyEffect')<F.Lazy<Effect<R, E, A>>, R, E, A> {}
-
-export class MapEffect<R, E, A, B> extends instr('MapEffect')<
-  readonly [Effect<R, E, A>, (a: A) => B],
-  R,
-  E,
-  B
-> {}
-
-export class FlatMapEffect<R, E, A, R2, E2, B> extends instr('FlatMapEffect')<
-  readonly [Effect<R, E, A>, (a: A) => Effect<R2, E2, B>],
-  R | R2,
-  E | E2,
-  B
-> {}
-
-export class OrElseEffect<R, E, A, R2, E2, B> extends instr('OrElseEffect')<
-  readonly [Effect<R, E, A>, (cause: Cause<E>) => Effect<R2, E2, B>],
-  R | R2,
-  E2,
-  A | B
-> {}
-
-export class EnsuringEffect<R, E, A, R2, E2, B> extends instr('Ensuring')<
-  readonly [Effect<R, E, A>, (cause: Exit<E, A>) => Effect<R2, E2, B>],
-  R | R2,
-  E2,
-  B
-> {}
-
-export class YieldNow extends instr('YieldNow')<never, never, never, void> {}
-
-export class YieldEffect<R> extends instr('YieldEffect')<
-  R,
-  R | YieldOf<R>,
-  ErrorsOf<R>,
-  OutputOf<R>
-> {}
-
-// TODO: ProvideHandler + Handler
-// TODO: GetHandlers - Use HKT to track return values?
-// TODO: StackMap + References
-// TODO: Interrupts
-// TODO: Tracing
-// TODO: Supervision
-// TODO: Multiple Resumes