yukigo-ast 0.1.0

package/dist/globals/types.js

@@ -0,0 +1,329 @@
+import { ASTNode, } from "./generics.js";
+/**
+ * Represents a basic named type (e.g., Int, Bool).
+ * @category Types
+ */
+export class SimpleType extends ASTNode {
+    /** @hidden */
+    constraints;
+    /** @hidden */
+    value;
+    constructor(value, constraints, loc) {
+        super(loc);
+        this.value = value;
+        this.constraints = constraints;
+    }
+    accept(visitor) {
+        return visitor.visitSimpleType?.(this);
+    }
+    toString() {
+        return this.value;
+    }
+    toJSON() {
+        return {
+            type: "SimpleType",
+            value: this.value,
+            constraints: this.constraints.map((c) => c.toJSON()),
+        };
+    }
+}
+/**
+ * Represents a type variable (e.g., 'a), used in polymorphic types.
+ * @category Types
+ */
+export class TypeVar extends ASTNode {
+    /** @hidden */
+    constraints;
+    /** @hidden */
+    value;
+    constructor(value, constraints, loc) {
+        super(loc);
+        this.value = value;
+        this.constraints = constraints;
+    }
+    accept(visitor) {
+        return visitor.visitTypeVar?.(this);
+    }
+    toString() {
+        return this.value;
+    }
+    toJSON() {
+        return {
+            type: "TypeVar",
+            value: this.value,
+            constraints: this.constraints.map((c) => c.toJSON()),
+        };
+    }
+}
+/**
+ * Represents the application of a type constructor to arguments (e.g., List Int).
+ * @category Types
+ */
+export class TypeApplication extends ASTNode {
+    /** @hidden */
+    argument;
+    /** @hidden */
+    functionType;
+    constructor(functionType, argument, loc) {
+        super(loc);
+        this.functionType = functionType;
+        this.argument = argument;
+    }
+    accept(visitor) {
+        return visitor.visitTypeApplication?.(this);
+    }
+    toString() {
+        const func = this.functionType.toString();
+        let arg = this.argument.toString();
+        if (this.argument instanceof TypeApplication ||
+            this.argument instanceof ParameterizedType) {
+            arg = `(${arg})`;
+        }
+        return `${func} ${arg}`;
+    }
+    toJSON() {
+        return {
+            type: "TypeApplication",
+            function: this.functionType.toJSON(),
+            argument: this.argument.toJSON(),
+        };
+    }
+}
+/**
+ * Represents a list type (e.g., [Int]).
+ * @category Types
+ */
+export class ListType extends ASTNode {
+    /** @hidden */
+    constraints;
+    /** @hidden */
+    values;
+    constructor(values, constraints, loc) {
+        super(loc);
+        this.values = values;
+        this.constraints = constraints;
+    }
+    accept(visitor) {
+        return visitor.visitListType?.(this);
+    }
+    toString() {
+        return `[${this.values.toString()}]`;
+    }
+    toJSON() {
+        return {
+            type: "ListType",
+            values: this.values.toJSON(),
+            constraints: this.constraints.map((c) => c.toJSON()),
+        };
+    }
+}
+/**
+ * Represents a tuple type (e.g., (Int, Bool)).
+ * @category Types
+ */
+export class TupleType extends ASTNode {
+    /** @hidden */
+    constraints;
+    /** @hidden */
+    values;
+    constructor(values, constraints, loc) {
+        super(loc);
+        this.values = values;
+        this.constraints = constraints;
+    }
+    accept(visitor) {
+        return visitor.visitTupleType?.(this);
+    }
+    toString() {
+        return `(${this.values.map((t) => t.toString()).join(", ")})`;
+    }
+    toJSON() {
+        return {
+            type: "TupleType",
+            values: this.values.map((val) => val.toJSON()),
+            constraints: this.constraints.map((c) => c.toJSON()),
+        };
+    }
+}
+/**
+ * Represents a type constraint or class constraint (e.g., Eq a).
+ *
+ * @example
+ * (Eq a) => a -> a -> Bool
+ * @category Types
+ */
+export class Constraint extends ASTNode {
+    /** @hidden */
+    parameters;
+    /** @hidden */
+    name;
+    constructor(name, parameters, loc) {
+        super(loc);
+        this.name = name;
+        this.parameters = parameters;
+    }
+    accept(visitor) {
+        return visitor.visitConstraint?.(this);
+    }
+    toJSON() {
+        return {
+            type: "Constraint",
+            name: this.name,
+            parameters: this.parameters.map((p) => p.toJSON()),
+        };
+    }
+}
+/**
+ * Represents a type that accepts type parameters.
+ * @category Types
+ */
+export class ParameterizedType extends ASTNode {
+    /** @hidden */
+    constraints;
+    /** @hidden */
+    returnType;
+    /** @hidden */
+    inputs;
+    constructor(inputs, returnType, constraints, loc) {
+        super(loc);
+        this.inputs = inputs;
+        this.returnType = returnType;
+        this.constraints = constraints;
+    }
+    accept(visitor) {
+        return visitor.visitParameterizedType?.(this);
+    }
+    toString() {
+        const inputs = this.inputs.map((t) => {
+            const str = t.toString();
+            return t instanceof ParameterizedType ? `(${str})` : str;
+        });
+        const ret = this.returnType.toString();
+        const signature = [...inputs, ret].join(" -> ");
+        if (this.constraints.length > 0) {
+            const constraints = this.constraints
+                .map((c) => {
+                const params = c.parameters.map((p) => p.toString()).join(" ");
+                return params ? `${c.name} ${params}` : c.name;
+            })
+                .join(", ");
+            const context = this.constraints.length > 1 ? `(${constraints})` : constraints;
+            return `${context} => ${signature}`;
+        }
+        return signature;
+    }
+    toJSON() {
+        return {
+            type: "ParameterizedType",
+            inputs: this.inputs.map((p) => p.toJSON()),
+            return: this.returnType.toJSON(),
+            constraints: this.constraints.map((p) => p.toJSON()),
+        };
+    }
+}
+/**
+ * Represents a type qualified by a context of constraints.
+ * @category Types
+ */
+export class ConstrainedType extends ASTNode {
+    /** @hidden */
+    constraints;
+    constructor(constraints, loc) {
+        super(loc);
+        this.constraints = constraints;
+    }
+    accept(visitor) {
+        return visitor.visitConstrainedType?.(this);
+    }
+    toJSON() {
+        return {
+            type: "ConstrainedType",
+            constraints: this.constraints.map((p) => p.toJSON()),
+        };
+    }
+}
+/**
+ * Represents a type alias definition, giving a new name to an existing type.
+ *
+ * @example
+ * type String = [Char]
+ * @category Types
+ */
+export class TypeAlias extends ASTNode {
+    /** @hidden */
+    value;
+    /** @hidden */
+    variables;
+    /** @hidden */
+    identifier;
+    constructor(identifier, variables, value, loc) {
+        super(loc);
+        this.identifier = identifier;
+        this.variables = variables;
+        this.value = value;
+    }
+    accept(visitor) {
+        return visitor.visitTypeAlias?.(this);
+    }
+    toJSON() {
+        return {
+            type: "TypeAlias",
+            identifier: this.identifier.toJSON(),
+            variables: this.variables,
+            value: this.value.toJSON(),
+        };
+    }
+}
+/**
+ * Represents an explicit type signature declaration for a function or variable.
+ *
+ * @example
+ * add :: Int -> Int -> Int
+ * @category Types
+ */
+export class TypeSignature extends ASTNode {
+    /** @hidden */
+    body;
+    /** @hidden */
+    identifier;
+    constructor(identifier, body, loc) {
+        super(loc);
+        this.identifier = identifier;
+        this.body = body;
+    }
+    accept(visitor) {
+        return visitor.visitTypeSignature?.(this);
+    }
+    toJSON() {
+        return {
+            type: "TypeSignature",
+            identifier: this.identifier.toJSON(),
+            body: this.body.toJSON(),
+        };
+    }
+}
+/**
+ * Represents an explicit type casting or annotation expression.
+ * @category Types
+ */
+export class TypeCast extends ASTNode {
+    /** @hidden */
+    body;
+    /** @hidden */
+    expression;
+    constructor(expression, body, loc) {
+        super(loc);
+        this.expression = expression;
+        this.body = body;
+    }
+    accept(visitor) {
+        return visitor.visitTypeCast?.(this);
+    }
+    toJSON() {
+        return {
+            type: "TypeCast",
+            expression: this.expression.toJSON(),
+            body: this.body.toJSON(),
+        };
+    }
+}

package/dist/index.d.ts

@@ -0,0 +1,12 @@
+export * from "./visitor.js";
+export * from "./globals/helpers.js";
+export * from "./globals/generics.js";
+export * from "./globals/operators.js";
+export * from "./globals/patterns.js";
+export * from "./globals/types.js";
+export * from "./globals/runtime.js";
+export * from "./paradigms/functional.js";
+export * from "./paradigms/object.js";
+export * from "./paradigms/imperative.js";
+export * from "./paradigms/logic.js";
+export * from "./paradigms/data.js";

package/dist/index.js

@@ -0,0 +1,12 @@
+export * from "./visitor.js";
+export * from "./globals/helpers.js";
+export * from "./globals/generics.js";
+export * from "./globals/operators.js";
+export * from "./globals/patterns.js";
+export * from "./globals/types.js";
+export * from "./globals/runtime.js";
+export * from "./paradigms/functional.js";
+export * from "./paradigms/object.js";
+export * from "./paradigms/imperative.js";
+export * from "./paradigms/logic.js";
+export * from "./paradigms/data.js";

package/dist/paradigms/data.d.ts

@@ -0,0 +1,246 @@
+import { ASTNode, Expression, SourceLocation, SymbolPrimitive } from "../globals/generics.js";
+import { Visitor } from "../visitor.js";
+/**
+ * Represents a query to retrieve data from a database table.
+ * @category SQL
+ * @example
+ * SELECT * FROM users WHERE age > 18
+ */
+export declare class Select extends ASTNode {
+    /** @hidden */
+    columns: Expression[];
+    /** @hidden */
+    from: string;
+    /** @hidden */
+    where?: Expression;
+    constructor(columns: Expression[], from: string, where?: Expression, loc?: SourceLocation);
+    accept<R>(visitor: Visitor<R>): R;
+    toJSON(): {
+        type: string;
+        columns: any[];
+        from: string;
+        where: any;
+    };
+}
+/**
+ * Represents a command to modify existing records in a database table.
+ * @category SQL
+ * @example
+ * UPDATE products SET price = 10 WHERE id = 1
+ */
+export declare class Update extends ASTNode {
+    /** @hidden */
+    table: string;
+    /** @hidden */
+    assignments: Expression[];
+    /** @hidden */
+    where?: Expression;
+    constructor(table: string, assignments: Expression[], where?: Expression, loc?: SourceLocation);
+    accept<R>(visitor: Visitor<R>): R;
+    toJSON(): {
+        type: string;
+        table: string;
+        assignments: any[];
+        where: any;
+    };
+}
+/**
+ * Represents a command to remove records from a database table.
+ * @category SQL
+ * @example
+ * DELETE FROM sessions WHERE last_active < '2023-01-01'
+ */
+export declare class Delete extends ASTNode {
+    /** @hidden */
+    table: string;
+    /** @hidden */
+    where?: Expression;
+    constructor(table: string, where?: Expression, loc?: SourceLocation);
+    accept<R>(visitor: Visitor<R>): R;
+    toJSON(): {
+        type: string;
+        table: string;
+        where: any;
+    };
+}
+/**
+ * Represents a command to insert new records into a database table.
+ * @category SQL
+ * @example
+ * INSERT INTO users (name, email) VALUES ('Alice', 'alice@example.com')
+ */
+export declare class InsertInto extends ASTNode {
+    /** @hidden */
+    table: string;
+    /** @hidden */
+    columns: string[];
+    /** @hidden */
+    values: Expression[][];
+    constructor(table: string, columns: string[], values: Expression[][], loc?: SourceLocation);
+    accept<R>(visitor: Visitor<R>): R;
+    toJSON(): {
+        type: string;
+        table: string;
+        columns: string[];
+        values: any[][];
+    };
+}
+/**
+ * Represents a command to create a new database container.
+ * @category SQL
+ * @example
+ * CREATE DATABASE production_db
+ */
+export declare class CreateDatabase extends ASTNode {
+    /** @hidden */
+    name: string;
+    constructor(name: string, loc?: SourceLocation);
+    accept<R>(visitor: Visitor<R>): R;
+    toJSON(): {
+        type: string;
+        name: string;
+    };
+}
+/**
+ * Represents a command to modify the properties of an existing database.
+ * @category SQL
+ * @example
+ * ALTER DATABASE production_db SET READ_ONLY = OFF
+ */
+export declare class AlterDatabase extends ASTNode {
+    /** @hidden */
+    name: string;
+    /** @hidden */
+    action: string;
+    constructor(name: string, action: string, loc?: SourceLocation);
+    accept<R>(visitor: Visitor<R>): R;
+    toJSON(): {
+        type: string;
+        name: string;
+        action: string;
+    };
+}
+/**
+ * Represents a command to define a new table and its schema.
+ * @category SQL
+ * @example
+ * CREATE TABLE employees (id INT, name VARCHAR(100))
+ */
+export declare class CreateTable extends ASTNode {
+    /** @hidden */
+    name: string;
+    /** @hidden */
+    columns: Expression[];
+    constructor(name: string, columns: Expression[], loc?: SourceLocation);
+    accept<R>(visitor: Visitor<R>): R;
+    toJSON(): {
+        type: string;
+        name: string;
+        columns: any[];
+    };
+}
+/**
+ * Represents a command to modify an existing table structure (e.g., adding columns).
+ * @category SQL
+ * @example
+ * ALTER TABLE employees ADD COLUMN email VARCHAR(255)
+ */
+export declare class AlterTable extends ASTNode {
+    /** @hidden */
+    name: string;
+    /** @hidden */
+    action: Expression;
+    constructor(name: string, action: Expression, loc?: SourceLocation);
+    accept<R>(visitor: Visitor<R>): R;
+    toJSON(): {
+        type: string;
+        name: string;
+        action: any;
+    };
+}
+/**
+ * Represents a command to delete a table and all its data permanently.
+ * @category SQL
+ * @example
+ * DROP TABLE old_logs
+ */
+export declare class DropTable extends ASTNode {
+    /** @hidden */
+    name: string;
+    constructor(name: string, loc?: SourceLocation);
+    accept<R>(visitor: Visitor<R>): R;
+    toJSON(): {
+        type: string;
+        name: string;
+    };
+}
+/**
+ * Represents a command to create a search index on table columns to improve query performance.
+ * @category SQL
+ * @example
+ * CREATE INDEX idx_lastname ON employees (lastname)
+ */
+export declare class CreateIndex extends ASTNode {
+    /** @hidden */
+    name: string;
+    /** @hidden */
+    table: string;
+    /** @hidden */
+    columns: string[];
+    constructor(name: string, table: string, columns: string[], loc?: SourceLocation);
+    accept<R>(visitor: Visitor<R>): R;
+    toJSON(): {
+        type: string;
+        name: string;
+        table: string;
+        columns: string[];
+    };
+}
+/**
+ * Represents a command to remove an existing search index.
+ * @category SQL
+ * @example
+ * DROP INDEX idx_lastname
+ */
+export declare class DropIndex extends ASTNode {
+    /** @hidden */
+    name: string;
+    constructor(name: string, loc?: SourceLocation);
+    accept<R>(visitor: Visitor<R>): R;
+    toJSON(): {
+        type: string;
+        name: string;
+    };
+}
+/**
+ * Represents a command to save changes made in a transaction.
+ * @category SQL
+ * @example
+ * COMMIT TRAN transaction_name
+ */
+export declare class Commit extends ASTNode {
+    /** @hidden */
+    name: SymbolPrimitive;
+    constructor(name: SymbolPrimitive, loc?: SourceLocation);
+    accept<R>(visitor: Visitor<R>): R;
+    toJSON(): {
+        type: string;
+        name: SymbolPrimitive;
+    };
+}
+/**
+ * Represents a command to undo changes made in a transaction.
+ * @category SQL
+ * @example
+ * ROLLBACK TRAN transaction_name
+ */
+export declare class Rollback extends ASTNode {
+    /** @hidden */
+    name: SymbolPrimitive;
+    constructor(name: SymbolPrimitive, loc?: SourceLocation);
+    accept<R>(visitor: Visitor<R>): R;
+    toJSON(): {
+        type: string;
+        name: SymbolPrimitive;
+    };
+}