yukigo-ast 0.2.1 → 0.3.2

package/dist/visitor/operations.d.ts

@@ -1,6 +1,6 @@
 import { ASTNode } from "../globals/generics.js";
 import { ArithmeticUnaryOperation, ArithmeticBinaryOperation, ListUnaryOperation, ListBinaryOperation, ComparisonOperation, LogicalBinaryOperation, LogicalUnaryOperation, StringOperation, UnifyOperation, AssignOperation, BitwiseBinaryOperation, BitwiseUnaryOperation } from "../globals/operators.js";
-import { TraverseBase, GConstructor } from "./base.js";
+import { TraverseBase, VisitorConstructor } from "./base.js";
 export interface OperationVisitor<TReturn> {
     visitArithmeticUnaryOperation(node: ArithmeticUnaryOperation): TReturn;
     visitArithmeticBinaryOperation(node: ArithmeticBinaryOperation): TReturn;
@@ -15,29 +15,28 @@ export interface OperationVisitor<TReturn> {
     visitUnifyOperation(node: UnifyOperation): TReturn;
     visitAssignOperation(node: AssignOperation): TReturn;
 }
-export declare function OperationTraverser<TBase extends GConstructor<TraverseBase>>(Base: TBase): {
-    new (...args: any[]): {
-        traverseBinary(node: {
-            left: ASTNode;
-            right: ASTNode;
-        }): void;
-        traverseUnary(node: {
-            operand: ASTNode;
-        }): void;
-        visitArithmeticUnaryOperation(node: ArithmeticUnaryOperation): void;
-        visitArithmeticBinaryOperation(node: ArithmeticBinaryOperation): void;
-        visitListUnaryOperation(node: ListUnaryOperation): void;
-        visitListBinaryOperation(node: ListBinaryOperation): void;
-        visitComparisonOperation(node: ComparisonOperation): void;
-        visitLogicalBinaryOperation(node: LogicalBinaryOperation): void;
-        visitLogicalUnaryOperation(node: LogicalUnaryOperation): void;
-        visitBitwiseBinaryOperation(node: BitwiseBinaryOperation): void;
-        visitBitwiseUnaryOperation(node: BitwiseUnaryOperation): void;
-        visitStringOperation(node: StringOperation): void;
-        visitUnifyOperation(node: UnifyOperation): void;
-        visitAssignOperation(node: AssignOperation): void;
-        visit(node: ASTNode): void;
-        traverseCollection(nodes: ASTNode[]): void;
-    };
-} & TBase;
+export declare function OperationTraverser<TBase extends VisitorConstructor<TraverseBase>>(Base: TBase): (abstract new (...args: any[]) => {
+    traverseBinary(node: {
+        left: ASTNode;
+        right: ASTNode;
+    }): void;
+    traverseUnary(node: {
+        operand: ASTNode;
+    }): void;
+    visitArithmeticUnaryOperation(node: ArithmeticUnaryOperation): void;
+    visitArithmeticBinaryOperation(node: ArithmeticBinaryOperation): void;
+    visitListUnaryOperation(node: ListUnaryOperation): void;
+    visitListBinaryOperation(node: ListBinaryOperation): void;
+    visitComparisonOperation(node: ComparisonOperation): void;
+    visitLogicalBinaryOperation(node: LogicalBinaryOperation): void;
+    visitLogicalUnaryOperation(node: LogicalUnaryOperation): void;
+    visitBitwiseBinaryOperation(node: BitwiseBinaryOperation): void;
+    visitBitwiseUnaryOperation(node: BitwiseUnaryOperation): void;
+    visitStringOperation(node: StringOperation): void;
+    visitUnifyOperation(node: UnifyOperation): void;
+    visitAssignOperation(node: AssignOperation): void;
+    visit(node: ASTNode): void;
+    traverseCollection(nodes: ASTNode[]): void;
+    fallback(node: ASTNode): void;
+}) & TBase;
 //# sourceMappingURL=operations.d.ts.map

package/dist/visitor/operations.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"operations.d.ts","sourceRoot":"","sources":["../../src/visitor/operations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACjD,OAAO,EACH,wBAAwB,EACxB,yBAAyB,EACzB,kBAAkB,EAClB,mBAAmB,EACnB,mBAAmB,EACnB,sBAAsB,EACtB,qBAAqB,EACrB,eAAe,EACf,cAAc,EACd,eAAe,EACf,sBAAsB,EACtB,qBAAqB,EACxB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAEvD,MAAM,WAAW,gBAAgB,CAAC,OAAO;IACrC,6BAA6B,CAAC,IAAI,EAAE,wBAAwB,GAAG,OAAO,CAAC;IACvE,8BAA8B,CAAC,IAAI,EAAE,yBAAyB,GAAG,OAAO,CAAC;IACzE,uBAAuB,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC;IAC3D,wBAAwB,CAAC,IAAI,EAAE,mBAAmB,GAAG,OAAO,CAAC;IAC7D,wBAAwB,CAAC,IAAI,EAAE,mBAAmB,GAAG,OAAO,CAAC;IAC7D,2BAA2B,CAAC,IAAI,EAAE,sBAAsB,GAAG,OAAO,CAAC;IACnE,0BAA0B,CAAC,IAAI,EAAE,qBAAqB,GAAG,OAAO,CAAC;IACjE,2BAA2B,CAAC,IAAI,EAAE,sBAAsB,GAAG,OAAO,CAAC;IACnE,0BAA0B,CAAC,IAAI,EAAE,qBAAqB,GAAG,OAAO,CAAC;IACjE,oBAAoB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC;IACrD,mBAAmB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAAC;IACnD,oBAAoB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC;CACxD;AAED,wBAAgB,kBAAkB,CAAC,KAAK,SAAS,YAAY,CAAC,YAAY,CAAC,EACvE,IAAI,EAAE,KAAK;;6BAGqB;YAAE,IAAI,EAAE,OAAO,CAAC;YAAC,KAAK,EAAE,OAAO,CAAA;SAAE,GAAG,IAAI;4BAIzC;YAAE,OAAO,EAAE,OAAO,CAAA;SAAE,GAAG,IAAI;4CAIlB,wBAAwB,GAAG,IAAI;6CAG9B,yBAAyB,GAAG,IAAI;sCAGvC,kBAAkB,GAAG,IAAI;uCAGxB,mBAAmB,GAAG,IAAI;uCAG1B,mBAAmB,GAAG,IAAI;0CAGvB,sBAAsB,GAAG,IAAI;yCAG9B,qBAAqB,GAAG,IAAI;0CAG3B,sBAAsB,GAAG,IAAI;yCAG9B,qBAAqB,GAAG,IAAI;mCAGlC,eAAe,GAAG,IAAI;kCAGvB,cAAc,GAAG,IAAI;mCAGpB,eAAe,GAAG,IAAI;;;;UAIxD"}
+{"version":3,"file":"operations.d.ts","sourceRoot":"","sources":["../../src/visitor/operations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACjD,OAAO,EACL,wBAAwB,EACxB,yBAAyB,EACzB,kBAAkB,EAClB,mBAAmB,EACnB,mBAAmB,EACnB,sBAAsB,EACtB,qBAAqB,EACrB,eAAe,EACf,cAAc,EACd,eAAe,EACf,sBAAsB,EACtB,qBAAqB,EACtB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAC;AAE7D,MAAM,WAAW,gBAAgB,CAAC,OAAO;IACvC,6BAA6B,CAAC,IAAI,EAAE,wBAAwB,GAAG,OAAO,CAAC;IACvE,8BAA8B,CAAC,IAAI,EAAE,yBAAyB,GAAG,OAAO,CAAC;IACzE,uBAAuB,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC;IAC3D,wBAAwB,CAAC,IAAI,EAAE,mBAAmB,GAAG,OAAO,CAAC;IAC7D,wBAAwB,CAAC,IAAI,EAAE,mBAAmB,GAAG,OAAO,CAAC;IAC7D,2BAA2B,CAAC,IAAI,EAAE,sBAAsB,GAAG,OAAO,CAAC;IACnE,0BAA0B,CAAC,IAAI,EAAE,qBAAqB,GAAG,OAAO,CAAC;IACjE,2BAA2B,CAAC,IAAI,EAAE,sBAAsB,GAAG,OAAO,CAAC;IACnE,0BAA0B,CAAC,IAAI,EAAE,qBAAqB,GAAG,OAAO,CAAC;IACjE,oBAAoB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC;IACrD,mBAAmB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAAC;IACnD,oBAAoB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC;CACtD;AAED,wBAAgB,kBAAkB,CAAC,KAAK,SAAS,kBAAkB,CAAC,YAAY,CAAC,EAC/E,IAAI,EAAE,KAAK;yBAMmB;QAAE,IAAI,EAAE,OAAO,CAAC;QAAC,KAAK,EAAE,OAAO,CAAA;KAAE,GAAG,IAAI;wBAIzC;QAAE,OAAO,EAAE,OAAO,CAAA;KAAE,GAAG,IAAI;wCAIlB,wBAAwB,GAAG,IAAI;yCAG9B,yBAAyB,GAAG,IAAI;kCAGvC,kBAAkB,GAAG,IAAI;mCAGxB,mBAAmB,GAAG,IAAI;mCAG1B,mBAAmB,GAAG,IAAI;sCAGvB,sBAAsB,GAAG,IAAI;qCAG9B,qBAAqB,GAAG,IAAI;sCAG3B,sBAAsB,GAAG,IAAI;qCAG9B,qBAAqB,GAAG,IAAI;+BAGlC,eAAe,GAAG,IAAI;8BAGvB,cAAc,GAAG,IAAI;+BAGpB,eAAe,GAAG,IAAI;;;;WAKpD"}

package/dist/visitor/operations.js

@@ -1,5 +1,5 @@
 export function OperationTraverser(Base) {
-    return class OperationTraverser extends Base {
+    class OperationTraverser extends Base {
         traverseBinary(node) {
             node.left.accept(this);
             node.right.accept(this);
@@ -43,5 +43,6 @@ export function OperationTraverser(Base) {
         visitAssignOperation(node) {
             this.traverseBinary(node);
         }
-    };
+    }
+    return OperationTraverser;
 }

package/dist/visitor/patterns.d.ts

@@ -1,5 +1,5 @@
 import { VariablePattern, LiteralPattern, ApplicationPattern, TuplePattern, ListPattern, FunctorPattern, AsPattern, WildcardPattern, UnionPattern, ConstructorPattern, ConsPattern, TypePattern } from "../globals/patterns.js";
-import { TraverseBase, GConstructor } from "./base.js";
+import { TraverseBase, VisitorConstructor } from "./base.js";
 export interface PatternVisitor<TReturn> {
     visitVariablePattern(node: VariablePattern): TReturn;
     visitLiteralPattern(node: LiteralPattern): TReturn;
@@ -14,22 +14,21 @@ export interface PatternVisitor<TReturn> {
     visitConsPattern(node: ConsPattern): TReturn;
     visitTypePattern(node: TypePattern): TReturn;
 }
-export declare function PatternTraverser<TBase extends GConstructor<TraverseBase>>(Base: TBase): {
-    new (...args: any[]): {
-        visitVariablePattern(node: VariablePattern): void;
-        visitLiteralPattern(node: LiteralPattern): void;
-        visitApplicationPattern(node: ApplicationPattern): void;
-        visitTuplePattern(node: TuplePattern): void;
-        visitListPattern(node: ListPattern): void;
-        visitFunctorPattern(node: FunctorPattern): void;
-        visitAsPattern(node: AsPattern): void;
-        visitWildcardPattern(node: WildcardPattern): void;
-        visitUnionPattern(node: UnionPattern): void;
-        visitConstructorPattern(node: ConstructorPattern): void;
-        visitConsPattern(node: ConsPattern): void;
-        visitTypePattern(node: TypePattern): void;
-        visit(node: import("../index.js").ASTNode): void;
-        traverseCollection(nodes: import("../index.js").ASTNode[]): void;
-    };
-} & TBase;
+export declare function PatternTraverser<TBase extends VisitorConstructor<TraverseBase>>(Base: TBase): (abstract new (...args: any[]) => {
+    visitVariablePattern(node: VariablePattern): void;
+    visitLiteralPattern(node: LiteralPattern): void;
+    visitApplicationPattern(node: ApplicationPattern): void;
+    visitTuplePattern(node: TuplePattern): void;
+    visitListPattern(node: ListPattern): void;
+    visitFunctorPattern(node: FunctorPattern): void;
+    visitAsPattern(node: AsPattern): void;
+    visitWildcardPattern(node: WildcardPattern): void;
+    visitUnionPattern(node: UnionPattern): void;
+    visitConstructorPattern(node: ConstructorPattern): void;
+    visitConsPattern(node: ConsPattern): void;
+    visitTypePattern(node: TypePattern): void;
+    visit(node: import("../index.js").ASTNode): void;
+    traverseCollection(nodes: import("../index.js").ASTNode[]): void;
+    fallback(node: import("../index.js").ASTNode): void;
+}) & TBase;
 //# sourceMappingURL=patterns.d.ts.map

package/dist/visitor/patterns.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"patterns.d.ts","sourceRoot":"","sources":["../../src/visitor/patterns.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,eAAe,EACf,cAAc,EACd,kBAAkB,EAClB,YAAY,EACZ,WAAW,EACX,cAAc,EACd,SAAS,EACT,eAAe,EACf,YAAY,EACZ,kBAAkB,EAClB,WAAW,EACX,WAAW,EACd,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAEvD,MAAM,WAAW,cAAc,CAAC,OAAO;IACnC,oBAAoB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC;IACrD,mBAAmB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAAC;IACnD,uBAAuB,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC;IAC3D,iBAAiB,CAAC,IAAI,EAAE,YAAY,GAAG,OAAO,CAAC;IAC/C,gBAAgB,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC;IAC7C,mBAAmB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAAC;IACnD,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IACzC,oBAAoB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC;IACrD,iBAAiB,CAAC,IAAI,EAAE,YAAY,GAAG,OAAO,CAAC;IAC/C,uBAAuB,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC;IAC3D,gBAAgB,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC;IAC7C,gBAAgB,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC;CAChD;AAED,wBAAgB,gBAAgB,CAAC,KAAK,SAAS,YAAY,CAAC,YAAY,CAAC,EACrE,IAAI,EAAE,KAAK;;mCAGoB,eAAe,GAAG,IAAI;kCAGvB,cAAc,GAAG,IAAI;sCAGjB,kBAAkB,GAAG,IAAI;gCAI/B,YAAY,GAAG,IAAI;+BAGpB,WAAW,GAAG,IAAI;kCAGf,cAAc,GAAG,IAAI;6BAI1B,SAAS,GAAG,IAAI;mCAIV,eAAe,GAAG,IAAI;gCACzB,YAAY,GAAG,IAAI;sCAGb,kBAAkB,GAAG,IAAI;+BAGhC,WAAW,GAAG,IAAI;+BAIlB,WAAW,GAAG,IAAI;;;;UAKhD"}
+{"version":3,"file":"patterns.d.ts","sourceRoot":"","sources":["../../src/visitor/patterns.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,eAAe,EACf,cAAc,EACd,kBAAkB,EAClB,YAAY,EACZ,WAAW,EACX,cAAc,EACd,SAAS,EACT,eAAe,EACf,YAAY,EACZ,kBAAkB,EAClB,WAAW,EACX,WAAW,EACd,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAC;AAE7D,MAAM,WAAW,cAAc,CAAC,OAAO;IACnC,oBAAoB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC;IACrD,mBAAmB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAAC;IACnD,uBAAuB,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC;IAC3D,iBAAiB,CAAC,IAAI,EAAE,YAAY,GAAG,OAAO,CAAC;IAC/C,gBAAgB,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC;IAC7C,mBAAmB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAAC;IACnD,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IACzC,oBAAoB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC;IACrD,iBAAiB,CAAC,IAAI,EAAE,YAAY,GAAG,OAAO,CAAC;IAC/C,uBAAuB,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC;IAC3D,gBAAgB,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC;IAC7C,gBAAgB,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC;CAChD;AAED,wBAAgB,gBAAgB,CAAC,KAAK,SAAS,kBAAkB,CAAC,YAAY,CAAC,EAC3E,IAAI,EAAE,KAAK;+BAGoB,eAAe,GAAG,IAAI;8BAGvB,cAAc,GAAG,IAAI;kCAGjB,kBAAkB,GAAG,IAAI;4BAI/B,YAAY,GAAG,IAAI;2BAGpB,WAAW,GAAG,IAAI;8BAGf,cAAc,GAAG,IAAI;yBAI1B,SAAS,GAAG,IAAI;+BAIV,eAAe,GAAG,IAAI;4BACzB,YAAY,GAAG,IAAI;kCAGb,kBAAkB,GAAG,IAAI;2BAGhC,WAAW,GAAG,IAAI;2BAIlB,WAAW,GAAG,IAAI;;;;WAMhD"}

package/dist/visitor/patterns.js

@@ -1,5 +1,5 @@
 export function PatternTraverser(Base) {
-    return class PatternTraverser extends Base {
+    class PatternTraverser extends Base {
         visitVariablePattern(node) {
             node.name.accept(this);
         }
@@ -39,5 +39,7 @@ export function PatternTraverser(Base) {
             node.targetType.accept(this);
             node.innerPattern?.accept(this);
         }
-    };
+    }
+    ;
+    return PatternTraverser;
 }

package/dist/visitor/primitives.d.ts

@@ -1,5 +1,5 @@
 import { BooleanPrimitive, CharPrimitive, ListPrimitive, NilPrimitive, NumberPrimitive, StringPrimitive, SymbolPrimitive } from "../globals/primitives.js";
-import { TraverseBase, GConstructor } from "./base.js";
+import { TraverseBase, VisitorConstructor } from "./base.js";
 export interface PrimitiveVisitor<TReturn> {
     visitNumberPrimitive(node: NumberPrimitive): TReturn;
     visitBooleanPrimitive(node: BooleanPrimitive): TReturn;
@@ -9,17 +9,16 @@ export interface PrimitiveVisitor<TReturn> {
     visitSymbolPrimitive(node: SymbolPrimitive): TReturn;
     visitCharPrimitive(node: CharPrimitive): TReturn;
 }
-export declare function PrimitiveTraverser<TBase extends GConstructor<TraverseBase>>(Base: TBase): {
-    new (...args: any[]): {
-        visitNumberPrimitive(node: NumberPrimitive): void;
-        visitBooleanPrimitive(node: BooleanPrimitive): void;
-        visitStringPrimitive(node: StringPrimitive): void;
-        visitListPrimitive(node: ListPrimitive): void;
-        visitNilPrimitive(node: NilPrimitive): void;
-        visitSymbolPrimitive(node: SymbolPrimitive): void;
-        visitCharPrimitive(node: CharPrimitive): void;
-        visit(node: import("../index.js").ASTNode): void;
-        traverseCollection(nodes: import("../index.js").ASTNode[]): void;
-    };
-} & TBase;
+export declare function PrimitiveTraverser<TBase extends VisitorConstructor<TraverseBase>>(Base: TBase): (abstract new (...args: any[]) => {
+    visitNumberPrimitive(node: NumberPrimitive): void;
+    visitBooleanPrimitive(node: BooleanPrimitive): void;
+    visitStringPrimitive(node: StringPrimitive): void;
+    visitListPrimitive(node: ListPrimitive): void;
+    visitNilPrimitive(node: NilPrimitive): void;
+    visitSymbolPrimitive(node: SymbolPrimitive): void;
+    visitCharPrimitive(node: CharPrimitive): void;
+    visit(node: import("../index.js").ASTNode): void;
+    traverseCollection(nodes: import("../index.js").ASTNode[]): void;
+    fallback(node: import("../index.js").ASTNode): void;
+}) & TBase;
 //# sourceMappingURL=primitives.d.ts.map

package/dist/visitor/primitives.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../src/visitor/primitives.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,gBAAgB,EAChB,aAAa,EACb,aAAa,EACb,YAAY,EACZ,eAAe,EACf,eAAe,EACf,eAAe,EAClB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAEvD,MAAM,WAAW,gBAAgB,CAAC,OAAO;IACrC,oBAAoB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC;IACrD,qBAAqB,CAAC,IAAI,EAAE,gBAAgB,GAAG,OAAO,CAAC;IACvD,oBAAoB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC;IACrD,kBAAkB,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC;IACjD,iBAAiB,CAAC,IAAI,EAAE,YAAY,GAAG,OAAO,CAAC;IAC/C,oBAAoB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC;IACrD,kBAAkB,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC;CACpD;AAED,wBAAgB,kBAAkB,CAAC,KAAK,SAAS,YAAY,CAAC,YAAY,CAAC,EACvE,IAAI,EAAE,KAAK;;mCAGoB,eAAe,GAAG,IAAI;oCACrB,gBAAgB,GAAG,IAAI;mCACxB,eAAe,GAAG,IAAI;iCACxB,aAAa,GAAG,IAAI;gCAGrB,YAAY,GAAG,IAAI;mCAChB,eAAe,GAAG,IAAI;iCACxB,aAAa,GAAG,IAAI;;;;UAEpD"}
+{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../src/visitor/primitives.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,aAAa,EACb,aAAa,EACb,YAAY,EACZ,eAAe,EACf,eAAe,EACf,eAAe,EAChB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAC;AAE7D,MAAM,WAAW,gBAAgB,CAAC,OAAO;IACvC,oBAAoB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC;IACrD,qBAAqB,CAAC,IAAI,EAAE,gBAAgB,GAAG,OAAO,CAAC;IACvD,oBAAoB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC;IACrD,kBAAkB,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC;IACjD,iBAAiB,CAAC,IAAI,EAAE,YAAY,GAAG,OAAO,CAAC;IAC/C,oBAAoB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC;IACrD,kBAAkB,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC;CAClD;AAED,wBAAgB,kBAAkB,CAAC,KAAK,SAAS,kBAAkB,CAAC,YAAY,CAAC,EAC/E,IAAI,EAAE,KAAK;+BAMkB,eAAe,GAAG,IAAI;gCACrB,gBAAgB,GAAG,IAAI;+BACxB,eAAe,GAAG,IAAI;6BACxB,aAAa,GAAG,IAAI;4BAGrB,YAAY,GAAG,IAAI;+BAChB,eAAe,GAAG,IAAI;6BACxB,aAAa,GAAG,IAAI;;;;WAGhD"}

package/dist/visitor/primitives.js

@@ -1,5 +1,5 @@
 export function PrimitiveTraverser(Base) {
-    return class PrimitiveTraverser extends Base {
+    class PrimitiveTraverser extends Base {
         visitNumberPrimitive(node) { }
         visitBooleanPrimitive(node) { }
         visitStringPrimitive(node) { }
@@ -9,5 +9,6 @@ export function PrimitiveTraverser(Base) {
         visitNilPrimitive(node) { }
         visitSymbolPrimitive(node) { }
         visitCharPrimitive(node) { }
-    };
+    }
+    return PrimitiveTraverser;
 }

package/dist/visitor/statements.d.ts

@@ -1,8 +1,8 @@
-import { Sequence, If, Return, Field, UnguardedBody, GuardedBody, Equation, Switch, Case, Try, Catch, Raise, Print, Input, For, Break, Continue, Variable, Assignment, Constructor, Record, Function } from "../globals/statements.js";
+import { Sequence, If, Return, Field, UnguardedBody, NativeBody, Equation, Switch, Case, Try, Catch, Raise, Print, Input, For, Break, Continue, Variable, Assignment, Constructor, Record, Function } from "../globals/statements.js";
 import { EntryPoint, Procedure, Enumeration, While, Repeat, ForLoop, Structure } from "../paradigms/imperative.js";
 import { Rule, Fact, Query, LogicConstraint } from "../paradigms/logic.js";
 import { Method, Attribute, Class, Interface, Object, Super, Self, PrimitiveMethod } from "../paradigms/object.js";
-import { TraverseBase, GConstructor } from "./base.js";
+import { TraverseBase, VisitorConstructor } from "./base.js";
 export interface StatementVisitor<TReturn> {
     visitSequence(node: Sequence): TReturn;
     visitSelf(node: Self): TReturn;
@@ -14,7 +14,7 @@ export interface StatementVisitor<TReturn> {
     visitConstructor(node: Constructor): TReturn;
     visitRecord(node: Record): TReturn;
     visitUnguardedBody(node: UnguardedBody): TReturn;
-    visitGuardedBody(node: GuardedBody): TReturn;
+    visitNativeBody(node: NativeBody): TReturn;
     visitEquation(node: Equation): TReturn;
     visitSwitch(node: Switch): TReturn;
     visitCase(node: Case): TReturn;
@@ -46,51 +46,50 @@ export interface StatementVisitor<TReturn> {
     visitInterface(node: Interface): TReturn;
     visitLogicConstraint(node: LogicConstraint): TReturn;
 }
-export declare function StatementTraverser<TBase extends GConstructor<TraverseBase>>(Base: TBase): {
-    new (...args: any[]): {
-        visitSequence(node: Sequence): void;
-        visitSelf(node: Self): void;
-        visitSuper(node: Super): void;
-        visitIf(node: If): void;
-        visitReturn(node: Return): void;
-        visitFunction(node: Function): void;
-        visitField(node: Field): void;
-        visitConstructor(node: Constructor): void;
-        visitRecord(node: Record): void;
-        visitUnguardedBody(node: UnguardedBody): void;
-        visitGuardedBody(node: GuardedBody): void;
-        visitEquation(node: Equation): void;
-        visitSwitch(node: Switch): void;
-        visitCase(node: Case): void;
-        visitTry(node: Try): void;
-        visitCatch(node: Catch): void;
-        visitRaise(node: Raise): void;
-        visitPrint(node: Print): void;
-        visitInput(node: Input): void;
-        visitFor(node: For): void;
-        visitBreak(node: Break): void;
-        visitContinue(node: Continue): void;
-        visitVariable(node: Variable): void;
-        visitAssignment(node: Assignment): void;
-        visitStructure(node: Structure): void;
-        visitEntryPoint(node: EntryPoint): void;
-        visitProcedure(node: Procedure): void;
-        visitEnumeration(node: Enumeration): void;
-        visitWhile(node: While): void;
-        visitRepeat(node: Repeat): void;
-        visitForLoop(node: ForLoop): void;
-        visitRule(node: Rule): void;
-        visitFact(node: Fact): void;
-        visitQuery(node: Query): void;
-        visitMethod(node: Method): void;
-        visitPrimitiveMethod(node: PrimitiveMethod): void;
-        visitAttribute(node: Attribute): void;
-        visitObject(node: Object): void;
-        visitClass(node: Class): void;
-        visitInterface(node: Interface): void;
-        visitLogicConstraint(node: LogicConstraint): void;
-        visit(node: import("../index.js").ASTNode): void;
-        traverseCollection(nodes: import("../index.js").ASTNode[]): void;
-    };
-} & TBase;
+export declare function StatementTraverser<TBase extends VisitorConstructor<TraverseBase>>(Base: TBase): (abstract new (...args: any[]) => {
+    visitSequence(node: Sequence): void;
+    visitSelf(node: Self): void;
+    visitSuper(node: Super): void;
+    visitIf(node: If): void;
+    visitReturn(node: Return): void;
+    visitFunction(node: Function): void;
+    visitField(node: Field): void;
+    visitConstructor(node: Constructor): void;
+    visitRecord(node: Record): void;
+    visitUnguardedBody(node: UnguardedBody): void;
+    visitNativeBody(node: NativeBody): void;
+    visitEquation(node: Equation): void;
+    visitSwitch(node: Switch): void;
+    visitCase(node: Case): void;
+    visitTry(node: Try): void;
+    visitCatch(node: Catch): void;
+    visitRaise(node: Raise): void;
+    visitPrint(node: Print): void;
+    visitInput(node: Input): void;
+    visitFor(node: For): void;
+    visitBreak(node: Break): void;
+    visitContinue(node: Continue): void;
+    visitVariable(node: Variable): void;
+    visitAssignment(node: Assignment): void;
+    visitStructure(node: Structure): void;
+    visitEntryPoint(node: EntryPoint): void;
+    visitProcedure(node: Procedure): void;
+    visitEnumeration(node: Enumeration): void;
+    visitWhile(node: While): void;
+    visitRepeat(node: Repeat): void;
+    visitForLoop(node: ForLoop): void;
+    visitRule(node: Rule): void;
+    visitFact(node: Fact): void;
+    visitQuery(node: Query): void;
+    visitMethod(node: Method): void;
+    visitPrimitiveMethod(node: PrimitiveMethod): void;
+    visitAttribute(node: Attribute): void;
+    visitObject(node: Object): void;
+    visitClass(node: Class): void;
+    visitInterface(node: Interface): void;
+    visitLogicConstraint(node: LogicConstraint): void;
+    visit(node: import("../index.js").ASTNode): void;
+    traverseCollection(nodes: import("../index.js").ASTNode[]): void;
+    fallback(node: import("../index.js").ASTNode): void;
+}) & TBase;
 //# sourceMappingURL=statements.d.ts.map

package/dist/visitor/statements.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../../src/visitor/statements.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,QAAQ,EACR,EAAE,EACF,MAAM,EACN,KAAK,EACL,aAAa,EACb,WAAW,EACX,QAAQ,EACR,MAAM,EACN,IAAI,EACJ,GAAG,EACH,KAAK,EACL,KAAK,EACL,KAAK,EACL,KAAK,EACL,GAAG,EACH,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,UAAU,EACV,WAAW,EACX,MAAM,EACN,QAAQ,EACX,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACH,UAAU,EACV,SAAS,EACT,WAAW,EACX,KAAK,EACL,MAAM,EACN,OAAO,EACP,SAAS,EACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACH,IAAI,EACJ,IAAI,EACJ,KAAK,EACL,eAAe,EAClB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACH,MAAM,EACN,SAAS,EACT,KAAK,EACL,SAAS,EACT,MAAM,EACN,KAAK,EACL,IAAI,EACJ,eAAe,EAClB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAEvD,MAAM,WAAW,gBAAgB,CAAC,OAAO;IACrC,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;IACvC,SAAS,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC;IAC/B,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACjC,OAAO,CAAC,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC;IAC3B,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;IACvC,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACjC,gBAAgB,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC;IAC7C,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,kBAAkB,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC;IACjD,gBAAgB,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC;IAC7C,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;IACvC,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,SAAS,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,GAAG,GAAG,OAAO,CAAC;IAC7B,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACjC,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACjC,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACjC,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,GAAG,GAAG,OAAO,CAAC;IAC7B,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACjC,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;IACvC,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;IACvC,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC;IAC3C,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IACzC,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC;IAC3C,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IACzC,gBAAgB,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC;IAC7C,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACjC,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,YAAY,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC;IACrC,SAAS,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC;IAC/B,SAAS,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC;IAC/B,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACjC,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,oBAAoB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC;IACrD,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IACzC,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACjC,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IACzC,oBAAoB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC;CACxD;AAED,wBAAgB,kBAAkB,CAAC,KAAK,SAAS,YAAY,CAAC,YAAY,CAAC,EACvE,IAAI,EAAE,KAAK;;4BAGa,QAAQ,GAAG,IAAI;wBAGnB,IAAI,GAAG,IAAI;yBACV,KAAK,GAAG,IAAI;sBACf,EAAE,GAAG,IAAI;0BAKL,MAAM,GAAG,IAAI;4BAGX,QAAQ,GAAG,IAAI;yBAIlB,KAAK,GAAG,IAAI;+BAIN,WAAW,GAAG,IAAI;0BAIvB,MAAM,GAAG,IAAI;iCAKN,aAAa,GAAG,IAAI;+BAGtB,WAAW,GAAG,IAAI;4BAIrB,QAAQ,GAAG,IAAI;0BASjB,MAAM,GAAG,IAAI;wBAIf,IAAI,GAAG,IAAI;uBAIZ,GAAG,GAAG,IAAI;yBAKR,KAAK,GAAG,IAAI;yBAIZ,KAAK,GAAG,IAAI;yBAGZ,KAAK,GAAG,IAAI;yBAGZ,KAAK,GAAG,IAAI;uBAGd,GAAG,GAAG,IAAI;yBAIR,KAAK,GAAG,IAAI;4BAGT,QAAQ,GAAG,IAAI;4BAGf,QAAQ,GAAG,IAAI;8BAKb,UAAU,GAAG,IAAI;6BAIlB,SAAS,GAAG,IAAI;8BAGf,UAAU,GAAG,IAAI;6BAIlB,SAAS,GAAG,IAAI;+BAId,WAAW,GAAG,IAAI;yBAIxB,KAAK,GAAG,IAAI;0BAIX,MAAM,GAAG,IAAI;2BAIZ,OAAO,GAAG,IAAI;wBAMjB,IAAI,GAAG,IAAI;wBAIX,IAAI,GAAG,IAAI;yBAIV,KAAK,GAAG,IAAI;0BAGX,MAAM,GAAG,IAAI;mCAIJ,eAAe,GAAG,IAAI;6BAG5B,SAAS,GAAG,IAAI;0BAInB,MAAM,GAAG,IAAI;yBAId,KAAK,GAAG,IAAI;6BAMR,SAAS,GAAG,IAAI;mCAKV,eAAe,GAAG,IAAI;;;;UAIxD"}
+{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../../src/visitor/statements.ts"],"names":[],"mappings":"AACA,OAAO,EACH,QAAQ,EACR,EAAE,EACF,MAAM,EACN,KAAK,EACL,aAAa,EACb,UAAU,EACV,QAAQ,EACR,MAAM,EACN,IAAI,EACJ,GAAG,EACH,KAAK,EACL,KAAK,EACL,KAAK,EACL,KAAK,EACL,GAAG,EACH,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,UAAU,EACV,WAAW,EACX,MAAM,EACN,QAAQ,EACX,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACH,UAAU,EACV,SAAS,EACT,WAAW,EACX,KAAK,EACL,MAAM,EACN,OAAO,EACP,SAAS,EACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACH,IAAI,EACJ,IAAI,EACJ,KAAK,EACL,eAAe,EAClB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACH,MAAM,EACN,SAAS,EACT,KAAK,EACL,SAAS,EACT,MAAM,EACN,KAAK,EACL,IAAI,EACJ,eAAe,EAClB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAC;AAE7D,MAAM,WAAW,gBAAgB,CAAC,OAAO;IACrC,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;IACvC,SAAS,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC;IAC/B,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACjC,OAAO,CAAC,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC;IAC3B,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;IACvC,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACjC,gBAAgB,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC;IAC7C,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,kBAAkB,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC;IACjD,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC;IAC3C,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;IACvC,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,SAAS,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,GAAG,GAAG,OAAO,CAAC;IAC7B,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACjC,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACjC,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACjC,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,GAAG,GAAG,OAAO,CAAC;IAC7B,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACjC,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;IACvC,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;IACvC,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC;IAC3C,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IACzC,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC;IAC3C,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IACzC,gBAAgB,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC;IAC7C,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACjC,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,YAAY,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC;IACrC,SAAS,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC;IAC/B,SAAS,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC;IAC/B,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACjC,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,oBAAoB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC;IACrD,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IACzC,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACjC,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IACzC,oBAAoB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC;CACxD;AAED,wBAAgB,kBAAkB,CAAC,KAAK,SAAS,kBAAkB,CAAC,YAAY,CAAC,EAC7E,IAAI,EAAE,KAAK;wBAGa,QAAQ,GAAG,IAAI;oBAGnB,IAAI,GAAG,IAAI;qBACV,KAAK,GAAG,IAAI;kBACf,EAAE,GAAG,IAAI;sBAKL,MAAM,GAAG,IAAI;wBAGX,QAAQ,GAAG,IAAI;qBAIlB,KAAK,GAAG,IAAI;2BAIN,WAAW,GAAG,IAAI;sBAIvB,MAAM,GAAG,IAAI;6BAKN,aAAa,GAAG,IAAI;0BAGvB,UAAU,GAAG,IAAI;wBACnB,QAAQ,GAAG,IAAI;sBASjB,MAAM,GAAG,IAAI;oBAIf,IAAI,GAAG,IAAI;mBAIZ,GAAG,GAAG,IAAI;qBAKR,KAAK,GAAG,IAAI;qBAIZ,KAAK,GAAG,IAAI;qBAGZ,KAAK,GAAG,IAAI;qBAGZ,KAAK,GAAG,IAAI;mBAGd,GAAG,GAAG,IAAI;qBAIR,KAAK,GAAG,IAAI;wBAGT,QAAQ,GAAG,IAAI;wBAGf,QAAQ,GAAG,IAAI;0BAKb,UAAU,GAAG,IAAI;yBAIlB,SAAS,GAAG,IAAI;0BAGf,UAAU,GAAG,IAAI;yBAIlB,SAAS,GAAG,IAAI;2BAId,WAAW,GAAG,IAAI;qBAIxB,KAAK,GAAG,IAAI;sBAIX,MAAM,GAAG,IAAI;uBAIZ,OAAO,GAAG,IAAI;oBAMjB,IAAI,GAAG,IAAI;oBAIX,IAAI,GAAG,IAAI;qBAIV,KAAK,GAAG,IAAI;sBAGX,MAAM,GAAG,IAAI;+BAIJ,eAAe,GAAG,IAAI;yBAG5B,SAAS,GAAG,IAAI;sBAInB,MAAM,GAAG,IAAI;qBAQd,KAAK,GAAG,IAAI;yBAMR,SAAS,GAAG,IAAI;+BAKV,eAAe,GAAG,IAAI;;;;WAKxD"}

package/dist/visitor/statements.js

@@ -1,5 +1,5 @@
 export function StatementTraverser(Base) {
-    return class StatementTraverser extends Base {
+    class StatementTraverser extends Base {
         visitSequence(node) {
             this.traverseCollection(node.statements);
         }
@@ -34,10 +34,7 @@ export function StatementTraverser(Base) {
         visitUnguardedBody(node) {
             node.sequence.accept(this);
         }
-        visitGuardedBody(node) {
-            node.condition.accept(this);
-            node.body.accept(this);
-        }
+        visitNativeBody(node) { }
         visitEquation(node) {
             if (Array.isArray(node.body)) {
                 this.traverseCollection(node.body);
@@ -147,6 +144,10 @@ export function StatementTraverser(Base) {
         visitObject(node) {
             node.identifier.accept(this);
             node.expression.accept(this);
+            node.extendsSymbol?.accept(this);
+            if (node.extendsArgs) {
+                this.traverseCollection(node.extendsArgs);
+            }
         }
         visitClass(node) {
             node.identifier.accept(this);
@@ -162,5 +163,7 @@ export function StatementTraverser(Base) {
         visitLogicConstraint(node) {
             node.expression.accept(this);
         }
-    };
+    }
+    ;
+    return StatementTraverser;
 }

package/dist/visitor/testing.d.ts

@@ -1,5 +1,5 @@
 import { Assert, Equality, Failure, Test, TestGroup, Truth } from "../globals/testing.js";
-import { TraverseBase, GConstructor } from "./base.js";
+import { TraverseBase, VisitorConstructor } from "./base.js";
 export interface TestingVisitor<TReturn> {
     visitTestGroup(node: TestGroup): TReturn;
     visitTest(node: Test): TReturn;
@@ -8,16 +8,15 @@ export interface TestingVisitor<TReturn> {
     visitEquality(node: Equality): TReturn;
     visitFailure(node: Failure): TReturn;
 }
-export declare function TestingTraverser<TBase extends GConstructor<TraverseBase>>(Base: TBase): {
-    new (...args: any[]): {
-        visitTestGroup(node: TestGroup): void;
-        visitTest(node: Test): void;
-        visitAssert(node: Assert): void;
-        visitTruth(node: Truth): void;
-        visitEquality(node: Equality): void;
-        visitFailure(node: Failure): void;
-        visit(node: import("../index.js").ASTNode): void;
-        traverseCollection(nodes: import("../index.js").ASTNode[]): void;
-    };
-} & TBase;
+export declare function TestingTraverser<TBase extends VisitorConstructor<TraverseBase>>(Base: TBase): (abstract new (...args: any[]) => {
+    visitTestGroup(node: TestGroup): void;
+    visitTest(node: Test): void;
+    visitAssert(node: Assert): void;
+    visitTruth(node: Truth): void;
+    visitEquality(node: Equality): void;
+    visitFailure(node: Failure): void;
+    visit(node: import("../index.js").ASTNode): void;
+    traverseCollection(nodes: import("../index.js").ASTNode[]): void;
+    fallback(node: import("../index.js").ASTNode): void;
+}) & TBase;
 //# sourceMappingURL=testing.d.ts.map

package/dist/visitor/testing.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"testing.d.ts","sourceRoot":"","sources":["../../src/visitor/testing.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,MAAM,EACN,QAAQ,EACR,OAAO,EACP,IAAI,EACJ,SAAS,EACT,KAAK,EACN,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAEvD,MAAM,WAAW,cAAc,CAAC,OAAO;IACrC,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IACzC,SAAS,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC;IAC/B,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACjC,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;IACvC,YAAY,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC;CACtC;AAED,wBAAgB,gBAAgB,CAAC,KAAK,SAAS,YAAY,CAAC,YAAY,CAAC,EACvE,IAAI,EAAE,KAAK;;6BAGY,SAAS,GAAG,IAAI;wBAIrB,IAAI,GAAG,IAAI;0BAKT,MAAM,GAAG,IAAI;yBAId,KAAK,GAAG,IAAI;4BAGT,QAAQ,GAAG,IAAI;2BAIhB,OAAO,GAAG,IAAI;;;;UAKpC"}
+{"version":3,"file":"testing.d.ts","sourceRoot":"","sources":["../../src/visitor/testing.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,MAAM,EACN,QAAQ,EACR,OAAO,EACP,IAAI,EACJ,SAAS,EACT,KAAK,EACN,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAC;AAE7D,MAAM,WAAW,cAAc,CAAC,OAAO;IACrC,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IACzC,SAAS,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC;IAC/B,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,UAAU,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IACjC,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;IACvC,YAAY,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC;CACtC;AAED,wBAAgB,gBAAgB,CAAC,KAAK,SAAS,kBAAkB,CAAC,YAAY,CAAC,EAC7E,IAAI,EAAE,KAAK;yBAGY,SAAS,GAAG,IAAI;oBAIrB,IAAI,GAAG,IAAI;sBAKT,MAAM,GAAG,IAAI;qBAId,KAAK,GAAG,IAAI;wBAGT,QAAQ,GAAG,IAAI;uBAIhB,OAAO,GAAG,IAAI;;;;WAMpC"}

package/dist/visitor/testing.js

@@ -1,5 +1,5 @@
 export function TestingTraverser(Base) {
-    return class TestingTraverser extends Base {
+    class TestingTraverser extends Base {
         visitTestGroup(node) {
             node.name.accept(this);
             node.group.accept(this);
@@ -24,5 +24,7 @@ export function TestingTraverser(Base) {
             node.func.accept(this);
             node.message.accept(this);
         }
-    };
+    }
+    ;
+    return TestingTraverser;
 }

package/dist/visitor/typeclasses.d.ts

@@ -1,15 +1,14 @@
 import { TypeClass, Instance } from "../paradigms/typeclasses.js";
-import { TraverseBase, GConstructor } from "./base.js";
+import { TraverseBase, VisitorConstructor } from "./base.js";
 export interface TypeClassVisitor<TReturn> {
     visitTypeClass(node: TypeClass): TReturn;
     visitInstance(node: Instance): TReturn;
 }
-export declare function TypeClassTraverser<TBase extends GConstructor<TraverseBase>>(Base: TBase): {
-    new (...args: any[]): {
-        visitTypeClass(node: TypeClass): void;
-        visitInstance(node: Instance): void;
-        visit(node: import("../index.js").ASTNode): void;
-        traverseCollection(nodes: import("../index.js").ASTNode[]): void;
-    };
-} & TBase;
+export declare function TypeClassTraverser<TBase extends VisitorConstructor<TraverseBase>>(Base: TBase): (abstract new (...args: any[]) => {
+    visitTypeClass(node: TypeClass): void;
+    visitInstance(node: Instance): void;
+    visit(node: import("../index.js").ASTNode): void;
+    traverseCollection(nodes: import("../index.js").ASTNode[]): void;
+    fallback(node: import("../index.js").ASTNode): void;
+}) & TBase;
 //# sourceMappingURL=typeclasses.d.ts.map

package/dist/visitor/typeclasses.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"typeclasses.d.ts","sourceRoot":"","sources":["../../src/visitor/typeclasses.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,SAAS,EACT,QAAQ,EACT,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAEvD,MAAM,WAAW,gBAAgB,CAAC,OAAO;IACvC,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IACzC,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;CACxC;AAED,wBAAgB,kBAAkB,CAAC,KAAK,SAAS,YAAY,CAAC,YAAY,CAAC,EACzE,IAAI,EAAE,KAAK;;6BAGY,SAAS,GAAG,IAAI;4BAGjB,QAAQ,GAAG,IAAI;;;;UAItC"}
+{"version":3,"file":"typeclasses.d.ts","sourceRoot":"","sources":["../../src/visitor/typeclasses.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,SAAS,EACT,QAAQ,EACT,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAC;AAE7D,MAAM,WAAW,gBAAgB,CAAC,OAAO;IACvC,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IACzC,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;CACxC;AAED,wBAAgB,kBAAkB,CAAC,KAAK,SAAS,kBAAkB,CAAC,YAAY,CAAC,EAC/E,IAAI,EAAE,KAAK;yBAGY,SAAS,GAAG,IAAI;wBAGjB,QAAQ,GAAG,IAAI;;;;WAKtC"}

package/dist/visitor/typeclasses.js

@@ -1,10 +1,12 @@
 export function TypeClassTraverser(Base) {
-    return class TypeClassTraverser extends Base {
+    class TypeClassTraverser extends Base {
         visitTypeClass(node) {
             this.traverseCollection(node.signatures);
         }
         visitInstance(node) {
             this.traverseCollection(node.functions);
         }
-    };
+    }
+    ;
+    return TypeClassTraverser;
 }

package/dist/visitor/types.d.ts

@@ -1,5 +1,5 @@
 import { SimpleType, TypeVar, TypeApplication, ListType, TupleType, Constraint, ParameterizedType, ConstrainedType, TypeAlias, TypeSignature, TypeCast } from "../globals/types.js";
-import { TraverseBase, GConstructor } from "./base.js";
+import { TraverseBase, VisitorConstructor } from "./base.js";
 export interface TypeVisitor<TReturn> {
     visitSimpleType(node: SimpleType): TReturn;
     visitTypeVar(node: TypeVar): TReturn;
@@ -13,21 +13,20 @@ export interface TypeVisitor<TReturn> {
     visitTypeSignature(node: TypeSignature): TReturn;
     visitTypeCast(node: TypeCast): TReturn;
 }
-export declare function TypeTraverser<TBase extends GConstructor<TraverseBase>>(Base: TBase): {
-    new (...args: any[]): {
-        visitSimpleType(node: SimpleType): void;
-        visitTypeVar(node: TypeVar): void;
-        visitTypeApplication(node: TypeApplication): void;
-        visitListType(node: ListType): void;
-        visitTupleType(node: TupleType): void;
-        visitConstraint(node: Constraint): void;
-        visitParameterizedType(node: ParameterizedType): void;
-        visitConstrainedType(node: ConstrainedType): void;
-        visitTypeAlias(node: TypeAlias): void;
-        visitTypeSignature(node: TypeSignature): void;
-        visitTypeCast(node: TypeCast): void;
-        visit(node: import("../index.js").ASTNode): void;
-        traverseCollection(nodes: import("../index.js").ASTNode[]): void;
-    };
-} & TBase;
+export declare function TypeTraverser<TBase extends VisitorConstructor<TraverseBase>>(Base: TBase): (abstract new (...args: any[]) => {
+    visitSimpleType(node: SimpleType): void;
+    visitTypeVar(node: TypeVar): void;
+    visitTypeApplication(node: TypeApplication): void;
+    visitListType(node: ListType): void;
+    visitTupleType(node: TupleType): void;
+    visitConstraint(node: Constraint): void;
+    visitParameterizedType(node: ParameterizedType): void;
+    visitConstrainedType(node: ConstrainedType): void;
+    visitTypeAlias(node: TypeAlias): void;
+    visitTypeSignature(node: TypeSignature): void;
+    visitTypeCast(node: TypeCast): void;
+    visit(node: import("../index.js").ASTNode): void;
+    traverseCollection(nodes: import("../index.js").ASTNode[]): void;
+    fallback(node: import("../index.js").ASTNode): void;
+}) & TBase;
 //# sourceMappingURL=types.d.ts.map

package/dist/visitor/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/visitor/types.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,UAAU,EACV,OAAO,EACP,eAAe,EACf,QAAQ,EACR,SAAS,EACT,UAAU,EACV,iBAAiB,EACjB,eAAe,EACf,SAAS,EACT,aAAa,EACb,QAAQ,EACX,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAEvD,MAAM,WAAW,WAAW,CAAC,OAAO;IAChC,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC;IAC3C,YAAY,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC;IACrC,oBAAoB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC;IACrD,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;IACvC,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IACzC,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC;IAC3C,sBAAsB,CAAC,IAAI,EAAE,iBAAiB,GAAG,OAAO,CAAC;IACzD,oBAAoB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC;IACrD,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IACzC,kBAAkB,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC;IACjD,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;CAC1C;AAED,wBAAgB,aAAa,CAAC,KAAK,SAAS,YAAY,CAAC,YAAY,CAAC,EAClE,IAAI,EAAE,KAAK;;8BAGe,UAAU,GAAG,IAAI;2BAGpB,OAAO,GAAG,IAAI;mCAGN,eAAe,GAAG,IAAI;4BAI7B,QAAQ,GAAG,IAAI;6BAGd,SAAS,GAAG,IAAI;8BAIf,UAAU,GAAG,IAAI;qCAGV,iBAAiB,GAAG,IAAI;mCAK1B,eAAe,GAAG,IAAI;6BAG5B,SAAS,GAAG,IAAI;iCAIZ,aAAa,GAAG,IAAI;4BAIzB,QAAQ,GAAG,IAAI;;;;UAK1C"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/visitor/types.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EACV,OAAO,EACP,eAAe,EACf,QAAQ,EACR,SAAS,EACT,UAAU,EACV,iBAAiB,EACjB,eAAe,EACf,SAAS,EACT,aAAa,EACb,QAAQ,EACT,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAC;AAE7D,MAAM,WAAW,WAAW,CAAC,OAAO;IAClC,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC;IAC3C,YAAY,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC;IACrC,oBAAoB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC;IACrD,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;IACvC,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IACzC,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC;IAC3C,sBAAsB,CAAC,IAAI,EAAE,iBAAiB,GAAG,OAAO,CAAC;IACzD,oBAAoB,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC;IACrD,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IACzC,kBAAkB,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC;IACjD,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;CACxC;AAED,wBAAgB,aAAa,CAAC,KAAK,SAAS,kBAAkB,CAAC,YAAY,CAAC,EAC1E,IAAI,EAAE,KAAK;0BAGa,UAAU,GAAG,IAAI;uBAGpB,OAAO,GAAG,IAAI;+BAGN,eAAe,GAAG,IAAI;wBAI7B,QAAQ,GAAG,IAAI;yBAGd,SAAS,GAAG,IAAI;0BAIf,UAAU,GAAG,IAAI;iCAGV,iBAAiB,GAAG,IAAI;+BAK1B,eAAe,GAAG,IAAI;yBAG5B,SAAS,GAAG,IAAI;6BAIZ,aAAa,GAAG,IAAI;wBAIzB,QAAQ,GAAG,IAAI;;;;WAMtC"}

package/dist/visitor/types.js

@@ -1,5 +1,5 @@
 export function TypeTraverser(Base) {
-    return class TypeTraverser extends Base {
+    class TypeTraverser extends Base {
         visitSimpleType(node) {
             this.traverseCollection(node.constraints);
         }
@@ -40,5 +40,6 @@ export function TypeTraverser(Base) {
             node.body.accept(this);
             node.expression.accept(this);
         }
-    };
+    }
+    return TypeTraverser;
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "yukigo-ast",
-  "version": "0.2.1",
+  "version": "0.3.2",
   "description": "",
   "publishConfig": {
     "access": "public"
@@ -18,14 +18,5 @@
   },
   "keywords": [],
   "author": "noiseArch",
-  "license": "ISC",
-  "devDependencies": {
-    "tsup": "^8.5.0",
-    "typescript": "^5.9.2",
-    "@types/chai": "^5.2.2",
-    "@types/mocha": "^10.0.10",
-    "@types/node": "^24.2.0",
-    "chai": "^6.2.0",
-    "mocha": "^11.7.1"
-  }
+  "license": "ISC"
 }