bit2 0.0.1

package/dist/src/partialEval/unpeval.js

@@ -0,0 +1,360 @@
+"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

@@ -0,0 +1 @@
+{"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.d.ts

@@ -0,0 +1,57 @@
+import { Expr } from "../common/Exp";
+export type Name = string;
+export type Literal = string;
+export type Fragment = Literal | Directive | FragmentList;
+export interface Directive {
+    type: 'Directive';
+    content: DeclareDirective | AssignDirective | ExprDirective | IfDirective | ForDirective;
+}
+export interface DeclareDirective {
+    type: 'declare';
+    name: Name;
+    expr: Expr;
+}
+export interface AssignDirective {
+    type: 'assign';
+    name: Name;
+    expr: Expr;
+}
+export interface ExprDirective {
+    type: 'exp';
+    expr: Expr;
+}
+export interface IfDirective {
+    type: 'if';
+    expr: Expr;
+    thenBranch: Fragment;
+    elseBranch: ElseBranch;
+}
+export type ElseBranch = IfDirective | Fragment | Bot;
+export interface Bot {
+    type: 'bot';
+}
+export interface ForDirective {
+    type: 'for';
+    name: Name;
+    expr: Expr;
+    separator: Separator;
+    front: Front;
+    rear: Rear;
+    fragment: Fragment;
+}
+export interface Separator {
+    type: 'separator';
+    value: string;
+}
+export interface Front {
+    type: 'front';
+    value: string;
+}
+export interface Rear {
+    type: 'rear';
+    value: string;
+}
+export interface FragmentList {
+    type: 'fragmentList';
+    fragments: Fragment[];
+}

package/dist/src/surface/AST.js

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

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

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

package/dist/src/surface/Parser.d.ts

@@ -0,0 +1,4 @@
+import * as Surface from "./AST";
+export declare function parse(input: string): Surface.Fragment;
+export declare function tokenize(input: string): (Surface.Literal | string)[];
+export declare function parseTokens(tokens: (Surface.Literal | string)[]): Surface.Fragment;