brass-runtime 1.0.1 → 1.2.0

package/dist/scheduler/scope.js

@@ -1,11 +1,13 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.Scope = void 0;
+exports.withScope = withScope;
 // src/scope.ts
 const fiber_1 = require("../fibers/fiber");
 let nextScopeId = 1;
 class Scope {
-    constructor() {
+    constructor(env) {
+        this.env = env;
         this.closed = false;
         this.children = new Set();
         this.subScopes = new Set();
@@ -23,7 +25,7 @@ class Scope {
     subScope() {
         if (this.closed)
             throw new Error("Scope closed");
-        const s = new Scope();
+        const s = new Scope(this.env);
         this.subScopes.add(s);
         return s;
     }
@@ -54,7 +56,8 @@ class Scope {
         // 3) ejecutar finalizers en orden LIFO
         while (this.finalizers.length > 0) {
             const fin = this.finalizers.pop();
-            fin(exit); // se ejecuta como Async, pero no esperamos
+            const eff = fin(exit);
+            (0, fiber_1.fork)(eff, this.env); // <-- esto hace que se ejecute el Async
         }
         this.children.clear();
         this.subScopes.clear();
@@ -64,3 +67,17 @@ class Scope {
     }
 }
 exports.Scope = Scope;
+/**
+ * Ejecuta una función dentro de un scope estructurado.
+ * Al final (éxito o error), se cierra el scope garantizando cleanup.
+ */
+function withScope(body) {
+    const scope = new Scope({});
+    try {
+        return body(scope);
+    }
+    finally {
+        scope.close();
+    }
+}
+//# sourceMappingURL=scope.js.map

package/dist/scheduler/scope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope.js","sourceRoot":"","sources":["../../src/scheduler/scope.ts"],"names":[],"mappings":";;;AAuFA,8BASC;AAhGD,eAAe;AACf,2CAAwD;AAMxD,IAAI,WAAW,GAAG,CAAC,CAAC;AAEpB,MAAa,KAAK;IASd,YAA6B,GAAM;QAAN,QAAG,GAAH,GAAG,CAAG;QAN3B,WAAM,GAAG,KAAK,CAAC;QAEN,aAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;QACtC,cAAS,GAAG,IAAI,GAAG,EAAY,CAAC;QAChC,eAAU,GAAwD,EAAE,CAAC;QAGlF,IAAI,CAAC,EAAE,GAAG,WAAW,EAAE,CAAC;IAC5B,CAAC;IAED,mCAAmC;IACnC,YAAY,CAAC,CAA+C;QACxD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;QAC/D,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC;IAED,wBAAwB;IACxB,QAAQ;QACJ,IAAI,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,IAAI,KAAK,CAAI,IAAI,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtB,OAAO,CAAC,CAAC;IACb,CAAC;IAED,yBAAyB;IACzB,IAAI,CAAO,GAAmB,EAAE,GAAM;QAClC,IAAI,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC;QAEjD,MAAM,CAAC,GAAG,IAAA,YAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAErB,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE;YACR,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC5B,CAAC,CAAC,CAAC;QAEH,OAAO,CAAC,CAAC;IACb,CAAC;IAED,0BAA0B;IAC1B,KAAK,CAAC,OAAuB,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE;QAC9D,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO;QACxB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QAEnB,oBAAoB;QACpB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC5B,CAAC,CAAC,SAAS,EAAE,CAAC;QAClB,CAAC;QAED,uBAAuB;QACvB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YAC7B,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAClB,CAAC;QAED,uCAAuC;QACvC,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChC,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,EAAG,CAAC;YACnC,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;YACtB,IAAA,YAAI,EAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,wCAAwC;QACjE,CAAC;QAED,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;IAC3B,CAAC;IAED,QAAQ;QACJ,OAAO,IAAI,CAAC,MAAM,CAAC;IACvB,CAAC;CACJ;AAxED,sBAwEC;AAED;;;GAGG;AACH,SAAgB,SAAS,CACrB,IAA4B;IAE5B,MAAM,KAAK,GAAG,IAAI,KAAK,CAAI,EAAO,CAAC,CAAC;IACpC,IAAI,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;YAAS,CAAC;QACP,KAAK,CAAC,KAAK,EAAE,CAAC;IAClB,CAAC;AACL,CAAC"}

package/dist/stream/buffer.d.ts

@@ -0,0 +1,3 @@
+import { ZStream } from "./stream";
+export declare function buffer<R, E, A>(stream: ZStream<{} & R, E, A>, capacity: number, strategy?: "backpressure" | "dropping" | "sliding"): ZStream<{} & R, E, A>;
+//# sourceMappingURL=buffer.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"buffer.d.ts","sourceRoot":"","sources":["../../src/stream/buffer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAW,OAAO,EAAC,MAAM,UAAU,CAAC;AAe3C,wBAAgB,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAC1B,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC7B,QAAQ,EAAE,MAAM,EAChB,QAAQ,GAAE,cAAc,GAAG,UAAU,GAAG,SAA0B,GACnE,OAAO,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CA8FvB"}

package/dist/stream/buffer.js

@@ -0,0 +1,81 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buffer = buffer;
+const stream_1 = require("./stream");
+const stream_2 = require("./stream");
+const asyncEffect_1 = require("../types/asyncEffect");
+const asyncEffect_2 = require("../types/asyncEffect");
+const option_1 = require("../types/option");
+const fiber_1 = require("../fibers/fiber");
+const queue_1 = require("./queue");
+function buffer(stream, capacity, strategy = "backpressure") {
+    let started = false;
+    let q = null;
+    let producer = null;
+    // vamos actualizando el upstream a medida que consumimos
+    let upstream = stream;
+    /**
+     * Convierte `uncons(upstream)` (que falla con Option<E>) en una Signal que NO falla:
+     * - Success => Elem(a) y actualiza upstream
+     * - Failure(None) => End
+     * - Failure(Some(e)) => Fail(e)
+     */
+    const nextSignal = () => (0, asyncEffect_1.asyncFold)((0, stream_2.uncons)(upstream), (opt) => (0, asyncEffect_2.asyncSucceed)(opt._tag === "None"
+        ? { _tag: "End" }
+        : { _tag: "Fail", error: opt.value }), ([a, tail]) => (0, asyncEffect_2.asyncSync)(() => {
+        upstream = tail;
+        return { _tag: "Elem", value: a };
+    }));
+    const start = (env) => (0, asyncEffect_2.asyncFlatMap)((0, queue_1.bounded)(capacity, strategy), (_q) => {
+        q = _q;
+        const loop = () => (0, asyncEffect_2.asyncFlatMap)(nextSignal(), (sig) => (0, asyncEffect_2.asyncFlatMap)(q.offer(sig), () => {
+            // si llega End/Fail, cortamos el productor
+            if (sig._tag === "End" || sig._tag === "Fail") {
+                return (0, asyncEffect_2.asyncSucceed)(undefined);
+            }
+            return loop();
+        }));
+        producer = (0, fiber_1.fork)(loop(), env);
+        started = true;
+        return (0, asyncEffect_2.asyncSucceed)(undefined);
+    });
+    const pullDown = {
+        _tag: "Async",
+        register: (env, cb) => {
+            const go = () => {
+                if (!started) {
+                    (0, fiber_1.fork)(start(env), env).join(() => {
+                        pullFromQueue(env, cb);
+                    });
+                    return;
+                }
+                pullFromQueue(env, cb);
+            };
+            go();
+        },
+    };
+    function pullFromQueue(env, cb) {
+        const takeEff = q.take();
+        (0, fiber_1.fork)(takeEff, env).join((ex) => {
+            var _a, _b;
+            if (ex._tag !== "Success")
+                return; // take no debería fallar
+            const sig = ex.value;
+            switch (sig._tag) {
+                case "Elem":
+                    cb({ _tag: "Success", value: [sig.value, (0, stream_1.fromPull)(pullDown)] });
+                    return;
+                case "End":
+                    (_a = producer === null || producer === void 0 ? void 0 : producer.interrupt) === null || _a === void 0 ? void 0 : _a.call(producer);
+                    cb({ _tag: "Failure", error: option_1.none });
+                    return;
+                case "Fail":
+                    (_b = producer === null || producer === void 0 ? void 0 : producer.interrupt) === null || _b === void 0 ? void 0 : _b.call(producer);
+                    cb({ _tag: "Failure", error: (0, option_1.some)(sig.error) });
+                    return;
+            }
+        });
+    }
+    return (0, stream_1.fromPull)(pullDown);
+}
+//# sourceMappingURL=buffer.js.map

package/dist/stream/buffer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"buffer.js","sourceRoot":"","sources":["../../src/stream/buffer.ts"],"names":[],"mappings":";;AAeA,wBAkGC;AAjHD,qCAA2C;AAC3C,qCAAoC;AAEpC,sDAAsD;AACtD,sDAA6E;AAE7E,4CAAmD;AACnD,2CAAuC;AACvC,mCAAkC;AAOlC,SAAgB,MAAM,CAClB,MAA6B,EAC7B,QAAgB,EAChB,WAAoD,cAAc;IAElE,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,CAAC,GAAQ,IAAI,CAAC;IAClB,IAAI,QAAQ,GAAQ,IAAI,CAAC;IAEzB,yDAAyD;IACzD,IAAI,QAAQ,GAA0B,MAAM,CAAC;IAE7C;;;;;OAKG;IACH,MAAM,UAAU,GAAG,GAAkC,EAAE,CACnD,IAAA,uBAAS,EACL,IAAA,eAAM,EAAC,QAAQ,CAAC,EAChB,CAAC,GAAc,EAAE,EAAE,CACf,IAAA,0BAAY,EACR,GAAG,CAAC,IAAI,KAAK,MAAM;QACf,CAAC,CAAE,EAAE,IAAI,EAAE,KAAK,EAAmB;QACnC,CAAC,CAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAmB,CAC7D,EACL,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CACV,IAAA,uBAAS,EAAC,GAAG,EAAE;QACX,QAAQ,GAAG,IAAI,CAAC;QAChB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAkB,CAAC;IACtD,CAAC,CAAQ,CACT,CAAC;IAEb,MAAM,KAAK,GAAG,CAAC,GAAW,EAA4B,EAAE,CACpD,IAAA,0BAAY,EAAC,IAAA,eAAO,EAAe,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE;QAC3D,CAAC,GAAG,EAAE,CAAC;QAEP,MAAM,IAAI,GAAG,GAA6B,EAAE,CACxC,IAAA,0BAAY,EAAC,UAAU,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAC/B,IAAA,0BAAY,EAAC,CAAC,CAAC,KAAK,CAAC,GAAU,CAAC,EAAE,GAAG,EAAE;YACnC,2CAA2C;YAC3C,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC5C,OAAO,IAAA,0BAAY,EAAC,SAAS,CAAC,CAAC;YACnC,CAAC;YACD,OAAO,IAAI,EAAE,CAAC;QAClB,CAAC,CAAC,CACL,CAAC;QAEN,QAAQ,GAAG,IAAA,YAAI,EAAC,IAAI,EAAS,EAAE,GAAG,CAAC,CAAC;QACpC,OAAO,GAAG,IAAI,CAAC;QAEf,OAAO,IAAA,0BAAY,EAAC,SAAS,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEP,MAAM,QAAQ,GAAmD;QAC7D,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,CAAC,GAAW,EAAE,EAA6C,EAAE,EAAE;YACrE,MAAM,EAAE,GAAG,GAAG,EAAE;gBACZ,IAAI,CAAC,OAAO,EAAE,CAAC;oBACX,IAAA,YAAI,EAAC,KAAK,CAAC,GAAG,CAAQ,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE;wBACnC,aAAa,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;oBAC3B,CAAC,CAAC,CAAC;oBACH,OAAO;gBACX,CAAC;gBACD,aAAa,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC3B,CAAC,CAAC;YACF,EAAE,EAAE,CAAC;QACT,CAAC;KACG,CAAC;IAET,SAAS,aAAa,CAAC,GAAW,EAAE,EAAuB;QACvD,MAAM,OAAO,GAAuC,CAAC,CAAC,IAAI,EAAE,CAAC;QAE7D,IAAA,YAAI,EAAC,OAAc,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,EAAO,EAAE,EAAE;;YACvC,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,CAAC,yBAAyB;YAE5D,MAAM,GAAG,GAAG,EAAE,CAAC,KAAqB,CAAC;YAErC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,MAAM;oBACP,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,IAAA,iBAAQ,EAAC,QAAe,CAAC,CAAC,EAAE,CAAC,CAAC;oBACvE,OAAO;gBAEX,KAAK,KAAK;oBACN,MAAA,QAAQ,aAAR,QAAQ,uBAAR,QAAQ,CAAE,SAAS,wDAAI,CAAC;oBACxB,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,aAAI,EAAE,CAAC,CAAC;oBACrC,OAAO;gBAEX,KAAK,MAAM;oBACP,MAAA,QAAQ,aAAR,QAAQ,uBAAR,QAAQ,CAAE,SAAS,wDAAI,CAAC;oBACxB,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAA,aAAI,EAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;oBAChD,OAAO;YACf,CAAC;QACL,CAAC,CAAC,CAAC;IACP,CAAC;IAED,OAAO,IAAA,iBAAQ,EAAC,QAAe,CAAC,CAAC;AACrC,CAAC"}

package/dist/stream/queue.d.ts

@@ -0,0 +1,9 @@
+import { Async } from "../types/asyncEffect";
+export type Strategy = "backpressure" | "dropping" | "sliding";
+export type Queue<A> = {
+    offer: (a: A) => Async<unknown, never, boolean>;
+    take: () => Async<unknown, never, A>;
+    size: () => number;
+};
+export declare function bounded<A>(capacity: number, strategy?: Strategy): Async<unknown, unknown, Queue<A>>;
+//# sourceMappingURL=queue.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"queue.d.ts","sourceRoot":"","sources":["../../src/stream/queue.ts"],"names":[],"mappings":"AACA,OAAO,EAAQ,KAAK,EAAY,MAAM,sBAAsB,CAAC;AAI7D,MAAM,MAAM,QAAQ,GAAG,cAAc,GAAG,UAAU,GAAG,SAAS,CAAC;AAE/D,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI;IACnB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAChD,IAAI,EAAE,MAAM,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACrC,IAAI,EAAE,MAAM,MAAM,CAAC;CACtB,CAAC;AAEF,wBAAgB,OAAO,CAAC,CAAC,EACrB,QAAQ,EAAE,MAAM,EAChB,QAAQ,GAAE,QAAyB,GACpC,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAEnC"}

package/dist/stream/queue.js

@@ -0,0 +1,98 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.bounded = bounded;
+// src/queue.ts
+const asyncEffect_1 = require("../types/asyncEffect");
+function bounded(capacity, strategy = "backpressure") {
+    return (0, asyncEffect_1.asyncSync)(() => makeQueue(capacity, strategy));
+}
+function makeQueue(capacity, strategy) {
+    const items = [];
+    const takers = [];
+    const offerWaiters = [];
+    const removeTaker = (cb) => {
+        const i = takers.indexOf(cb);
+        if (i >= 0)
+            takers.splice(i, 1);
+    };
+    const removeOfferWaiter = (w) => {
+        const i = offerWaiters.indexOf(w);
+        if (i >= 0)
+            offerWaiters.splice(i, 1);
+    };
+    const flush = () => {
+        // casar items -> takers
+        while (takers.length > 0 && items.length > 0) {
+            const t = takers.shift();
+            const a = items.shift();
+            t(a);
+        }
+        // si hay espacio, liberar offerWaiters (backpressure)
+        while (offerWaiters.length > 0 && items.length < capacity && takers.length === 0) {
+            const w = offerWaiters.shift();
+            items.push(w.a);
+            w.cb(true);
+        }
+        // casar directo offerWaiters -> takers
+        while (takers.length > 0 && offerWaiters.length > 0) {
+            const t = takers.shift();
+            const w = offerWaiters.shift();
+            t(w.a);
+            w.cb(true);
+        }
+    };
+    return {
+        size: () => items.length,
+        offer: (a) => (0, asyncEffect_1.async)((_env, cb) => {
+            // entregar directo si hay taker esperando
+            if (takers.length > 0) {
+                const t = takers.shift();
+                t(a);
+                cb({ _tag: "Success", value: true });
+                return;
+            }
+            // hay espacio -> encolar
+            if (items.length < capacity) {
+                items.push(a);
+                cb({ _tag: "Success", value: true });
+                return;
+            }
+            // lleno -> estrategia
+            if (strategy === "dropping") {
+                cb({ _tag: "Success", value: false });
+                return;
+            }
+            if (strategy === "sliding") {
+                items.shift();
+                items.push(a);
+                cb({ _tag: "Success", value: true });
+                return;
+            }
+            // backpressure: suspender
+            const waiter = { a, cb: (ok) => cb({ _tag: "Success", value: ok }) };
+            offerWaiters.push(waiter);
+            // canceler: saca al waiter si se interrumpe
+            return () => removeOfferWaiter(waiter);
+        }),
+        take: () => (0, asyncEffect_1.async)((_env, cb) => {
+            if (items.length > 0) {
+                const a = items.shift();
+                cb({ _tag: "Success", value: a });
+                flush();
+                return;
+            }
+            // si hay offerWaiter esperando, casar directo
+            if (offerWaiters.length > 0) {
+                const w = offerWaiters.shift();
+                w.cb(true);
+                cb({ _tag: "Success", value: w.a });
+                return;
+            }
+            const taker = (a) => cb({ _tag: "Success", value: a });
+            takers.push(taker);
+            // canceler: saca al taker si se interrumpe
+            return () => removeTaker(taker);
+        }),
+    };
+}
+//# sourceMappingURL=queue.js.map

package/dist/stream/queue.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"queue.js","sourceRoot":"","sources":["../../src/stream/queue.ts"],"names":[],"mappings":";;AAaA,0BAKC;AAlBD,eAAe;AACf,sDAA6D;AAY7D,SAAgB,OAAO,CACnB,QAAgB,EAChB,WAAqB,cAAc;IAEnC,OAAO,IAAA,uBAAS,EAAC,GAAG,EAAE,CAAC,SAAS,CAAI,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,SAAS,CAAI,QAAgB,EAAE,QAAkB;IACtD,MAAM,KAAK,GAAQ,EAAE,CAAC;IACtB,MAAM,MAAM,GAA0B,EAAE,CAAC;IACzC,MAAM,YAAY,GAA+C,EAAE,CAAC;IAEpE,MAAM,WAAW,GAAG,CAAC,EAAkB,EAAE,EAAE;QACvC,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC;IAEF,MAAM,iBAAiB,GAAG,CAAC,CAAsC,EAAE,EAAE;QACjE,MAAM,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,IAAI,CAAC;YAAE,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,GAAG,EAAE;QACf,wBAAwB;QACxB,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3C,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAG,CAAC;YAC1B,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;YACzB,CAAC,CAAC,CAAC,CAAC,CAAC;QACT,CAAC;QACD,sDAAsD;QACtD,OAAO,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/E,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,EAAG,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAChB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACf,CAAC;QACD,uCAAuC;QACvC,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAG,CAAC;YAC1B,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,EAAG,CAAC;YAChC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACP,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACf,CAAC;IACL,CAAC,CAAC;IAEF,OAAO;QACH,IAAI,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM;QAExB,KAAK,EAAE,CAAC,CAAI,EAAE,EAAE,CACZ,IAAA,mBAAK,EAAC,CAAC,IAAS,EAAE,EAAwC,EAAmB,EAAE;YAC3E,0CAA0C;YAC1C,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpB,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAG,CAAC;gBAC1B,CAAC,CAAC,CAAC,CAAC,CAAC;gBACL,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;gBACrC,OAAO;YACX,CAAC;YAED,yBAAyB;YACzB,IAAI,KAAK,CAAC,MAAM,GAAG,QAAQ,EAAE,CAAC;gBAC1B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACd,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;gBACrC,OAAO;YACX,CAAC;YAED,sBAAsB;YACtB,IAAI,QAAQ,KAAK,UAAU,EAAE,CAAC;gBAC1B,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;gBACtC,OAAO;YACX,CAAC;YAED,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBACzB,KAAK,CAAC,KAAK,EAAE,CAAC;gBACd,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACd,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;gBACrC,OAAO;YACX,CAAC;YAED,0BAA0B;YAC1B,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAW,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;YAC9E,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAE1B,4CAA4C;YAC5C,OAAO,GAAG,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAC3C,CAAC,CAAC;QAEN,IAAI,EAAE,GAAG,EAAE,CACP,IAAA,mBAAK,EAAC,CAAC,IAAS,EAAE,EAAkC,EAAmB,EAAE;YACrE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACnB,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;gBACzB,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;gBAClC,KAAK,EAAE,CAAC;gBACR,OAAO;YACX,CAAC;YAED,8CAA8C;YAC9C,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,EAAG,CAAC;gBAChC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;gBACX,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACpC,OAAO;YACX,CAAC;YAED,MAAM,KAAK,GAAG,CAAC,CAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;YAC1D,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAEnB,2CAA2C;YAC3C,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QACpC,CAAC,CAAC;KACT,CAAC;AACN,CAAC"}

package/dist/stream/stream.d.ts

@@ -0,0 +1,37 @@
+import { ZIO } from "../types/effect.js";
+import { Option } from "../types/option.js";
+import { Async } from "../types/asyncEffect";
+export type Empty<R, E, A> = {
+    readonly _tag: "Empty";
+};
+export type Emit<R, E, A> = {
+    readonly _tag: "Emit";
+    readonly value: ZIO<R, E, A>;
+};
+export type Concat<R, E, A> = {
+    readonly _tag: "Concat";
+    readonly left: ZStream<R, E, A>;
+    readonly right: ZStream<R, E, A>;
+};
+export type Flatten<R, E, A> = {
+    readonly _tag: "Flatten";
+    readonly stream: ZStream<R, E, ZStream<R, E, A>>;
+};
+export type FromPull<R, E, A> = {
+    readonly _tag: "FromPull";
+    readonly pull: ZIO<R, Option<E>, [A, ZStream<R, E, A>]>;
+};
+export type ZStream<R, E, A> = Empty<R, E, A> | Emit<R, E, A> | Concat<R, E, A> | FromPull<R, E, A> | Flatten<R, E, A>;
+export declare const fromPull: <R, E, A>(pull: ZIO<R, Option<E>, [A, ZStream<R, E, A>]>) => ZStream<R, E, A>;
+export declare const emptyStream: <R, E, A>() => ZStream<R, E, A>;
+export declare const emitStream: <R, E, A>(value: ZIO<R, E, A>) => ZStream<R, E, A>;
+export declare const concatStream: <R, E, A>(left: ZStream<R, E, A>, right: ZStream<R, E, A>) => ZStream<R, E, A>;
+export declare const flattenStream: <R, E, A>(stream: ZStream<R, E, ZStream<R, E, A>>) => ZStream<R, E, A>;
+export declare function uncons<R, E, A>(self: ZStream<R, E, A>): ZIO<R, Option<E>, [A, ZStream<R, E, A>]>;
+export declare function mapStream<R, E, A, B>(self: ZStream<R, E, A>, f: (a: A) => B): ZStream<R, E, B>;
+export declare function rangeStream(start: number, end: number): ZStream<unknown, never, number>;
+export declare function zip<R, E1, A, E2, B>(left: ZStream<R, E1, A>, right: ZStream<R, E2, B>): ZStream<R, E1 | E2, [A, B]>;
+export declare function foreachStream<R, E, A, R2, E2>(stream: ZStream<R, E, A>, f: (a: A) => Async<R2, E2, void>): Async<R & R2, E | E2, void>;
+export declare function fromArray<A>(values: readonly A[]): ZStream<unknown, never, A>;
+export declare function collectStream<R, E, A>(stream: ZStream<R, E, A>): ZIO<R, E, A[]>;
+//# sourceMappingURL=stream.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"stream.d.ts","sourceRoot":"","sources":["../../src/stream/stream.ts"],"names":[],"mappings":"AAEA,OAAO,EAQH,GAAG,EACN,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAQ,MAAM,EAAQ,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAC,KAAK,EAAkE,MAAM,sBAAsB,CAAC;AAG5G,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AAExD,MAAM,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI;IAC1B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI;IAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;CACpD,CAAC;AAEF,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI;IAC5B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;CAC3D,CAAC;AAEF,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IACrB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GACd,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GACb,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GACf,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GACjB,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAKvB,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC5B,MAAM,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAC/C,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAGhB,CAAC;AAEH,eAAO,MAAM,WAAW,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,OAAK,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAErD,CAAC;AAEH,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAG,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAGvE,CAAC;AAEH,eAAO,MAAM,YAAY,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAChC,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACtB,OAAO,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KACxB,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAIhB,CAAC;AAEH,eAAO,MAAM,aAAa,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EACjC,QAAQ,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,KACxC,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAGhB,CAAC;AAIH,wBAAgB,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAC1B,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GACvB,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAqC1C;AAKD,wBAAgB,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAChC,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACtB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACf,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CA8BlB;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CASvF;AAID,wBAAgB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAC/B,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EACvB,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GACzB,OAAO,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAsB7B;AAGD,wBAAgB,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EACzC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACxB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,GACjC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC,CA6B7B;AAED,wBAAgB,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAS7E;AAGD,wBAAgB,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAkB/E"}

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"}