bit2 0.0.2 → 0.0.3

package/dist/src/partialEval/unpeval.js

@@ -1,360 +0,0 @@
-"use strict";
-var __importStar = (this && this.__importStar) || function (mod) {
-    if (mod && mod.__esModule) return mod;
-    var result = {};
-    if (mod != null) for (var k in mod) if (Object.hasOwnProperty.call(mod, k)) result[k] = mod[k];
-    result["default"] = mod;
-    return result;
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-const CoreAST = __importStar(require("../core/AST"));
-// Helper function to extract the expression from the binding
-function getExpr(binding) {
-    return binding[0];
-}
-function unPartialEval(node) {
-    switch (node.type) {
-        case 'const':
-            return CoreAST.constNode(node.value);
-        case 'space':
-            return CoreAST.space(node.width);
-        case 'declare':
-            return CoreAST.declare(node.name, getExpr(node.value));
-        case 'assign':
-            return CoreAST.assign(node.name, getExpr(node.value));
-        case 'exp':
-            return CoreAST.exp(getExpr(node.binding));
-        case 'nop':
-            return CoreAST.nop();
-        case 'end':
-            return CoreAST.end();
-        case 'bot':
-            return CoreAST.bot();
-        case 'seq':
-            return unSeq(node);
-        case 'lambda':
-            return unPartialEvalLambdaApp(node);
-        default:
-            throw new Error(`Unknown node type: ${node.type}`);
-    }
-}
-exports.unPartialEval = unPartialEval;
-// 2 branchstart()...
-// 4 loopstart()
-function unSeq(node) {
-    const nodes = node.nodes;
-    const newNodes = [];
-    for (let i = 0; i < nodes.length; i++) {
-        const current = nodes[i];
-        if (current.type === 'branchstart') {
-            const condition = current.condition[0];
-            const conditionValue = current.condition[1];
-            const trueBranch = current.trueBranch;
-            const falseBranch = current.falseBranch;
-            const updatedBranchSeq = [];
-            for (let j = i + 1; j < nodes.length; j++) {
-                const next = nodes[j];
-                if (next.type === 'branchend') {
-                    break;
-                }
-                else {
-                    updatedBranchSeq.push(unPartialEval(nodes[j]));
-                }
-            }
-            if (condition) {
-                newNodes.push(CoreAST.ite(condition, { type: 'seq', nodes: updatedBranchSeq }, falseBranch));
-            }
-            else {
-                newNodes.push(CoreAST.ite(condition, trueBranch, { type: 'seq', nodes: updatedBranchSeq }));
-            }
-            i += updatedBranchSeq.length + 1;
-        }
-        else if (current.type === 'loopfront') {
-            let loopfrontNode = current;
-            let looprearNode = { type: 'looprear', value: '' };
-            const updatedLoopSeq = [];
-            for (let j = i + 1; j < nodes.length; j++) {
-                const next = nodes[j];
-                if (next.type === 'looprear') {
-                    looprearNode = next;
-                    break;
-                }
-                else {
-                    updatedLoopSeq.push(unPartialEval(nodes[j]));
-                }
-            }
-            // case 1: all deleted, including front/rear
-            if (loopfrontNode.value === "" && looprearNode.value === "" && (updatedLoopSeq.length == 0 || isAllBot(updatedLoopSeq))) {
-                newNodes.push(CoreAST.bot());
-            }
-            else if (updatedLoopSeq.length == 0 || isAllBot(updatedLoopSeq)) {
-                // case 2: emtpy list
-                newNodes.push(CoreAST.loop(loopfrontNode.lst, loopfrontNode.separator, { type: 'front', value: current.value }, { type: 'rear', value: looprearNode.value }, loopfrontNode.body));
-            }
-            else if (updatedLoopSeq.length == 1) {
-                // case 3: one in list
-                let body = updatedLoopSeq[0];
-                if (body.type === "lambdawithexpr") {
-                    newNodes.push(CoreAST.loop(loopfrontNode.lst, loopfrontNode.separator, { type: 'front', value: current.value }, { type: 'rear', value: looprearNode.value }, constructLambda(body)));
-                }
-                else {
-                    throw new Error("Must be lambda in loopitem");
-                }
-            }
-            else {
-                // case 4 and case 5
-                let filteredUpdatedLoopSeq = filterBotNodesFromTermNodes(updatedLoopSeq);
-                if (areAllLambdaWithExprsEqual(filteredUpdatedLoopSeq)) {
-                    newNodes.push(CoreAST.loop(loopfrontNode.lst, loopfrontNode.separator, { type: 'front', value: current.value }, { type: 'rear', value: looprearNode.value }, constructLambda(filteredUpdatedLoopSeq[0])));
-                }
-                else {
-                    throw new Error("\ x.t in loop seq, ts are not equal");
-                }
-            }
-            i += updatedLoopSeq.length + 1;
-        }
-        else {
-            newNodes.push(unPartialEval(current));
-        }
-    }
-    return CoreAST.seq(...newNodes);
-}
-function unPartialEvalLambdaApp(node) {
-    let { variable, body, binding, marker } = node;
-    let newBody = unPartialEval(body);
-    return {
-        type: 'lambdawithexpr',
-        variable: variable,
-        body: newBody,
-        exp: convertToArrayLiteral(binding[1])
-    };
-}
-// Function to check if a given node is a BotNode
-function isBotNode(node) {
-    return node.type === 'bot';
-}
-// Function to check whether all elements in a list are BotNode
-function isAllBot(nodes) {
-    return nodes.every(isBotNode);
-}
-// Function to convert a single Value to an Expr
-function valueToExpr(value) {
-    if (typeof value === 'number' || typeof value === 'boolean' || typeof value === 'string' || value === null) {
-        return { type: 'constant', value };
-    }
-    else if (Array.isArray(value)) {
-        return { type: 'array', elements: value.map(valueToExpr) };
-    }
-    else if (value.type === 'object') {
-        const fields = {};
-        for (const key in value.fields) {
-            if (value.fields.hasOwnProperty(key)) {
-                const fieldValue = value.fields[key];
-                fields[key] = { type: 'constant', value: fieldValue };
-            }
-        }
-        return { type: 'object', fields };
-    }
-    else {
-        throw new Error("Unsupported Value type");
-    }
-}
-// Function to convert a single Value to an ArrayLiteral
-function singleValueToArrayLiteral(value) {
-    const element = valueToExpr(value);
-    return { type: 'array', elements: [element] };
-}
-// Function to convert a list of Values to an ArrayLiteral
-function valuesToArrayLiteral(values) {
-    const elements = values.map(valueToExpr);
-    return { type: 'array', elements };
-}
-// Function to convert a Value or Value[] to an ArrayLiteral
-function convertToArrayLiteral(valueOrValues) {
-    if (Array.isArray(valueOrValues)) {
-        return valuesToArrayLiteral(valueOrValues);
-    }
-    else {
-        return singleValueToArrayLiteral(valueOrValues);
-    }
-}
-// Function to construct a Lambda from a LambdaWithExpr
-function constructLambda(lambdaWithExpr) {
-    return {
-        type: 'lambda',
-        variable: lambdaWithExpr.variable,
-        body: lambdaWithExpr.body
-    };
-}
-// Type guard to check if a TermNode is a LambdaWithExpr
-function isLambdaWithExpr(node) {
-    return node.type === 'lambdawithexpr';
-}
-// Function to filter TermNodes which are LambdaWithExpr and do not have a BotNode as body
-function filterBotNodesFromTermNodes(nodes) {
-    return nodes.filter(isLambdaWithExpr).filter(lambda => !isBotNode(lambda.body));
-}
-// Function to check if two Variables are equal
-function areVariablesEqual(var1, var2) {
-    return var1.name === var2.name;
-}
-// Function to check if two Expr objects are equal
-function areExprEqual(expr1, expr2) {
-    if (expr1.type !== expr2.type) {
-        return false;
-    }
-    switch (expr1.type) {
-        case 'constant':
-            const constant1 = expr1;
-            const constant2 = expr2;
-            if (typeof constant1.value === 'object' && typeof constant2.value === 'object') {
-                return areExprEqual(constant1.value, constant2.value);
-            }
-            return constant1.value === constant2.value;
-        case 'variable':
-            return expr1.name === expr2.name;
-        case 'binary':
-            const binary1 = expr1;
-            const binary2 = expr2;
-            return binary1.operator === binary2.operator &&
-                areExprEqual(binary1.left, binary2.left) &&
-                areExprEqual(binary1.right, binary2.right);
-        case 'unary':
-            const unary1 = expr1;
-            const unary2 = expr2;
-            return unary1.operator === unary2.operator &&
-                areExprEqual(unary1.operand, unary2.operand);
-        case 'field':
-            const field1 = expr1;
-            const field2 = expr2;
-            return field1.field === field2.field &&
-                areExprEqual(field1.object, field2.object);
-        case 'array':
-            const array1 = expr1;
-            const array2 = expr2;
-            if (array1.elements.length !== array2.elements.length) {
-                return false;
-            }
-            return array1.elements.every((element, index) => areExprEqual(element, array2.elements[index]));
-        case 'object':
-            const object1 = expr1;
-            const object2 = expr2;
-            const fields1 = Object.keys(object1.fields);
-            const fields2 = Object.keys(object2.fields);
-            if (fields1.length !== fields2.length) {
-                return false;
-            }
-            return fields1.every(field => object2.fields.hasOwnProperty(field) && areExprEqual(object1.fields[field], object2.fields[field]));
-        case 'freeze':
-            return areExprEqual(expr1.expression, expr2.expression);
-        default:
-            return false;
-    }
-}
-// Recursive function to check if two TermNodes are equal
-function areTermNodesEqual(node1, node2) {
-    if (node1.type !== node2.type) {
-        return false;
-    }
-    switch (node1.type) {
-        case 'const':
-            return node1.value === node2.value;
-        case 'space':
-            return node1.width === node2.width;
-        case 'declare':
-            const declare1 = node1;
-            const declare2 = node2;
-            return areVariablesEqual(declare1.name, declare2.name) && areExprEqual(declare1.value, declare2.value);
-        case 'assign':
-            const assign1 = node1;
-            const assign2 = node2;
-            return areVariablesEqual(assign1.name, assign2.name) && areExprEqual(assign1.value, assign2.value);
-        case 'exp':
-            return areExprEqual(node1.expression, node2.expression);
-        case 'seq':
-            const seq1 = node1.nodes;
-            const seq2 = node2.nodes;
-            if (seq1.length !== seq2.length) {
-                return false;
-            }
-            return seq1.every((subNode, index) => areTermNodesEqual(subNode, seq2[index]));
-        case 'ite':
-            const ite1 = node1;
-            const ite2 = node2;
-            return areExprEqual(ite1.condition, ite2.condition) &&
-                areTermNodesEqual(ite1.trueBranch, ite2.trueBranch) &&
-                areTermNodesEqual(ite1.falseBranch, ite2.falseBranch);
-        case 'loop':
-            const loop1 = node1;
-            const loop2 = node2;
-            return areExprEqual(loop1.lst, loop2.lst) &&
-                loop1.separator.value === loop2.separator.value &&
-                loop1.front.value === loop2.front.value &&
-                loop1.rear.value === loop2.rear.value &&
-                areLambdasEqual(loop1.body, loop2.body);
-        case 'nop':
-            return true;
-        case 'bot':
-            return true;
-        case 'end':
-            return true;
-        case 'call':
-            const call1 = node1;
-            const call2 = node2;
-            return areTermNodesEqual(call1.func, call2.func) &&
-                Object.keys(call1.args).length === Object.keys(call2.args).length &&
-                Object.keys(call1.args).every(key => areExprEqual(call1.args[key], call2.args[key]));
-        case 'lambdawithexpr':
-            const lambda1 = node1;
-            const lambda2 = node2;
-            return areVariablesEqual(lambda1.variable, lambda2.variable) &&
-                areTermNodesEqual(lambda1.body, lambda2.body);
-        default:
-            return false;
-    }
-}
-// Function to check if two LambdaWithExpr are equal
-function areLambdasEqual(lambda1, lambda2) {
-    return areVariablesEqual(lambda1.variable, lambda2.variable) &&
-        areTermNodesEqual(lambda1.body, lambda2.body);
-}
-// Function to check if two LambdaWithExpr are equal
-function areLambdaWithExprsEqual(lambda1, lambda2) {
-    return areVariablesEqual(lambda1.variable, lambda2.variable) &&
-        areTermNodesEqual(lambda1.body, lambda2.body);
-}
-// Function to check if all elements in a list of LambdaWithExpr are equal
-function areAllLambdaWithExprsEqual(lambdas) {
-    if (lambdas.length === 0) {
-        return true;
-    }
-    const firstLambda = lambdas[0];
-    return lambdas.every(lambda => areLambdaWithExprsEqual(lambda, firstLambda));
-}
-// 定义 flatten 函数
-function flatten(termNode) {
-    if (termNode.type === 'seq') {
-        // 如果 termNode 是 seq 类型，则递归处理每个元素，并返回新的 seq 节点
-        const flattenedElements = termNode.nodes.map(element => flatten(element));
-        return { type: 'seq', nodes: flattenedElements.flatMap(seqNode => {
-                if (seqNode.type === 'seq') {
-                    return seqNode.nodes;
-                }
-                else {
-                    return [seqNode];
-                }
-            }) };
-    }
-    else if (termNode.type === "ite") {
-        return Object.assign(Object.assign({}, termNode), { trueBranch: flatten(termNode.trueBranch), falseBranch: flatten(termNode.falseBranch) });
-    }
-    else if (termNode.type === "loop") {
-        return Object.assign(Object.assign({}, termNode), { body: Object.assign(Object.assign({}, termNode.body), { body: flatten(termNode.body.body) }) });
-    }
-    else {
-        // 其他情况下，直接返回
-        return termNode;
-    }
-}
-exports.flatten = flatten;
-//# sourceMappingURL=unpeval.js.map

package/dist/src/partialEval/unpeval.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"unpeval.js","sourceRoot":"","sources":["../../../src/partialEval/unpeval.ts"],"names":[],"mappings":";;;;;;;;;AAAA,qDAAuC;AAKvC,6DAA6D;AAC7D,SAAS,OAAO,CAAC,OAA2B;IAC1C,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;AACpB,CAAC;AAED,SAAgB,aAAa,CAAC,IAAyB;IACrD,QAAQ,IAAI,CAAC,IAAI,EAAE;QACjB,KAAK,OAAO;YACV,OAAO,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,KAAK,OAAO;YACV,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACzD,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACxD,KAAK,KAAK;YACR,OAAO,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;QAC5C,KAAK,KAAK;YACR,OAAO,OAAO,CAAC,GAAG,EAAE,CAAC;QACvB,KAAK,KAAK;YACR,OAAO,OAAO,CAAC,GAAG,EAAE,CAAC;QACvB,KAAK,KAAK;YACR,OAAO,OAAO,CAAC,GAAG,EAAE,CAAC;QACvB,KAAK,KAAK;YACN,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;QACvB,KAAK,QAAQ;YACT,OAAO,sBAAsB,CAAC,IAAI,CAAC,CAAC;QACxC;YACE,MAAM,IAAI,KAAK,CAAC,sBAAsB,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;KACtD;AACH,CAAC;AAzBD,sCAyBC;AAED,qBAAqB;AACrB,gBAAgB;AAChB,SAAS,KAAK,CAAC,IAAwB;IACrC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACzB,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QACrC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa,EAAE;YAClC,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACvC,MAAM,cAAc,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAC5C,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;YACtC,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC;YACxC,MAAM,gBAAgB,GAAG,EAAE,CAAC;YAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBACzC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACtB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE;oBAC7B,MAAM;iBACP;qBAAM;oBACL,gBAAgB,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;iBAChD;aACF;YACD,IAAG,SAAS,EAAC;gBACX,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,EAAC,EAAC,IAAI,EAAC,KAAK,EAAE,KAAK,EAAC,gBAAgB,EAAC,EAAE,WAAW,CAAC,CAAC,CAAA;aACxF;iBAAM;gBACL,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,EAAC,UAAU,EAAC,EAAC,IAAI,EAAC,KAAK,EAAE,KAAK,EAAC,gBAAgB,EAAC,CAAC,CAAC,CAAA;aACtF;YACD,CAAC,IAAI,gBAAgB,CAAC,MAAM,GAAC,CAAC,CAAC;SAChC;aAAM,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE;YACvC,IAAI,aAAa,GAAG,OAAO,CAAC;YAC5B,IAAI,YAAY,GAAG,EAAC,IAAI,EAAC,UAAU,EAAE,KAAK,EAAC,EAAE,EAAC,CAAC;YAC/C,MAAM,cAAc,GAAG,EAAE,CAAC;YAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBACzC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACtB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE;oBAC5B,YAAY,GAAG,IAAI,CAAC;oBACpB,MAAM;iBACP;qBAAM;oBACL,cAAc,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;iBAC9C;aACF;YAED,4CAA4C;YAC5C,IAAG,aAAa,CAAC,KAAK,KAAG,EAAE,IAAI,YAAY,CAAC,KAAK,KAAG,EAAE,IAAI,CAAC,cAAc,CAAC,MAAM,IAAE,CAAC,IAAI,QAAQ,CAAC,cAAc,CAAC,CAAC,EAAC;gBAC/G,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;aAC9B;iBAAM,IAAI,cAAc,CAAC,MAAM,IAAE,CAAC,IAAI,QAAQ,CAAC,cAAc,CAAC,EAAC;gBAC9D,qBAAqB;gBACrB,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,aAAa,CAAC,SAAS,EAAE,EAAC,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,OAAO,CAAC,KAAK,EAAC,EAAE,EAAC,IAAI,EAAC,MAAM,EAAE,KAAK,EAAC,YAAY,CAAC,KAAK,EAAC,EAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;aAC1K;iBAAM,IAAI,cAAc,CAAC,MAAM,IAAE,CAAC,EAAC;gBAClC,sBAAsB;gBACtB,IAAI,IAAI,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;gBAC7B,IAAG,IAAI,CAAC,IAAI,KAAG,gBAAgB,EAAC;oBAC9B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,aAAa,CAAC,SAAS,EAAE,EAAC,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,OAAO,CAAC,KAAK,EAAC,EAAE,EAAC,IAAI,EAAC,MAAM,EAAE,KAAK,EAAC,YAAY,CAAC,KAAK,EAAC,EAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;iBAC7K;qBAAM;oBACL,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;iBAC/C;aACF;iBAAM;gBACL,oBAAoB;gBACpB,IAAI,sBAAsB,GAAG,2BAA2B,CAAC,cAAc,CAAC,CAAC;gBACzE,IAAG,0BAA0B,CAAC,sBAAsB,CAAC,EAAC;oBACpD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,aAAa,CAAC,SAAS,EAAE,EAAC,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,OAAO,CAAC,KAAK,EAAC,EAAE,EAAC,IAAI,EAAC,MAAM,EAAE,KAAK,EAAC,YAAY,CAAC,KAAK,EAAC,EAAC,eAAe,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;iBAClM;qBAAM;oBACL,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;iBACxD;aACF;YACF,CAAC,IAAI,cAAc,CAAC,MAAM,GAAC,CAAC,CAAC;SAC7B;aAAM;YACL,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;SACvC;KACF;IACD,OAAO,OAAO,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,sBAAsB,CAAC,IAA8B;IAC5D,IAAI,EAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAC,GAAG,IAAI,CAAC;IAC7C,IAAI,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAClC,OAAO;QACL,IAAI,EAAC,gBAAgB;QACrB,QAAQ,EAAC,QAAQ;QACjB,IAAI,EAAC,OAAO;QACZ,GAAG,EAAE,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;KACvC,CAAA;AACH,CAAC;AAED,iDAAiD;AACjD,SAAS,SAAS,CAAC,IAAsB;IACvC,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;AAC7B,CAAC;AAED,+DAA+D;AAC/D,SAAS,QAAQ,CAAC,KAAyB;IACzC,OAAO,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;AAChC,CAAC;AAED,gDAAgD;AAChD,SAAS,WAAW,CAAC,KAAY;IAC/B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE;QAC1G,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;KACpC;SAAM,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;QAC/B,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;KAC5D;SAAM,IAAK,KAAqB,CAAC,IAAI,KAAK,QAAQ,EAAE;QACnD,MAAM,MAAM,GAAoC,EAAE,CAAC;QACnD,KAAK,MAAM,GAAG,IAAK,KAAqB,CAAC,MAAM,EAAE;YAC/C,IAAK,KAAqB,CAAC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE;gBACrD,MAAM,UAAU,GAAI,KAAqB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBACtD,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;aACvD;SACF;QACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;KACnC;SAAM;QACL,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;KAC3C;AACH,CAAC;AAED,wDAAwD;AACxD,SAAS,yBAAyB,CAAC,KAAY;IAC7C,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IACnC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,0DAA0D;AAC1D,SAAS,oBAAoB,CAAC,MAAe;IAC3C,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACzC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AACrC,CAAC;AACD,4DAA4D;AAC5D,SAAS,qBAAqB,CAAC,aAA8B;IAC3D,IAAI,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE;QAChC,OAAO,oBAAoB,CAAC,aAAa,CAAC,CAAC;KAC5C;SAAM;QACL,OAAO,yBAAyB,CAAC,aAAa,CAAC,CAAC;KACjD;AACH,CAAC;AAED,uDAAuD;AACvD,SAAS,eAAe,CAAC,cAAsC;IAC7D,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,cAAc,CAAC,QAAQ;QACjC,IAAI,EAAE,cAAc,CAAC,IAAI;KAC1B,CAAC;AACJ,CAAC;AAID,wDAAwD;AACxD,SAAS,gBAAgB,CAAC,IAAsB;IAC9C,OAAO,IAAI,CAAC,IAAI,KAAK,gBAAgB,CAAC;AACxC,CAAC;AAED,0FAA0F;AAC1F,SAAS,2BAA2B,CAAC,KAAyB;IAC5D,OAAO,KAAK,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,+CAA+C;AAC/C,SAAS,iBAAiB,CAAC,IAAkB,EAAE,IAAkB;IAC/D,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC;AAED,kDAAkD;AAClD,SAAS,YAAY,CAAC,KAAe,EAAE,KAAe;IACpD,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE;QAC7B,OAAO,KAAK,CAAC;KACd;IAED,QAAQ,KAAK,CAAC,IAAI,EAAE;QAClB,KAAK,UAAU;YACb,MAAM,SAAS,GAAG,KAAqB,CAAC;YACxC,MAAM,SAAS,GAAG,KAAqB,CAAC;YACxC,IAAI,OAAO,SAAS,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,SAAS,CAAC,KAAK,KAAK,QAAQ,EAAE;gBAC9E,OAAO,YAAY,CAAC,SAAS,CAAC,KAAiB,EAAE,SAAS,CAAC,KAAiB,CAAC,CAAC;aAC/E;YACD,OAAO,SAAS,CAAC,KAAK,KAAK,SAAS,CAAC,KAAK,CAAC;QAE7C,KAAK,UAAU;YACb,OAAQ,KAAsB,CAAC,IAAI,KAAM,KAAsB,CAAC,IAAI,CAAC;QAEvE,KAAK,QAAQ;YACX,MAAM,OAAO,GAAG,KAA4B,CAAC;YAC7C,MAAM,OAAO,GAAG,KAA4B,CAAC;YAC7C,OAAO,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ;gBACrC,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC;gBACxC,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QAEpD,KAAK,OAAO;YACV,MAAM,MAAM,GAAG,KAA2B,CAAC;YAC3C,MAAM,MAAM,GAAG,KAA2B,CAAC;YAC3C,OAAO,MAAM,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ;gBACnC,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;QAEtD,KAAK,OAAO;YACV,MAAM,MAAM,GAAG,KAAwB,CAAC;YACxC,MAAM,MAAM,GAAG,KAAwB,CAAC;YACxC,OAAO,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK;gBAC7B,YAAY,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;QAEpD,KAAK,OAAO;YACV,MAAM,MAAM,GAAG,KAAyB,CAAC;YACzC,MAAM,MAAM,GAAG,KAAyB,CAAC;YACzC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE;gBACrD,OAAO,KAAK,CAAC;aACd;YACD,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAElG,KAAK,QAAQ;YACX,MAAM,OAAO,GAAG,KAA0B,CAAC;YAC3C,MAAM,OAAO,GAAG,KAA0B,CAAC;YAC3C,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC5C,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,OAAO,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,EAAE;gBACrC,OAAO,KAAK,CAAC;aACd;YACD,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAEpI,KAAK,QAAQ;YACX,OAAO,YAAY,CAAE,KAAuB,CAAC,UAAU,EAAG,KAAuB,CAAC,UAAU,CAAC,CAAC;QAEhG;YACE,OAAO,KAAK,CAAC;KAChB;AACH,CAAC;AAED,yDAAyD;AACzD,SAAS,iBAAiB,CAAC,KAAuB,EAAE,KAAuB;IACzE,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE;QAC7B,OAAO,KAAK,CAAC;KACd;IAED,QAAQ,KAAK,CAAC,IAAI,EAAE;QAClB,KAAK,OAAO;YACV,OAAQ,KAA2B,CAAC,KAAK,KAAM,KAA2B,CAAC,KAAK,CAAC;QACnF,KAAK,OAAO;YACV,OAAQ,KAA2B,CAAC,KAAK,KAAM,KAA2B,CAAC,KAAK,CAAC;QACnF,KAAK,SAAS;YACZ,MAAM,QAAQ,GAAG,KAA4B,CAAC;YAC9C,MAAM,QAAQ,GAAG,KAA4B,CAAC;YAC9C,OAAO,iBAAiB,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;QACzG,KAAK,QAAQ;YACX,MAAM,OAAO,GAAG,KAA2B,CAAC;YAC5C,MAAM,OAAO,GAAG,KAA2B,CAAC;YAC5C,OAAO,iBAAiB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QACrG,KAAK,KAAK;YACR,OAAO,YAAY,CAAE,KAAyB,CAAC,UAAU,EAAG,KAAyB,CAAC,UAAU,CAAC,CAAC;QACpG,KAAK,KAAK;YACR,MAAM,IAAI,GAAI,KAAyB,CAAC,KAAK,CAAC;YAC9C,MAAM,IAAI,GAAI,KAAyB,CAAC,KAAK,CAAC;YAC9C,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE;gBAC/B,OAAO,KAAK,CAAC;aACd;YACD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACjF,KAAK,KAAK;YACR,MAAM,IAAI,GAAG,KAA+B,CAAC;YAC7C,MAAM,IAAI,GAAG,KAA+B,CAAC;YAC7C,OAAO,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC;gBAC5C,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC;gBACnD,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;QAC/D,KAAK,MAAM;YACT,MAAM,KAAK,GAAG,KAAyB,CAAC;YACxC,MAAM,KAAK,GAAG,KAAyB,CAAC;YACxC,OAAO,YAAY,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;gBAClC,KAAK,CAAC,SAAS,CAAC,KAAK,KAAK,KAAK,CAAC,SAAS,CAAC,KAAK;gBAC/C,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,KAAK;gBACvC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK;gBACrC,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACjD,KAAK,KAAK;YACR,OAAO,IAAI,CAAC;QACd,KAAK,KAAK;YACR,OAAO,IAAI,CAAC;QACd,KAAK,KAAK;YACR,OAAO,IAAI,CAAC;QACd,KAAK,MAAM;YACT,MAAM,KAAK,GAAG,KAAyB,CAAC;YACxC,MAAM,KAAK,GAAG,KAAyB,CAAC;YACxC,OAAO,iBAAiB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;gBACzC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM;gBACjE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9F,KAAK,gBAAgB;YACnB,MAAM,OAAO,GAAG,KAA+B,CAAC;YAChD,MAAM,OAAO,GAAG,KAA+B,CAAC;YAChD,OAAO,iBAAiB,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC;gBACrD,iBAAiB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QACvD;YACE,OAAO,KAAK,CAAC;KAChB;AACH,CAAC;AAED,oDAAoD;AACpD,SAAS,eAAe,CAAC,OAAuB,EAAE,OAAuB;IACvE,OAAO,iBAAiB,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC;QACrD,iBAAiB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAE;AACxD,CAAC;AAED,oDAAoD;AACpD,SAAS,uBAAuB,CAAC,OAA+B,EAAE,OAA+B;IAC/F,OAAO,iBAAiB,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC;QACrD,iBAAiB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAE;AACxD,CAAC;AAED,0EAA0E;AAC1E,SAAS,0BAA0B,CAAC,OAAiC;IACnE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE;QACxB,OAAO,IAAI,CAAC;KACb;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC/B,OAAO,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,uBAAuB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;AAC/E,CAAC;AAGD,gBAAgB;AAChB,SAAgB,OAAO,CAAC,QAA0B;IAChD,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,EAAE;QACzB,8CAA8C;QAC9C,MAAM,iBAAiB,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1E,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,iBAAiB,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;gBAC/D,IAAG,OAAO,CAAC,IAAI,KAAK,KAAK,EAAC;oBACxB,OAAO,OAAO,CAAC,KAAK,CAAC;iBACtB;qBAAM;oBACL,OAAO,CAAC,OAAO,CAAC,CAAA;iBACjB;YACH,CAAC,CAAC,EAAE,CAAC;KACN;SAAM,IAAI,QAAQ,CAAC,IAAI,KAAG,KAAK,EAAC;QAC/B,uCAAW,QAAQ,KAAE,UAAU,EAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,WAAW,EAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAE;KAC1G;SAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAC;QAClC,uCAAW,QAAQ,KAAE,IAAI,kCAAM,QAAQ,CAAC,IAAI,KAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,OAAG;KACnF;SAAM;QACL,aAAa;QACb,OAAO,QAAQ,CAAC;KACnB;AACH,CAAC;AAnBD,0BAmBC"}

package/dist/src/surface/AST.js

@@ -1,3 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-//# sourceMappingURL=AST.js.map

package/dist/src/surface/AST.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"AST.js","sourceRoot":"","sources":["../../../src/surface/AST.ts"],"names":[],"mappings":""}