@elwood-lang/core 0.1.0

package/dist/ast.d.ts

@@ -0,0 +1,237 @@
+import type { SourceSpan } from './token.js';
+export type ElwoodExpression = PipelineExpression | PathExpression | IdentifierExpression | LambdaExpression | ObjectExpression | ArrayExpression | LiteralExpression | InterpolatedStringExpression | BinaryExpression | UnaryExpression | IfExpression | MatchExpression | MemoExpression | MethodCallExpression | FunctionCallExpression | MemberAccessExpression | IndexExpression;
+export interface ScriptNode {
+    type: 'Script';
+    bindings: LetBindingNode[];
+    returnExpression: ElwoodExpression | null;
+    span: SourceSpan;
+}
+export interface LetBindingNode {
+    type: 'LetBinding';
+    name: string;
+    value: ElwoodExpression;
+    span: SourceSpan;
+}
+export interface PipelineExpression {
+    type: 'Pipeline';
+    source: ElwoodExpression;
+    operations: PipeOperation[];
+    span: SourceSpan;
+}
+export interface PathExpression {
+    type: 'Path';
+    segments: PathSegment[];
+    isRooted: boolean;
+    span: SourceSpan;
+}
+export interface IdentifierExpression {
+    type: 'Identifier';
+    name: string;
+    span: SourceSpan;
+}
+export interface LambdaExpression {
+    type: 'Lambda';
+    parameters: string[];
+    body: ElwoodExpression;
+    span: SourceSpan;
+}
+export interface ObjectExpression {
+    type: 'Object';
+    properties: ObjectProperty[];
+    span: SourceSpan;
+}
+export interface ObjectProperty {
+    key: string;
+    value: ElwoodExpression;
+    span: SourceSpan;
+    isSpread?: boolean;
+    computedKey?: ElwoodExpression;
+}
+export interface ArrayExpression {
+    type: 'Array';
+    items: ElwoodExpression[];
+    span: SourceSpan;
+}
+export interface LiteralExpression {
+    type: 'Literal';
+    value: string | number | boolean | null;
+    span: SourceSpan;
+}
+export interface InterpolatedStringExpression {
+    type: 'InterpolatedString';
+    parts: InterpolationPart[];
+    span: SourceSpan;
+}
+export type InterpolationPart = {
+    type: 'Text';
+    text: string;
+    span: SourceSpan;
+} | {
+    type: 'Expression';
+    expression: ElwoodExpression;
+    span: SourceSpan;
+};
+export interface BinaryExpression {
+    type: 'Binary';
+    left: ElwoodExpression;
+    operator: BinaryOperator;
+    right: ElwoodExpression;
+    span: SourceSpan;
+}
+export interface UnaryExpression {
+    type: 'Unary';
+    operator: UnaryOperator;
+    operand: ElwoodExpression;
+    span: SourceSpan;
+}
+export interface IfExpression {
+    type: 'If';
+    condition: ElwoodExpression;
+    thenBranch: ElwoodExpression;
+    elseBranch: ElwoodExpression;
+    span: SourceSpan;
+}
+export interface MatchExpression {
+    type: 'Match';
+    input: ElwoodExpression;
+    arms: MatchArm[];
+    span: SourceSpan;
+}
+export interface MatchArm {
+    pattern: ElwoodExpression | null;
+    result: ElwoodExpression;
+    span: SourceSpan;
+}
+export interface MemoExpression {
+    type: 'Memo';
+    lambda: LambdaExpression;
+    span: SourceSpan;
+}
+export interface MethodCallExpression {
+    type: 'MethodCall';
+    target: ElwoodExpression;
+    methodName: string;
+    arguments: ElwoodExpression[];
+    span: SourceSpan;
+}
+export interface FunctionCallExpression {
+    type: 'FunctionCall';
+    functionName: string;
+    arguments: ElwoodExpression[];
+    span: SourceSpan;
+}
+export interface MemberAccessExpression {
+    type: 'MemberAccess';
+    target: ElwoodExpression;
+    memberName: string;
+    span: SourceSpan;
+}
+export interface IndexExpression {
+    type: 'Index';
+    target: ElwoodExpression;
+    index: ElwoodExpression | null;
+    span: SourceSpan;
+}
+export type PipeOperation = WhereOperation | SelectOperation | SelectManyOperation | OrderByOperation | GroupByOperation | DistinctOperation | AggregateOperation | SliceOperation | BatchOperation | JoinOperation | ConcatOperation | ReduceOperation | QuantifierOperation | MatchOperation;
+export interface WhereOperation {
+    type: 'Where';
+    predicate: ElwoodExpression;
+    span: SourceSpan;
+}
+export interface SelectOperation {
+    type: 'Select';
+    projection: ElwoodExpression;
+    span: SourceSpan;
+}
+export interface SelectManyOperation {
+    type: 'SelectMany';
+    projection: ElwoodExpression;
+    span: SourceSpan;
+}
+export interface OrderByOperation {
+    type: 'OrderBy';
+    keys: {
+        key: ElwoodExpression;
+        ascending: boolean;
+    }[];
+    span: SourceSpan;
+}
+export interface GroupByOperation {
+    type: 'GroupBy';
+    keySelector: ElwoodExpression;
+    span: SourceSpan;
+}
+export interface DistinctOperation {
+    type: 'Distinct';
+    span: SourceSpan;
+}
+export interface AggregateOperation {
+    type: 'Aggregate';
+    name: string;
+    predicate?: ElwoodExpression;
+    span: SourceSpan;
+}
+export interface SliceOperation {
+    type: 'Slice';
+    kind: 'take' | 'skip';
+    count: ElwoodExpression;
+    span: SourceSpan;
+}
+export interface BatchOperation {
+    type: 'Batch';
+    size: ElwoodExpression;
+    span: SourceSpan;
+}
+export interface JoinOperation {
+    type: 'Join';
+    source: ElwoodExpression;
+    leftKey: ElwoodExpression;
+    rightKey: ElwoodExpression;
+    intoAlias?: string;
+    mode: JoinMode;
+    span: SourceSpan;
+}
+export interface ConcatOperation {
+    type: 'Concat';
+    separator?: ElwoodExpression;
+    span: SourceSpan;
+}
+export interface ReduceOperation {
+    type: 'Reduce';
+    accumulator: ElwoodExpression;
+    initialValue?: ElwoodExpression;
+    span: SourceSpan;
+}
+export interface QuantifierOperation {
+    type: 'Quantifier';
+    kind: 'any' | 'all';
+    predicate: ElwoodExpression;
+    span: SourceSpan;
+}
+export interface MatchOperation {
+    type: 'MatchOp';
+    arms: MatchArm[];
+    span: SourceSpan;
+}
+export type JoinMode = 'inner' | 'left' | 'right' | 'full';
+export type PathSegment = {
+    type: 'Property';
+    name: string;
+    span: SourceSpan;
+} | {
+    type: 'Index';
+    index: number | null;
+    span: SourceSpan;
+} | {
+    type: 'Slice';
+    start: number | null;
+    end: number | null;
+    span: SourceSpan;
+} | {
+    type: 'RecursiveDescent';
+    name: string;
+    span: SourceSpan;
+};
+export type BinaryOperator = 'Add' | 'Subtract' | 'Multiply' | 'Divide' | 'Equal' | 'NotEqual' | 'LessThan' | 'LessThanOrEqual' | 'GreaterThan' | 'GreaterThanOrEqual' | 'And' | 'Or';
+export type UnaryOperator = 'Negate' | 'Not';
+//# sourceMappingURL=ast.d.ts.map

package/dist/ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAI7C,MAAM,MAAM,gBAAgB,GACxB,kBAAkB,GAClB,cAAc,GACd,oBAAoB,GACpB,gBAAgB,GAChB,gBAAgB,GAChB,eAAe,GACf,iBAAiB,GACjB,4BAA4B,GAC5B,gBAAgB,GAChB,eAAe,GACf,YAAY,GACZ,eAAe,GACf,cAAc,GACd,oBAAoB,GACpB,sBAAsB,GACtB,sBAAsB,GACtB,eAAe,CAAC;AAIpB,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,QAAQ,CAAC;IACf,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC3B,gBAAgB,EAAE,gBAAgB,GAAG,IAAI,CAAC;IAC1C,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,gBAAgB,CAAC;IACxB,IAAI,EAAE,UAAU,CAAC;CAClB;AAID,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,UAAU,CAAC;IACjB,MAAM,EAAE,gBAAgB,CAAC;IACzB,UAAU,EAAE,aAAa,EAAE,CAAC;IAC5B,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,WAAW,EAAE,CAAC;IACxB,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,IAAI,EAAE,gBAAgB,CAAC;IACvB,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,cAAc,EAAE,CAAC;IAC7B,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,gBAAgB,CAAC;IACxB,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,WAAW,CAAC,EAAE,gBAAgB,CAAC;CAChC;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,gBAAgB,EAAE,CAAC;IAC1B,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;IACxC,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,4BAA4B;IAC3C,IAAI,EAAE,oBAAoB,CAAC;IAC3B,KAAK,EAAE,iBAAiB,EAAE,CAAC;IAC3B,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,MAAM,iBAAiB,GACzB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,UAAU,EAAE,gBAAgB,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AAE3E,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,gBAAgB,CAAC;IACvB,QAAQ,EAAE,cAAc,CAAC;IACzB,KAAK,EAAE,gBAAgB,CAAC;IACxB,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,OAAO,CAAC;IACd,QAAQ,EAAE,aAAa,CAAC;IACxB,OAAO,EAAE,gBAAgB,CAAC;IAC1B,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,IAAI,CAAC;IACX,SAAS,EAAE,gBAAgB,CAAC;IAC5B,UAAU,EAAE,gBAAgB,CAAC;IAC7B,UAAU,EAAE,gBAAgB,CAAC;IAC7B,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,gBAAgB,CAAC;IACxB,IAAI,EAAE,QAAQ,EAAE,CAAC;IACjB,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,QAAQ;IACvB,OAAO,EAAE,gBAAgB,GAAG,IAAI,CAAC;IACjC,MAAM,EAAE,gBAAgB,CAAC;IACzB,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,gBAAgB,CAAC;IACzB,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,gBAAgB,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,gBAAgB,EAAE,CAAC;IAC9B,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,cAAc,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,gBAAgB,EAAE,CAAC;IAC9B,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,cAAc,CAAC;IACrB,MAAM,EAAE,gBAAgB,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,OAAO,CAAC;IACd,MAAM,EAAE,gBAAgB,CAAC;IACzB,KAAK,EAAE,gBAAgB,GAAG,IAAI,CAAC;IAC/B,IAAI,EAAE,UAAU,CAAC;CAClB;AAID,MAAM,MAAM,aAAa,GACrB,cAAc,GACd,eAAe,GACf,mBAAmB,GACnB,gBAAgB,GAChB,gBAAgB,GAChB,iBAAiB,GACjB,kBAAkB,GAClB,cAAc,GACd,cAAc,GACd,aAAa,GACb,eAAe,GACf,eAAe,GACf,mBAAmB,GACnB,cAAc,CAAC;AAEnB,MAAM,WAAW,cAAc;IAAG,IAAI,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,gBAAgB,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE;AAChG,MAAM,WAAW,eAAe;IAAG,IAAI,EAAE,QAAQ,CAAC;IAAC,UAAU,EAAE,gBAAgB,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE;AACnG,MAAM,WAAW,mBAAmB;IAAG,IAAI,EAAE,YAAY,CAAC;IAAC,UAAU,EAAE,gBAAgB,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE;AAC3G,MAAM,WAAW,gBAAgB;IAAG,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE;QAAE,GAAG,EAAE,gBAAgB,CAAC;QAAC,SAAS,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE;AAC9H,MAAM,WAAW,gBAAgB;IAAG,IAAI,EAAE,SAAS,CAAC;IAAC,WAAW,EAAE,gBAAgB,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE;AACtG,MAAM,WAAW,iBAAiB;IAAG,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE;AACzE,MAAM,WAAW,kBAAkB;IAAG,IAAI,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,gBAAgB,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE;AACvH,MAAM,WAAW,cAAc;IAAG,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAAC,KAAK,EAAE,gBAAgB,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE;AACnH,MAAM,WAAW,cAAc;IAAG,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,gBAAgB,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE;AAC3F,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,gBAAgB,CAAC;IACzB,OAAO,EAAE,gBAAgB,CAAC;IAC1B,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,UAAU,CAAC;CAClB;AACD,MAAM,WAAW,eAAe;IAAG,IAAI,EAAE,QAAQ,CAAC;IAAC,SAAS,CAAC,EAAE,gBAAgB,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE;AACnG,MAAM,WAAW,eAAe;IAAG,IAAI,EAAE,QAAQ,CAAC;IAAC,WAAW,EAAE,gBAAgB,CAAC;IAAC,YAAY,CAAC,EAAE,gBAAgB,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE;AACrI,MAAM,WAAW,mBAAmB;IAAG,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,KAAK,GAAG,KAAK,CAAC;IAAC,SAAS,EAAE,gBAAgB,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE;AAC/H,MAAM,WAAW,cAAc;IAAG,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,QAAQ,EAAE,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE;AAEvF,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,CAAC;AAI3D,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GACpD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GACzD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GAC7E;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AAIjE,MAAM,MAAM,cAAc,GACtB,KAAK,GAAG,UAAU,GAAG,UAAU,GAAG,QAAQ,GAC1C,OAAO,GAAG,UAAU,GACpB,UAAU,GAAG,iBAAiB,GAAG,aAAa,GAAG,oBAAoB,GACrE,KAAK,GAAG,IAAI,CAAC;AAEjB,MAAM,MAAM,aAAa,GAAG,QAAQ,GAAG,KAAK,CAAC"}

package/dist/ast.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=ast.js.map

package/dist/ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":""}

package/dist/evaluator.d.ts

@@ -0,0 +1,4 @@
+import type { ElwoodExpression, ScriptNode } from './ast.js';
+export declare function evaluateExpression(expr: ElwoodExpression, input: unknown): unknown;
+export declare function evaluateScript(script: ScriptNode, input: unknown): unknown;
+//# sourceMappingURL=evaluator.d.ts.map

package/dist/evaluator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluator.d.ts","sourceRoot":"","sources":["../src/evaluator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,gBAAgB,EAAE,UAAU,EAE7B,MAAM,UAAU,CAAC;AAgHlB,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAIlF;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAQ1E"}