inputlayer-js-dev 0.1.0-dev.ec507e7

package/dist/proxy-CPWAPhZZ.d.mts

@@ -0,0 +1,198 @@
+/**
+ * Internal AST nodes for expression trees compiled to IQL.
+ */
+/** Base interface for all expression AST nodes. */
+interface Expr {
+    readonly _tag: string;
+}
+/** Base interface for boolean expression AST nodes (conditions). */
+interface BoolExpr {
+    readonly _tag: string;
+}
+/** Reference to a relation column. */
+interface Column extends Expr {
+    readonly _tag: 'Column';
+    readonly relation: string;
+    readonly name: string;
+    readonly refAlias?: string;
+}
+/** A constant value. */
+interface Literal extends Expr {
+    readonly _tag: 'Literal';
+    readonly value: any;
+}
+/** Binary arithmetic: +, -, *, /, %. */
+interface Arithmetic extends Expr {
+    readonly _tag: 'Arithmetic';
+    readonly op: '+' | '-' | '*' | '/' | '%';
+    readonly left: Expr;
+    readonly right: Expr;
+}
+/** Built-in function call: distance(V1, V2), upper(S), etc. */
+interface FuncCall extends Expr {
+    readonly _tag: 'FuncCall';
+    readonly name: string;
+    readonly args: readonly Expr[];
+}
+/** Aggregation expression: count<X>, sum<X>, top_k<k, ...>, etc. */
+interface AggExpr extends Expr {
+    readonly _tag: 'AggExpr';
+    readonly func: string;
+    readonly column?: Expr;
+    readonly params: readonly any[];
+    readonly passthrough: readonly Expr[];
+    readonly orderColumn?: Expr;
+    readonly desc: boolean;
+}
+/** A column with sort direction. */
+interface OrderedColumn extends Expr {
+    readonly _tag: 'OrderedColumn';
+    readonly column: Expr;
+    readonly descending: boolean;
+}
+/** Binary comparison: ==, !=, <, <=, >, >=. */
+interface Comparison extends BoolExpr {
+    readonly _tag: 'Comparison';
+    readonly op: '=' | '!=' | '<' | '<=' | '>' | '>=';
+    readonly left: Expr;
+    readonly right: Expr;
+}
+/** Logical AND of two conditions (IQL comma). */
+interface And extends BoolExpr {
+    readonly _tag: 'And';
+    readonly left: BoolExpr;
+    readonly right: BoolExpr;
+}
+/** Logical OR - requires splitting into multiple queries. */
+interface Or extends BoolExpr {
+    readonly _tag: 'Or';
+    readonly left: BoolExpr;
+    readonly right: BoolExpr;
+}
+/** Negation: !relation(X, Y) in IQL. */
+interface Not extends BoolExpr {
+    readonly _tag: 'Not';
+    readonly operand: BoolExpr;
+}
+/** Membership test: Column appears in another relation's column. */
+interface InExpr extends BoolExpr {
+    readonly _tag: 'InExpr';
+    readonly column: Expr;
+    readonly targetColumn: Expr;
+}
+/** Negated membership test. */
+interface NegatedIn extends BoolExpr {
+    readonly _tag: 'NegatedIn';
+    readonly column: Expr;
+    readonly targetColumn: Expr;
+}
+/** Multi-column negation/existence check against a relation. */
+interface MatchExpr extends BoolExpr {
+    readonly _tag: 'MatchExpr';
+    readonly relation: string;
+    readonly bindings: Record<string, Expr>;
+    readonly negated: boolean;
+}
+
+/**
+ * InputLayer type system - TypeScript types that map to IQL storage types.
+ */
+/** Supported IQL column types. */
+type IQLType = 'int' | 'float' | 'string' | 'bool' | 'timestamp' | 'vector' | 'vector_int8' | `vector[${number}]` | `vector_int8[${number}]`;
+/** A float32 vector (plain number array). */
+type Vector = number[];
+/** An int8 quantized vector (plain number array with values in [-128, 127]). */
+type VectorInt8 = number[];
+/** Timestamp as Unix milliseconds since epoch. */
+declare class Timestamp {
+    readonly ms: number;
+    constructor(ms: number);
+    static now(): Timestamp;
+    static fromDate(date: Date): Timestamp;
+    toDate(): Date;
+    valueOf(): number;
+    toString(): string;
+}
+/** Column definition for a relation schema. */
+interface ColumnDef {
+    name: string;
+    type: IQLType;
+}
+/** A relation schema definition describing column names and types. */
+interface RelationSchema {
+    /** Override relation name (defaults to camelToSnake of the key). */
+    name?: string;
+    columns: ColumnDef[];
+}
+/** Any value that can appear in a relation fact. */
+type FieldValue = number | string | boolean | null | Timestamp | Vector | VectorInt8;
+/** A record of field name -> value, representing one fact/row. */
+type Fact = Record<string, FieldValue>;
+
+/**
+ * Column proxy objects for building expression ASTs via method chaining.
+ *
+ * In TypeScript we can't overload operators, so we use method names instead.
+ */
+
+/** Wrap a raw value or proxy into an AST Expr. */
+declare function wrap(value: unknown): Expr;
+/**
+ * Proxy returned by relation column accessors.
+ * Builds AST nodes via method calls (TypeScript has no operator overloading).
+ */
+declare class ColumnProxy {
+    readonly relation: string;
+    readonly name: string;
+    readonly refAlias?: string;
+    constructor(relation: string, name: string, refAlias?: string);
+    toAst(): Column;
+    eq(other: ColumnProxy | Expr | number | string | boolean | null): Comparison;
+    ne(other: ColumnProxy | Expr | number | string | boolean | null): Comparison;
+    lt(other: ColumnProxy | Expr | number | string): Comparison;
+    le(other: ColumnProxy | Expr | number | string): Comparison;
+    gt(other: ColumnProxy | Expr | number | string): Comparison;
+    ge(other: ColumnProxy | Expr | number | string): Comparison;
+    add(other: ColumnProxy | Expr | number): Arithmetic;
+    sub(other: ColumnProxy | Expr | number): Arithmetic;
+    mul(other: ColumnProxy | Expr | number): Arithmetic;
+    div(other: ColumnProxy | Expr | number): Arithmetic;
+    mod(other: ColumnProxy | Expr | number): Arithmetic;
+    in(other: ColumnProxy): InExpr;
+    notIn(other: ColumnProxy): NegatedIn;
+    asc(): OrderedColumn;
+    desc(): OrderedColumn;
+    matches(relationName: string, on: Record<string, string>): MatchExpr;
+    notMatches(relationName: string, on: Record<string, string>): MatchExpr;
+}
+/** Combine two boolean expressions with AND. */
+declare function AND(left: BoolExpr, right: BoolExpr): And;
+/** Combine two boolean expressions with OR. */
+declare function OR(left: BoolExpr, right: BoolExpr): Or;
+/** Negate a boolean expression. */
+declare function NOT(operand: BoolExpr): Not;
+/**
+ * Proxy object passed to where/on callbacks.
+ * Property access returns a ColumnProxy for the given column name.
+ *
+ * Usage:
+ *   where: (e) => e.col("department").eq("eng")
+ */
+declare class RelationProxy {
+    readonly relationName: string;
+    readonly refAlias?: string;
+    constructor(relationName: string, refAlias?: string);
+    /** Get a ColumnProxy for the named column. */
+    col(name: string): ColumnProxy;
+}
+/** Independent reference to a relation for self-joins. */
+declare class RelationRef {
+    readonly schema: RelationSchema;
+    readonly alias: string;
+    readonly relationName: string;
+    constructor(schema: RelationSchema, alias: string);
+    /** Get a ColumnProxy for the named column. */
+    col(name: string): ColumnProxy;
+}
+
+export { type AggExpr as A, type BoolExpr as B, ColumnProxy as C, type Expr as E, type FuncCall as F, type IQLType as I, type Literal as L, type MatchExpr as M, NOT as N, OR as O, RelationRef as R, Timestamp as T, type Vector as V, type Column as a, type Fact as b, RelationProxy as c, AND as d, type And as e, type Arithmetic as f, type ColumnDef as g, type Comparison as h, type FieldValue as i, type InExpr as j, type NegatedIn as k, type Not as l, type Or as m, type OrderedColumn as n, type RelationSchema as o, type VectorInt8 as p, wrap as w };

package/dist/proxy-CPWAPhZZ.d.ts

@@ -0,0 +1,198 @@
+/**
+ * Internal AST nodes for expression trees compiled to IQL.
+ */
+/** Base interface for all expression AST nodes. */
+interface Expr {
+    readonly _tag: string;
+}
+/** Base interface for boolean expression AST nodes (conditions). */
+interface BoolExpr {
+    readonly _tag: string;
+}
+/** Reference to a relation column. */
+interface Column extends Expr {
+    readonly _tag: 'Column';
+    readonly relation: string;
+    readonly name: string;
+    readonly refAlias?: string;
+}
+/** A constant value. */
+interface Literal extends Expr {
+    readonly _tag: 'Literal';
+    readonly value: any;
+}
+/** Binary arithmetic: +, -, *, /, %. */
+interface Arithmetic extends Expr {
+    readonly _tag: 'Arithmetic';
+    readonly op: '+' | '-' | '*' | '/' | '%';
+    readonly left: Expr;
+    readonly right: Expr;
+}
+/** Built-in function call: distance(V1, V2), upper(S), etc. */
+interface FuncCall extends Expr {
+    readonly _tag: 'FuncCall';
+    readonly name: string;
+    readonly args: readonly Expr[];
+}
+/** Aggregation expression: count<X>, sum<X>, top_k<k, ...>, etc. */
+interface AggExpr extends Expr {
+    readonly _tag: 'AggExpr';
+    readonly func: string;
+    readonly column?: Expr;
+    readonly params: readonly any[];
+    readonly passthrough: readonly Expr[];
+    readonly orderColumn?: Expr;
+    readonly desc: boolean;
+}
+/** A column with sort direction. */
+interface OrderedColumn extends Expr {
+    readonly _tag: 'OrderedColumn';
+    readonly column: Expr;
+    readonly descending: boolean;
+}
+/** Binary comparison: ==, !=, <, <=, >, >=. */
+interface Comparison extends BoolExpr {
+    readonly _tag: 'Comparison';
+    readonly op: '=' | '!=' | '<' | '<=' | '>' | '>=';
+    readonly left: Expr;
+    readonly right: Expr;
+}
+/** Logical AND of two conditions (IQL comma). */
+interface And extends BoolExpr {
+    readonly _tag: 'And';
+    readonly left: BoolExpr;
+    readonly right: BoolExpr;
+}
+/** Logical OR - requires splitting into multiple queries. */
+interface Or extends BoolExpr {
+    readonly _tag: 'Or';
+    readonly left: BoolExpr;
+    readonly right: BoolExpr;
+}
+/** Negation: !relation(X, Y) in IQL. */
+interface Not extends BoolExpr {
+    readonly _tag: 'Not';
+    readonly operand: BoolExpr;
+}
+/** Membership test: Column appears in another relation's column. */
+interface InExpr extends BoolExpr {
+    readonly _tag: 'InExpr';
+    readonly column: Expr;
+    readonly targetColumn: Expr;
+}
+/** Negated membership test. */
+interface NegatedIn extends BoolExpr {
+    readonly _tag: 'NegatedIn';
+    readonly column: Expr;
+    readonly targetColumn: Expr;
+}
+/** Multi-column negation/existence check against a relation. */
+interface MatchExpr extends BoolExpr {
+    readonly _tag: 'MatchExpr';
+    readonly relation: string;
+    readonly bindings: Record<string, Expr>;
+    readonly negated: boolean;
+}
+
+/**
+ * InputLayer type system - TypeScript types that map to IQL storage types.
+ */
+/** Supported IQL column types. */
+type IQLType = 'int' | 'float' | 'string' | 'bool' | 'timestamp' | 'vector' | 'vector_int8' | `vector[${number}]` | `vector_int8[${number}]`;
+/** A float32 vector (plain number array). */
+type Vector = number[];
+/** An int8 quantized vector (plain number array with values in [-128, 127]). */
+type VectorInt8 = number[];
+/** Timestamp as Unix milliseconds since epoch. */
+declare class Timestamp {
+    readonly ms: number;
+    constructor(ms: number);
+    static now(): Timestamp;
+    static fromDate(date: Date): Timestamp;
+    toDate(): Date;
+    valueOf(): number;
+    toString(): string;
+}
+/** Column definition for a relation schema. */
+interface ColumnDef {
+    name: string;
+    type: IQLType;
+}
+/** A relation schema definition describing column names and types. */
+interface RelationSchema {
+    /** Override relation name (defaults to camelToSnake of the key). */
+    name?: string;
+    columns: ColumnDef[];
+}
+/** Any value that can appear in a relation fact. */
+type FieldValue = number | string | boolean | null | Timestamp | Vector | VectorInt8;
+/** A record of field name -> value, representing one fact/row. */
+type Fact = Record<string, FieldValue>;
+
+/**
+ * Column proxy objects for building expression ASTs via method chaining.
+ *
+ * In TypeScript we can't overload operators, so we use method names instead.
+ */
+
+/** Wrap a raw value or proxy into an AST Expr. */
+declare function wrap(value: unknown): Expr;
+/**
+ * Proxy returned by relation column accessors.
+ * Builds AST nodes via method calls (TypeScript has no operator overloading).
+ */
+declare class ColumnProxy {
+    readonly relation: string;
+    readonly name: string;
+    readonly refAlias?: string;
+    constructor(relation: string, name: string, refAlias?: string);
+    toAst(): Column;
+    eq(other: ColumnProxy | Expr | number | string | boolean | null): Comparison;
+    ne(other: ColumnProxy | Expr | number | string | boolean | null): Comparison;
+    lt(other: ColumnProxy | Expr | number | string): Comparison;
+    le(other: ColumnProxy | Expr | number | string): Comparison;
+    gt(other: ColumnProxy | Expr | number | string): Comparison;
+    ge(other: ColumnProxy | Expr | number | string): Comparison;
+    add(other: ColumnProxy | Expr | number): Arithmetic;
+    sub(other: ColumnProxy | Expr | number): Arithmetic;
+    mul(other: ColumnProxy | Expr | number): Arithmetic;
+    div(other: ColumnProxy | Expr | number): Arithmetic;
+    mod(other: ColumnProxy | Expr | number): Arithmetic;
+    in(other: ColumnProxy): InExpr;
+    notIn(other: ColumnProxy): NegatedIn;
+    asc(): OrderedColumn;
+    desc(): OrderedColumn;
+    matches(relationName: string, on: Record<string, string>): MatchExpr;
+    notMatches(relationName: string, on: Record<string, string>): MatchExpr;
+}
+/** Combine two boolean expressions with AND. */
+declare function AND(left: BoolExpr, right: BoolExpr): And;
+/** Combine two boolean expressions with OR. */
+declare function OR(left: BoolExpr, right: BoolExpr): Or;
+/** Negate a boolean expression. */
+declare function NOT(operand: BoolExpr): Not;
+/**
+ * Proxy object passed to where/on callbacks.
+ * Property access returns a ColumnProxy for the given column name.
+ *
+ * Usage:
+ *   where: (e) => e.col("department").eq("eng")
+ */
+declare class RelationProxy {
+    readonly relationName: string;
+    readonly refAlias?: string;
+    constructor(relationName: string, refAlias?: string);
+    /** Get a ColumnProxy for the named column. */
+    col(name: string): ColumnProxy;
+}
+/** Independent reference to a relation for self-joins. */
+declare class RelationRef {
+    readonly schema: RelationSchema;
+    readonly alias: string;
+    readonly relationName: string;
+    constructor(schema: RelationSchema, alias: string);
+    /** Get a ColumnProxy for the named column. */
+    col(name: string): ColumnProxy;
+}
+
+export { type AggExpr as A, type BoolExpr as B, ColumnProxy as C, type Expr as E, type FuncCall as F, type IQLType as I, type Literal as L, type MatchExpr as M, NOT as N, OR as O, RelationRef as R, Timestamp as T, type Vector as V, type Column as a, type Fact as b, RelationProxy as c, AND as d, type And as e, type Arithmetic as f, type ColumnDef as g, type Comparison as h, type FieldValue as i, type InExpr as j, type NegatedIn as k, type Not as l, type Or as m, type OrderedColumn as n, type RelationSchema as o, type VectorInt8 as p, wrap as w };

package/package.json

@@ -0,0 +1,61 @@
+{
+  "name": "inputlayer-js-dev",
+  "version": "0.1.0-dev.ec507e7",
+  "description": "TypeScript Object-Logic Mapper for InputLayer knowledge graph engine",
+  "main": "./dist/index.js",
+  "module": "./dist/index.mjs",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.mjs",
+      "require": "./dist/index.js"
+    },
+    "./functions": {
+      "types": "./dist/functions.d.ts",
+      "import": "./dist/functions.mjs",
+      "require": "./dist/functions.js"
+    }
+  },
+  "files": [
+    "dist",
+    "README.md"
+  ],
+  "scripts": {
+    "build": "tsup src/index.ts src/functions.ts --format cjs,esm --dts --clean",
+    "dev": "tsup src/index.ts src/functions.ts --format cjs,esm --dts --watch",
+    "test": "vitest run --exclude tests/integration.test.ts",
+    "test:integration": "vitest run tests/integration.test.ts",
+    "test:all": "vitest run",
+    "test:watch": "vitest",
+    "typecheck": "tsc --noEmit",
+    "prepublishOnly": "npm run build"
+  },
+  "dependencies": {
+    "ws": "^8.18.0"
+  },
+  "devDependencies": {
+    "@types/ws": "^8.5.0",
+    "tsup": "^8.3.0",
+    "typescript": "^5.0.0",
+    "vitest": "^3.0.0"
+  },
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/InputLayer/inputlayer.git",
+    "directory": "packages/inputlayer-js"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "keywords": [
+    "inputlayer",
+    "knowledge-graph",
+    "datalog",
+    "reasoning",
+    "typescript",
+    "vector-search"
+  ],
+  "license": "AGPL-3.0",
+  "author": "InputLayer Team"
+}