bit2 0.0.1

package/dist/src/core/AST.d.ts

@@ -0,0 +1,92 @@
+import { Expr, Variable } from "../common/Exp";
+export type TermNode = ConstNode | SpaceNode | DeclareNode | AssignNode | ExpNode | SeqNode | IfThenElseNode | LoopNode | CallNode | NopNode | BotNode | EndNode | LambdaWithExpr;
+export interface ConstNode {
+    type: 'const';
+    value: string;
+}
+export interface SpaceNode {
+    type: 'space';
+    width: number;
+}
+export interface DeclareNode {
+    type: 'declare';
+    name: Variable;
+    value: Expr;
+}
+export interface AssignNode {
+    type: 'assign';
+    name: Variable;
+    value: Expr;
+}
+export interface ExpNode {
+    type: 'exp';
+    expression: Expr;
+}
+export interface SeqNode {
+    type: 'seq';
+    nodes: TermNode[];
+}
+export interface IfThenElseNode {
+    type: 'ite';
+    condition: Expr;
+    trueBranch: TermNode;
+    falseBranch: TermNode;
+}
+export interface LoopNode {
+    type: 'loop';
+    lst: Expr;
+    separator: SepNode;
+    front: FrontNode;
+    rear: RearNode;
+    body: Lambda;
+}
+export interface NopNode {
+    type: 'nop';
+}
+export interface BotNode {
+    type: 'bot';
+}
+export interface EndNode {
+    type: 'end';
+}
+export interface SepNode {
+    type: 'sep';
+    value: string;
+}
+export interface FrontNode {
+    type: 'front';
+    value: string;
+}
+export interface RearNode {
+    type: 'rear';
+    value: string;
+}
+export interface Lambda {
+    type: 'lambda';
+    variable: Variable;
+    body: TermNode;
+}
+export interface LambdaWithExpr {
+    type: 'lambdawithexpr';
+    variable: Variable;
+    body: TermNode;
+    exp: Expr;
+}
+export interface CallNode {
+    type: 'call';
+    func: TermNode;
+    args: {
+        [key: string]: Expr;
+    };
+}
+export declare function seq(...nodes: TermNode[]): SeqNode;
+export declare function constNode(value: string): ConstNode;
+export declare function space(width: number): SpaceNode;
+export declare function declare(name: Variable, value: Expr): DeclareNode;
+export declare function exp(expression: Expr): ExpNode;
+export declare function loop(lst: Expr, sep: SepNode, front: FrontNode, rear: RearNode, body: Lambda): LoopNode;
+export declare function ite(condition: Expr, trueBranch: TermNode, falseBranch: TermNode): IfThenElseNode;
+export declare function assign(name: Variable, value: Expr): AssignNode;
+export declare function nop(): NopNode;
+export declare function bot(): BotNode;
+export declare function end(): EndNode;

package/dist/src/core/AST.js

@@ -0,0 +1,47 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+function seq(...nodes) {
+    return { type: 'seq', nodes };
+}
+exports.seq = seq;
+function constNode(value) {
+    return { type: 'const', value: value };
+}
+exports.constNode = constNode;
+function space(width) {
+    return { type: 'space', width };
+}
+exports.space = space;
+function declare(name, value) {
+    return { type: 'declare', name, value };
+}
+exports.declare = declare;
+function exp(expression) {
+    return { type: 'exp', expression };
+}
+exports.exp = exp;
+function loop(lst, sep, front, rear, body) {
+    return { type: 'loop', lst, separator: sep, front, rear, body };
+}
+exports.loop = loop;
+function ite(condition, trueBranch, falseBranch) {
+    return { type: 'ite', condition, trueBranch, falseBranch };
+}
+exports.ite = ite;
+function assign(name, value) {
+    return { type: 'assign', name, value };
+}
+exports.assign = assign;
+function nop() {
+    return { type: 'nop' };
+}
+exports.nop = nop;
+function bot() {
+    return { type: 'bot' };
+}
+exports.bot = bot;
+function end() {
+    return { type: 'end' };
+}
+exports.end = end;
+//# sourceMappingURL=AST.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"AST.js","sourceRoot":"","sources":["../../../src/core/AST.ts"],"names":[],"mappings":";;AA2GA,SAAgB,GAAG,CAAC,GAAG,KAAiB;IACtC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAChC,CAAC;AAFD,kBAEC;AAED,SAAgB,SAAS,CAAC,KAAa;IACrC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAC,KAAK,EAAE,CAAC;AACxC,CAAC;AAFD,8BAEC;AAED,SAAgB,KAAK,CAAC,KAAa;IACjC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAClC,CAAC;AAFD,sBAEC;AAED,SAAgB,OAAO,CAAC,IAAc,EAAE,KAAW;IACjD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC1C,CAAC;AAFD,0BAEC;AAED,SAAgB,GAAG,CAAC,UAAgB;IAClC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;AACrC,CAAC;AAFD,kBAEC;AAED,SAAgB,IAAI,CAAC,GAAS,EAAE,GAAY,EAAE,KAAgB,EAAE,IAAc,EAAE,IAAY;IAC1F,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAClE,CAAC;AAFD,oBAEC;AAED,SAAgB,GAAG,CAAC,SAAe,EAAE,UAAoB,EAAE,WAAqB;IAC9E,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;AAC7D,CAAC;AAFD,kBAEC;AAED,SAAgB,MAAM,CAAC,IAAc,EAAE,KAAW;IAChD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACzC,CAAC;AAFD,wBAEC;AAED,SAAgB,GAAG;IACjB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACzB,CAAC;AAFD,kBAEC;AAED,SAAgB,GAAG;IACjB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACzB,CAAC;AAFD,kBAEC;AAED,SAAgB,GAAG;IACjB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACzB,CAAC;AAFD,kBAEC"}

package/dist/src/core/PrettyPrint.d.ts

@@ -0,0 +1,2 @@
+import * as AST from "./AST";
+export declare function printToSurface(node: AST.TermNode): string;

package/dist/src/core/PrettyPrint.js

@@ -0,0 +1,64 @@
+"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 Exp = __importStar(require("../common/PrettyPrint"));
+function printToSurface(node) {
+    let str = "";
+    switch (node.type) {
+        case 'const':
+            return node.value;
+        case 'space':
+            return " ".repeat(node.width);
+        case 'declare':
+            str = "«";
+            str += "var ";
+            str += Exp.prettyPrint(node.name);
+            str += "=";
+            str += Exp.prettyPrint(node.value);
+            str += "»";
+            // str += "\n";
+            return str;
+        case 'assign':
+            str = "«";
+            str += Exp.prettyPrint(node.name);
+            str += "=";
+            str += Exp.prettyPrint(node.value);
+            str += "»";
+            // str += "\n"
+            return str;
+        case 'exp':
+            str = "«";
+            str += Exp.prettyPrint(node.expression);
+            str += "»";
+            return str;
+        case 'seq':
+            return node.nodes.map(node => printToSurface(node)).join("");
+        case 'ite':
+            str = "«if " + Exp.prettyPrint(node.condition) + "»\n";
+            str += printToSurface(node.trueBranch);
+            str += "«endif»\n";
+            return str;
+        case 'loop':
+            str = "«for " + Exp.prettyPrint(node.body.variable) + " :" + Exp.prettyPrint(node.lst) + "»\n";
+            str += printToSurface(node.body.body);
+            str += "«endfor»\n";
+            return str;
+        case 'nop':
+            return "";
+        case 'bot':
+            return "";
+        case 'end':
+            return "";
+        default:
+            return "";
+    }
+    return "";
+}
+exports.printToSurface = printToSurface;
+//# sourceMappingURL=PrettyPrint.js.map

package/dist/src/core/PrettyPrint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"PrettyPrint.js","sourceRoot":"","sources":["../../../src/core/PrettyPrint.ts"],"names":[],"mappings":";;;;;;;;;AACA,2DAA6C;AAE7C,SAAgB,cAAc,CAAC,IAAiB;IAC9C,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,QAAO,IAAI,CAAC,IAAI,EAAE;QAChB,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,KAAK,CAAC;QACpB,KAAK,OAAO;YACV,OAAO,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,KAAK,SAAS;YACZ,GAAG,GAAG,GAAG,CAAC;YACV,GAAG,IAAI,MAAM,CAAC;YACd,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,GAAG,IAAI,GAAG,CAAC;YACX,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnC,GAAG,IAAI,GAAG,CAAC;YACX,eAAe;YACf,OAAO,GAAG,CAAC;QACb,KAAK,QAAQ;YACX,GAAG,GAAG,GAAG,CAAC;YACV,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,GAAG,IAAI,GAAG,CAAC;YACX,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnC,GAAG,IAAI,GAAG,CAAC;YACX,cAAc;YACd,OAAO,GAAG,CAAC;QACb,KAAK,KAAK;YACR,GAAG,GAAG,GAAG,CAAC;YACV,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACxC,GAAG,IAAI,GAAG,CAAC;YACX,OAAO,GAAG,CAAC;QACb,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/D,KAAK,KAAK;YACR,GAAG,GAAG,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC;YACvD,GAAG,IAAI,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvC,GAAG,IAAI,WAAW,CAAC;YACnB,OAAO,GAAG,CAAC;QACb,KAAK,MAAM;YACT,GAAG,GAAG,OAAO,GAAG,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,IAAI,GAAG,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;YAC/F,GAAG,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtC,GAAG,IAAI,YAAY,CAAC;YACpB,OAAO,GAAG,CAAC;QACb,KAAK,KAAK;YACR,OAAO,EAAE,CAAC;QACZ,KAAK,KAAK;YACR,OAAO,EAAE,CAAC;QACZ,KAAK,KAAK;YACR,OAAO,EAAE,CAAC;QACZ;YACE,OAAO,EAAE,CAAC;KACb;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAnDD,wCAmDC"}

package/dist/src/core/Print.d.ts

@@ -0,0 +1,3 @@
+import { TermNode, Lambda } from "./AST";
+export declare function printAST(node: TermNode, indent?: string): void;
+export declare function printLambda(lambda: Lambda, indent?: string): void;

package/dist/src/core/Print.js

@@ -0,0 +1,77 @@
+"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 Print = __importStar(require("../common/Print"));
+// 测试函数，递归打印AST节点
+function printAST(node, indent = '') {
+    switch (node.type) {
+        case 'const':
+            console.log(`${indent}Const: ${node.value}`);
+            break;
+        case 'space':
+            console.log(`${indent}Space: ${node.width}`);
+            break;
+        case 'declare':
+            console.log(`${indent}Declare: ${node.name.name} =`);
+            Print.printExpression(node.value, indent + '  ');
+            break;
+        case 'assign':
+            console.log(`${indent}Assign: ${node.name.name} =`);
+            Print.printExpression(node.value, indent + '  ');
+            break;
+        case 'exp':
+            console.log(`${indent}Exp:`);
+            Print.printExpression(node.expression, indent + '  ');
+            break;
+        case 'seq':
+            console.log(`${indent}Seq:`);
+            node.nodes.forEach(n => printAST(n, indent + '  '));
+            break;
+        case 'ite':
+            console.log(`${indent}If-Then-Else: if`);
+            Print.printExpression(node.condition, indent + '  ');
+            console.log(`${indent}Then:`);
+            printAST(node.trueBranch, indent + '  ');
+            console.log(`${indent}Else:`);
+            printAST(node.falseBranch, indent + '  ');
+            break;
+        case 'loop':
+            console.log(`${indent}Loop:`);
+            Print.printExpression(node.lst, indent + '  ');
+            console.log(`${indent}Separator: ${node.separator.value}`);
+            console.log(`${indent}Front: ${node.front.value}`);
+            console.log(`${indent}Rear: ${node.rear.value}`);
+            printLambda(node.body, indent + '  ');
+            break;
+        case 'call':
+            console.log(`${indent}Call:`);
+            printAST(node.func, indent + '  ');
+            Object.keys(node.args).forEach(arg => {
+                console.log(`${indent}  ${arg} =`);
+                Print.printExpression(node.args[arg], indent + '    ');
+            });
+            break;
+        case 'nop':
+            console.log(`${indent}Nop`);
+            break;
+        case 'bot':
+            console.log(`${indent}Bot`);
+            break;
+        case 'end':
+            console.log(`${indent}End`);
+            break;
+    }
+}
+exports.printAST = printAST;
+function printLambda(lambda, indent = '') {
+    console.log(`${indent}Lambda: ${lambda.variable.name}`);
+    printAST(lambda.body, indent + '  ');
+}
+exports.printLambda = printLambda;
+//# sourceMappingURL=Print.js.map

package/dist/src/core/Print.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Print.js","sourceRoot":"","sources":["../../../src/core/Print.ts"],"names":[],"mappings":";;;;;;;;;AACA,uDAAyC;AAEzC,iBAAiB;AACjB,SAAgB,QAAQ,CAAC,IAAc,EAAE,SAAiB,EAAE;IAC1D,QAAQ,IAAI,CAAC,IAAI,EAAE;QACf,KAAK,OAAO;YACR,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,UAAU,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;YAC7C,MAAM;QACV,KAAK,OAAO;YACR,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,UAAU,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;YAC7C,MAAM;QACV,KAAK,SAAS;YACV,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,YAAY,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;YACrD,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;YACjD,MAAM;QACV,KAAK,QAAQ;YACT,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,WAAW,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;YACpD,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;YACjD,MAAM;QACV,KAAK,KAAK;YACN,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,MAAM,CAAC,CAAC;YAC7B,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;YACtD,MAAM;QACV,KAAK,KAAK;YACN,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,MAAM,CAAC,CAAC;YAC7B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;YACpD,MAAM;QACV,KAAK,KAAK;YACN,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,kBAAkB,CAAC,CAAC;YACzC,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;YACrD,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,OAAO,CAAC,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;YACzC,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,OAAO,CAAC,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;YAC1C,MAAM;QACV,KAAK,MAAM;YACP,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,OAAO,CAAC,CAAC;YAC9B,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;YAC/C,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,cAAc,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;YAC3D,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,UAAU,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;YACnD,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,SAAS,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;YACjD,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;YACtC,MAAM;QACV,KAAK,MAAM;YACP,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,OAAO,CAAC,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;YACnC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;gBACjC,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC;gBACnC,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC;YAC3D,CAAC,CAAC,CAAC;YACH,MAAM;QACV,KAAK,KAAK;YACN,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,KAAK,CAAC,CAAC;YAC5B,MAAM;QACV,KAAK,KAAK;YACN,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,KAAK,CAAC,CAAC;YAC5B,MAAM;QACV,KAAK,KAAK;YACN,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,KAAK,CAAC,CAAC;YAC5B,MAAM;KACb;AACH,CAAC;AA1DD,4BA0DC;AAGD,SAAgB,WAAW,CAAC,MAAc,EAAE,SAAiB,EAAE;IAC7D,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,WAAW,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACxD,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;AACvC,CAAC;AAHD,kCAGC"}

package/dist/src/fuse/Fuse.d.ts

@@ -0,0 +1,23 @@
+import { Value } from "../partial/AST";
+import { TermNode } from "../lambda/AST";
+import { UpdateOperation } from "./Update";
+import { Expr, Constant } from "../common/Exp";
+export interface Environment {
+    [variable: string]: [Value, Value[]];
+}
+export declare function fuse(env: Environment, operation: UpdateOperation, term: TermNode): {
+    newEnv: Environment;
+    newTermNode: TermNode;
+    remainingOperation: UpdateOperation;
+}[];
+export declare function fuseExp(env: Environment, value: Value, exp: Expr): {
+    newEnv: Environment;
+    newExp: Expr;
+};
+export declare function valueToConstantExpr(value: Value): Constant;
+export declare function printEnvironment(env: Environment): void;
+export declare function fuseBulk(env: Environment, bulkOp: UpdateOperation, term: TermNode): {
+    newEnv: Environment;
+    newTermNode: TermNode;
+    remainingOperation: UpdateOperation;
+}[];