yukigo-ast 0.2.1 → 0.3.2

package/dist/globals/testing.d.ts

@@ -1,6 +1,6 @@
 import { Visitor } from "../visitor/index.js";
 import { Expression } from "./expressions.js";
-import { ASTNode, SourceLocation } from "./generics.js";
+import { ASTNode, SerializeNode, SourceLocation } from "./generics.js";
 import { Pattern } from "./patterns.js";
 import { Sequence } from "./statements.js";
 export declare class TestGroup extends ASTNode {
@@ -8,11 +8,7 @@ export declare class TestGroup extends ASTNode {
     group: Sequence;
     constructor(name: Expression, group: Sequence, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        name: Expression;
-        group: Sequence;
-    };
+    toJSON(): SerializeNode;
 }
 export declare class Test extends ASTNode {
     name: Expression;
@@ -20,12 +16,7 @@ export declare class Test extends ASTNode {
     args: Pattern[];
     constructor(name: Expression, body: Sequence, args?: Pattern[], loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        name: Expression;
-        body: Sequence;
-        args: Pattern[];
-    };
+    toJSON(): SerializeNode;
 }
 export type Assertion = Truth | Equality | Failure;
 export declare class Assert extends ASTNode {
@@ -33,41 +24,26 @@ export declare class Assert extends ASTNode {
     body: Assertion;
     constructor(negated: Expression, body: Assertion, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        negated: Expression;
-        body: Assertion;
-    };
+    toJSON(): SerializeNode;
 }
 export declare class Truth extends ASTNode {
     body: Expression;
     constructor(body: Expression, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        body: Expression;
-    };
+    toJSON(): SerializeNode;
 }
 export declare class Equality extends ASTNode {
     expected: Expression;
     value: Expression;
     constructor(expected: Expression, value: Expression, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        expected: Expression;
-        value: Expression;
-    };
+    toJSON(): SerializeNode;
 }
 export declare class Failure extends ASTNode {
     func: Expression;
     message: Expression;
     constructor(func: Expression, message: Expression, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        func: Expression;
-        message: Expression;
-    };
+    toJSON(): SerializeNode;
 }
 //# sourceMappingURL=testing.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"testing.d.ts","sourceRoot":"","sources":["../../src/globals/testing.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAE3C,qBAAa,SAAU,SAAQ,OAAO;IAC7B,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,QAAQ,CAAC;gBACX,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,EAAE,cAAc;IAMnE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;CAOP;AACD,qBAAa,IAAK,SAAQ,OAAO;IACxB,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,OAAO,EAAE,CAAC;gBACX,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,GAAE,OAAO,EAAO,EAAE,GAAG,CAAC,EAAE,cAAc;IAOxF,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;;CAQP;AAED,MAAM,MAAM,SAAS,GAAG,KAAK,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEnD,qBAAa,MAAO,SAAQ,OAAO;IAC1B,OAAO,EAAE,UAAU,CAAC;IACpB,IAAI,EAAE,SAAS,CAAC;gBACX,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,EAAE,cAAc;IAMtE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;CAOP;AAED,qBAAa,KAAM,SAAQ,OAAO;IACzB,IAAI,EAAE,UAAU,CAAC;gBACZ,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,cAAc;IAKlD,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;CAMP;AACD,qBAAa,QAAS,SAAQ,OAAO;IAC5B,QAAQ,EAAE,UAAU,CAAC;IACrB,KAAK,EAAE,UAAU,CAAC;gBACb,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,cAAc;IAMzE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;CAOP;AAED,qBAAa,OAAQ,SAAQ,OAAO;IAC3B,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,EAAE,UAAU,CAAC;gBACf,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,cAAc;IAMvE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;CAOP"}
+{"version":3,"file":"testing.d.ts","sourceRoot":"","sources":["../../src/globals/testing.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACvE,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAE3C,qBAAa,SAAU,SAAQ,OAAO;IAC7B,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,QAAQ,CAAC;gBACX,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,EAAE,cAAc;IAMnE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAOxB;AACD,qBAAa,IAAK,SAAQ,OAAO;IACxB,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,OAAO,EAAE,CAAC;gBACX,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,GAAE,OAAO,EAAO,EAAE,GAAG,CAAC,EAAE,cAAc;IAOxF,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAQxB;AAED,MAAM,MAAM,SAAS,GAAG,KAAK,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEnD,qBAAa,MAAO,SAAQ,OAAO;IAC1B,OAAO,EAAE,UAAU,CAAC;IACpB,IAAI,EAAE,SAAS,CAAC;gBACX,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,EAAE,cAAc;IAMtE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAOxB;AAED,qBAAa,KAAM,SAAQ,OAAO;IACzB,IAAI,EAAE,UAAU,CAAC;gBACZ,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,cAAc;IAKlD,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAMxB;AACD,qBAAa,QAAS,SAAQ,OAAO;IAC5B,QAAQ,EAAE,UAAU,CAAC;IACrB,KAAK,EAAE,UAAU,CAAC;gBACb,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,cAAc;IAMzE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAOxB;AAED,qBAAa,OAAQ,SAAQ,OAAO;IAC3B,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,EAAE,UAAU,CAAC;gBACf,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,cAAc;IAMvE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAOxB"}

package/dist/globals/testing.js

@@ -8,7 +8,7 @@ export class TestGroup extends ASTNode {
         this.group = group;
     }
     accept(visitor) {
-        return visitor.visitTestGroup(this);
+        return this.dispatchVisit(visitor, visitor.visitTestGroup);
     }
     toJSON() {
         return {
@@ -29,7 +29,7 @@ export class Test extends ASTNode {
         this.args = args;
     }
     accept(visitor) {
-        return visitor.visitTest(this);
+        return this.dispatchVisit(visitor, visitor.visitTest);
     }
     toJSON() {
         return {
@@ -49,7 +49,7 @@ export class Assert extends ASTNode {
         this.body = body;
     }
     accept(visitor) {
-        return visitor.visitAssert(this);
+        return this.dispatchVisit(visitor, visitor.visitAssert);
     }
     toJSON() {
         return {
@@ -66,7 +66,7 @@ export class Truth extends ASTNode {
         this.body = body;
     }
     accept(visitor) {
-        return visitor.visitTruth(this);
+        return this.dispatchVisit(visitor, visitor.visitTruth);
     }
     toJSON() {
         return {
@@ -84,7 +84,7 @@ export class Equality extends ASTNode {
         this.value = value;
     }
     accept(visitor) {
-        return visitor.visitEquality(this);
+        return this.dispatchVisit(visitor, visitor.visitEquality);
     }
     toJSON() {
         return {
@@ -103,7 +103,7 @@ export class Failure extends ASTNode {
         this.message = message;
     }
     accept(visitor) {
-        return visitor.visitFailure(this);
+        return this.dispatchVisit(visitor, visitor.visitFailure);
     }
     toJSON() {
         return {

package/dist/globals/types.d.ts

@@ -1,6 +1,6 @@
 import { Visitor } from "../visitor/index.js";
 import { Expression } from "./expressions.js";
-import { ASTNode, SourceLocation } from "./generics.js";
+import { ASTNode, SerializeNode, SourceLocation } from "./generics.js";
 import { SymbolPrimitive } from "./primitives.js";
 export type Type = SimpleType | TypeVar | ListType | TypeApplication | TupleType | ParameterizedType | ConstrainedType;
 /**
@@ -15,7 +15,7 @@ export declare class SimpleType extends ASTNode {
     constructor(value: string, constraints: Constraint[], loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
     toString(): string;
-    toJSON(): any;
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a type variable (e.g., 'a), used in polymorphic types.
@@ -29,11 +29,7 @@ export declare class TypeVar extends ASTNode {
     constructor(value: string, constraints: Constraint[], loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
     toString(): string;
-    toJSON(): {
-        type: string;
-        value: string;
-        constraints: any[];
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Represents the application of a type constructor to arguments (e.g., List Int).
@@ -47,7 +43,7 @@ export declare class TypeApplication extends ASTNode {
     constructor(functionType: Type, argument: Type, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
     toString(): string;
-    toJSON(): any;
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a list type (e.g., [Int]).
@@ -61,7 +57,7 @@ export declare class ListType extends ASTNode {
     constructor(values: Type, constraints: Constraint[], loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
     toString(): string;
-    toJSON(): any;
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a tuple type (e.g., (Int, Bool)).
@@ -75,7 +71,7 @@ export declare class TupleType extends ASTNode {
     constructor(values: Type[], constraints: Constraint[], loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
     toString(): string;
-    toJSON(): any;
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a type constraint or class constraint (e.g., Eq a).
@@ -91,7 +87,7 @@ export declare class Constraint extends ASTNode {
     name: string;
     constructor(name: string, parameters: Type[], loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): any;
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a type that accepts type parameters.
@@ -106,8 +102,8 @@ export declare class ParameterizedType extends ASTNode {
     inputs: Type[];
     constructor(inputs: Type[], returnType: Type, constraints: Constraint[], loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toString(): any;
-    toJSON(): any;
+    toString(): string;
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a type qualified by a context of constraints.
@@ -118,10 +114,7 @@ export declare class ConstrainedType extends ASTNode {
     constraints: Constraint[];
     constructor(constraints: Constraint[], loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        constraints: any[];
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a type alias definition, giving a new name to an existing type.
@@ -139,15 +132,7 @@ export declare class TypeAlias extends ASTNode {
     identifier: SymbolPrimitive;
     constructor(identifier: SymbolPrimitive, variables: string[], value: Type, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        identifier: {
-            type: import("./primitives.js").YukigoPrimitive;
-            value: string;
-        };
-        variables: string[];
-        value: any;
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Represents an explicit type signature declaration for a function or variable.
@@ -163,14 +148,7 @@ export declare class TypeSignature extends ASTNode {
     identifier: SymbolPrimitive;
     constructor(identifier: SymbolPrimitive, body: Type, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        identifier: {
-            type: import("./primitives.js").YukigoPrimitive;
-            value: string;
-        };
-        body: any;
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Represents an explicit type casting or annotation expression.
@@ -183,6 +161,6 @@ export declare class TypeCast extends ASTNode {
     expression: Expression;
     constructor(expression: Expression, body: Type, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): any;
+    toJSON(): SerializeNode;
 }
 //# sourceMappingURL=types.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/globals/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EACL,OAAO,EACP,cAAc,EACf,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD,MAAM,MAAM,IAAI,GACZ,UAAU,GACV,OAAO,GACP,QAAQ,GACR,eAAe,GACf,SAAS,GACT,iBAAiB,GACjB,eAAe,CAAC;AAEpB;;;GAGG;AACH,qBAAa,UAAW,SAAQ,OAAO;IACrC,cAAc;IACP,WAAW,EAAE,UAAU,EAAE,CAAC;IACjC,cAAc;IACP,KAAK,EAAE,MAAM,CAAC;gBAET,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAK1E,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,QAAQ;IAGR,MAAM;CAOP;AACD;;;GAGG;AACH,qBAAa,OAAQ,SAAQ,OAAO;IAClC,cAAc;IACP,WAAW,EAAE,UAAU,EAAE,CAAC;IACjC,cAAc;IACP,KAAK,EAAE,MAAM,CAAC;gBAET,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAK1E,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,QAAQ,IAAI,MAAM;IAGlB,MAAM;;;;;CAOP;AACD;;;GAGG;AACH,qBAAa,eAAgB,SAAQ,OAAO;IAC1C,cAAc;IACP,QAAQ,EAAE,IAAI,CAAC;IACtB,cAAc;IACP,YAAY,EAAE,IAAI,CAAC;gBAEd,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,cAAc;IAKpE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,QAAQ,IAAI,MAAM;IAWlB,MAAM;CAOP;AACD;;;GAGG;AACH,qBAAa,QAAS,SAAQ,OAAO;IACnC,cAAc;IACP,WAAW,EAAE,UAAU,EAAE,CAAC;IACjC,cAAc;IACP,MAAM,EAAE,IAAI,CAAC;gBAER,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAMzE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,QAAQ;IAGR,MAAM;CAOP;AACD;;;GAGG;AACH,qBAAa,SAAU,SAAQ,OAAO;IACpC,cAAc;IACP,WAAW,EAAE,UAAU,EAAE,CAAC;IACjC,cAAc;IACP,MAAM,EAAE,IAAI,EAAE,CAAC;gBAEV,MAAM,EAAE,IAAI,EAAE,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAK3E,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,QAAQ;IAGR,MAAM;CAOP;AAED;;;;;;GAMG;AACH,qBAAa,UAAW,SAAQ,OAAO;IACrC,cAAc;IACP,UAAU,EAAE,IAAI,EAAE,CAAC;IAC1B,cAAc;IACP,IAAI,EAAE,MAAM,CAAC;gBAER,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAKlE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;CAOP;AAED;;;GAGG;AACH,qBAAa,iBAAkB,SAAQ,OAAO;IAC5C,cAAc;IACP,WAAW,EAAE,UAAU,EAAE,CAAC;IACjC,cAAc;IACP,UAAU,EAAE,IAAI,CAAC;IACxB,cAAc;IACP,MAAM,EAAE,IAAI,EAAE,CAAC;gBAGpB,MAAM,EAAE,IAAI,EAAE,EACd,UAAU,EAAE,IAAI,EAChB,WAAW,EAAE,UAAU,EAAE,EACzB,GAAG,CAAC,EAAE,cAAc;IAOtB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,QAAQ;IAqBR,MAAM;CAQP;AACD;;;GAGG;AACH,qBAAa,eAAgB,SAAQ,OAAO;IAC1C,cAAc;IACP,WAAW,EAAE,UAAU,EAAE,CAAC;gBAErB,WAAW,EAAE,UAAU,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAI3D,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;CAMP;AAED;;;;;;GAMG;AACH,qBAAa,SAAU,SAAQ,OAAO;IACpC,cAAc;IACP,KAAK,EAAE,IAAI,CAAC;IACnB,cAAc;IACP,SAAS,EAAE,MAAM,EAAE,CAAC;IAC3B,cAAc;IACP,UAAU,EAAE,eAAe,CAAC;gBAGjC,UAAU,EAAE,eAAe,EAC3B,SAAS,EAAE,MAAM,EAAE,EACnB,KAAK,EAAE,IAAI,EACX,GAAG,CAAC,EAAE,cAAc;IAOtB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;;;;;CAQP;AAED;;;;;;GAMG;AACH,qBAAa,aAAc,SAAQ,OAAO;IACxC,cAAc;IACP,IAAI,EAAE,IAAI,CAAC;IAClB,cAAc;IACP,UAAU,EAAE,eAAe,CAAC;gBAEvB,UAAU,EAAE,eAAe,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,cAAc;IAKzE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;;;;CAOP;AACD;;;GAGG;AACH,qBAAa,QAAS,SAAQ,OAAO;IACnC,cAAc;IACP,IAAI,EAAE,IAAI,CAAC;IAClB,cAAc;IACP,UAAU,EAAE,UAAU,CAAC;gBAElB,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,cAAc;IAKpE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;CAOP"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/globals/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACvE,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD,MAAM,MAAM,IAAI,GACZ,UAAU,GACV,OAAO,GACP,QAAQ,GACR,eAAe,GACf,SAAS,GACT,iBAAiB,GACjB,eAAe,CAAC;AAEpB;;;GAGG;AACH,qBAAa,UAAW,SAAQ,OAAO;IACrC,cAAc;IACP,WAAW,EAAE,UAAU,EAAE,CAAC;IACjC,cAAc;IACP,KAAK,EAAE,MAAM,CAAC;gBAET,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAK1E,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,QAAQ,IAAI,MAAM;IAGlB,MAAM,IAAI,aAAa;CAOxB;AACD;;;GAGG;AACH,qBAAa,OAAQ,SAAQ,OAAO;IAClC,cAAc;IACP,WAAW,EAAE,UAAU,EAAE,CAAC;IACjC,cAAc;IACP,KAAK,EAAE,MAAM,CAAC;gBAET,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAK1E,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,QAAQ,IAAI,MAAM;IAGlB,MAAM,IAAI,aAAa;CAOxB;AACD;;;GAGG;AACH,qBAAa,eAAgB,SAAQ,OAAO;IAC1C,cAAc;IACP,QAAQ,EAAE,IAAI,CAAC;IACtB,cAAc;IACP,YAAY,EAAE,IAAI,CAAC;gBAEd,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,cAAc;IAKpE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,QAAQ,IAAI,MAAM;IAWlB,MAAM,IAAI,aAAa;CAOxB;AACD;;;GAGG;AACH,qBAAa,QAAS,SAAQ,OAAO;IACnC,cAAc;IACP,WAAW,EAAE,UAAU,EAAE,CAAC;IACjC,cAAc;IACP,MAAM,EAAE,IAAI,CAAC;gBAER,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAMzE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,QAAQ,IAAI,MAAM;IAGlB,MAAM,IAAI,aAAa;CAOxB;AACD;;;GAGG;AACH,qBAAa,SAAU,SAAQ,OAAO;IACpC,cAAc;IACP,WAAW,EAAE,UAAU,EAAE,CAAC;IACjC,cAAc;IACP,MAAM,EAAE,IAAI,EAAE,CAAC;gBAEV,MAAM,EAAE,IAAI,EAAE,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAK3E,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,QAAQ,IAAI,MAAM;IAGlB,MAAM,IAAI,aAAa;CAOxB;AAED;;;;;;GAMG;AACH,qBAAa,UAAW,SAAQ,OAAO;IACrC,cAAc;IACP,UAAU,EAAE,IAAI,EAAE,CAAC;IAC1B,cAAc;IACP,IAAI,EAAE,MAAM,CAAC;gBAER,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAKlE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAOxB;AAED;;;GAGG;AACH,qBAAa,iBAAkB,SAAQ,OAAO;IAC5C,cAAc;IACP,WAAW,EAAE,UAAU,EAAE,CAAC;IACjC,cAAc;IACP,UAAU,EAAE,IAAI,CAAC;IACxB,cAAc;IACP,MAAM,EAAE,IAAI,EAAE,CAAC;gBAGpB,MAAM,EAAE,IAAI,EAAE,EACd,UAAU,EAAE,IAAI,EAChB,WAAW,EAAE,UAAU,EAAE,EACzB,GAAG,CAAC,EAAE,cAAc;IAOtB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,QAAQ,IAAI,MAAM;IAqBlB,MAAM,IAAI,aAAa;CAQxB;AACD;;;GAGG;AACH,qBAAa,eAAgB,SAAQ,OAAO;IAC1C,cAAc;IACP,WAAW,EAAE,UAAU,EAAE,CAAC;gBAErB,WAAW,EAAE,UAAU,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc;IAI3D,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAMxB;AAED;;;;;;GAMG;AACH,qBAAa,SAAU,SAAQ,OAAO;IACpC,cAAc;IACP,KAAK,EAAE,IAAI,CAAC;IACnB,cAAc;IACP,SAAS,EAAE,MAAM,EAAE,CAAC;IAC3B,cAAc;IACP,UAAU,EAAE,eAAe,CAAC;gBAGjC,UAAU,EAAE,eAAe,EAC3B,SAAS,EAAE,MAAM,EAAE,EACnB,KAAK,EAAE,IAAI,EACX,GAAG,CAAC,EAAE,cAAc;IAOtB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAQxB;AAED;;;;;;GAMG;AACH,qBAAa,aAAc,SAAQ,OAAO;IACxC,cAAc;IACP,IAAI,EAAE,IAAI,CAAC;IAClB,cAAc;IACP,UAAU,EAAE,eAAe,CAAC;gBAEvB,UAAU,EAAE,eAAe,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,cAAc;IAKzE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAOxB;AACD;;;GAGG;AACH,qBAAa,QAAS,SAAQ,OAAO;IACnC,cAAc;IACP,IAAI,EAAE,IAAI,CAAC;IAClB,cAAc;IACP,UAAU,EAAE,UAAU,CAAC;gBAElB,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,cAAc;IAKpE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAOxB"}

package/dist/globals/types.js

@@ -1,4 +1,4 @@
-import { ASTNode, } from "./generics.js";
+import { ASTNode } from "./generics.js";
 /**
  * Represents a basic named type (e.g., Int, Bool).
  * @category Types
@@ -14,7 +14,7 @@ export class SimpleType extends ASTNode {
         this.constraints = constraints;
     }
     accept(visitor) {
-        return visitor.visitSimpleType?.(this);
+        return this.dispatchVisit(visitor, visitor.visitSimpleType);
     }
     toString() {
         return this.value;
@@ -42,7 +42,7 @@ export class TypeVar extends ASTNode {
         this.constraints = constraints;
     }
     accept(visitor) {
-        return visitor.visitTypeVar?.(this);
+        return this.dispatchVisit(visitor, visitor.visitTypeVar);
     }
     toString() {
         return this.value;
@@ -70,7 +70,7 @@ export class TypeApplication extends ASTNode {
         this.argument = argument;
     }
     accept(visitor) {
-        return visitor.visitTypeApplication?.(this);
+        return this.dispatchVisit(visitor, visitor.visitTypeApplication);
     }
     toString() {
         const func = this.functionType.toString();
@@ -104,7 +104,7 @@ export class ListType extends ASTNode {
         this.constraints = constraints;
     }
     accept(visitor) {
-        return visitor.visitListType?.(this);
+        return this.dispatchVisit(visitor, visitor.visitListType);
     }
     toString() {
         return `[${this.values.toString()}]`;
@@ -132,7 +132,7 @@ export class TupleType extends ASTNode {
         this.constraints = constraints;
     }
     accept(visitor) {
-        return visitor.visitTupleType?.(this);
+        return this.dispatchVisit(visitor, visitor.visitTupleType);
     }
     toString() {
         return `(${this.values.map((t) => t.toString()).join(", ")})`;
@@ -163,7 +163,7 @@ export class Constraint extends ASTNode {
         this.parameters = parameters;
     }
     accept(visitor) {
-        return visitor.visitConstraint?.(this);
+        return this.dispatchVisit(visitor, visitor.visitConstraint);
     }
     toJSON() {
         return {
@@ -191,7 +191,7 @@ export class ParameterizedType extends ASTNode {
         this.constraints = constraints;
     }
     accept(visitor) {
-        return visitor.visitParameterizedType?.(this);
+        return this.dispatchVisit(visitor, visitor.visitParameterizedType);
     }
     toString() {
         const inputs = this.inputs.map((t) => {
@@ -233,7 +233,7 @@ export class ConstrainedType extends ASTNode {
         this.constraints = constraints;
     }
     accept(visitor) {
-        return visitor.visitConstrainedType?.(this);
+        return this.dispatchVisit(visitor, visitor.visitConstrainedType);
     }
     toJSON() {
         return {
@@ -263,7 +263,7 @@ export class TypeAlias extends ASTNode {
         this.value = value;
     }
     accept(visitor) {
-        return visitor.visitTypeAlias?.(this);
+        return this.dispatchVisit(visitor, visitor.visitTypeAlias);
     }
     toJSON() {
         return {
@@ -292,7 +292,7 @@ export class TypeSignature extends ASTNode {
         this.body = body;
     }
     accept(visitor) {
-        return visitor.visitTypeSignature?.(this);
+        return this.dispatchVisit(visitor, visitor.visitTypeSignature);
     }
     toJSON() {
         return {
@@ -317,7 +317,7 @@ export class TypeCast extends ASTNode {
         this.body = body;
     }
     accept(visitor) {
-        return visitor.visitTypeCast?.(this);
+        return this.dispatchVisit(visitor, visitor.visitTypeCast);
     }
     toJSON() {
         return {

package/dist/index.d.ts

@@ -5,7 +5,6 @@ export * from "./globals/primitives.js";
 export * from "./globals/operators.js";
 export * from "./globals/patterns.js";
 export * from "./globals/types.js";
-export * from "./globals/runtime.js";
 export * from "./globals/testing.js";
 export * from "./paradigms/functional.js";
 export * from "./paradigms/object.js";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,uBAAuB,CAAA;AACrC,cAAc,0BAA0B,CAAA;AACxC,cAAc,yBAAyB,CAAA;AACvC,cAAc,yBAAyB,CAAA;AACvC,cAAc,wBAAwB,CAAA;AACtC,cAAc,uBAAuB,CAAA;AACrC,cAAc,oBAAoB,CAAA;AAClC,cAAc,sBAAsB,CAAA;AACpC,cAAc,sBAAsB,CAAA;AACpC,cAAc,2BAA2B,CAAA;AACzC,cAAc,uBAAuB,CAAA;AACrC,cAAc,2BAA2B,CAAA;AACzC,cAAc,sBAAsB,CAAA;AACpC,cAAc,4BAA4B,CAAA;AAC1C,cAAc,oBAAoB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,uBAAuB,CAAA;AACrC,cAAc,0BAA0B,CAAA;AACxC,cAAc,yBAAyB,CAAA;AACvC,cAAc,yBAAyB,CAAA;AACvC,cAAc,wBAAwB,CAAA;AACtC,cAAc,uBAAuB,CAAA;AACrC,cAAc,oBAAoB,CAAA;AAClC,cAAc,sBAAsB,CAAA;AACpC,cAAc,2BAA2B,CAAA;AACzC,cAAc,uBAAuB,CAAA;AACrC,cAAc,2BAA2B,CAAA;AACzC,cAAc,sBAAsB,CAAA;AACpC,cAAc,4BAA4B,CAAA;AAC1C,cAAc,oBAAoB,CAAA"}

package/dist/index.js

@@ -5,7 +5,6 @@ export * from "./globals/primitives.js";
 export * from "./globals/operators.js";
 export * from "./globals/patterns.js";
 export * from "./globals/types.js";
-export * from "./globals/runtime.js";
 export * from "./globals/testing.js";
 export * from "./paradigms/functional.js";
 export * from "./paradigms/object.js";

package/dist/paradigms/functional.d.ts

@@ -1,5 +1,5 @@
 import { Expression } from "../globals/expressions.js";
-import { ASTNode, SourceLocation } from "../globals/generics.js";
+import { ASTNode, SerializeNode, SourceLocation } from "../globals/generics.js";
 import { Pattern } from "../globals/patterns.js";
 import { Visitor } from "../visitor/index.js";
 /**
@@ -13,7 +13,7 @@ export declare class CompositionExpression extends ASTNode {
     left: Expression;
     constructor(left: Expression, right: Expression, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): any;
+    toJSON(): SerializeNode;
 }
 /**
  * Represents an anonymous function or lambda abstraction.
@@ -29,7 +29,7 @@ export declare class Lambda extends ASTNode {
     parameters: Pattern[];
     constructor(parameters: Pattern[], body: Expression, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): any;
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a yield statement, often used in generators or coroutines.
@@ -40,10 +40,7 @@ export declare class Yield extends ASTNode {
     expression: Expression;
     constructor(expression: Expression, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        expression: any;
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Represents the application of a function to an argument.
@@ -59,6 +56,6 @@ export declare class Application extends ASTNode {
     functionExpr: Expression;
     constructor(functionExpr: Expression, parameter: Expression, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): any;
+    toJSON(): SerializeNode;
 }
 //# sourceMappingURL=functional.d.ts.map

package/dist/paradigms/functional.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"functional.d.ts","sourceRoot":"","sources":["../../src/paradigms/functional.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACvD,OAAO,EACL,OAAO,EACP,cAAc,EACf,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAE9C;;;GAGG;AACH,qBAAa,qBAAsB,SAAQ,OAAO;IAChD,cAAc;IACP,KAAK,EAAE,UAAU,CAAC;IACzB,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;gBAGtB,IAAI,EAAE,UAAU,EAChB,KAAK,EAAE,UAAU,EACjB,GAAG,CAAC,EAAE,cAAc;IAMf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;CAOd;AAED;;;;;;GAMG;AACH,qBAAa,MAAO,SAAQ,OAAO;IACjC,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;IACxB,cAAc;IACP,UAAU,EAAE,OAAO,EAAE,CAAC;gBAG3B,UAAU,EAAE,OAAO,EAAE,EACrB,IAAI,EAAE,UAAU,EAChB,GAAG,CAAC,EAAE,cAAc;IAMf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;CAOd;AACD;;;GAGG;AACH,qBAAa,KAAM,SAAQ,OAAO;IAChC,cAAc;IACP,UAAU,EAAE,UAAU,CAAC;gBAElB,UAAU,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,cAAc;IAIjD,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;CAMd;AAED;;;;;;GAMG;AACH,qBAAa,WAAY,SAAQ,OAAO;IACtC,cAAc;IACP,SAAS,EAAE,UAAU,CAAC;IAC7B,cAAc;IACP,YAAY,EAAE,UAAU,CAAC;gBAG9B,YAAY,EAAE,UAAU,EACxB,SAAS,EAAE,UAAU,EACrB,GAAG,CAAC,EAAE,cAAc;IAMf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;CAOd"}
+{"version":3,"file":"functional.d.ts","sourceRoot":"","sources":["../../src/paradigms/functional.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACvD,OAAO,EACL,OAAO,EACP,aAAa,EACb,cAAc,EACf,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAE9C;;;GAGG;AACH,qBAAa,qBAAsB,SAAQ,OAAO;IAChD,cAAc;IACP,KAAK,EAAE,UAAU,CAAC;IACzB,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;gBAGtB,IAAI,EAAE,UAAU,EAChB,KAAK,EAAE,UAAU,EACjB,GAAG,CAAC,EAAE,cAAc;IAMf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAO/B;AAED;;;;;;GAMG;AACH,qBAAa,MAAO,SAAQ,OAAO;IACjC,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;IACxB,cAAc;IACP,UAAU,EAAE,OAAO,EAAE,CAAC;gBAG3B,UAAU,EAAE,OAAO,EAAE,EACrB,IAAI,EAAE,UAAU,EAChB,GAAG,CAAC,EAAE,cAAc;IAMf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAO/B;AACD;;;GAGG;AACH,qBAAa,KAAM,SAAQ,OAAO;IAChC,cAAc;IACP,UAAU,EAAE,UAAU,CAAC;gBAElB,UAAU,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,cAAc;IAIjD,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAM/B;AAED;;;;;;GAMG;AACH,qBAAa,WAAY,SAAQ,OAAO;IACtC,cAAc;IACP,SAAS,EAAE,UAAU,CAAC;IAC7B,cAAc;IACP,YAAY,EAAE,UAAU,CAAC;gBAG9B,YAAY,EAAE,UAAU,EACxB,SAAS,EAAE,UAAU,EACrB,GAAG,CAAC,EAAE,cAAc;IAMf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAO/B"}

package/dist/paradigms/functional.js

@@ -14,7 +14,7 @@ export class CompositionExpression extends ASTNode {
         this.right = right;
     }
     accept(visitor) {
-        return visitor.visitCompositionExpression?.(this);
+        return this.dispatchVisit(visitor, visitor.visitCompositionExpression);
     }
     toJSON() {
         return {
@@ -42,7 +42,7 @@ export class Lambda extends ASTNode {
         this.body = body;
     }
     accept(visitor) {
-        return visitor.visitLambda?.(this);
+        return this.dispatchVisit(visitor, visitor.visitLambda);
     }
     toJSON() {
         return {
@@ -64,7 +64,7 @@ export class Yield extends ASTNode {
         this.expression = expression;
     }
     accept(visitor) {
-        return visitor.visitYield?.(this);
+        return this.dispatchVisit(visitor, visitor.visitYield);
     }
     toJSON() {
         return {
@@ -91,7 +91,7 @@ export class Application extends ASTNode {
         this.parameter = parameter;
     }
     accept(visitor) {
-        return visitor.visitApplication?.(this);
+        return this.dispatchVisit(visitor, visitor.visitApplication);
     }
     toJSON() {
         return {

package/dist/paradigms/imperative.d.ts

@@ -1,5 +1,5 @@
 import { Expression } from "../globals/expressions.js";
-import { ASTNode, SourceLocation } from "../globals/generics.js";
+import { ASTNode, SerializeNode, SourceLocation } from "../globals/generics.js";
 import { SymbolPrimitive } from "../globals/primitives.js";
 import { Sequence, Equation, Variable } from "../globals/statements.js";
 import { Visitor } from "../visitor/index.js";
@@ -14,14 +14,7 @@ export declare class EntryPoint extends ASTNode {
     identifier: SymbolPrimitive;
     constructor(identifier: SymbolPrimitive, expression: Sequence, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        identifier: {
-            type: import("../globals/primitives.js").YukigoPrimitive;
-            value: string;
-        };
-        expression: any;
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a procedure definition, typically a function without a return value.
@@ -34,29 +27,7 @@ export declare class Procedure extends ASTNode {
     identifier: SymbolPrimitive;
     constructor(identifier: SymbolPrimitive, equations: Equation[], loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        identifier: {
-            type: import("../globals/primitives.js").YukigoPrimitive;
-            value: string;
-        };
-        equations: {
-            type: string;
-            patterns: any[];
-            body: {
-                type: string;
-                sequence: any;
-            } | {
-                type: string;
-                condition: any;
-                body: any;
-            }[];
-            return: {
-                type: string;
-                body: any;
-            };
-        }[];
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a definition of a structured data type (struct).
@@ -69,7 +40,7 @@ export declare class Structure extends ASTNode {
     identifier: SymbolPrimitive;
     constructor(identifier: SymbolPrimitive, elements: (Variable | Structure)[], loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): any;
+    toJSON(): SerializeNode;
 }
 /**
  * Represents an enumeration type definition.
@@ -82,17 +53,7 @@ export declare class Enumeration extends ASTNode {
     identifier: SymbolPrimitive;
     constructor(identifier: SymbolPrimitive, contents: SymbolPrimitive[], loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        identifier: {
-            type: import("../globals/primitives.js").YukigoPrimitive;
-            value: string;
-        };
-        expressions: {
-            type: import("../globals/primitives.js").YukigoPrimitive;
-            value: string;
-        }[];
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a while loop control structure.
@@ -108,11 +69,7 @@ export declare class While extends ASTNode {
     condition: Expression;
     constructor(condition: Expression, body: Expression, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        condition: any;
-        body: any;
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a repeat-until loop control structure.
@@ -125,11 +82,7 @@ export declare class Repeat extends ASTNode {
     count: Expression;
     constructor(count: Expression, body: Expression, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        count: any;
-        body: any;
-    };
+    toJSON(): SerializeNode;
 }
 /**
  * Represents a C-style or range-based for loop.
@@ -146,12 +99,6 @@ export declare class ForLoop extends ASTNode {
     initialization: Expression;
     constructor(initialization: Expression, condition: Expression, update: Expression, body: Expression, loc?: SourceLocation);
     accept<R>(visitor: Visitor<R>): R;
-    toJSON(): {
-        type: string;
-        initialization: any;
-        condition: any;
-        update: any;
-        body: any;
-    };
+    toJSON(): SerializeNode;
 }
 //# sourceMappingURL=imperative.d.ts.map

package/dist/paradigms/imperative.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"imperative.d.ts","sourceRoot":"","sources":["../../src/paradigms/imperative.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACxE,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAE9C;;;GAGG;AACH,qBAAa,UAAW,SAAQ,OAAO;IACrC,cAAc;IACP,UAAU,EAAE,QAAQ,CAAC;IAC5B,cAAc;IACP,UAAU,EAAE,eAAe,CAAC;gBAGjC,UAAU,EAAE,eAAe,EAC3B,UAAU,EAAE,QAAQ,EACpB,GAAG,CAAC,EAAE,cAAc;IAMf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;;;;CAOd;AAED;;;GAGG;AACH,qBAAa,SAAU,SAAQ,OAAO;IACpC,cAAc;IACP,SAAS,EAAE,QAAQ,EAAE,CAAC;IAC7B,cAAc;IACP,UAAU,EAAE,eAAe,CAAC;gBAGjC,UAAU,EAAE,eAAe,EAC3B,SAAS,EAAE,QAAQ,EAAE,EACrB,GAAG,CAAC,EAAE,cAAc;IAMf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;;;;;;;;;;;;;;;;;;;CAOd;AAED;;;GAGG;AACH,qBAAa,SAAU,SAAQ,OAAO;IACpC,cAAc;IACP,QAAQ,EAAE,CAAC,QAAQ,GAAG,SAAS,CAAC,EAAE,CAAC;IAC1C,cAAc;IACP,UAAU,EAAE,eAAe,CAAC;gBAGjC,UAAU,EAAE,eAAe,EAC3B,QAAQ,EAAE,CAAC,QAAQ,GAAG,SAAS,CAAC,EAAE,EAClC,GAAG,CAAC,EAAE,cAAc;IAOf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;CAOd;AAED;;;GAGG;AACH,qBAAa,WAAY,SAAQ,OAAO;IACtC,cAAc;IACP,QAAQ,EAAE,eAAe,EAAE,CAAC;IACnC,cAAc;IACP,UAAU,EAAE,eAAe,CAAC;gBAGjC,UAAU,EAAE,eAAe,EAC3B,QAAQ,EAAE,eAAe,EAAE,EAC3B,GAAG,CAAC,EAAE,cAAc;IAMf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;;;;;;;CAOd;AAED;;;;;;GAMG;AACH,qBAAa,KAAM,SAAQ,OAAO;IAChC,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;IACxB,cAAc;IACP,SAAS,EAAE,UAAU,CAAC;gBAEjB,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,cAAc;IAKlE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;CAOd;AACD;;;GAGG;AACH,qBAAa,MAAO,SAAQ,OAAO;IACjC,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;IACxB,cAAc;IACP,KAAK,EAAE,UAAU,CAAC;gBAEb,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,cAAc;IAK9D,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;CAOd;AAED;;;GAGG;AACH,qBAAa,OAAQ,SAAQ,OAAO;IAClC,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;IACxB,cAAc;IACP,MAAM,EAAE,UAAU,CAAC;IAC1B,cAAc;IACP,SAAS,EAAE,UAAU,CAAC;IAC7B,cAAc;IACP,cAAc,EAAE,UAAU,CAAC;gBAGhC,cAAc,EAAE,UAAU,EAC1B,SAAS,EAAE,UAAU,EACrB,MAAM,EAAE,UAAU,EAClB,IAAI,EAAE,UAAU,EAChB,GAAG,CAAC,EAAE,cAAc;IAQf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM;;;;;;;CASd"}
+{"version":3,"file":"imperative.d.ts","sourceRoot":"","sources":["../../src/paradigms/imperative.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAChF,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACxE,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAE9C;;;GAGG;AACH,qBAAa,UAAW,SAAQ,OAAO;IACrC,cAAc;IACP,UAAU,EAAE,QAAQ,CAAC;IAC5B,cAAc;IACP,UAAU,EAAE,eAAe,CAAC;gBAGjC,UAAU,EAAE,eAAe,EAC3B,UAAU,EAAE,QAAQ,EACpB,GAAG,CAAC,EAAE,cAAc;IAMf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAO/B;AAED;;;GAGG;AACH,qBAAa,SAAU,SAAQ,OAAO;IACpC,cAAc;IACP,SAAS,EAAE,QAAQ,EAAE,CAAC;IAC7B,cAAc;IACP,UAAU,EAAE,eAAe,CAAC;gBAGjC,UAAU,EAAE,eAAe,EAC3B,SAAS,EAAE,QAAQ,EAAE,EACrB,GAAG,CAAC,EAAE,cAAc;IAMf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAO/B;AAED;;;GAGG;AACH,qBAAa,SAAU,SAAQ,OAAO;IACpC,cAAc;IACP,QAAQ,EAAE,CAAC,QAAQ,GAAG,SAAS,CAAC,EAAE,CAAC;IAC1C,cAAc;IACP,UAAU,EAAE,eAAe,CAAC;gBAGjC,UAAU,EAAE,eAAe,EAC3B,QAAQ,EAAE,CAAC,QAAQ,GAAG,SAAS,CAAC,EAAE,EAClC,GAAG,CAAC,EAAE,cAAc;IAOf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAO/B;AAED;;;GAGG;AACH,qBAAa,WAAY,SAAQ,OAAO;IACtC,cAAc;IACP,QAAQ,EAAE,eAAe,EAAE,CAAC;IACnC,cAAc;IACP,UAAU,EAAE,eAAe,CAAC;gBAGjC,UAAU,EAAE,eAAe,EAC3B,QAAQ,EAAE,eAAe,EAAE,EAC3B,GAAG,CAAC,EAAE,cAAc;IAMf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAO/B;AAED;;;;;;GAMG;AACH,qBAAa,KAAM,SAAQ,OAAO;IAChC,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;IACxB,cAAc;IACP,SAAS,EAAE,UAAU,CAAC;gBAEjB,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,cAAc;IAKlE,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAO/B;AACD;;;GAGG;AACH,qBAAa,MAAO,SAAQ,OAAO;IACjC,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;IACxB,cAAc;IACP,KAAK,EAAE,UAAU,CAAC;gBAEb,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,cAAc;IAK9D,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAO/B;AAED;;;GAGG;AACH,qBAAa,OAAQ,SAAQ,OAAO;IAClC,cAAc;IACP,IAAI,EAAE,UAAU,CAAC;IACxB,cAAc;IACP,MAAM,EAAE,UAAU,CAAC;IAC1B,cAAc;IACP,SAAS,EAAE,UAAU,CAAC;IAC7B,cAAc;IACP,cAAc,EAAE,UAAU,CAAC;gBAGhC,cAAc,EAAE,UAAU,EAC1B,SAAS,EAAE,UAAU,EACrB,MAAM,EAAE,UAAU,EAClB,IAAI,EAAE,UAAU,EAChB,GAAG,CAAC,EAAE,cAAc;IAQf,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAGjC,MAAM,IAAI,aAAa;CAS/B"}