brass-runtime 1.1.0 → 1.2.0

package/dist/stream/stream.js

@@ -1,14 +1,23 @@
 "use strict";
 // ----- ADT de Stream -----
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.flattenStream = exports.concatStream = exports.emitStream = exports.emptyStream = void 0;
+exports.flattenStream = exports.concatStream = exports.emitStream = exports.emptyStream = exports.fromPull = void 0;
 exports.uncons = uncons;
 exports.mapStream = mapStream;
+exports.rangeStream = rangeStream;
+exports.zip = zip;
+exports.foreachStream = foreachStream;
 exports.fromArray = fromArray;
 exports.collectStream = collectStream;
 const effect_js_1 = require("../types/effect.js");
 const option_js_1 = require("../types/option.js");
-// ----- Constructores helpers -----
+const asyncEffect_1 = require("../types/asyncEffect");
+const widenOpt = (opt) => opt._tag === "None" ? option_js_1.none : (0, option_js_1.some)(opt.value);
+const fromPull = (pull) => ({
+    _tag: "FromPull",
+    pull,
+});
+exports.fromPull = fromPull;
 const emptyStream = () => ({
     _tag: "Empty",
 });
@@ -33,23 +42,14 @@ exports.flattenStream = flattenStream;
 function uncons(self) {
     switch (self._tag) {
         case "Empty":
-            // fin de stream => Failure(None)
             return (0, effect_js_1.fail)(option_js_1.none);
         case "Emit":
-            // value.mapError(Some(_)).map(a => (a, Empty))
             return (0, effect_js_1.map)((0, effect_js_1.mapError)(self.value, (e) => (0, option_js_1.some)(e)), (a) => [a, (0, exports.emptyStream)()]);
+        case "FromPull":
+            return self.pull;
         case "Concat":
-            // left.uncons.map(...).orElseOptional(right.uncons)
-            return (0, effect_js_1.orElseOptional)((0, effect_js_1.map)(uncons(self.left), ([a, tail]) => [
-                a,
-                (0, exports.concatStream)(tail, self.right),
-            ]), () => uncons(self.right));
+            return (0, effect_js_1.orElseOptional)((0, effect_js_1.map)(uncons(self.left), ([a, tail]) => [a, (0, exports.concatStream)(tail, self.right)]), () => uncons(self.right));
         case "Flatten":
-            // stream.uncons.flatMap { case (head, tail) =>
-            //   head.uncons
-            //     .map { case (a, as) => (a, as ++ Flatten(tail)) }
-            //     .orElseOptional(Flatten(tail).uncons)
-            // }
             return (0, effect_js_1.flatMap)(uncons(self.stream), ([head, tail]) => (0, effect_js_1.orElseOptional)((0, effect_js_1.map)(uncons(head), ([a, as]) => [
                 a,
                 (0, exports.concatStream)(as, (0, exports.flattenStream)(tail)),
@@ -63,6 +63,11 @@ function mapStream(self, f) {
             return (0, exports.emptyStream)();
         case "Emit":
             return (0, exports.emitStream)((0, effect_js_1.map)(self.value, f));
+        case "FromPull":
+            return (0, exports.fromPull)((0, effect_js_1.map)(self.pull, ([a, tail]) => [
+                f(a),
+                mapStream(tail, f),
+            ]));
         case "Concat":
             return (0, exports.concatStream)(mapStream(self.left, f), mapStream(self.right, f));
         case "Flatten": {
@@ -71,7 +76,41 @@ function mapStream(self, f) {
         }
     }
 }
-// Stream finito desde un array
+function rangeStream(start, end) {
+    const go = (i) => (0, exports.fromPull)(i > end
+        ? (0, asyncEffect_1.asyncFail)(option_js_1.none)
+        : (0, asyncEffect_1.asyncSucceed)([i, go(i + 1)]));
+    return go(start);
+}
+function zip(left, right) {
+    const pull = (0, asyncEffect_1.asyncFold)((0, asyncEffect_1.asyncMapError)(uncons(left), (opt) => widenOpt(opt)), 
+    // si left termina o falla, el zip termina/falla igual
+    (opt) => (0, asyncEffect_1.asyncFail)(opt), ([a, tailL]) => (0, asyncEffect_1.asyncFold)((0, asyncEffect_1.asyncMapError)(uncons(right), (opt) => widenOpt(opt)), (opt) => (0, asyncEffect_1.asyncFail)(opt), ([b, tailR]) => (0, asyncEffect_1.asyncSucceed)([
+        [a, b],
+        zip(tailL, tailR),
+    ])));
+    return (0, exports.fromPull)(pull);
+}
+function foreachStream(stream, f) {
+    // loop falla con Option<E|E2> (fin = None, error real = Some(e))
+    const loop = (cur) => (0, asyncEffect_1.asyncFold)(
+    // uncons: Option<E> -> Option<E|E2>
+    (0, asyncEffect_1.asyncMapError)(uncons(cur), (opt) => widenOpt(opt)), (opt) => {
+        // None => fin
+        if (opt._tag === "None")
+            return (0, asyncEffect_1.asyncSucceed)(undefined);
+        // Some(e) => mantener Option en el loop
+        return (0, asyncEffect_1.asyncFail)(opt);
+    }, ([a, tail]) => (0, asyncEffect_1.asyncFlatMap)(
+    // f(a): E2 -> Option<E|E2>
+    (0, asyncEffect_1.asyncMapError)(f(a), (e2) => (0, option_js_1.some)(e2)), () => loop(tail)));
+    // salida final: Option<E|E2> -> E|E2 (None no debería llegar como failure)
+    return (0, asyncEffect_1.asyncFold)(loop(stream), (opt) => {
+        if (opt._tag === "None")
+            return (0, asyncEffect_1.asyncSucceed)(undefined);
+        return (0, asyncEffect_1.asyncFail)(opt.value);
+    }, () => (0, asyncEffect_1.asyncSucceed)(undefined));
+}
 function fromArray(values) {
     let s = (0, exports.emptyStream)();
     for (let i = values.length - 1; i >= 0; i--) {
@@ -81,26 +120,20 @@ function fromArray(values) {
     return s;
 }
 // Consumidor síncrono del stream
-function collectStream(stream, env) {
-    const result = [];
-    let current = stream;
-    while (true) {
-        const exit = uncons(current)(env);
-        if (exit._tag === "Failure") {
-            const optErr = exit.error;
-            if (optErr._tag === "None") {
-                // fin del stream
-                return result;
-            }
-            else {
-                // error real
-                throw optErr.value;
-            }
-        }
-        else {
-            const [head, tail] = exit.value;
-            result.push(head);
-            current = tail;
-        }
-    }
+function collectStream(stream) {
+    const loop = (cur, acc) => (0, asyncEffect_1.asyncFold)(uncons(cur), // ZIO<R, Option<E>, [A, ZStream<R,E,A>]>
+    (opt) => {
+        // None => fin del stream
+        if (opt._tag === "None")
+            return (0, effect_js_1.succeed)(acc);
+        // Some(e) => error real (mantenemos Option<E>)
+        return (0, effect_js_1.fail)(opt);
+    }, ([a, tail]) => loop(tail, [...acc, a]));
+    // Convertimos Option<E> -> E (None no debería ocurrir porque se maneja como success arriba)
+    return (0, effect_js_1.mapError)(loop(stream, []), (opt) => {
+        if (opt._tag === "Some")
+            return opt.value;
+        throw new Error("unreachable: stream end handled as success");
+    });
 }
+//# sourceMappingURL=stream.js.map

package/dist/stream/stream.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stream.js","sourceRoot":"","sources":["../../src/stream/stream.ts"],"names":[],"mappings":";AAAA,4BAA4B;;;AAmF5B,wBAuCC;AAKD,8BAiCC;AAED,kCASC;AAID,kBAyBC;AAGD,sCAgCC;AAED,8BASC;AAGD,sCAkBC;AAzQD,kDAS4B;AAC5B,kDAAwD;AACxD,sDAA4G;AAiC5G,MAAM,QAAQ,GAAG,CAAS,GAAe,EAAmB,EAAE,CAC1D,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,gBAAI,CAAC,CAAC,CAAC,IAAA,gBAAI,EAAC,GAAG,CAAC,KAAgB,CAAC,CAAC;AAErD,MAAM,QAAQ,GAAG,CACpB,IAA8C,EAC9B,EAAE,CAAC,CAAC;IACpB,IAAI,EAAE,UAAU;IAChB,IAAI;CACP,CAAC,CAAC;AALU,QAAA,QAAQ,YAKlB;AAEI,MAAM,WAAW,GAAG,GAA8B,EAAE,CAAC,CAAC;IACzD,IAAI,EAAE,OAAO;CAChB,CAAC,CAAC;AAFU,QAAA,WAAW,eAErB;AAEI,MAAM,UAAU,GAAG,CAAU,KAAmB,EAAoB,EAAE,CAAC,CAAC;IAC3E,IAAI,EAAE,MAAM;IACZ,KAAK;CACR,CAAC,CAAC;AAHU,QAAA,UAAU,cAGpB;AAEI,MAAM,YAAY,GAAG,CACxB,IAAsB,EACtB,KAAuB,EACP,EAAE,CAAC,CAAC;IACpB,IAAI,EAAE,QAAQ;IACd,IAAI;IACJ,KAAK;CACR,CAAC,CAAC;AAPU,QAAA,YAAY,gBAOtB;AAEI,MAAM,aAAa,GAAG,CACzB,MAAuC,EACvB,EAAE,CAAC,CAAC;IACpB,IAAI,EAAE,SAAS;IACf,MAAM;CACT,CAAC,CAAC;AALU,QAAA,aAAa,iBAKvB;AAEH,sDAAsD;AAEtD,SAAgB,MAAM,CAClB,IAAsB;IAEtB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,OAAO;YACR,OAAO,IAAA,gBAAI,EAAY,gBAAI,CAAC,CAAC;QAEjC,KAAK,MAAM;YACP,OAAO,IAAA,eAAG,EACN,IAAA,oBAAQ,EAAqB,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,gBAAI,EAAI,CAAC,CAAC,CAAC,EAC3D,CAAC,CAAI,EAAyB,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,mBAAW,GAAW,CAAC,CAC/D,CAAC;QAEN,KAAK,UAAU;YACX,OAAO,IAAI,CAAC,IAAI,CAAC;QAErB,KAAK,QAAQ;YACT,OAAO,IAAA,0BAAc,EACjB,IAAA,eAAG,EACC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EACjB,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAyB,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,oBAAY,EAAU,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CACrF,EACD,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAC3B,CAAC;QAEN,KAAK,SAAS;YACV,OAAO,IAAA,mBAAO,EAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CACjD,IAAA,0BAAc,EACV,IAAA,eAAG,EACC,MAAM,CAAC,IAAI,CAAC,EACZ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAyB,EAAE,CAAC;gBAChC,CAAC;gBACD,IAAA,oBAAY,EAAU,EAAE,EAAE,IAAA,qBAAa,EAAU,IAAI,CAAC,CAAC;aAC1D,CACJ,EACD,GAAG,EAAE,CAAC,MAAM,CAAC,IAAA,qBAAa,EAAU,IAAI,CAAC,CAAC,CAC7C,CACJ,CAAC;IACV,CAAC;AACL,CAAC;AAGD,sDAAsD;AAEtD,SAAgB,SAAS,CACrB,IAAsB,EACtB,CAAc;IAEd,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,OAAO;YACR,OAAO,IAAA,mBAAW,GAAW,CAAC;QAElC,KAAK,MAAM;YACP,OAAO,IAAA,kBAAU,EAAU,IAAA,eAAG,EAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;QAEnD,KAAK,UAAU;YACX,OAAO,IAAA,gBAAQ,EACX,IAAA,eAAG,EAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAyB,EAAE,CAAC;gBACjD,CAAC,CAAC,CAAC,CAAC;gBACJ,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;aACrB,CAAC,CACL,CAAC;QAEN,KAAK,QAAQ;YACT,OAAO,IAAA,oBAAY,EACf,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,EACvB,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAC3B,CAAC;QAEN,KAAK,SAAS,CAAC,CAAC,CAAC;YACb,MAAM,WAAW,GAAoC,SAAS,CAC1D,IAAI,CAAC,MAAM,EACX,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CACjC,CAAC;YACF,OAAO,IAAA,qBAAa,EAAU,WAAW,CAAC,CAAC;QAC/C,CAAC;IACL,CAAC;AACL,CAAC;AAED,SAAgB,WAAW,CAAC,KAAa,EAAE,GAAW;IAClD,MAAM,EAAE,GAAG,CAAC,CAAS,EAAmC,EAAE,CACtD,IAAA,gBAAQ,EACJ,CAAC,GAAG,GAAG;QACH,CAAC,CAAC,IAAA,uBAAS,EAAC,gBAAI,CAAC;QACjB,CAAC,CAAC,IAAA,0BAAY,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CACrC,CAAC;IAEN,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;AACrB,CAAC;AAID,SAAgB,GAAG,CACf,IAAuB,EACvB,KAAwB;IAExB,MAAM,IAAI,GAIN,IAAA,uBAAS,EACT,IAAA,2BAAa,EAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,GAAe,EAAE,EAAE,CAAC,QAAQ,CAAS,GAAG,CAAC,CAAC;IACvE,sDAAsD;IACtD,CAAC,GAAoB,EAAE,EAAE,CAAC,IAAA,uBAAS,EAAC,GAAG,CAAC,EACxC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CACX,IAAA,uBAAS,EACL,IAAA,2BAAa,EAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,GAAe,EAAE,EAAE,CAAC,QAAQ,CAAS,GAAG,CAAC,CAAC,EACxE,CAAC,GAAoB,EAAE,EAAE,CAAC,IAAA,uBAAS,EAAC,GAAG,CAAC,EACxC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CACX,IAAA,0BAAY,EAAC;QACT,CAAC,CAAC,EAAE,CAAC,CAAW;QAChB,GAAG,CAAC,KAAY,EAAE,KAAY,CAAC;KACO,CAAC,CAClD,CACR,CAAC;IAEF,OAAO,IAAA,gBAAQ,EAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAGD,SAAgB,aAAa,CACzB,MAAwB,EACxB,CAAgC;IAEhC,iEAAiE;IACjE,MAAM,IAAI,GAAG,CAAC,GAAqB,EAAuC,EAAE,CACxE,IAAA,uBAAS;IACL,oCAAoC;IACpC,IAAA,2BAAa,EAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAc,EAAE,EAAE,CAAC,QAAQ,CAAQ,GAAG,CAAC,CAAC,EACpE,CAAC,GAAmB,EAAE,EAAE;QACpB,cAAc;QACd,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,IAAA,0BAAY,EAAC,SAAS,CAAC,CAAC;QACxD,wCAAwC;QACxC,OAAO,IAAA,uBAAS,EAAC,GAAG,CAAC,CAAC;IAC1B,CAAC,EACD,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CACV,IAAA,0BAAY;IACR,2BAA2B;IAC3B,IAAA,2BAAa,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAM,EAAE,EAAE,CAAC,IAAA,gBAAI,EAAC,EAAY,CAAC,CAAC,EACnD,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CACnB,CACR,CAAC;IAEN,2EAA2E;IAC3E,OAAO,IAAA,uBAAS,EACZ,IAAI,CAAC,MAAM,CAAC,EACZ,CAAC,GAAmB,EAAE,EAAE;QACpB,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,IAAA,0BAAY,EAAC,SAAS,CAAQ,CAAC;QAC/D,OAAO,IAAA,uBAAS,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC,EACD,GAAG,EAAE,CAAC,IAAA,0BAAY,EAAC,SAAS,CAAC,CACD,CAAC;AACrC,CAAC;AAED,SAAgB,SAAS,CAAI,MAAoB;IAC7C,IAAI,CAAC,GAA+B,IAAA,mBAAW,GAAqB,CAAC;IAErE,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,IAAA,kBAAU,EAAoB,IAAA,mBAAO,EAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;QAChE,CAAC,GAAG,IAAA,oBAAY,EAAoB,IAAI,EAAE,CAAC,CAAC,CAAC;IACjD,CAAC;IAED,OAAO,CAAC,CAAC;AACb,CAAC;AAED,iCAAiC;AACjC,SAAgB,aAAa,CAAU,MAAwB;IAC3D,MAAM,IAAI,GAAG,CAAC,GAAqB,EAAE,GAAQ,EAA0B,EAAE,CACrE,IAAA,uBAAS,EACL,MAAM,CAAC,GAAG,CAAC,EAAE,yCAAyC;IACtD,CAAC,GAAc,EAAE,EAAE;QACf,yBAAyB;QACzB,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,IAAA,mBAAO,EAAC,GAAG,CAAC,CAAC;QAC7C,+CAA+C;QAC/C,OAAO,IAAA,gBAAI,EAAC,GAAG,CAAC,CAAC;IACrB,CAAC,EACD,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CACzC,CAAC;IAEN,4FAA4F;IAC5F,OAAO,IAAA,oBAAQ,EAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE;QACtC,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,GAAG,CAAC,KAAK,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;AACP,CAAC"}

package/dist/stream/structuredConcurrency.d.ts

@@ -0,0 +1,25 @@
+import { Async } from "../types/asyncEffect";
+import { Scope } from "../scheduler/scope";
+import { Interrupted } from "../fibers/fiber";
+/**
+ * race(A, B):
+ *   - corre A y B en paralelo
+ *   - el primero que termine gana
+ *   - el otro es cancelado
+ */
+export declare function race<R, E, A>(left: Async<R, E, A>, right: Async<R, E, A>, parentScope: Scope<R>): Async<R, E | Interrupted, A>;
+/**
+ * zipPar(A, B):
+ *   - corre A y B en paralelo
+ *   - si ambas terminan bien → éxito con (A, B)
+ *   - si una falla → cancelar todo y devolver fallo
+ */
+export declare function zipPar<R, E, A, B>(left: Async<R, E, A>, right: Async<R, E, B>, parentScope: Scope<R>): Async<R, E | Interrupted, [A, B]>;
+/**
+ * collectAllPar:
+ *   - corre todos en paralelo
+ *   - si uno falla → cancela todos
+ *   - si todos terminan bien → devuelve array de resultados
+ */
+export declare function collectAllPar<R, E, A>(effects: ReadonlyArray<Async<R, E, A>>, parentScope: Scope<R>): Async<R, E | Interrupted, A[]>;
+//# sourceMappingURL=structuredConcurrency.d.ts.map

package/dist/stream/structuredConcurrency.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"structuredConcurrency.d.ts","sourceRoot":"","sources":["../../src/stream/structuredConcurrency.ts"],"names":[],"mappings":"AAGA,OAAO,EAAS,KAAK,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAE9C;;;;;GAKG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EACxB,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACpB,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACrB,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,GACtB,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,CAAC,CAuB9B;AAED;;;;;GAKG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC7B,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACpB,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACrB,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,GACtB,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CA2DnC;AAID;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EACjC,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EACtC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,GACtB,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,CAAC,CA0ChC"}

package/dist/stream/structuredConcurrency.js

@@ -130,3 +130,4 @@ function collectAllPar(effects, parentScope) {
         });
     });
 }
+//# sourceMappingURL=structuredConcurrency.js.map

package/dist/stream/structuredConcurrency.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structuredConcurrency.js","sourceRoot":"","sources":["../../src/stream/structuredConcurrency.ts"],"names":[],"mappings":";AAAA,+BAA+B;;AAa/B,oBA2BC;AAQD,wBA+DC;AAUD,sCA6CC;AAnKD,sDAAoD;AAIpD;;;;;GAKG;AACH,SAAgB,IAAI,CAChB,IAAoB,EACpB,KAAqB,EACrB,WAAqB;IAErB,OAAO,IAAA,mBAAK,EAAC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE;QACrB,6CAA6C;QAC7C,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,EAAE,CAAC;QAErC,IAAI,IAAI,GAAG,KAAK,CAAC;QAEjB,MAAM,QAAQ,GAAG,CAAC,IAA8B,EAAE,EAAE;YAChD,IAAI,IAAI;gBAAE,OAAO;YACjB,IAAI,GAAG,IAAI,CAAC;YAEZ,2CAA2C;YAC3C,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAElB,EAAE,CAAC,IAAI,CAAC,CAAC;QACb,CAAC,CAAC;QAEF,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACxC,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAE1C,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzB,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACP,CAAC;AAED;;;;;GAKG;AACH,SAAgB,MAAM,CAClB,IAAoB,EACpB,KAAqB,EACrB,WAAqB;IAErB,OAAO,IAAA,mBAAK,EAAC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE;QACrB,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,EAAE,CAAC;QAErC,IAAI,QAAQ,GAAoC,IAAI,CAAC;QACrD,IAAI,SAAS,GAAoC,IAAI,CAAC;QACtD,IAAI,IAAI,GAAG,KAAK,CAAC;QAEjB,MAAM,SAAS,GAAG,GAAG,EAAE;YACnB,0DAA0D;YAC1D,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,IAAI,IAAI;gBAAE,OAAO;YAE5C,IAAI,GAAG,IAAI,CAAC;YAEZ,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC9D,WAAW;gBACX,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;gBACnD,EAAE,CAAC;oBACC,IAAI,EAAE,SAAS;oBACf,KAAK,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC;iBAC3C,CAAC,CAAC;gBACH,OAAO;YACX,CAAC;YAED,6BAA6B;YAC7B,IAAI,KAAsB,CAAC;YAE3B,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC9B,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;YAC3B,CAAC;iBAAM,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACtC,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC;YAC5B,CAAC;iBAAM,CAAC;gBACJ,iDAAiD;gBACjD,oCAAoC;gBACpC,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;YACnE,CAAC;YAED,MAAM,OAAO,GAAkC;gBAC3C,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,KAAK;aACf,CAAC;YAEF,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACrB,EAAE,CAAC,OAAO,CAAC,CAAC;QAChB,CAAC,CAAC;QAEF,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAElC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;YACb,QAAQ,GAAG,IAAI,CAAC;YAChB,SAAS,EAAE,CAAC;QAChB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;YACb,SAAS,GAAG,IAAI,CAAC;YACjB,SAAS,EAAE,CAAC;QAChB,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;AACP,CAAC;AAID;;;;;GAKG;AACH,SAAgB,aAAa,CACzB,OAAsC,EACtC,WAAqB;IAErB,OAAO,IAAA,mBAAK,EAAC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE;QACrB,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,EAAE,CAAC;QACrC,MAAM,OAAO,GAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAE/C,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,IAAI,IAAI,GAAG,KAAK,CAAC;QAEjB,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YACvB,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YAE/B,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;gBACZ,IAAI,IAAI;oBAAE,OAAO;gBAEjB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC1B,IAAI,GAAG,IAAI,CAAC;oBAEZ,MAAM,OAAO,GAA+B;wBACxC,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,IAAI,CAAC,KAAK;qBACpB,CAAC;oBAEF,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;oBACrB,EAAE,CAAC,OAAO,CAAC,CAAC;oBACZ,OAAO;gBACX,CAAC;gBAED,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;gBACxB,SAAS,EAAE,CAAC;gBAEZ,IAAI,SAAS,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;oBAC/B,IAAI,GAAG,IAAI,CAAC;oBACZ,MAAM,WAAW,GAA+B;wBAC5C,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,OAAO;qBACjB,CAAC;oBACF,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;oBACnD,EAAE,CAAC,WAAW,CAAC,CAAC;gBACpB,CAAC;YACL,CAAC,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;AACP,CAAC"}

package/dist/types/asyncEffect.d.ts

@@ -0,0 +1,44 @@
+import type { Exit } from "./effect";
+import { Canceler } from "./cancel";
+import { BrassError } from "../fibers/fiber";
+import { Scope } from "../scheduler/scope";
+export type Async<R, E, A> = {
+    _tag: "Succeed";
+    value: A;
+} | {
+    _tag: "Fail";
+    error: E;
+} | {
+    _tag: "Sync";
+    thunk: (env: R) => A;
+} | {
+    _tag: "Async";
+    register: (env: R, cb: (exit: Exit<E, A>) => void) => void | Canceler;
+} | {
+    _tag: "FlatMap";
+    first: Async<R, E, any>;
+    andThen: (a: any) => Async<R, E, A>;
+} | {
+    _tag: "Fold";
+    first: Async<R, E, any>;
+    onFailure: (e: any) => Async<R, E, A>;
+    onSuccess: (a: any) => Async<R, E, A>;
+};
+export declare function asyncFold<R, E, A, B>(fa: Async<R, E, A>, onFailure: (e: E) => Async<R, E, B>, onSuccess: (a: A) => Async<R, E, B>): Async<R, E, B>;
+export declare function asyncCatchAll<R, E, A, R2, E2, B>(fa: Async<R, E, A>, handler: (e: E) => Async<R2, E2, B>): Async<R & R2, E2, A | B>;
+export declare function asyncMapError<R, E, E2, A>(fa: Async<R, E, A>, f: (e: E) => E2): Async<R, E2, A>;
+export declare function unit(): Async<unknown, unknown, undefined>;
+export declare const asyncSucceed: <A>(value: A) => Async<unknown, never, A>;
+export declare const asyncFail: <E>(error: E) => Async<unknown, E, never>;
+export declare const asyncSync: <R, A>(thunk: (env: R) => A) => Async<R, unknown, A>;
+export declare const asyncTotal: <A>(thunk: () => A) => Async<unknown, unknown, A>;
+export declare const async: <R, E, A>(register: (env: R, cb: (exit: Exit<E, A>) => void) => void | Canceler) => Async<R, E, A>;
+export declare function asyncMap<R, E, A, B>(fa: Async<R, E, A>, f: (a: A) => B): Async<R, E, B>;
+export declare function asyncFlatMap<R, E, A, B>(fa: Async<R, E, A>, f: (a: A) => Async<R, E, B>): Async<R, E, B>;
+export declare function toPromise<R, E, A>(eff: Async<R, E, A>, env: R): Promise<A>;
+export declare function fromPromise<R, E, A>(thunk: (env: R) => Promise<A>, onError: (e: unknown) => E): Async<R, E, A>;
+export declare function tryPromiseAbortable<R = unknown, A = unknown>(thunk: (env: R, signal: AbortSignal) => Promise<A>): Async<R, BrassError, A>;
+export declare function fromPromiseAbortable<R, E, A>(thunk: (env: R, signal: AbortSignal) => Promise<A>, onError: (e: unknown) => E): Async<R, E, A>;
+export declare function acquireRelease<R, E, A>(acquire: Async<R, E, A>, release: (res: A, exit: Exit<E, any>) => Async<R, any, any>, scope: Scope<R>): Async<R, E, A>;
+export declare function asyncInterruptible<R, E, A>(register: (env: R, cb: (exit: Exit<E, A>) => void) => void | Canceler): Async<R, E, A>;
+//# sourceMappingURL=asyncEffect.d.ts.map

package/dist/types/asyncEffect.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"asyncEffect.d.ts","sourceRoot":"","sources":["../../src/types/asyncEffect.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,EAAC,QAAQ,EAAC,MAAM,UAAU,CAAC;AAClC,OAAO,EAAC,UAAU,EAAO,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAC,KAAK,EAAC,MAAM,oBAAoB,CAAC;AAGzC,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IACnB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GAC1B;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAA;CAAE,GACtC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,KAAK,IAAI,GAAG,QAAQ,CAAA;CAAE,GACxF;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IAAC,OAAO,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAAE,GACjF;IACF,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IACxB,SAAS,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACtC,SAAS,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CACzC,CAAC;AAIF,wBAAgB,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAChC,EAAE,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAClB,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACnC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GACpC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAEhB;AAED,wBAAgB,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAC5C,EAAE,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAClB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GACpC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAM1B;AAGD,wBAAgB,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EACrC,EAAE,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAClB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,GAChB,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAMjB;AAGD,wBAAgB,IAAI,IAAI,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAEzD;AAED,eAAO,MAAM,YAAY,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAGhE,CAAC;AAEH,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,KAAK,CAAC,OAAO,EAAE,CAAC,EAAE,KAAK,CAG7D,CAAC;AAEH,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAC1B,OAAO,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,KACrB,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAGpB,CAAC;AAEH,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,OAAO,MAAM,CAAC,KAAG,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAC5C,CAAC;AAE7B,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EACzB,UAAU,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,KAAK,IAAI,GAAG,QAAQ,KACtE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAGd,CAAC;AAEH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC/B,EAAE,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAClB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACf,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAEhB;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACnC,EAAE,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAClB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAC5B,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAMhB;AAED,wBAAgB,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAS1E;AAED,wBAAgB,WAAW,CAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAChC,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,EAC7B,OAAO,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,GAC5B,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAMf;AASD,wBAAgB,mBAAmB,CAAC,CAAC,GAAG,OAAO,EAAE,CAAC,GAAG,OAAO,EACxD,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,WAAW,KAAK,OAAO,CAAC,CAAC,CAAC,GACnD,KAAK,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAMzB;AAED,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EACxC,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,WAAW,KAAK,OAAO,CAAC,CAAC,CAAC,EAClD,OAAO,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,GAC3B,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAwBhB;AAED,wBAAgB,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAClC,OAAO,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACvB,OAAO,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,EAC3D,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,GAChB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAMhB;AAED,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EACtC,QAAQ,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,KAAK,IAAI,GAAG,QAAQ,GACtE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAEhB"}

package/dist/types/asyncEffect.js

@@ -1,13 +1,28 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.async = exports.asyncTotal = exports.asyncSync = exports.asyncFail = exports.asyncSucceed = void 0;
+exports.asyncFold = asyncFold;
+exports.asyncCatchAll = asyncCatchAll;
+exports.asyncMapError = asyncMapError;
 exports.unit = unit;
 exports.asyncMap = asyncMap;
 exports.asyncFlatMap = asyncFlatMap;
+exports.toPromise = toPromise;
 exports.fromPromise = fromPromise;
 exports.tryPromiseAbortable = tryPromiseAbortable;
 exports.fromPromiseAbortable = fromPromiseAbortable;
 exports.acquireRelease = acquireRelease;
+exports.asyncInterruptible = asyncInterruptible;
+const fiber_1 = require("../fibers/fiber");
+function asyncFold(fa, onFailure, onSuccess) {
+    return { _tag: "Fold", first: fa, onFailure, onSuccess };
+}
+function asyncCatchAll(fa, handler) {
+    return asyncFold(fa, (e) => handler(e), (a) => (0, exports.asyncSucceed)(a));
+}
+function asyncMapError(fa, f) {
+    return asyncFold(fa, (e) => (0, exports.asyncFail)(f(e)), (a) => (0, exports.asyncSucceed)(a));
+}
 function unit() {
     return (0, exports.asyncSync)(() => undefined);
 }
@@ -43,6 +58,18 @@ function asyncFlatMap(fa, f) {
         andThen: f,
     };
 }
+function toPromise(eff, env) {
+    return new Promise((resolve, reject) => {
+        const fiber = (0, fiber_1.fork)(eff, env);
+        fiber.join((exit) => {
+            const ex = exit;
+            if (ex._tag === "Success")
+                resolve(ex.value);
+            else
+                reject(ex.error);
+        });
+    });
+}
 function fromPromise(thunk, onError) {
     return (0, exports.async)((env, cb) => {
         thunk(env)
@@ -86,21 +113,11 @@ function fromPromiseAbortable(thunk, onError) {
 }
 function acquireRelease(acquire, release, scope) {
     return asyncFlatMap(acquire, (resource) => {
-        // registrar finalizer
         scope.addFinalizer((exit) => release(resource, exit));
         return (0, exports.asyncSucceed)(resource);
     });
 }
-function registerInterruptible(register) {
-    return (0, exports.async)((env, cb) => {
-        const canceler = register(env, cb);
-        return typeof canceler === "function"
-            ? (0, exports.asyncSync)((_env) => {
-                try {
-                    canceler();
-                }
-                catch { }
-            })
-            : unit();
-    });
+function asyncInterruptible(register) {
+    return (0, exports.async)(register);
 }
+//# sourceMappingURL=asyncEffect.js.map

package/dist/types/asyncEffect.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"asyncEffect.js","sourceRoot":"","sources":["../../src/types/asyncEffect.ts"],"names":[],"mappings":";;;AAsBA,8BAMC;AAED,sCASC;AAGD,sCASC;AAGD,oBAEC;AA6BD,4BAKC;AAED,oCASC;AAED,8BASC;AAED,kCASC;AASD,kDAQC;AAED,oDA2BC;AAED,wCAUC;AAED,gDAIC;AAxLD,2CAAiD;AAmBjD,SAAgB,SAAS,CACrB,EAAkB,EAClB,SAAmC,EACnC,SAAmC;IAEnC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;AAC7D,CAAC;AAED,SAAgB,aAAa,CACzB,EAAkB,EAClB,OAAmC;IAEnC,OAAO,SAAS,CACZ,EAAS,EACT,CAAC,CAAI,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAQ,EAC3B,CAAC,CAAI,EAAE,EAAE,CAAC,IAAA,oBAAY,EAAC,CAAC,CAAQ,CAC5B,CAAC;AACb,CAAC;AAGD,SAAgB,aAAa,CACzB,EAAkB,EAClB,CAAe;IAEf,OAAO,SAAS,CACZ,EAAS,EACT,CAAC,CAAI,EAAE,EAAE,CAAC,IAAA,iBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,CAAQ,EAChC,CAAC,CAAI,EAAE,EAAE,CAAC,IAAA,oBAAY,EAAC,CAAC,CAAQ,CAC5B,CAAC;AACb,CAAC;AAGD,SAAgB,IAAI;IAChB,OAAO,IAAA,iBAAS,EAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;AACtC,CAAC;AAEM,MAAM,YAAY,GAAG,CAAI,KAAQ,EAA4B,EAAE,CAAC,CAAC;IACpE,IAAI,EAAE,SAAS;IACf,KAAK;CACR,CAAC,CAAC;AAHU,QAAA,YAAY,gBAGtB;AAEI,MAAM,SAAS,GAAG,CAAI,KAAQ,EAA4B,EAAE,CAAC,CAAC;IACjE,IAAI,EAAE,MAAM;IACZ,KAAK;CACR,CAAC,CAAC;AAHU,QAAA,SAAS,aAGnB;AAEI,MAAM,SAAS,GAAG,CACrB,KAAoB,EACA,EAAE,CAAC,CAAC;IACxB,IAAI,EAAE,MAAM;IACZ,KAAK;CACR,CAAC,CAAC;AALU,QAAA,SAAS,aAKnB;AAEI,MAAM,UAAU,GAAG,CAAI,KAAc,EAA8B,EAAE,CACxE,IAAA,iBAAS,EAAC,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;AADhB,QAAA,UAAU,cACM;AAEtB,MAAM,KAAK,GAAG,CACjB,QAAqE,EACvD,EAAE,CAAC,CAAC;IAClB,IAAI,EAAE,OAAO;IACb,QAAQ;CACX,CAAC,CAAC;AALU,QAAA,KAAK,SAKf;AAEH,SAAgB,QAAQ,CACpB,EAAkB,EAClB,CAAc;IAEd,OAAO,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,oBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,SAAgB,YAAY,CACxB,EAAkB,EAClB,CAA2B;IAE3B,OAAO;QACH,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,EAAE;QACT,OAAO,EAAE,CAAC;KACb,CAAC;AACN,CAAC;AAED,SAAgB,SAAS,CAAU,GAAmB,EAAE,GAAM;IAC1D,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACnC,MAAM,KAAK,GAAG,IAAA,YAAI,EAAC,GAAU,EAAE,GAAG,CAAC,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,CAAC,IAA4B,EAAE,EAAE;YACxC,MAAM,EAAE,GAAG,IAAkB,CAAC;YAC9B,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;;gBACxC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAgB,WAAW,CACvB,KAA6B,EAC7B,OAA0B;IAE1B,OAAO,IAAA,aAAK,EAAC,CAAC,GAAM,EAAE,EAA8B,EAAE,EAAE;QACpD,KAAK,CAAC,GAAG,CAAC;aACL,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,EAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAC,CAAC,CAAC;aAC7C,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,EAAC,CAAC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;AACP,CAAC;AAED,6HAA6H;AAC7H,MAAM,YAAY,GAAG,CAAC,CAAU,EAAW,EAAE,CACzC,OAAO,CAAC,KAAK,QAAQ;IACrB,CAAC,KAAK,IAAI;IACV,MAAM,IAAI,CAAC;IACV,CAAS,CAAC,IAAI,KAAK,YAAY,CAAC;AAErC,SAAgB,mBAAmB,CAC/B,KAAkD;IAElD,OAAO,oBAAoB,CAAC,KAAK,EAAE,CAAC,CAAC,EAAc,EAAE,CACjD,YAAY,CAAC,CAAC,CAAC;QACX,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE;QACnB,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,CAAC,EAAE,CAC/C,CAAC;AACN,CAAC;AAED,SAAgB,oBAAoB,CAChC,KAAkD,EAClD,OAA0B;IAE1B,OAAO,IAAA,aAAK,EAAC,CAAC,GAAM,EAAE,EAA8B,EAAmB,EAAE;QACrE,MAAM,EAAE,GAAG,IAAI,eAAe,EAAE,CAAC;QACjC,IAAI,IAAI,GAAG,KAAK,CAAC;QAEjB,MAAM,MAAM,GAAG,CAAC,IAAgB,EAAE,EAAE;YAChC,IAAI,IAAI;gBAAE,OAAO;YACjB,IAAI,GAAG,IAAI,CAAC;YACZ,EAAE,CAAC,IAAI,CAAC,CAAC;QACb,CAAC,CAAC;QAEF,IAAI,CAAC;YACD,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;YAChC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;iBAChD,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1E,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnD,CAAC;QAED,OAAO,GAAG,EAAE;YACR,IAAI,GAAG,IAAI,CAAC;YACZ,EAAE,CAAC,KAAK,EAAE,CAAC;QACf,CAAC,CAAC;IACN,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAgB,cAAc,CAC1B,OAAuB,EACvB,OAA2D,EAC3D,KAAe;IAEf,OAAO,YAAY,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,EAAE;QACtC,KAAK,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;QAEtD,OAAO,IAAA,oBAAY,EAAC,QAAQ,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAgB,kBAAkB,CAC9B,QAAqE;IAErE,OAAO,IAAA,aAAK,EAAC,QAAQ,CAAC,CAAC;AAC3B,CAAC"}

package/dist/types/cancel.d.ts

@@ -0,0 +1,21 @@
+export type Canceler = () => void;
+export type CancelToken = {
+    /** true si ya fue cancelado */
+    readonly isCancelled: () => boolean;
+    /**
+     * Registra un callback que se ejecuta cuando se cancela.
+     * Si ya estaba cancelado, lo ejecuta inmediatamente.
+     * Devuelve un "unsubscribe" para desregistrar.
+     */
+    readonly onCancel: (f: Canceler) => Canceler;
+};
+/** Implementación simple de CancelToken */
+export declare function makeCancelToken(): CancelToken & {
+    cancel: Canceler;
+};
+/**
+ * Helper: conecta un AbortController a un CancelToken.
+ * Devuelve una función para desenganchar (unsubscribe).
+ */
+export declare function linkAbortController(token: CancelToken, ac: AbortController): Canceler;
+//# sourceMappingURL=cancel.d.ts.map

package/dist/types/cancel.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cancel.d.ts","sourceRoot":"","sources":["../../src/types/cancel.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC;AAElC,MAAM,MAAM,WAAW,GAAG;IACtB,+BAA+B;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,OAAO,CAAC;IAEpC;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,QAAQ,KAAK,QAAQ,CAAC;CAChD,CAAC;AAEF,2CAA2C;AAC3C,wBAAgB,eAAe,IAAI,WAAW,GAAG;IAAE,MAAM,EAAE,QAAQ,CAAA;CAAE,CA2BpE;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,eAAe,GAAG,QAAQ,CAErF"}

package/dist/types/cancel.js

@@ -43,3 +43,4 @@ function makeCancelToken() {
 function linkAbortController(token, ac) {
     return token.onCancel(() => ac.abort());
 }
+//# sourceMappingURL=cancel.js.map

package/dist/types/cancel.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cancel.js","sourceRoot":"","sources":["../../src/types/cancel.ts"],"names":[],"mappings":";;AAeA,0CA2BC;AAMD,kDAEC;AApCD,2CAA2C;AAC3C,SAAgB,eAAe;IAC3B,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,MAAM,SAAS,GAAG,IAAI,GAAG,EAAY,CAAC;IAEtC,MAAM,MAAM,GAAG,GAAG,EAAE;QAChB,IAAI,SAAS;YAAE,OAAO;QACtB,SAAS,GAAG,IAAI,CAAC;QACjB,mBAAmB;QACnB,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YACxB,IAAI,CAAC;gBAAC,CAAC,EAAE,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,mBAAmB,CAAC,CAAC;QAC9C,CAAC;QACD,SAAS,CAAC,KAAK,EAAE,CAAC;IACtB,CAAC,CAAC;IAEF,OAAO;QACH,WAAW,EAAE,GAAG,EAAE,CAAC,SAAS;QAC5B,QAAQ,EAAE,CAAC,CAAW,EAAE,EAAE;YACtB,IAAI,SAAS,EAAE,CAAC;gBACZ,+CAA+C;gBAC/C,IAAI,CAAC;oBAAC,CAAC,EAAE,CAAC;gBAAC,CAAC;gBAAC,MAAM,CAAC,CAAC,cAAc,CAAC,CAAC;gBACrC,OAAO,GAAG,EAAE,GAAE,CAAC,CAAC;YACpB,CAAC;YACD,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACjB,OAAO,GAAG,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1C,CAAC;QACD,MAAM;KACT,CAAC;AACN,CAAC;AAED;;;GAGG;AACH,SAAgB,mBAAmB,CAAC,KAAkB,EAAE,EAAmB;IACvE,OAAO,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;AAC5C,CAAC"}

package/dist/types/effect.d.ts

@@ -0,0 +1,20 @@
+import type { Async } from "./asyncEffect";
+import type { Option } from "./option";
+export type Exit<E, A> = {
+    readonly _tag: "Success";
+    readonly value: A;
+} | {
+    readonly _tag: "Failure";
+    readonly error: E;
+};
+export type ZIO<R, E, A> = Async<R, E, A>;
+export declare const succeed: <A>(value: A) => ZIO<unknown, never, A>;
+export declare const fail: <E>(error: E) => ZIO<unknown, E, never>;
+export declare const sync: <R, A>(thunk: (env: R) => A) => ZIO<R, unknown, A>;
+export declare const map: <R, E, A, B>(fa: ZIO<R, E, A>, f: (a: A) => B) => Async<R, E, B>;
+export declare const flatMap: <R, E, A, R2, E2, B>(fa: ZIO<R, E, A>, f: (a: A) => ZIO<R2, E2, B>) => ZIO<R & R2, E | E2, B>;
+export declare const mapError: <R, E, E2, A>(fa: ZIO<R, E, A>, f: (e: E) => E2) => any;
+export declare const catchAll: <R, E, A, R2, E2, B>(fa: ZIO<R, E, A>, handler: (e: E) => ZIO<R2, E2, B>) => ZIO<R & R2, E2, A | B>;
+export declare function orElseOptional<R, E, A, R2, A2>(fa: ZIO<R, Option<E>, A>, that: () => ZIO<R2, Option<E>, A2>): ZIO<R & R2, Option<E>, A | A2>;
+export declare const end: <E>() => ZIO<unknown, Option<E>, never>;
+//# sourceMappingURL=effect.d.ts.map

package/dist/types/effect.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect.d.ts","sourceRoot":"","sources":["../../src/types/effect.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAE3C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAGvC,MAAM,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,IACf;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GAC/C;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AAEtD,MAAM,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAE1C,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAwB,CAAC;AACpF,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,GAAG,CAAC,OAAO,EAAE,CAAC,EAAE,KAAK,CAAqB,CAAC;AAE9E,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,KAAG,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CACjC,CAAC;AAEnC,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,mBAAoB,CAAC;AAErF,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EACtC,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAChB,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,KAC5B,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CACiC,CAAC;AAE1D,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,KAA2C,GAAG,CAAC;AAEtH,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EACvC,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAChB,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,KAClC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAKZ,CAAC;AAEb,wBAAgB,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAC1C,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EACxB,IAAI,EAAE,MAAM,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GACnC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAMhC;AAED,eAAO,MAAM,GAAG,GAAI,CAAC,OAAK,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAA4B,CAAC"}

package/dist/types/effect.js

@@ -1,130 +1,26 @@
 "use strict";
-// src/effect.ts
-// Resultado de ejecutar un efecto
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.fromThunk = exports.sync = exports.fail = exports.succeed = void 0;
-exports.map = map;
-exports.flatMap = flatMap;
-exports.mapError = mapError;
-exports.catchAll = catchAll;
+exports.end = exports.catchAll = exports.mapError = exports.flatMap = exports.map = exports.sync = exports.fail = exports.succeed = void 0;
 exports.orElseOptional = orElseOptional;
-exports.zip = zip;
-exports.tap = tap;
-exports.as = as;
-exports.asUnit = asUnit;
-exports.foreach = foreach;
-exports.collectAll = collectAll;
-// ---------- Constructores básicos ----------
-const succeed = (value) => (_) => ({ _tag: "Success", value });
+const asyncEffect_1 = require("./asyncEffect");
+const option_1 = require("./option");
+const succeed = (value) => (0, asyncEffect_1.asyncSucceed)(value);
 exports.succeed = succeed;
-const fail = (error) => () => ({ _tag: "Failure", error });
+const fail = (error) => (0, asyncEffect_1.asyncFail)(error);
 exports.fail = fail;
-const sync = (thunk) => (env) => {
-    try {
-        return { _tag: "Success", value: thunk(env) };
-    }
-    catch (e) {
-        return { _tag: "Failure", error: e };
-    }
-};
+const sync = (thunk) => (0, asyncEffect_1.asyncSync)((env) => thunk(env));
 exports.sync = sync;
-const fromThunk = (thunk) => (0, exports.sync)(() => thunk());
-exports.fromThunk = fromThunk;
-// ---------- Combinadores de valor ----------
-function map(eff, f) {
-    return (env) => {
-        const exit = eff(env);
-        if (exit._tag === "Success") {
-            return { _tag: "Success", value: f(exit.value) };
-        }
-        return exit;
-    };
-}
-function flatMap(eff, f) {
-    return (env) => {
-        const exit1 = eff(env);
-        if (exit1._tag === "Failure") {
-            return exit1;
-        }
-        return f(exit1.value)(env);
-    };
-}
-function mapError(eff, f) {
-    return (env) => {
-        const exit = eff(env);
-        if (exit._tag === "Failure") {
-            return { _tag: "Failure", error: f(exit.error) };
-        }
-        return exit;
-    };
-}
-function catchAll(eff, handler) {
-    return (env) => {
-        const exit = eff(env);
-        if (exit._tag === "Failure") {
-            return handler(exit.error)(env);
-        }
-        return exit;
-    };
-}
-/**
- * Versión estilo ZIO.orElseOptional:
- * eff: Effect<R, Option<E>, A>
- * - Failure(Some(e))  => se propaga
- * - Failure(None)     => se ejecuta `that`
- */
-function orElseOptional(eff, that) {
-    return (env) => {
-        const exit1 = eff(env);
-        if (exit1._tag === "Success")
-            return exit1;
-        const opt = exit1.error;
-        if (opt._tag === "Some")
-            return exit1; // error real
-        return that()(env); // None => probamos alternativa
-    };
-}
-// ---------- Más combinadores ----------
-function zip(fa, fb) {
-    return (env) => {
-        const ea = fa(env);
-        if (ea._tag === "Failure")
-            return ea;
-        const eb = fb(env);
-        if (eb._tag === "Failure")
-            return eb;
-        return { _tag: "Success", value: [ea.value, eb.value] };
-    };
-}
-function tap(eff, f) {
-    return (env) => {
-        const ea = eff(env);
-        if (ea._tag === "Failure")
-            return ea;
-        const eb = f(ea.value)(env);
-        if (eb._tag === "Failure")
-            return eb;
-        return ea;
-    };
-}
-function as(eff, value) {
-    return map(eff, () => value);
-}
-function asUnit(eff) {
-    return as(eff, undefined);
-}
-function foreach(items, f) {
-    return (env) => {
-        const out = [];
-        for (const a of items) {
-            const exit = f(a)(env);
-            if (exit._tag === "Failure")
-                return exit;
-            out.push(exit.value);
-        }
-        return { _tag: "Success", value: out };
-    };
-}
-function collectAll(effects) {
-    return foreach(effects, (e) => e);
+const map = (fa, f) => (0, asyncEffect_1.asyncMap)(fa, f);
+exports.map = map;
+const flatMap = (fa, f) => (0, asyncEffect_1.asyncFlatMap)(fa, (a) => f(a));
+exports.flatMap = flatMap;
+const mapError = (fa, f) => (0, asyncEffect_1.asyncMapError)(fa, f);
+exports.mapError = mapError;
+const catchAll = (fa, handler) => (0, asyncEffect_1.asyncFold)(fa, (e) => handler(e), (a) => (0, asyncEffect_1.asyncSucceed)(a));
+exports.catchAll = catchAll;
+function orElseOptional(fa, that) {
+    return (0, asyncEffect_1.asyncFold)(fa, (opt) => (opt._tag === "Some" ? (0, asyncEffect_1.asyncFail)(opt) : that()), (a) => (0, asyncEffect_1.asyncSucceed)(a));
 }
+const end = () => (0, exports.fail)(option_1.none);
+exports.end = end;
+//# sourceMappingURL=effect.js.map

package/dist/types/effect.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect.js","sourceRoot":"","sources":["../../src/types/effect.ts"],"names":[],"mappings":";;;AAqCA,wCASC;AA7CD,+CAAqH;AAErH,qCAAgC;AAQzB,MAAM,OAAO,GAAG,CAAI,KAAQ,EAA0B,EAAE,CAAC,IAAA,0BAAY,EAAC,KAAK,CAAC,CAAC;AAAvE,QAAA,OAAO,WAAgE;AAC7E,MAAM,IAAI,GAAG,CAAI,KAAQ,EAA0B,EAAE,CAAC,IAAA,uBAAS,EAAC,KAAK,CAAC,CAAC;AAAjE,QAAA,IAAI,QAA6D;AAEvE,MAAM,IAAI,GAAG,CAAO,KAAoB,EAAsB,EAAE,CACnE,IAAA,uBAAS,EAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;AADtB,QAAA,IAAI,QACkB;AAE5B,MAAM,GAAG,GAAG,CAAa,EAAgB,EAAE,CAAc,EAAE,EAAE,CAAC,IAAA,sBAAQ,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC;AAAxE,QAAA,GAAG,OAAqE;AAE9E,MAAM,OAAO,GAAG,CACnB,EAAgB,EAChB,CAA2B,EACL,EAAE,CACxB,IAAA,0BAAY,EAAC,EAAS,EAAE,CAAC,CAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAQ,CAAQ,CAAC;AAJ7C,QAAA,OAAO,WAIsC;AAEnD,MAAM,QAAQ,GAAG,CAAc,EAAgB,EAAE,CAAe,EAAE,EAAE,CAAC,IAAA,2BAAa,EAAC,EAAS,EAAE,CAAQ,CAAQ,CAAC;AAAzG,QAAA,QAAQ,YAAiG;AAE/G,MAAM,QAAQ,GAAG,CACpB,EAAgB,EAChB,OAAiC,EACX,EAAE,CACxB,IAAA,uBAAS,EACL,EAAS,EACT,CAAC,CAAI,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAQ,EAC3B,CAAC,CAAI,EAAE,EAAE,CAAC,IAAA,0BAAY,EAAC,CAAC,CAAQ,CAC5B,CAAC;AARA,QAAA,QAAQ,YAQR;AAEb,SAAgB,cAAc,CAC1B,EAAwB,EACxB,IAAkC;IAElC,OAAO,IAAA,uBAAS,EACZ,EAAS,EACT,CAAC,GAAc,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAA,uBAAS,EAAC,GAAG,CAAC,CAAC,CAAC,CAAE,IAAI,EAAU,CAAC,EAC5E,CAAC,CAAI,EAAE,EAAE,CAAC,IAAA,0BAAY,EAAC,CAAC,CAAQ,CAC5B,CAAC;AACb,CAAC;AAEM,MAAM,GAAG,GAAG,GAAsC,EAAE,CAAC,IAAA,YAAI,EAAC,aAAiB,CAAC,CAAC;AAAvE,QAAA,GAAG,OAAoE"}

package/dist/types/option.d.ts

@@ -0,0 +1,11 @@
+export type None = {
+    readonly _tag: "None";
+};
+export type Some<A> = {
+    readonly _tag: "Some";
+    readonly value: A;
+};
+export type Option<A> = None | Some<A>;
+export declare const none: Option<never>;
+export declare const some: <A>(value: A) => Option<A>;
+//# sourceMappingURL=option.d.ts.map

package/dist/types/option.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"option.d.ts","sourceRoot":"","sources":["../../src/types/option.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,IAAI,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAC7C,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AAEnE,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;AAEvC,eAAO,MAAM,IAAI,EAAE,MAAM,CAAC,KAAK,CAAoB,CAAC;AAEpD,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,MAAM,CAAC,CAAC,CAA8B,CAAC"}

package/dist/types/option.js

@@ -4,3 +4,4 @@ exports.some = exports.none = void 0;
 exports.none = { _tag: "None" };
 const some = (value) => ({ _tag: "Some", value });
 exports.some = some;
+//# sourceMappingURL=option.js.map

package/dist/types/option.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"option.js","sourceRoot":"","sources":["../../src/types/option.ts"],"names":[],"mappings":";;;AAKa,QAAA,IAAI,GAAkB,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAE7C,MAAM,IAAI,GAAG,CAAI,KAAQ,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;AAA7D,QAAA,IAAI,QAAyD"}