@zimtsui/iterflow 0.0.8 → 0.0.10

package/README.md

@@ -6,115 +6,8 @@ Iterflow is an AI workflow orchestrator specifically designed for Optimizer-Eval
 
 ## Examples
 
-### Optimizer
+### [Optimizer](./examples/optimize.ts)
 
-```ts
-import { Opposition, Optimization, Rejection } from '@zimtsui/iterflow';
-import OpenAI from 'openai';
-declare const openai: OpenAI;
+### [Evaluator](./examples/evaluate.ts)
 
-export async function *optimize(problem: string): Optimization.Raw<string> {
-    const messages: OpenAI.ChatCompletionMessageParam[] = [
-        {
-            role: 'system',
-            content: [
-                'Please solve math problems.',
-                'Your answer will be evaluated and the feedback will be provided if the answer is rejected.'
-            ].join(' ')
-        },
-        { role: 'user', content: problem },
-    ];
-    for (;;) try {
-        const completion = await openai.chat.completions.create({ model: 'gpt-4o', messages });
-        messages.push(completion.choices[0]!.message);
-        if (completion.choices[0]!.message.content! === 'OPPOSE')
-            return yield new Opposition('My answer is correct.');
-        else
-            return yield completion.choices[0]!.message.content!;
-    } catch (e) {
-        if (e instanceof Rejection) {} else throw e;
-        messages.push({
-            role: 'user',
-            content: `Your answer is rejected: ${e.message}. Please revise your answer.`,
-        });
-    }
-}
-```
-
-### Evaluator
-
-```ts
-import { Evaluation, Rejection, Opposition } from '@zimtsui/iterflow';
-import OpenAI from 'openai';
-declare const openai: OpenAI;
-
-export async function *evaluate(problem: string): Evaluation.Raw<string> {
-    let draft = yield new Evaluation.FirstYield();
-    const messages: OpenAI.ChatCompletionMessageParam[] = [
-        {
-            role: 'system',
-            content: [
-                'Please examine the given answer of the given math problem.',
-                'Print only `ACCEPT` if it is correct.',
-            ].join(' '),
-        },
-        { role: 'user', content: `Problem: ${problem}\n\nAnswer: ${draft}` },
-    ];
-    for (;;) try {
-        const completion = await openai.chat.completions.create({ model: 'gpt-4o', messages });
-        messages.push(completion.choices[0]!.message);
-        if (completion.choices[0]!.message.content === 'ACCEPT') draft = yield draft;
-        else draft = yield new Rejection(completion.choices[0]!.message.content!);
-        messages.push({
-            role: 'user',
-            content: `The answer is updated: ${draft}\n\nPlease examine it again.`,
-        });
-    } catch (e) {
-        if (e instanceof Opposition) {} else throw e;
-        messages.push({
-            role: 'user',
-            content: `Your rejection is opposed: ${e.message}\n\nPlease examine it again.`,
-        });
-    }
-}
-```
-
-### Workflow
-
-```ts
-import { Optimization, Evaluation, opteva, Rejection } from '@zimtsui/iterflow';
-import { optimize } from './optimize.ts';
-import { evaluate } from './evaluate.ts';
-const evaluate1: (problem: string) => Evaluation.Raw<string, string> = evaluate;
-declare const evaluate2: (problem: string) => Evaluation.Raw<string, number>;
-declare const evaluate3: (problem: string) => Evaluation.Raw<number, number>;
-
-export async function workflow(problem: string): Promise<number> {
-    await using optimization = Optimization.Cache.from(optimize(problem));
-    await using evaluation1 = await Evaluation.Initialized.from(evaluate1(problem));
-    await using evaluation2 = await Evaluation.Initialized.from(evaluate2(problem));
-    await using evaluation3 = await Evaluation.Initialized.from(evaluate3(problem));
-    for (;;) try {
-        let snapshotString = Optimization.Snapshot.from(optimization);
-        snapshotString = await opteva(snapshotString, evaluation1);
-        let snapshotNumber = await opteva(snapshotString, evaluation2);
-        snapshotNumber = await opteva(snapshotNumber, evaluation3);
-        return await snapshotNumber.next().then(r => r.value);
-    } catch (e) {
-        if (e instanceof Rejection) {} else throw e;
-    }
-};
-```
-
-## Subtypes
-
-```mermaid
-classDiagram
-
-Optimization <|.. Optimization.Cache
-Optimization.Raw <|.. Optimization
-class Optimization.Snapshot
-
-Evaluation.Raw <|.. Evaluation
-class Evaluation.Initialized
-```
+### [Workflow](./examples/workflow.ts)

package/build/evaluation.d.ts

@@ -0,0 +1,15 @@
+import { Rejection, Opposition, Draft } from './types.ts';
+export interface Evaluation<in out draft, in out nextdraft, in out rejection, in out opposition> extends AsyncDisposable {
+    submit(draft: Draft<draft>): Promise<Rejection<rejection> | Draft<nextdraft>>;
+    oppose(opposition: Opposition<opposition>): Promise<Rejection<rejection> | Draft<nextdraft>>;
+}
+export declare namespace Evaluation {
+    /**
+     * @param evagen Ownership transferred.
+     */
+    function from<draft, nextdraft, rejection, opposition>(evagen: Evaluation.Generator<draft, nextdraft, rejection, opposition>): Promise<Evaluation<draft, nextdraft, rejection, opposition>>;
+    /**
+     * First yield must be void.
+     */
+    type Generator<draft, nextdraft, rejection, opposition> = AsyncGenerator<Rejection<rejection> | Draft<nextdraft> | void, never, Draft<draft> | Opposition<opposition>>;
+}

package/build/evaluation.js

@@ -0,0 +1,35 @@
+import { Rejection, Draft } from "./types.js";
+export var Evaluation;
+(function (Evaluation) {
+    /**
+     * @param evagen Ownership transferred.
+     */
+    async function from(evagen) {
+        const first = await evagen.next().then(r => r.value);
+        if (first instanceof Rejection)
+            throw new Error();
+        if (first instanceof Draft)
+            throw new Error();
+        return {
+            async submit(draft) {
+                const output = await evagen.next(draft).then(r => r.value);
+                if (output instanceof Rejection || output instanceof Draft)
+                    return output;
+                else
+                    throw new Error();
+            },
+            async oppose(opposition) {
+                const output = await evagen.next(opposition).then(r => r.value);
+                if (output instanceof Rejection || output instanceof Draft)
+                    return output;
+                else
+                    throw new Error();
+            },
+            async [Symbol.asyncDispose]() {
+                await evagen[Symbol.asyncDispose]?.();
+            }
+        };
+    }
+    Evaluation.from = from;
+})(Evaluation || (Evaluation = {}));
+//# sourceMappingURL=evaluation.js.map

package/build/evaluation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluation.js","sourceRoot":"","sources":["../src/evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAc,KAAK,EAAE,MAAM,YAAY,CAAC;AAU1D,MAAM,KAAW,UAAU,CAqC1B;AArCD,WAAiB,UAAU;IAEvB;;OAEG;IACI,KAAK,UAAU,IAAI,CACtB,MAAqE;QAErE,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACrD,IAAI,KAAK,YAAY,SAAS;YAAE,MAAM,IAAI,KAAK,EAAE,CAAC;QAClD,IAAI,KAAK,YAAY,KAAK;YAAE,MAAM,IAAI,KAAK,EAAE,CAAC;QAC9C,OAAO;YACH,KAAK,CAAC,MAAM,CAAC,KAAmB;gBAC5B,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC3D,IAAI,MAAM,YAAY,SAAS,IAAI,MAAM,YAAY,KAAK;oBAAE,OAAO,MAAM,CAAC;;oBACrE,MAAM,IAAI,KAAK,EAAE,CAAC;YAC3B,CAAC;YAED,KAAK,CAAC,MAAM,CAAC,UAAkC;gBAC3C,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAChE,IAAI,MAAM,YAAY,SAAS,IAAI,MAAM,YAAY,KAAK;oBAAE,OAAO,MAAM,CAAC;;oBACrE,MAAM,IAAI,KAAK,EAAE,CAAC;YAC3B,CAAC;YAED,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC;gBACvB,MAAM,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC;YAC1C,CAAC;SAC0D,CAAC;IACpE,CAAC;IAvBqB,eAAI,OAuBzB,CAAA;AASL,CAAC,EArCgB,UAAU,KAAV,UAAU,QAqC1B"}

package/build/exports.d.ts

@@ -1,2 +1,4 @@
+export * from './optimization.ts';
+export * from './evaluation.ts';
 export * from './opteva.ts';
-export * from './exceptions.ts';
+export * from './types.ts';

package/build/exports.js

@@ -1,3 +1,5 @@
+export * from "./optimization.js";
+export * from "./evaluation.js";
 export * from "./opteva.js";
-export * from "./exceptions.js";
+export * from "./types.js";
 //# sourceMappingURL=exports.js.map

package/build/exports.js.map

@@ -1 +1 @@
-{"version":3,"file":"exports.js","sourceRoot":"","sources":["../src/exports.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC"}
+{"version":3,"file":"exports.js","sourceRoot":"","sources":["../src/exports.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC"}

package/build/opteva.d.ts

@@ -1,75 +1,6 @@
-import { Rejection, Opposition } from './exceptions.ts';
-export interface Optimization<draft> extends AsyncGenerator<Awaited<draft> | Opposition, never, never> {
-    next(...values: [] | [never]): Promise<IteratorYieldResult<Awaited<draft>>>;
-    throw(e: Rejection): Promise<IteratorYieldResult<Awaited<draft> | Opposition>>;
-}
-export declare namespace Optimization {
-    interface Raw<draft> extends AsyncGenerator<Awaited<draft> | Opposition, never, never> {
-    }
-    /**
-     * @param raw0 Ownership transferred.
-     */
-    function ensure<draft>(raw0: Optimization.Raw<draft>): Optimization<draft>;
-    interface Cache<draft> extends AsyncGenerator<Awaited<draft> | Opposition, never, void> {
-        next(...values: [] | [void]): Promise<IteratorYieldResult<Awaited<draft>>>;
-        throw(e: Rejection): Promise<IteratorYieldResult<Awaited<draft> | Opposition>>;
-    }
-    namespace Cache {
-        interface Raw<draft> extends AsyncGenerator<Awaited<draft> | Opposition, never, void> {
-        }
-        /**
-         * @param raw0 Ownership transferred.
-         */
-        function ensure<draft>(raw0: Optimization.Cache.Raw<draft>): Optimization.Cache<draft>;
-        /**
-         * @param raw0 Ownership transferred.
-         */
-        function from<draft>(raw0: Optimization.Raw<draft>): Optimization.Cache<draft>;
-    }
-    interface Snapshot<draft> extends AsyncGenerator<Awaited<draft> | Opposition, never, void> {
-        next(...values: [] | [void]): Promise<IteratorYieldResult<Awaited<draft>>>;
-        /**
-        * @throws {@link Rejection}
-        */
-        throw(e: Rejection): Promise<IteratorYieldResult<Opposition>>;
-    }
-    namespace Snapshot {
-        /**
-         * @param opt Ownership NOT transferred.
-         */
-        function from<draft>(opt: Optimization.Cache<draft>): Optimization.Snapshot<draft>;
-        /**
-         * @param opt Ownership NOT transferred.
-         */
-        function recover<input, output>(opt: Optimization.Snapshot<input>, draft: Awaited<output>): Optimization.Snapshot<output>;
-    }
-}
-export interface Evaluation<input, output = input> extends AsyncGenerator<Awaited<output> | Rejection, never, input> {
-    next(...values: []): Promise<IteratorYieldResult<Evaluation.FirstYield>>;
-    next(...values: [input]): Promise<IteratorYieldResult<Awaited<output> | Rejection>>;
-    throw(e: Opposition): Promise<IteratorYieldResult<Awaited<output> | Rejection>>;
-}
-export declare namespace Evaluation {
-    interface Raw<input, output = input> extends AsyncGenerator<Awaited<output> | Rejection | FirstYield, never, input> {
-    }
-    /**
-     * @param raw0 Ownership transferred.
-     */
-    function ensure<input, output = input>(raw0: Evaluation.Raw<input, output>): Evaluation<input, output>;
-    class FirstYield {
-    }
-    interface Initialized<input, output = input> extends AsyncGenerator<Awaited<output> | Rejection, never, input> {
-        next(...values: [input]): Promise<IteratorResult<Awaited<output> | Rejection, never>>;
-        throw(e: Opposition): Promise<IteratorResult<Awaited<output> | Rejection, never>>;
-    }
-    namespace Initialized {
-        /**
-         * @param raw0 Ownership transferred.
-         */
-        function from<input, output = input>(raw0: Evaluation.Raw<input, output>): Promise<Evaluation.Initialized<input, output>>;
-    }
-}
+import { Optimization } from './optimization.ts';
+import { Evaluation } from './evaluation.ts';
 /**
  * @throws {@link Rejection}
  */
-export declare function opteva<input, output>(opt: Optimization.Snapshot<input>, eva: Evaluation.Initialized<input, output>): Promise<Optimization.Snapshot<output>>;
+export declare function opteva<draft, nextdraft, rejection, opposition>(opt: Optimization.View<draft, rejection, opposition> | Optimization.Snapshot<draft, rejection, opposition>, eva: Evaluation<draft, nextdraft, rejection, opposition>): Promise<Optimization.Snapshot<nextdraft, rejection, opposition>>;

package/build/opteva.js

@@ -1,298 +1,34 @@
-var __addDisposableResource = (this && this.__addDisposableResource) || function (env, value, async) {
-    if (value !== null && value !== void 0) {
-        if (typeof value !== "object" && typeof value !== "function") throw new TypeError("Object expected.");
-        var dispose, inner;
-        if (async) {
-            if (!Symbol.asyncDispose) throw new TypeError("Symbol.asyncDispose is not defined.");
-            dispose = value[Symbol.asyncDispose];
-        }
-        if (dispose === void 0) {
-            if (!Symbol.dispose) throw new TypeError("Symbol.dispose is not defined.");
-            dispose = value[Symbol.dispose];
-            if (async) inner = dispose;
-        }
-        if (typeof dispose !== "function") throw new TypeError("Object not disposable.");
-        if (inner) dispose = function() { try { inner.call(this); } catch (e) { return Promise.reject(e); } };
-        env.stack.push({ value: value, dispose: dispose, async: async });
-    }
-    else if (async) {
-        env.stack.push({ async: true });
-    }
-    return value;
-};
-var __disposeResources = (this && this.__disposeResources) || (function (SuppressedError) {
-    return function (env) {
-        function fail(e) {
-            env.error = env.hasError ? new SuppressedError(e, env.error, "An error was suppressed during disposal.") : e;
-            env.hasError = true;
-        }
-        var r, s = 0;
-        function next() {
-            while (r = env.stack.pop()) {
-                try {
-                    if (!r.async && s === 1) return s = 0, env.stack.push(r), Promise.resolve().then(next);
-                    if (r.dispose) {
-                        var result = r.dispose.call(r.value);
-                        if (r.async) return s |= 2, Promise.resolve(result).then(next, function(e) { fail(e); return next(); });
-                    }
-                    else s |= 1;
-                }
-                catch (e) {
-                    fail(e);
-                }
-            }
-            if (s === 1) return env.hasError ? Promise.reject(env.error) : Promise.resolve();
-            if (env.hasError) throw env.error;
-        }
-        return next();
-    };
-})(typeof SuppressedError === "function" ? SuppressedError : function (error, suppressed, message) {
-    var e = new Error(message);
-    return e.name = "SuppressedError", e.error = error, e.suppressed = suppressed, e;
-});
-import { Rejection, Opposition } from "./exceptions.js";
-export var Optimization;
-(function (Optimization) {
-    /**
-     * @param raw0 Ownership transferred.
-     */
-    function ensure(raw0) {
-        return {
-            async next(...values) {
-                const result = await raw0.next(...values);
-                if (result.done)
-                    throw new Error(undefined, { cause: result });
-                const output = result.value;
-                if (output instanceof Opposition)
-                    throw new Error(undefined, { cause: output });
-                return { value: output, done: false };
-            },
-            async throw(e) {
-                const result = await raw0.throw(e);
-                if (result.done)
-                    throw new Error();
-                return { value: result.value, done: false };
-            },
-            return(value) {
-                return raw0.return(value);
-            },
-            [Symbol.asyncIterator]() {
-                return this;
-            },
-            [Symbol.asyncDispose]() {
-                return raw0[Symbol.asyncDispose]?.();
-            },
-        };
-    }
-    Optimization.ensure = ensure;
-    let Cache;
-    (function (Cache) {
-        /**
-         * @param raw0 Ownership transferred.
-         */
-        function ensure(raw0) {
-            return {
-                async next(...values) {
-                    const result = await raw0.next(...values);
-                    if (result.done)
-                        throw new Error(undefined, { cause: result });
-                    const output = result.value;
-                    if (output instanceof Opposition)
-                        throw new Error(undefined, { cause: output });
-                    return { value: output, done: false };
-                },
-                async throw(e) {
-                    const result = await raw0.throw(e);
-                    if (result.done)
-                        throw new Error(undefined, { cause: result });
-                    return { value: result.value, done: false };
-                },
-                return(value) {
-                    return raw0.return(value);
-                },
-                [Symbol.asyncIterator]() {
-                    return this;
-                },
-                [Symbol.asyncDispose]() {
-                    return raw0[Symbol.asyncDispose]?.();
-                },
-            };
-        }
-        Cache.ensure = ensure;
-        /**
-         * @param raw0 Ownership transferred.
-         */
-        function from(raw0) {
-            /**
-             * @param raw0 Ownership transferred.
-             */
-            async function* from(raw0) {
-                const env_1 = { stack: [], error: void 0, hasError: false };
-                try {
-                    const raw = __addDisposableResource(env_1, Optimization.ensure(raw0), true);
-                    let draft = await raw.next().then(r => r.value);
-                    let output = draft;
-                    for (;;)
-                        try {
-                            yield output;
-                            output = draft;
-                        }
-                        catch (e) {
-                            if (e instanceof Rejection) { }
-                            else
-                                throw e;
-                            output = await raw.throw(e).then(r => r.value);
-                            if (output instanceof Opposition) { }
-                            else
-                                draft = output;
-                        }
-                }
-                catch (e_1) {
-                    env_1.error = e_1;
-                    env_1.hasError = true;
-                }
-                finally {
-                    const result_1 = __disposeResources(env_1);
-                    if (result_1)
-                        await result_1;
-                }
-            }
-            return Optimization.Cache.ensure(from(Optimization.ensure(raw0)));
-        }
-        Cache.from = from;
-    })(Cache = Optimization.Cache || (Optimization.Cache = {}));
-    let Snapshot;
-    (function (Snapshot) {
-        /**
-         * @param opt Ownership NOT transferred.
-         */
-        function from(opt) {
-            return {
-                next(...values) {
-                    return opt.next(...values);
-                },
-                async throw(e) {
-                    const output = await opt.throw(e).then(r => r.value);
-                    if (output instanceof Opposition)
-                        return { value: output, done: false };
-                    throw e;
-                },
-                return(value) {
-                    return opt.return(value);
-                },
-                [Symbol.asyncIterator]() {
-                    return this;
-                },
-                async [Symbol.asyncDispose]() { },
-            };
-        }
-        Snapshot.from = from;
-        /**
-         * @param opt Ownership NOT transferred.
-         */
-        function recover(opt, draft) {
-            return {
-                async next(...values) {
-                    return { value: draft, done: false };
-                },
-                throw(e) {
-                    return opt.throw(e);
-                },
-                async return(value) {
-                    await opt.return(undefined);
-                    return { value: await value, done: true };
-                },
-                [Symbol.asyncIterator]() {
-                    return this;
-                },
-                async [Symbol.asyncDispose]() { },
-            };
-        }
-        Snapshot.recover = recover;
-    })(Snapshot = Optimization.Snapshot || (Optimization.Snapshot = {}));
-})(Optimization || (Optimization = {}));
-export var Evaluation;
-(function (Evaluation) {
-    /**
-     * @param raw0 Ownership transferred.
-     */
-    function ensure(raw0) {
-        async function next(...values) {
-            if (values.length) {
-                const result = await raw0.next(...values);
-                if (result.done)
-                    throw new Error(undefined, { cause: result });
-                const output = result.value;
-                if (output instanceof Evaluation.FirstYield)
-                    throw new Error(undefined, { cause: output });
-                return { value: result.value, done: false };
-            }
-            else {
-                const result = await raw0.next();
-                if (result.done)
-                    throw new Error(undefined, { cause: result });
-                const output = result.value;
-                if (output instanceof Evaluation.FirstYield)
-                    return { value: output, done: false };
-                throw new Error(undefined, { cause: output });
-            }
-        }
-        return {
-            next,
-            async throw(e) {
-                const result = await raw0.throw(e);
-                if (result.done)
-                    throw new Error(undefined, { cause: result });
-                const output = result.value;
-                if (output instanceof Evaluation.FirstYield)
-                    throw new Error(undefined, { cause: output });
-                return { value: output, done: false };
-            },
-            async return(value) {
-                const result = await raw0.return(value);
-                if (result.done)
-                    return { value: await value, done: true };
-                const output = result.value;
-                if (output instanceof Evaluation.FirstYield)
-                    throw new Error(undefined, { cause: output });
-                return { value: output, done: false };
-            },
-            [Symbol.asyncIterator]() {
-                return this;
-            },
-            [Symbol.asyncDispose]() {
-                return raw0[Symbol.asyncDispose]?.();
-            },
-        };
-    }
-    Evaluation.ensure = ensure;
-    class FirstYield {
-    }
-    Evaluation.FirstYield = FirstYield;
-    let Initialized;
-    (function (Initialized) {
-        /**
-         * @param raw0 Ownership transferred.
-         */
-        async function from(raw0) {
-            const eva = Evaluation.ensure(raw0);
-            await eva.next().then(r => r.value);
-            return eva;
-        }
-        Initialized.from = from;
-    })(Initialized = Evaluation.Initialized || (Evaluation.Initialized = {}));
-})(Evaluation || (Evaluation = {}));
+import { Draft, Rejection, Opposition } from "./types.js";
+import { Optimization } from "./optimization.js";
 /**
  * @throws {@link Rejection}
  */
 export async function opteva(opt, eva) {
-    const draft = await opt.next().then(r => r.value);
-    for (let output = await eva.next(draft).then(r => r.value);;) {
-        if (output instanceof Rejection) { }
-        else
-            return Optimization.Snapshot.recover(opt, output);
-        const input = await opt.throw(output).then(r => r.value);
-        output = await eva.throw(input).then(r => r.value);
+    let draft = await opt.repeat();
+    let evaoutput = await eva.submit(draft);
+    for (; evaoutput instanceof Rejection;) {
+        const rejection = evaoutput;
+        const optoutput = await opt.reject(rejection);
+        if (optoutput instanceof Opposition) {
+            evaoutput = await eva.oppose(optoutput);
+        }
+        else if (optoutput instanceof Draft) {
+            throw rejection;
+        }
+    }
+    let nextoutput = evaoutput;
+    async function* nextgen() {
+        for (;;) {
+            const rejection = yield nextoutput;
+            const output = await opt.reject(rejection);
+            if (output instanceof Draft)
+                throw rejection;
+            else if (output instanceof Opposition)
+                nextoutput = output;
+            else
+                throw new Error();
+        }
     }
+    return Optimization.from(nextgen());
 }
 //# sourceMappingURL=opteva.js.map

package/build/opteva.js.map

@@ -1 +1 @@
-{"version":3,"file":"opteva.js","sourceRoot":"","sources":["../src/opteva.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAQxD,MAAM,KAAW,YAAY,CAkJ5B;AAlJD,WAAiB,YAAY;IAEzB;;OAEG;IACH,SAAgB,MAAM,CAAQ,IAA6B;QACvD,OAAO;YACH,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM;gBAChB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;gBAC1C,IAAI,MAAM,CAAC,IAAI;oBAAE,MAAM,IAAI,KAAK,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;gBAC/D,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC;gBAC5B,IAAI,MAAM,YAAY,UAAU;oBAAE,MAAM,IAAI,KAAK,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;gBAChF,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;YAC1C,CAAC;YACD,KAAK,CAAC,KAAK,CAAC,CAAC;gBACT,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACnC,IAAI,MAAM,CAAC,IAAI;oBAAE,MAAM,IAAI,KAAK,EAAE,CAAC;gBACnC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;YAChD,CAAC;YACD,MAAM,CAAC,KAAK;gBACR,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC9B,CAAC;YACD,CAAC,MAAM,CAAC,aAAa,CAAC;gBAClB,OAAO,IAAI,CAAC;YAChB,CAAC;YACD,CAAC,MAAM,CAAC,YAAY,CAAC;gBACjB,OAAO,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC;YACzC,CAAC;SACJ,CAAC;IACN,CAAC;IAxBe,mBAAM,SAwBrB,CAAA;IAMD,IAAiB,KAAK,CAqDrB;IArDD,WAAiB,KAAK;QAElB;;WAEG;QACH,SAAgB,MAAM,CAAQ,IAAmC;YAC7D,OAAO;gBACH,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM;oBAChB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;oBAC1C,IAAI,MAAM,CAAC,IAAI;wBAAE,MAAM,IAAI,KAAK,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;oBAC/D,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC;oBAC5B,IAAI,MAAM,YAAY,UAAU;wBAAE,MAAM,IAAI,KAAK,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;oBAChF,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;gBAC1C,CAAC;gBACD,KAAK,CAAC,KAAK,CAAC,CAAC;oBACT,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;oBACnC,IAAI,MAAM,CAAC,IAAI;wBAAE,MAAM,IAAI,KAAK,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;oBAC/D,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;gBAChD,CAAC;gBACD,MAAM,CAAC,KAAK;oBACR,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAC9B,CAAC;gBACD,CAAC,MAAM,CAAC,aAAa,CAAC;oBAClB,OAAO,IAAI,CAAC;gBAChB,CAAC;gBACD,CAAC,MAAM,CAAC,YAAY,CAAC;oBACjB,OAAO,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC;gBACzC,CAAC;aACJ,CAAC;QACN,CAAC;QAxBe,YAAM,SAwBrB,CAAA;QAED;;WAEG;QACH,SAAgB,IAAI,CAAQ,IAA6B;YACrD;;eAEG;YACH,KAAK,SAAU,CAAC,CAAA,IAAI,CAAQ,IAAyB;;;oBACjD,MAAY,GAAG,kCAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,OAAA,CAAC;oBAC5C,IAAI,KAAK,GAAG,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBAChD,IAAI,MAAM,GAAgC,KAAK,CAAC;oBAChD;wBAAS,IAAI,CAAC;4BACV,MAAM,MAAM,CAAC;4BACb,MAAM,GAAG,KAAK,CAAC;wBACnB,CAAC;wBAAC,OAAO,CAAC,EAAE,CAAC;4BACT,IAAI,CAAC,YAAY,SAAS,EAAE,CAAC,CAAA,CAAC;;gCAAM,MAAM,CAAC,CAAC;4BAC5C,MAAM,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;4BAC/C,IAAI,MAAM,YAAY,UAAU,EAAE,CAAC,CAAA,CAAC;;gCAAM,KAAK,GAAG,MAAM,CAAC;wBAC7D,CAAC;;;;;;;;;;;aACJ;YACD,OAAO,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtE,CAAC;QAlBe,UAAI,OAkBnB,CAAA;IACL,CAAC,EArDgB,KAAK,GAAL,kBAAK,KAAL,kBAAK,QAqDrB;IASD,IAAiB,QAAQ,CAgDxB;IAhDD,WAAiB,QAAQ;QACrB;;WAEG;QACH,SAAgB,IAAI,CAAQ,GAA8B;YACtD,OAAO;gBACH,IAAI,CAAC,GAAG,MAAM;oBACV,OAAO,GAAG,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;gBAC/B,CAAC;gBACD,KAAK,CAAC,KAAK,CAAC,CAAY;oBACpB,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBACrD,IAAI,MAAM,YAAY,UAAU;wBAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;oBACxE,MAAM,CAAC,CAAC;gBACZ,CAAC;gBACD,MAAM,CAAC,KAAK;oBACR,OAAO,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAC7B,CAAC;gBACD,CAAC,MAAM,CAAC,aAAa,CAAC;oBAClB,OAAO,IAAI,CAAC;gBAChB,CAAC;gBACD,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,KAAI,CAAC;aACnC,CAAC;QACN,CAAC;QAlBe,aAAI,OAkBnB,CAAA;QAED;;WAEG;QACH,SAAgB,OAAO,CACnB,GAAiC,EACjC,KAAsB;YAEtB,OAAO;gBACH,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM;oBAChB,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;gBACzC,CAAC;gBACD,KAAK,CAAC,CAAC;oBACH,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACxB,CAAC;gBACD,KAAK,CAAC,MAAM,CAAC,KAAK;oBACd,MAAM,GAAG,CAAC,MAAM,CAAC,SAAgB,CAAC,CAAC;oBACnC,OAAO,EAAE,KAAK,EAAE,MAAM,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;gBAC9C,CAAC;gBACD,CAAC,MAAM,CAAC,aAAa,CAAC;oBAClB,OAAO,IAAI,CAAC;gBAChB,CAAC;gBACD,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,KAAI,CAAC;aACnC,CAAC;QACN,CAAC;QApBe,gBAAO,UAoBtB,CAAA;IACL,CAAC,EAhDgB,QAAQ,GAAR,qBAAQ,KAAR,qBAAQ,QAgDxB;AACL,CAAC,EAlJgB,YAAY,KAAZ,YAAY,QAkJ5B;AASD,MAAM,KAAW,UAAU,CAgE1B;AAhED,WAAiB,UAAU;IAEvB;;OAEG;IACH,SAAgB,MAAM,CAAwB,IAAmC;QAG7E,KAAK,UAAU,IAAI,CAAC,GAAG,MAAoB;YACvC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;gBAChB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;gBAC1C,IAAI,MAAM,CAAC,IAAI;oBAAE,MAAM,IAAI,KAAK,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;gBAC/D,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC;gBAC5B,IAAI,MAAM,YAAY,UAAU,CAAC,UAAU;oBAAE,MAAM,IAAI,KAAK,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;gBAC3F,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;YAChD,CAAC;iBAAM,CAAC;gBACJ,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC;gBACjC,IAAI,MAAM,CAAC,IAAI;oBAAE,MAAM,IAAI,KAAK,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;gBAC/D,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC;gBAC5B,IAAI,MAAM,YAAY,UAAU,CAAC,UAAU;oBAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;gBACnF,MAAM,IAAI,KAAK,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;YAClD,CAAC;QACL,CAAC;QACD,OAAO;YACH,IAAI;YACJ,KAAK,CAAC,KAAK,CAAC,CAAC;gBACT,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACnC,IAAI,MAAM,CAAC,IAAI;oBAAE,MAAM,IAAI,KAAK,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;gBAC/D,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC;gBAC5B,IAAI,MAAM,YAAY,UAAU,CAAC,UAAU;oBAAE,MAAM,IAAI,KAAK,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;gBAC3F,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;YAC1C,CAAC;YACD,KAAK,CAAC,MAAM,CAAC,KAAK;gBACd,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBACxC,IAAI,MAAM,CAAC,IAAI;oBAAE,OAAO,EAAE,KAAK,EAAE,MAAM,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;gBAC3D,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC;gBAC5B,IAAI,MAAM,YAAY,UAAU,CAAC,UAAU;oBAAE,MAAM,IAAI,KAAK,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;gBAC3F,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;YAC1C,CAAC;YACD,CAAC,MAAM,CAAC,aAAa,CAAC;gBAClB,OAAO,IAAI,CAAC;YAChB,CAAC;YACD,CAAC,MAAM,CAAC,YAAY,CAAC;gBACjB,OAAO,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC;YACzC,CAAC;SACJ,CAAC;IACN,CAAC;IAzCe,iBAAM,SAyCrB,CAAA;IAGD,MAAa,UAAU;KAAG;IAAb,qBAAU,aAAG,CAAA;IAK1B,IAAiB,WAAW,CAS3B;IATD,WAAiB,WAAW;QACxB;;WAEG;QACI,KAAK,UAAU,IAAI,CAAwB,IAAmC;YACjF,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACpC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACpC,OAAO,GAAG,CAAC;QACf,CAAC;QAJqB,gBAAI,OAIzB,CAAA;IACL,CAAC,EATgB,WAAW,GAAX,sBAAW,KAAX,sBAAW,QAS3B;AACL,CAAC,EAhEgB,UAAU,KAAV,UAAU,QAgE1B;AAID;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,MAAM,CACxB,GAAiC,EACjC,GAA0C;IAE1C,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAClD,KAAK,IAAI,MAAM,GAAG,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;QAC3D,IAAI,MAAM,YAAY,SAAS,EAAE,CAAC,CAAA,CAAC;;YAAM,OAAO,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC3F,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACzD,MAAM,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC;AACL,CAAC"}
+{"version":3,"file":"opteva.js","sourceRoot":"","sources":["../src/opteva.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAMjD;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,MAAM,CACxB,GAA0G,EAC1G,GAAwD;IAExD,IAAI,KAAK,GAAG,MAAM,GAAG,CAAC,MAAM,EAAE,CAAC;IAC/B,IAAI,SAAS,GAAG,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACvC,OAAO,SAAS,YAAY,SAAS,GAAG,CAAC;QACrC,MAAM,SAAS,GAAG,SAAS,CAAC;QAC5B,MAAM,SAAS,GAAG,MAAM,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC9C,IAAI,SAAS,YAAY,UAAU,EAAE,CAAC;YAClC,SAAS,GAAG,MAAM,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC5C,CAAC;aAAM,IAAI,SAAS,YAAY,KAAK,EAAE,CAAC;YACpC,MAAM,SAAS,CAAC;QACpB,CAAC;IACL,CAAC;IAED,IAAI,UAAU,GAA8C,SAAS,CAAC;IACtE,KAAK,SAAU,CAAC,CAAA,OAAO;QACnB,SAAS,CAAC;YACN,MAAM,SAAS,GAAyB,MAAM,UAAU,CAAC;YACzD,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YAC3C,IAAI,MAAM,YAAY,KAAK;gBACvB,MAAM,SAAS,CAAC;iBACf,IAAI,MAAM,YAAY,UAAU;gBACjC,UAAU,GAAG,MAAM,CAAC;;gBACnB,MAAM,IAAI,KAAK,EAAE,CAAC;QAC3B,CAAC;IACL,CAAC;IACD,OAAO,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,CAA4D,CAAC;AACnG,CAAC"}

package/build/optimization.d.ts

@@ -0,0 +1,30 @@
+import { Draft, Rejection, Opposition } from './types.ts';
+export interface Optimization<in out draft, in out rejection, in out opposition> extends AsyncDisposable, Optimization.View<draft, rejection, opposition> {
+}
+export declare namespace Optimization {
+    /**
+     * First yield must be a draft.
+     */
+    type Generator<draft, rejection, opposition> = AsyncGenerator<Draft<draft> | Opposition<opposition>, never, Rejection<rejection>>;
+    /**
+     * @param optgen Ownership transferred.
+     */
+    function from<draft, rejection, opposition>(optgen: Optimization.Generator<draft, rejection, opposition>): Optimization<draft, rejection, opposition>;
+    interface View<in out draft, in out rejection, in out opposition> {
+        repeat(): Promise<Draft<draft>>;
+        reject(rejection: Rejection<rejection>): Promise<Draft<draft> | Opposition<opposition>>;
+    }
+    namespace View {
+        function map<draft, nextdraft, rejection, opposition>(optview: Optimization.View<draft, rejection, opposition>, f: (draft: draft) => Promise<nextdraft>): Optimization.View<nextdraft, rejection, opposition>;
+    }
+    interface Snapshot<in out draft, in out rejection, in out opposition> extends Optimization.View<draft, rejection, opposition> {
+        repeat(): Promise<Draft<draft>>;
+        /**
+         * @throws {@link Rejection}
+         */
+        reject(rejection: Rejection<rejection>): Promise<Opposition<opposition>>;
+    }
+    namespace Snapshot {
+        function map<draft, nextdraft, rejection, opposition>(opt: Optimization.Snapshot<draft, rejection, opposition> | Optimization.View<draft, rejection, opposition>, f: (draft: draft) => Promise<nextdraft>): Optimization.Snapshot<nextdraft, rejection, opposition>;
+    }
+}