bit2 0.0.2 → 0.0.3

package/dist/test/fuse/exp.test.js

@@ -1,225 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-const Print_1 = require("../../src/fuse/Print");
-const Fuse_1 = require("../../src/fuse/Fuse");
-const Print_2 = require("../../src/lambda/Print");
-let env = {};
-/**
- * insert
- */
-console.log('=============Insertion======================');
-console.log('1. insert "Hello " at 0 |> exp(const("world!"))');
-Fuse_1.fuse(env, { type: 'insert', str: "Hello ", position: 0 }, { type: 'exp', binding: [{ type: 'constant', value: "world!" }, "world!"] }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-console.log('===================================');
-console.log('2. insert "Hello " at 0 |> exp(const(17))');
-Fuse_1.fuse(env, { type: 'insert', str: "Hello ", position: 0 }, { type: 'exp', binding: [{ type: 'constant', value: 17 }, 17] }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-console.log('===================================');
-console.log('3. insert "Hello " at 0 |> exp(const(true))');
-Fuse_1.fuse(env, { type: 'insert', str: "Hello ", position: 0 }, { type: 'exp', binding: [{ type: 'constant', value: true }, true] }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-console.log('===================================');
-console.log('4. insert " " at 5 |> exp(const("Helloworld!"))');
-Fuse_1.fuse(env, { type: 'insert', str: " ", position: 5 }, { type: 'exp', binding: [{ type: 'constant', value: "Helloworld" }, "Helloworld"] }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-console.log('===================================');
-console.log('4. insert "0" at 1 |> exp(const(15))');
-Fuse_1.fuse(env, { type: 'insert', str: "0", position: 1 }, { type: 'exp', binding: [{ type: 'constant', value: 15 }, 15] }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-console.log('===================================');
-console.log('4. insert "0" at 2 |> exp(const(15))');
-Fuse_1.fuse(env, { type: 'insert', str: "0", position: 2 }, { type: 'exp', binding: [{ type: 'constant', value: 15 }, 15] }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-console.log('===================================');
-console.log('4. insert "!" at 2 |> exp(const("Hi"))');
-Fuse_1.fuse(env, { type: 'insert', str: "!", position: 2 }, { type: 'exp', binding: [{ type: 'constant', value: "Hi" }, "Hi"] }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-console.log('===================================');
-console.log('4. insert "Mr.You" at 2 |> exp(const("Hi!"))');
-Fuse_1.fuse(env, { type: 'insert', str: "Mr.You", position: 4 }, { type: 'exp', binding: [{ type: 'constant', value: "Hi!" }, "Hi!"] }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-/**
- * replace
- */
-console.log('=============Replacement======================');
-console.log('1. replace "Hello" with "Hi" at 0 |> exp(const("Hello"))');
-Fuse_1.fuse(env, { type: 'replace', str1: "Hello", str2: "Hi", position: 0 }, { type: 'exp', binding: [{ type: 'constant', value: "Hello" }, "Hello"] }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-console.log('2. replace "Hello" with "Hi" at 0 |> exp(const("Hello, Mr.Bin")');
-Fuse_1.fuse(env, { type: 'replace', str1: "Hello", str2: "Hi", position: 0 }, { type: 'exp', binding: [{ type: 'constant', value: "Hello, Mr.Bin" }, "Hello, Mr.Bin"] }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-console.log('3. replace "you" with "they" at 0 |> exp(const("how are")');
-Fuse_1.fuse(env, { type: 'replace', str1: "you", str2: "they", position: 8 }, { type: 'exp', binding: [{ type: 'constant', value: "how are" }, "how are"] }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-console.log('4. replace "fine" with "nice" at 0 |> exp(x)');
-env['x'] = [17, []];
-Fuse_1.fuse(env, { type: 'replace', str1: "fine", str2: "nice", position: 3 }, { type: 'exp', binding: [{ type: 'variable', name: "x" }, 17] }).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    console.log(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-// reset env
-env = {};
-/**
- * Delete
- */
-console.log('=============Deletion======================');
-console.log('1. delete "Hello " at 0 |> exp(const("Hello Mr.Bin"))');
-Fuse_1.fuse(env, { type: 'delete', str: "Hello ", position: 0 }, { type: 'exp', binding: [{ type: 'constant', value: "Hello Mr.Bin" }, "Hello Mr.Bin"] }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-console.log('2. delete "Hello " at 0 |> exp(x)');
-env['x'] = ["Hello Mr.Bin", []];
-Fuse_1.fuse(env, { type: 'delete', str: "Hello ", position: 0 }, { type: 'exp', binding: [{ type: 'variable', name: "x" }, "Hello Mr.Bin"] }).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    console.log(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-env = {};
-console.log('3. delete "Hello " at 0 |> exp(x.greeting)');
-env['x'] = [{ type: 'object', fields: { greeting: "Hello Mr.Bin", age: 18 } }, [{ type: 'object', fields: { greeting: [], age: [] } }]];
-Fuse_1.fuse(env, { type: 'delete', str: "Hello ", position: 0 }, { type: 'exp', binding: [{ type: 'field', field: 'greeting', object: { type: "variable", name: "x" } }, "Hello Mr.Bin"] }).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Fuse_1.printEnvironment(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-env = {};
-console.log('4. delete "Hello" at 0 |> exp(x.greeting)');
-env['x'] = [{ type: 'object', fields: { greeting: "Hello", age: 18 } }, [{ type: 'object', fields: { greeting: [], age: [] } }]];
-Fuse_1.fuse(env, { type: 'delete', str: "Hello", position: 0 }, { type: 'exp', binding: [{ type: 'field', field: 'greeting', object: { type: "variable", name: "x" } }, "Hello"] }).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Fuse_1.printEnvironment(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-env = {};
-console.log('5. delete "Hello" at 0 |> exp(greeting)');
-env['greeting'] = ["Hello", []];
-Fuse_1.fuse(env, { type: 'delete', str: "Hello", position: 0 }, { type: 'exp', binding: [{ type: 'variable', name: 'greeting' }, "Hello"] }).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Fuse_1.printEnvironment(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-env = {};
-console.log('6. delete "15" at 0 |> exp(age)');
-env['age'] = [15, []];
-Fuse_1.fuse(env, { type: 'delete', str: "15", position: 0 }, { type: 'exp', binding: [{ type: 'variable', name: 'age' }, 15] }).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Fuse_1.printEnvironment(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-env = {};
-console.log('7. delete "Hello Mr.Bin" at 0 |> exp(x.greeting)');
-env['x'] = [{ type: 'object', fields: { greeting: "Hello", age: 18 } }, [{ type: 'object', fields: { greeting: [], age: [] } }]];
-Fuse_1.fuse(env, { type: 'delete', str: "Hello Mr.Bin", position: 0 }, { type: 'exp', binding: [{ type: 'field', field: 'greeting', object: { type: "variable", name: "x" } }, "Hello"] }).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Fuse_1.printEnvironment(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-env = {};
-console.log('8. delete "Mr." at 6 |> exp(x.greeting)');
-env['x'] = [{ type: 'object', fields: { greeting: "Hello Mr.Bin", age: 18 } }, [{ type: 'object', fields: { greeting: [], age: [] } }]];
-Fuse_1.fuse(env, { type: 'delete', str: "Mr.", position: 6 }, { type: 'exp', binding: [{ type: 'field', field: 'greeting', object: { type: "variable", name: "x" } }, "Hello Mr.Bin"] }).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Fuse_1.printEnvironment(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-env = {};
-console.log('9. delete "1" at 1 |> exp(age)');
-env['age'] = [115, []];
-Fuse_1.fuse(env, { type: 'delete', str: "1", position: 1 }, { type: 'exp', binding: [{ type: 'variable', name: 'age' }, 115] }).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Fuse_1.printEnvironment(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-env = {};
-console.log('10. delete "Mr.Bin" at 6 |> exp(x.greeting)');
-env['x'] = [{ type: 'object', fields: { greeting: "Hello Mr.", age: 18 } }, [{ type: 'object', fields: { greeting: [], age: [] } }]];
-Fuse_1.fuse(env, { type: 'delete', str: "Mr.Bin", position: 6 }, { type: 'exp', binding: [{ type: 'field', field: 'greeting', object: { type: "variable", name: "x" } }, "Hello Mr."] }).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Fuse_1.printEnvironment(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-env = {};
-console.log('11. delete "15 Hello" at 1 |> exp(age)');
-env['age'] = [115, []];
-Fuse_1.fuse(env, { type: 'delete', str: "15 Hello", position: 1 }, { type: 'exp', binding: [{ type: 'variable', name: 'age' }, 115] }).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Fuse_1.printEnvironment(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-env = {};
-console.log('12. delete "Hello" at 5 |> exp(age)');
-env['age'] = [115, []];
-Fuse_1.fuse(env, { type: 'delete', str: "Hello", position: 5 }, { type: 'exp', binding: [{ type: 'variable', name: 'age' }, 115] }).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Fuse_1.printEnvironment(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-env = {};
-console.log('13. id |> exp(x.greeting)');
-env['x'] = [{ type: 'object', fields: { greeting: "Hello Mr.Bin", age: 18 } }, [{ type: 'object', fields: { greeting: [], age: [] } }]];
-Fuse_1.fuse(env, { type: 'id' }, { type: 'exp', binding: [{ type: 'field', field: 'greeting', object: { type: "variable", name: "x" } }, "Hello Mr.Bin"] }).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Fuse_1.printEnvironment(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-env = {};
-console.log('14. id |> exp(greeting)');
-env['greeting'] = ["Hello", []];
-Fuse_1.fuse(env, { type: 'id' }, { type: 'exp', binding: [{ type: 'variable', name: 'greeting' }, "Hello"] }).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Fuse_1.printEnvironment(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-env = {};
-//# sourceMappingURL=exp.test.js.map

package/dist/test/fuse/exp.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"exp.test.js","sourceRoot":"","sources":["../../../test/fuse/exp.test.ts"],"names":[],"mappings":";;AAEA,gDAAsD;AACtD,8CAA0E;AAE1E,kDAAmD;AAGnD,IAAI,GAAG,GAAgB,EAAE,CAAC;AAE1B;;GAEG;AACH,OAAO,CAAC,GAAG,CAAC,8CAA8C,CAAC,CAAA;AAC3D,OAAO,CAAC,GAAG,CAAC,iDAAiD,CAAC,CAAC;AAC/D,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,QAAQ,EAAC,QAAQ,EAAC,CAAC,EAAC,EACxC,EAAE,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,QAAQ,EAAC,EAAC,QAAQ,CAAC,EAAa,CAClF,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,OAAO,CAAC,GAAG,CAAC,2CAA2C,CAAC,CAAC;AACzD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,QAAQ,EAAC,QAAQ,EAAC,CAAC,EAAC,EACxC,EAAE,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,EAAE,EAAC,EAAE,EAAE,CAAC,EAAa,CACvE,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,OAAO,CAAC,GAAG,CAAC,6CAA6C,CAAC,CAAC;AAC3D,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,QAAQ,EAAC,QAAQ,EAAC,CAAC,EAAC,EACxC,EAAE,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,IAAI,EAAC,EAAE,IAAI,CAAC,EAAa,CAC3E,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,OAAO,CAAC,GAAG,CAAC,iDAAiD,CAAC,CAAC;AAC/D,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,GAAG,EAAC,QAAQ,EAAC,CAAC,EAAC,EACnC,EAAE,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,YAAY,EAAC,EAAE,YAAY,CAAC,EAAa,CAC3F,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,OAAO,CAAC,GAAG,CAAC,sCAAsC,CAAC,CAAC;AACpD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,GAAG,EAAC,QAAQ,EAAE,CAAC,EAAC,EACpC,EAAE,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,EAAE,EAAC,EAAE,EAAE,CAAC,EAAa,CACvE,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,OAAO,CAAC,GAAG,CAAC,sCAAsC,CAAC,CAAC;AACpD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,GAAG,EAAC,QAAQ,EAAE,CAAC,EAAC,EACpC,EAAE,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,EAAE,EAAC,EAAE,EAAE,CAAC,EAAa,CACvE,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,OAAO,CAAC,GAAG,CAAC,wCAAwC,CAAC,CAAC;AACtD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,GAAG,EAAC,QAAQ,EAAE,CAAC,EAAC,EACpC,EAAE,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,IAAI,EAAC,EAAE,IAAI,CAAC,EAAa,CAC3E,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,OAAO,CAAC,GAAG,CAAC,8CAA8C,CAAC,CAAC;AAC5D,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,QAAQ,EAAC,QAAQ,EAAE,CAAC,EAAC,EACzC,EAAE,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE,KAAK,CAAC,EAAa,CAC7E,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH;;GAEG;AACH,OAAO,CAAC,GAAG,CAAC,gDAAgD,CAAC,CAAA;AAC7D,OAAO,CAAC,GAAG,CAAC,0DAA0D,CAAC,CAAC;AACxE,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,SAAS,EAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAC,IAAI,EAAE,QAAQ,EAAC,CAAC,EAAC,EACrD,EAAE,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,OAAO,EAAC,EAAE,OAAO,CAAC,EAAa,CACjF,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,OAAO,CAAC,GAAG,CAAC,iEAAiE,CAAC,CAAC;AAC/E,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,SAAS,EAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAC,IAAI,EAAE,QAAQ,EAAC,CAAC,EAAC,EACrD,EAAE,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,eAAe,EAAC,EAAE,eAAe,CAAC,EAAa,CACjG,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,OAAO,CAAC,GAAG,CAAC,2DAA2D,CAAC,CAAC;AACzE,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,SAAS,EAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAC,MAAM,EAAE,QAAQ,EAAC,CAAC,EAAC,EACrD,EAAE,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,SAAS,EAAC,EAAE,SAAS,CAAC,EAAa,CACrF,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,OAAO,CAAC,GAAG,CAAC,8CAA8C,CAAC,CAAC;AAC5D,GAAG,CAAC,GAAG,CAAC,GAAC,CAAC,EAAE,EAAC,EAAE,CAAC,CAAC;AACjB,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,SAAS,EAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAC,MAAM,EAAE,QAAQ,EAAC,CAAC,EAAC,EACtD,EAAE,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,GAAG,EAAC,EAAE,EAAE,CAAC,EAAa,CACvE,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACpB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,YAAY;AACZ,GAAG,GAAG,EAAE,CAAC;AAET;;GAEG;AACH,OAAO,CAAC,GAAG,CAAC,6CAA6C,CAAC,CAAA;AAC1D,OAAO,CAAC,GAAG,CAAC,uDAAuD,CAAC,CAAC;AACrE,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAC,CAAC,EAAC,EACzC,EAAE,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,cAAc,EAAC,EAAE,cAAc,CAAC,EAAa,CAC/F,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,OAAO,CAAC,GAAG,CAAC,mCAAmC,CAAC,CAAC;AACjD,GAAG,CAAC,GAAG,CAAC,GAAC,CAAC,cAAc,EAAC,EAAE,CAAC,CAAC;AAC7B,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAC,CAAC,EAAC,EACzC,EAAE,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,GAAG,EAAC,EAAE,cAAc,CAAC,EAAa,CACnF,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC5E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACpB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,GAAG,GAAG,EAAE,CAAC;AAIT,OAAO,CAAC,GAAG,CAAC,4CAA4C,CAAC,CAAC;AAC1D,GAAG,CAAC,GAAG,CAAC,GAAC,CAAC,EAAC,IAAI,EAAC,QAAQ,EAAE,MAAM,EAAC,EAAC,QAAQ,EAAC,cAAc,EAAE,GAAG,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,IAAI,EAAC,QAAQ,EAAE,MAAM,EAAC,EAAC,QAAQ,EAAC,EAAE,EAAE,GAAG,EAAC,EAAE,EAAC,EAAC,CAAC,CAAC,CAAC;AACtH,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAC,CAAC,EAAC,EACzC,EAAC,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,UAAU,EAAE,MAAM,EAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,GAAG,EAAC,EAAC,EAAE,cAAc,CAAC,EAAa,CAC3H,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC5E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,uBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,GAAG,GAAG,EAAE,CAAC;AAET,OAAO,CAAC,GAAG,CAAC,2CAA2C,CAAC,CAAC;AACzD,GAAG,CAAC,GAAG,CAAC,GAAC,CAAC,EAAC,IAAI,EAAC,QAAQ,EAAE,MAAM,EAAC,EAAC,QAAQ,EAAC,OAAO,EAAE,GAAG,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,IAAI,EAAC,QAAQ,EAAE,MAAM,EAAC,EAAC,QAAQ,EAAC,EAAE,EAAE,GAAG,EAAC,EAAE,EAAC,EAAC,CAAC,CAAC,CAAC;AAC/G,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAC,CAAC,EAAC,EACxC,EAAC,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,UAAU,EAAE,MAAM,EAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,GAAG,EAAC,EAAC,EAAE,OAAO,CAAC,EAAa,CACpH,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC5E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,uBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,GAAG,GAAG,EAAE,CAAC;AAGT,OAAO,CAAC,GAAG,CAAC,yCAAyC,CAAC,CAAC;AACvD,GAAG,CAAC,UAAU,CAAC,GAAC,CAAC,OAAO,EAAC,EAAE,CAAC,CAAC;AAC7B,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAC,CAAC,EAAC,EACxC,EAAC,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,UAAU,EAAC,EAAE,OAAO,CAAC,EAAa,CAClF,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC5E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,uBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,GAAG,GAAG,EAAE,CAAC;AAET,OAAO,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC;AAC/C,GAAG,CAAC,KAAK,CAAC,GAAC,CAAC,EAAE,EAAC,EAAE,CAAC,CAAC;AACnB,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAC,CAAC,EAAC,EACrC,EAAC,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,KAAK,EAAC,EAAE,EAAE,CAAC,EAAa,CACxE,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC5E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,uBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,GAAG,GAAG,EAAE,CAAC;AAIT,OAAO,CAAC,GAAG,CAAC,kDAAkD,CAAC,CAAC;AAChE,GAAG,CAAC,GAAG,CAAC,GAAC,CAAC,EAAC,IAAI,EAAC,QAAQ,EAAE,MAAM,EAAC,EAAC,QAAQ,EAAC,OAAO,EAAE,GAAG,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,IAAI,EAAC,QAAQ,EAAE,MAAM,EAAC,EAAC,QAAQ,EAAC,EAAE,EAAE,GAAG,EAAC,EAAE,EAAC,EAAC,CAAC,CAAC,CAAC;AAC/G,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,cAAc,EAAE,QAAQ,EAAC,CAAC,EAAC,EAC/C,EAAC,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,UAAU,EAAE,MAAM,EAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,GAAG,EAAC,EAAC,EAAE,OAAO,CAAC,EAAa,CACpH,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC5E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,uBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,GAAG,GAAG,EAAE,CAAC;AAGT,OAAO,CAAC,GAAG,CAAC,yCAAyC,CAAC,CAAC;AACvD,GAAG,CAAC,GAAG,CAAC,GAAC,CAAC,EAAC,IAAI,EAAC,QAAQ,EAAE,MAAM,EAAC,EAAC,QAAQ,EAAC,cAAc,EAAE,GAAG,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,IAAI,EAAC,QAAQ,EAAE,MAAM,EAAC,EAAC,QAAQ,EAAC,EAAE,EAAE,GAAG,EAAC,EAAE,EAAC,EAAC,CAAC,CAAC,CAAC;AACtH,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAC,CAAC,EAAC,EACtC,EAAC,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,UAAU,EAAE,MAAM,EAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,GAAG,EAAC,EAAC,EAAE,cAAc,CAAC,EAAa,CAC3H,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC5E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,uBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,GAAG,GAAG,EAAE,CAAC;AAET,OAAO,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAC;AAC9C,GAAG,CAAC,KAAK,CAAC,GAAC,CAAC,GAAG,EAAC,EAAE,CAAC,CAAC;AACpB,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAC,CAAC,EAAC,EACpC,EAAC,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,KAAK,EAAC,EAAE,GAAG,CAAC,EAAa,CACzE,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC5E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,uBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,GAAG,GAAG,EAAE,CAAC;AAIT,OAAO,CAAC,GAAG,CAAC,6CAA6C,CAAC,CAAC;AAC3D,GAAG,CAAC,GAAG,CAAC,GAAC,CAAC,EAAC,IAAI,EAAC,QAAQ,EAAE,MAAM,EAAC,EAAC,QAAQ,EAAC,WAAW,EAAE,GAAG,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,IAAI,EAAC,QAAQ,EAAE,MAAM,EAAC,EAAC,QAAQ,EAAC,EAAE,EAAE,GAAG,EAAC,EAAE,EAAC,EAAC,CAAC,CAAC,CAAC;AACnH,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAC,CAAC,EAAC,EACzC,EAAC,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,UAAU,EAAE,MAAM,EAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,GAAG,EAAC,EAAC,EAAE,WAAW,CAAC,EAAa,CACxH,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC5E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,uBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,GAAG,GAAG,EAAE,CAAC;AAGT,OAAO,CAAC,GAAG,CAAC,wCAAwC,CAAC,CAAC;AACtD,GAAG,CAAC,KAAK,CAAC,GAAC,CAAC,GAAG,EAAC,EAAE,CAAC,CAAC;AACpB,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,UAAU,EAAE,QAAQ,EAAC,CAAC,EAAC,EAC3C,EAAC,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,KAAK,EAAC,EAAE,GAAG,CAAC,EAAa,CACzE,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC5E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,uBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,GAAG,GAAG,EAAE,CAAC;AAGT,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAC;AACnD,GAAG,CAAC,KAAK,CAAC,GAAC,CAAC,GAAG,EAAC,EAAE,CAAC,CAAC;AACpB,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAC,CAAC,EAAC,EACxC,EAAC,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,KAAK,EAAC,EAAE,GAAG,CAAC,EAAa,CACzE,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC5E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,uBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,GAAG,GAAG,EAAE,CAAC;AAIT,OAAO,CAAC,GAAG,CAAC,2BAA2B,CAAC,CAAC;AACzC,GAAG,CAAC,GAAG,CAAC,GAAC,CAAC,EAAC,IAAI,EAAC,QAAQ,EAAE,MAAM,EAAC,EAAC,QAAQ,EAAC,cAAc,EAAE,GAAG,EAAC,EAAE,EAAC,EAAE,EAAC,CAAC,EAAC,IAAI,EAAC,QAAQ,EAAE,MAAM,EAAC,EAAC,QAAQ,EAAC,EAAE,EAAE,GAAG,EAAC,EAAE,EAAC,EAAC,CAAC,CAAC,CAAC;AACtH,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,IAAI,EAAC,EACX,EAAC,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,UAAU,EAAE,MAAM,EAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,GAAG,EAAC,EAAC,EAAE,cAAc,CAAC,EAAa,CAC3H,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC5E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,uBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,GAAG,GAAG,EAAE,CAAC;AAIT,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;AACvC,GAAG,CAAC,UAAU,CAAC,GAAC,CAAC,OAAO,EAAC,EAAE,CAAC,CAAC;AAC7B,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,IAAI,EAAC,EACX,EAAC,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,UAAU,EAAC,EAAE,OAAO,CAAC,EAAa,CAClF,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC5E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,uBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,GAAG,GAAG,EAAE,CAAC"}

package/dist/test/fuse/lambda.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/test/fuse/lambda.test.js

@@ -1,139 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-const Print_1 = require("../../src/fuse/Print");
-const Fuse_1 = require("../../src/fuse/Fuse");
-const Print_2 = require("../../src/lambda/Print");
-let env = {};
-/**
- * Declare/Assign
- */
-console.log('===================================');
-// let x = 1; <x>
-console.log('1. replace "1" with "2" at 0 |> \ x.x 1');
-let lambdaAppDeclare = {
-    type: 'lambda',
-    variable: { type: 'variable', name: 'x' },
-    body: { type: 'exp', binding: [{ type: 'variable', name: 'x' }, 1] },
-    binding: [{ type: 'constant', value: 1 }, 1],
-    marker: { type: 'declare' }
-};
-Fuse_1.fuse(env, { type: 'replace', str1: "1", str2: "2", position: 0 }, lambdaAppDeclare).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Fuse_1.printEnvironment(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-env = {};
-console.log('===================================');
-// x = y+10; <x>
-env['y'] = [1, [1]];
-console.log('2. replace "11" with "12" at 0 |> \ x.x (y+10)');
-let lambdaAppAssign = {
-    type: 'lambda',
-    variable: { type: 'variable', name: 'x' },
-    body: { type: 'exp', binding: [{ type: 'variable', name: 'x' }, 11] },
-    binding: [{ type: 'binary', operator: "+", left: { type: 'variable', name: 'y' }, right: { type: 'constant', value: 10 } }, 11],
-    marker: { type: 'assign' }
-};
-Fuse_1.fuse(env, { type: 'replace', str1: "11", str2: "12", position: 0 }, lambdaAppAssign).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Fuse_1.printEnvironment(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-env = {};
-console.log('===================================');
-// x = 10+y; <x>
-env['y'] = [1, []];
-console.log('3. replace "11" with "12" at 0 |> \ x.x (10+y)');
-let lambdaAppAssign2 = {
-    type: 'lambda',
-    variable: { type: 'variable', name: 'x' },
-    body: { type: 'exp', binding: [{ type: 'variable', name: 'x' }, 11] },
-    binding: [{ type: 'binary', operator: "+", right: { type: 'variable', name: 'y' }, left: { type: 'constant', value: 10 } }, 11],
-    marker: { type: 'assign' }
-};
-Fuse_1.fuse(env, { type: 'replace', str1: "11", str2: "12", position: 0 }, lambdaAppAssign2).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Fuse_1.printEnvironment(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-env = {};
-console.log('===================================');
-// let x = 1; <x>
-console.log('4. replace "2" with "1" at 2 |> (\\x.x (\\x.x (1+x))) 1');
-let lambdaAppDeclareAssign = {
-    type: 'lambda',
-    variable: { type: 'variable', name: 'x' },
-    body: { type: 'seq', nodes: [
-            { type: 'exp', binding: [{ type: 'variable', name: 'x' }, 1] },
-            { type: 'space', width: 1 },
-            { type: 'lambda',
-                variable: { type: 'variable', name: 'x' },
-                body: { type: 'exp', binding: [{ type: 'variable', name: 'x' }, 2] },
-                binding: [{ type: 'binary', operator: "+", left: { type: 'variable', name: 'x' }, right: { type: 'constant', value: 1 } }, 2],
-                marker: { type: 'assign' }
-            }
-        ] },
-    binding: [{ type: 'constant', value: 1 }, 1],
-    marker: { type: 'declare' }
-};
-Fuse_1.fuse(env, { type: 'replace', str1: "2", str2: "1", position: 2 }, lambdaAppDeclareAssign).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Fuse_1.printEnvironment(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-env = {};
-console.log('===================================');
-// let x = 1; <x>; x = x+1; x
-console.log('5. replace "1" with "2" at 0 |> (\\x.x (\\x.x (1+x))) 1');
-let lambdaAppDeclareAssign2 = {
-    type: 'lambda',
-    variable: { type: 'variable', name: 'x' },
-    body: { type: 'seq', nodes: [
-            { type: 'exp', binding: [{ type: 'variable', name: 'x' }, 1] },
-            { type: 'space', width: 1 },
-            { type: 'lambda',
-                variable: { type: 'variable', name: 'x' },
-                body: { type: 'exp', binding: [{ type: 'variable', name: 'x' }, 2] },
-                binding: [{ type: 'binary', operator: "+", left: { type: 'variable', name: 'x' }, right: { type: 'constant', value: 1 } }, 2],
-                marker: { type: 'assign' }
-            }
-        ] },
-    binding: [{ type: 'constant', value: 1 }, 1],
-    marker: { type: 'declare' }
-};
-Fuse_1.fuse(env, { type: 'replace', str1: "1", str2: "2", position: 0 }, lambdaAppDeclareAssign2).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Fuse_1.printEnvironment(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-env = {};
-// /**
-//  * Loopitem
-//  */
-// console.log('==============Loopitem=====================')
-// env['lst'] = [[1,2,3],[]];
-// env['lst_new']=[[10],[]];
-// console.log('1. replace "2" with "20" at 0 |> \ x.x 2');
-// let lambdaAppLoopitem: LambdaAppNode = {
-//   type:'lambda',
-//   variable: {type:'variable', name:'x'},
-//   body:{type:'exp', binding:[{type:'variable',name:'x'}, 2]},
-//   binding:[{type:'constant', value:2},2],
-//   marker: {type:'loopitem', lst:{type:'variable', name:'lst'}} as LoopItemMarker
-// }
-// fuse(env
-//   , {type:'replace',str1: "2", str2:"20", position:0}
-//   , lambdaAppLoopitem
-// ).forEach(({newEnv:newEnv, newTermNode: newTerm, remainingOperation: newOp}) => {
-//   console.log('------')
-//   printEnvironment(newEnv);
-//   printNode(newTerm);
-//   console.log('U: ' + operationToStr(newOp));
-// });
-// env={};
-//# sourceMappingURL=lambda.test.js.map

package/dist/test/fuse/lambda.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"lambda.test.js","sourceRoot":"","sources":["../../../test/fuse/lambda.test.ts"],"names":[],"mappings":";;AAEA,gDAAsD;AACtD,8CAA0E;AAE1E,kDAAmD;AAGnD,IAAI,GAAG,GAAgB,EAAE,CAAC;AAE1B;;GAEG;AAIH,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,iBAAiB;AACjB,OAAO,CAAC,GAAG,CAAC,yCAAyC,CAAC,CAAC;AACvD,IAAI,gBAAgB,GAAkB;IACpC,IAAI,EAAC,QAAQ;IACb,QAAQ,EAAE,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,GAAG,EAAC;IACrC,IAAI,EAAC,EAAC,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAC,IAAI,EAAC,GAAG,EAAC,EAAE,CAAC,CAAC,EAAC;IAC1D,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,CAAC,EAAC,EAAC,CAAC,CAAC;IACtC,MAAM,EAAE,EAAC,IAAI,EAAC,SAAS,EAAkB;CAC1C,CAAA;AACD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,SAAS,EAAC,IAAI,EAAE,GAAG,EAAE,IAAI,EAAC,GAAG,EAAE,QAAQ,EAAC,CAAC,EAAC,EAChD,gBAAgB,CACnB,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC7E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,uBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,GAAG,GAAC,EAAE,CAAC;AAGP,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,gBAAgB;AAChB,GAAG,CAAC,GAAG,CAAC,GAAC,CAAC,CAAC,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACjB,OAAO,CAAC,GAAG,CAAC,gDAAgD,CAAC,CAAC;AAC9D,IAAI,eAAe,GAAkB;IACnC,IAAI,EAAC,QAAQ;IACb,QAAQ,EAAE,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,GAAG,EAAC;IACrC,IAAI,EAAC,EAAC,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAC,IAAI,EAAC,GAAG,EAAC,EAAE,EAAE,CAAC,EAAC;IAC3D,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,QAAQ,EAAE,QAAQ,EAAC,GAAG,EAAE,IAAI,EAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,GAAG,EAAC,EAAE,KAAK,EAAC,EAAC,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,EAAE,EAAC,EAAC,EAAC,EAAE,CAAC;IAC/G,MAAM,EAAE,EAAC,IAAI,EAAC,QAAQ,EAAiB;CACxC,CAAA;AACD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,SAAS,EAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAC,IAAI,EAAE,QAAQ,EAAC,CAAC,EAAC,EAClD,eAAe,CAClB,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC7E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,uBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,GAAG,GAAC,EAAE,CAAC;AAGP,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,gBAAgB;AAChB,GAAG,CAAC,GAAG,CAAC,GAAC,CAAC,CAAC,EAAC,EAAE,CAAC,CAAC;AAChB,OAAO,CAAC,GAAG,CAAC,gDAAgD,CAAC,CAAC;AAC9D,IAAI,gBAAgB,GAAkB;IACpC,IAAI,EAAC,QAAQ;IACb,QAAQ,EAAE,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,GAAG,EAAC;IACrC,IAAI,EAAC,EAAC,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAC,IAAI,EAAC,GAAG,EAAC,EAAE,EAAE,CAAC,EAAC;IAC3D,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,QAAQ,EAAE,QAAQ,EAAC,GAAG,EAAE,KAAK,EAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,GAAG,EAAC,EAAE,IAAI,EAAC,EAAC,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,EAAE,EAAC,EAAC,EAAE,EAAE,CAAC;IAChH,MAAM,EAAE,EAAC,IAAI,EAAC,QAAQ,EAAiB;CACxC,CAAA;AACD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,SAAS,EAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAC,IAAI,EAAE,QAAQ,EAAC,CAAC,EAAC,EAClD,gBAAgB,CACnB,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC7E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,uBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,GAAG,GAAC,EAAE,CAAC;AAGP,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,iBAAiB;AACjB,OAAO,CAAC,GAAG,CAAC,yDAAyD,CAAC,CAAC;AACvE,IAAI,sBAAsB,GAAkB;IAC1C,IAAI,EAAC,QAAQ;IACb,QAAQ,EAAE,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,GAAG,EAAC;IACrC,IAAI,EAAC,EAAC,IAAI,EAAC,KAAK,EAAE,KAAK,EAAC;YACtB,EAAC,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAC,IAAI,EAAC,GAAG,EAAC,EAAE,CAAC,CAAC,EAAC;YACrD,EAAC,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,CAAC,EAAC;YACvB,EAAC,IAAI,EAAC,QAAQ;gBACZ,QAAQ,EAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,GAAG,EAAC;gBACpC,IAAI,EAAC,EAAC,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAC,IAAI,EAAC,GAAG,EAAC,EAAE,CAAC,CAAC,EAAC;gBAC1D,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,QAAQ,EAAE,QAAQ,EAAC,GAAG,EAAE,IAAI,EAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,GAAG,EAAC,EAAE,KAAK,EAAC,EAAC,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,CAAC,EAAC,EAAC,EAAE,CAAC,CAAC;gBAC9G,MAAM,EAAE,EAAC,IAAI,EAAC,QAAQ,EAAiB;aACxC;SACF,EAAC;IACF,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,CAAC,EAAC,EAAC,CAAC,CAAC;IACtC,MAAM,EAAE,EAAC,IAAI,EAAC,SAAS,EAAkB;CAC1C,CAAA;AACD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,SAAS,EAAC,IAAI,EAAE,GAAG,EAAE,IAAI,EAAC,GAAG,EAAE,QAAQ,EAAC,CAAC,EAAC,EAChD,sBAAsB,CACzB,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC7E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,uBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,GAAG,GAAC,EAAE,CAAC;AAIP,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,6BAA6B;AAC7B,OAAO,CAAC,GAAG,CAAC,yDAAyD,CAAC,CAAC;AACvE,IAAI,uBAAuB,GAAkB;IAC3C,IAAI,EAAC,QAAQ;IACb,QAAQ,EAAE,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,GAAG,EAAC;IACrC,IAAI,EAAC,EAAC,IAAI,EAAC,KAAK,EAAE,KAAK,EAAC;YACtB,EAAC,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAC,IAAI,EAAC,GAAG,EAAC,EAAE,CAAC,CAAC,EAAC;YACrD,EAAC,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,CAAC,EAAC;YACvB,EAAC,IAAI,EAAC,QAAQ;gBACZ,QAAQ,EAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,GAAG,EAAC;gBACpC,IAAI,EAAC,EAAC,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAC,IAAI,EAAC,GAAG,EAAC,EAAE,CAAC,CAAC,EAAC;gBAC1D,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,QAAQ,EAAE,QAAQ,EAAC,GAAG,EAAE,IAAI,EAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,GAAG,EAAC,EAAE,KAAK,EAAC,EAAC,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,CAAC,EAAC,EAAC,EAAE,CAAC,CAAC;gBAC9G,MAAM,EAAE,EAAC,IAAI,EAAC,QAAQ,EAAiB;aACxC;SACF,EAAC;IACF,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,CAAC,EAAC,EAAC,CAAC,CAAC;IACtC,MAAM,EAAE,EAAC,IAAI,EAAC,SAAS,EAAkB;CAC1C,CAAA;AACD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,SAAS,EAAC,IAAI,EAAE,GAAG,EAAE,IAAI,EAAC,GAAG,EAAE,QAAQ,EAAC,CAAC,EAAC,EAChD,uBAAuB,CAC1B,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC7E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,uBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,GAAG,GAAC,EAAE,CAAC;AAEP,MAAM;AACN,cAAc;AACd,MAAM;AACN,6DAA6D;AAC7D,6BAA6B;AAC7B,4BAA4B;AAE5B,2DAA2D;AAC3D,2CAA2C;AAC3C,mBAAmB;AACnB,2CAA2C;AAC3C,gEAAgE;AAChE,4CAA4C;AAC5C,mFAAmF;AACnF,IAAI;AACJ,WAAW;AACX,wDAAwD;AACxD,wBAAwB;AACxB,oFAAoF;AACpF,0BAA0B;AAC1B,8BAA8B;AAC9B,wBAAwB;AACxB,gDAAgD;AAChD,MAAM;AACN,UAAU"}

package/dist/test/fuse/loop.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/test/fuse/loop.test.js

@@ -1,39 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-const Print_1 = require("../../src/fuse/Print");
-const Fuse_1 = require("../../src/fuse/Fuse");
-const Print_2 = require("../../src/lambda/Print");
-let env = {};
-/**
- * insert
- */
-console.log('=============Insertion======================');
-console.log('1. insert "Hello " at 0 |> loopfront(lst,"[")');
-env['lst'] = [[1, 2, 3], []];
-Fuse_1.fuse(env, { type: 'insert', str: "Hello ", position: 0 }, { type: 'loopfront', value: '[', lst: { type: 'variable', name: 'lst' } }).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Fuse_1.printEnvironment(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-env = {};
-console.log('===================================');
-console.log('2. insert "Hello " at 10 |> loopfront(lst,"[")');
-env['lst'] = [[1, 2, 3], []];
-Fuse_1.fuse(env, { type: 'insert', str: "Hello ", position: 10 }, { type: 'loopfront', value: '[', lst: { type: 'variable', name: 'lst' } }).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Fuse_1.printEnvironment(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-env = {};
-console.log('3. insert "Hello " at 10 |> looprear(lst,"]")');
-env['lst'] = [[1, 2, 3], []];
-env['lst_new'] = [[10, 20, 30], [10, 20, 30]];
-Fuse_1.fuse(env, { type: 'insert', str: "Hello ", position: 10 }, { type: 'looprear', value: ']', lst: { type: 'variable', name: 'lst' } }).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Fuse_1.printEnvironment(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-//# sourceMappingURL=loop.test.js.map

package/dist/test/fuse/loop.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"loop.test.js","sourceRoot":"","sources":["../../../test/fuse/loop.test.ts"],"names":[],"mappings":";;AAEA,gDAAsD;AACtD,8CAA0E;AAE1E,kDAAmD;AAGnD,IAAI,GAAG,GAAgB,EAAE,CAAC;AAE1B;;GAEG;AACH,OAAO,CAAC,GAAG,CAAC,8CAA8C,CAAC,CAAA;AAC3D,OAAO,CAAC,GAAG,CAAC,+CAA+C,CAAC,CAAC;AAC7D,GAAG,CAAC,KAAK,CAAC,GAAC,CAAC,CAAC,CAAC,EAAC,CAAC,EAAC,CAAC,CAAC,EAAC,EAAE,CAAC,CAAC;AACxB,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,QAAQ,EAAC,QAAQ,EAAC,CAAC,EAAC,EACxC,EAAE,IAAI,EAAC,WAAW,EAAE,KAAK,EAAC,GAAG,EAAE,GAAG,EAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,KAAK,EAAC,EAAkB,CACrF,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC7E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,uBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,GAAG,GAAC,EAAE,CAAC;AAEP,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,OAAO,CAAC,GAAG,CAAC,gDAAgD,CAAC,CAAC;AAC9D,GAAG,CAAC,KAAK,CAAC,GAAC,CAAC,CAAC,CAAC,EAAC,CAAC,EAAC,CAAC,CAAC,EAAC,EAAE,CAAC,CAAC;AACxB,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,QAAQ,EAAC,QAAQ,EAAC,EAAE,EAAC,EACzC,EAAE,IAAI,EAAC,WAAW,EAAE,KAAK,EAAC,GAAG,EAAE,GAAG,EAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,KAAK,EAAC,EAAkB,CACrF,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC7E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,uBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,GAAG,GAAC,EAAE,CAAC;AAEP,OAAO,CAAC,GAAG,CAAC,+CAA+C,CAAC,CAAC;AAC7D,GAAG,CAAC,KAAK,CAAC,GAAC,CAAC,CAAC,CAAC,EAAC,CAAC,EAAC,CAAC,CAAC,EAAC,EAAE,CAAC,CAAC;AACxB,GAAG,CAAC,SAAS,CAAC,GAAC,CAAC,CAAC,EAAE,EAAC,EAAE,EAAC,EAAE,CAAC,EAAC,CAAC,EAAE,EAAC,EAAE,EAAC,EAAE,CAAC,CAAC,CAAC;AACvC,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,QAAQ,EAAC,QAAQ,EAAC,EAAE,EAAC,EACzC,EAAE,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,GAAG,EAAE,GAAG,EAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,KAAK,EAAC,EAAiB,CACnF,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC7E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,uBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC"}

package/dist/test/fuse/seq.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/test/fuse/seq.test.js

@@ -1,64 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-const Print_1 = require("../../src/fuse/Print");
-const Fuse_1 = require("../../src/fuse/Fuse");
-const Print_2 = require("../../src/lambda/Print");
-let env = {};
-// console.log('===================================')
-// // hello stefan!
-// // seq(const("hello"), space(1), exp(name), const("!"))
-// // replace "stefan" with "tao" at 6
-// console.log('1. replace "stefan" with "tao" at 6 |> seq(const("hello"), space(1), exp(name), const("!"))');
-// let seq: SeqNode = {
-//   type:'seq',
-//   nodes:[
-//     {type:'const', value:"hello"},
-//     {type:'space', width:1},
-//     {type:'exp', binding:[{type:'variable', name:'name'},"stefan"]},
-//     {type:'const', value:"!"}
-//   ]
-// }
-// env['name']=["stefan",[]];
-// fuse(env
-//   , {type:'replace',str1: "stefan", str2:"tao", position:6}
-//   , seq
-// ).forEach(({newEnv:newEnv, newTermNode: newTerm, remainingOperation: newOp}) => {
-//   console.log('------')
-//   printEnvironment(newEnv);
-//   printNode(newTerm);
-//   console.log('U: ' + operationToStr(newOp));
-// });
-// env={};
-console.log('===================================');
-console.log('2. insert " " at 1 |> seq(declare(no, 1), exp(no), assign(no, no+1), exp(no))');
-let seq2 = {
-    type: 'seq',
-    nodes: [
-        {
-            type: 'lambda',
-            variable: { type: 'variable', name: 'no' },
-            body: { type: 'seq', nodes: [
-                    { type: 'exp', binding: [{ type: 'variable', name: 'no' }, 1] },
-                    {
-                        type: 'lambda',
-                        variable: { type: 'variable', name: 'no' },
-                        body: { type: 'seq', nodes: [
-                                { type: 'exp', binding: [{ type: 'variable', name: 'no' }, 2] },
-                            ] },
-                        binding: [{ type: 'binary', operator: "+", left: { type: 'variable', name: 'no' }, right: { type: 'constant', value: 1 } }, 2],
-                        marker: { type: 'assign' }
-                    }
-                ] },
-            binding: [{ type: 'constant', value: 1 }, 1],
-            marker: { type: 'declare' }
-        }
-    ]
-};
-Fuse_1.fuse(env, { type: 'insert', str: " ", position: 1 }, seq2).forEach(({ newEnv: newEnv, newTermNode: newTerm, remainingOperation: newOp }) => {
-    console.log('------');
-    Fuse_1.printEnvironment(newEnv);
-    Print_2.printNode(newTerm);
-    console.log('U: ' + Print_1.operationToStr(newOp));
-});
-env = {};
-//# sourceMappingURL=seq.test.js.map

package/dist/test/fuse/seq.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"seq.test.js","sourceRoot":"","sources":["../../../test/fuse/seq.test.ts"],"names":[],"mappings":";;AAEA,gDAAsD;AACtD,8CAA0E;AAE1E,kDAAmD;AAGnD,IAAI,GAAG,GAAgB,EAAE,CAAC;AAG1B,qDAAqD;AACrD,mBAAmB;AACnB,0DAA0D;AAC1D,sCAAsC;AACtC,8GAA8G;AAC9G,uBAAuB;AACvB,gBAAgB;AAChB,YAAY;AACZ,qCAAqC;AACrC,+BAA+B;AAC/B,uEAAuE;AACvE,gCAAgC;AAChC,MAAM;AACN,IAAI;AACJ,6BAA6B;AAE7B,WAAW;AACX,8DAA8D;AAC9D,UAAU;AACV,oFAAoF;AACpF,0BAA0B;AAC1B,8BAA8B;AAC9B,wBAAwB;AACxB,gDAAgD;AAChD,MAAM;AACN,UAAU;AAGV,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,OAAO,CAAC,GAAG,CAAC,+EAA+E,CAAC,CAAC;AAC7F,IAAI,IAAI,GAAY;IAClB,IAAI,EAAC,KAAK;IACV,KAAK,EAAC;QACJ;YACE,IAAI,EAAC,QAAQ;YACb,QAAQ,EAAE,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,IAAI,EAAC;YACtC,IAAI,EAAC,EAAC,IAAI,EAAC,KAAK,EAAE,KAAK,EAAC;oBACtB,EAAC,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,IAAI,EAAC,EAAE,CAAC,CAAC,EAAC;oBACvD;wBACE,IAAI,EAAC,QAAQ;wBACb,QAAQ,EAAE,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,IAAI,EAAC;wBACtC,IAAI,EAAC,EAAC,IAAI,EAAC,KAAK,EAAE,KAAK,EAAC;gCACtB,EAAC,IAAI,EAAC,KAAK,EAAE,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,IAAI,EAAC,EAAE,CAAC,CAAC,EAAC;6BACxD,EAAC;wBACF,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,QAAQ,EAAE,QAAQ,EAAC,GAAG,EAAE,IAAI,EAAC,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,IAAI,EAAC,EAAE,KAAK,EAAC,EAAC,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,CAAC,EAAC,EAAC,EAAE,CAAC,CAAC;wBAC/G,MAAM,EAAE,EAAC,IAAI,EAAC,QAAQ,EAAiB;qBACxC;iBACF,EAAC;YACF,OAAO,EAAC,CAAC,EAAC,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,CAAC,EAAC,EAAE,CAAC,CAAC;YACvC,MAAM,EAAE,EAAC,IAAI,EAAC,SAAS,EAAkB;SAC1C;KACF;CACF,CAAA;AAED,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAC,CAAC,EAAC,EACpC,IAAI,CACP,CAAC,OAAO,CAAC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC7E,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,uBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AACH,GAAG,GAAC,EAAE,CAAC"}

package/dist/test/fuse/space.test.d.ts

@@ -1 +0,0 @@
-export {};