@zimtsui/iterflow 0.0.8 → 0.0.9

package/README.md

@@ -9,33 +9,31 @@ Iterflow is an AI workflow orchestrator specifically designed for Optimizer-Eval
 ### Optimizer
 
 ```ts
-import { Opposition, Optimization, Rejection } from '@zimtsui/iterflow';
+import { Optimization, Draft, Opposition } from '@zimtsui/iterflow';
 import OpenAI from 'openai';
 declare const openai: OpenAI;
 
-export async function *optimize(problem: string): Optimization.Raw<string> {
+export async function *optimize(problem: string): Optimization.Generator<string, string, 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.'
+                'Your answer will be evaluated and the feedback will be provided if the answer is rejected.',
+                'Output "OPPOSE" to insist your answer.'
             ].join(' ')
         },
         { role: 'user', content: problem },
     ];
-    for (;;) try {
+    for (;;) {
         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;
+        const rejection = completion.choices[0]!.message.content! === 'OPPOSE'
+            ? yield new Opposition('My answer is correct.')
+            : yield new Draft(completion.choices[0]!.message.content!);
         messages.push({
             role: 'user',
-            content: `Your answer is rejected: ${e.message}. Please revise your answer.`,
+            content: `Your answer is rejected: ${rejection.extract()}. Please revise your answer.`,
         });
     }
 }
@@ -44,12 +42,14 @@ export async function *optimize(problem: string): Optimization.Raw<string> {
 ### Evaluator
 
 ```ts
-import { Evaluation, Rejection, Opposition } from '@zimtsui/iterflow';
+import { Evaluation, Draft, 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();
+export async function *evaluate(problem: string): Evaluation.Generator<string, string, string> {
+    let input = yield;
+    if (input instanceof Draft) {} else throw new Error();
+    let draft = input;
     const messages: OpenAI.ChatCompletionMessageParam[] = [
         {
             role: 'system',
@@ -58,23 +58,29 @@ export async function *evaluate(problem: string): Evaluation.Raw<string> {
                 'Print only `ACCEPT` if it is correct.',
             ].join(' '),
         },
-        { role: 'user', content: `Problem: ${problem}\n\nAnswer: ${draft}` },
+        { role: 'user', content: `Problem: ${problem}\n\nAnswer: ${draft.extract()}` },
     ];
-    for (;;) try {
+    for (;;) {
         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.`,
-        });
+        const input = completion.choices[0]!.message.content === 'ACCEPT'
+            ? yield
+            : yield new Rejection(completion.choices[0]!.message.content!);
+
+        if (input instanceof Draft) {
+            const draft = input;
+            messages.push({
+                role: 'user',
+                content: `The answer is updated: ${draft.extract()}\n\nPlease examine it again.`,
+            });
+        } else if (input instanceof Opposition) {
+            const opposition = input;
+            messages.push({
+                role: 'user',
+                content: `Your rejection is opposed: ${opposition.extract()}\n\nPlease examine it again.`,
+            });
+        }
+        else throw new Error();
     }
 }
 ```
@@ -83,38 +89,24 @@ export async function *evaluate(problem: string): Evaluation.Raw<string> {
 
 ```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));
+declare function optimize(problem: string): Optimization.Generator<number, string, string>;
+declare function evaluateNumber(problem: string): Evaluation.Generator<number, string, string>;
+declare function stringifySolution(solution: number): Promise<string>;
+declare function evaluateString(problem: string): Evaluation.Generator<string, string, string>;
+
+export async function workflow(problem: string): Promise<string> {
+    await using optimization = Optimization.from(optimize(problem));
+    await using numberEvaluation = await Evaluation.from(evaluateNumber(problem));
+    await using stringEvaluation = await Evaluation.from(evaluateString(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);
+        const numberView = optimization;
+        await opteva(numberView, numberEvaluation);
+        const stringView = Optimization.map(numberView, stringifySolution);
+        await opteva(stringView, stringEvaluation);
+        const finalDraft = await stringView.repeat();
+        return finalDraft.extract();
     } 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
-```

package/build/evaluation.d.ts

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

package/build/evaluation.js

@@ -0,0 +1,25 @@
+import { Rejection, Opposition, 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();
+        return {
+            async submit(draft) {
+                return await evagen.next(draft).then(r => r.value);
+            },
+            async oppose(opposition) {
+                return await evagen.next(opposition).then(r => r.value);
+            },
+            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,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAU1D,MAAM,KAAW,UAAU,CAgC1B;AAhCD,WAAiB,UAAU;IAEvB;;OAEG;IACI,KAAK,UAAU,IAAI,CACtB,MAA0D;QAE1D,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,OAAO;YACH,KAAK,CAAC,MAAM,CAAC,KAAmB;gBAC5B,OAAO,MAAM,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACvD,CAAC;YAED,KAAK,CAAC,MAAM,CAAC,UAAkC;gBAC3C,OAAO,MAAM,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC5D,CAAC;YAED,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC;gBACvB,MAAM,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC;YAC1C,CAAC;SAC+C,CAAC;IACzD,CAAC;IAlBqB,eAAI,OAkBzB,CAAA;AASL,CAAC,EAhCgB,UAAU,KAAV,UAAU,QAgC1B"}

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, rejection, opposition>(opt: Optimization.View<draft, rejection, opposition>, eva: Evaluation<draft, rejection, opposition>): Promise<void>;

package/build/opteva.js

@@ -1,298 +1,20 @@
-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";
+import { Evaluation } from "./evaluation.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();
+    for (let evaoutput = await eva.submit(draft); 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;
+        }
     }
 }
 //# 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;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAK7C;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,MAAM,CACxB,GAAoD,EACpD,GAA6C;IAE7C,IAAI,KAAK,GAAG,MAAM,GAAG,CAAC,MAAM,EAAE,CAAC;IAC/B,KAAK,IAAI,SAAS,GAAG,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,YAAY,SAAS,GAAG,CAAC;QAC5E,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;AACL,CAAC"}