@rcrsr/rill 0.1.0

package/dist/runtime/signals.js

@@ -0,0 +1,26 @@
+/**
+ * Control Flow Signals
+ *
+ * Signals thrown to unwind the call stack for control flow.
+ * These are part of the public API for host applications that
+ * need to catch and handle control flow.
+ */
+/** Signal thrown by `break` to exit loops */
+export class BreakSignal extends Error {
+    value;
+    constructor(value) {
+        super('break');
+        this.value = value;
+        this.name = 'BreakSignal';
+    }
+}
+/** Signal thrown by `return` to exit blocks */
+export class ReturnSignal extends Error {
+    value;
+    constructor(value) {
+        super('return');
+        this.value = value;
+        this.name = 'ReturnSignal';
+    }
+}
+//# sourceMappingURL=signals.js.map

package/dist/runtime/signals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"signals.js","sourceRoot":"","sources":["../../src/runtime/signals.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,6CAA6C;AAC7C,MAAM,OAAO,WAAY,SAAQ,KAAK;IACR;IAA5B,YAA4B,KAAgB;QAC1C,KAAK,CAAC,OAAO,CAAC,CAAC;QADW,UAAK,GAAL,KAAK,CAAW;QAE1C,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC;IAC5B,CAAC;CACF;AAED,+CAA+C;AAC/C,MAAM,OAAO,YAAa,SAAQ,KAAK;IACT;IAA5B,YAA4B,KAAgB;QAC1C,KAAK,CAAC,QAAQ,CAAC,CAAC;QADU,UAAK,GAAL,KAAK,CAAW;QAE1C,IAAI,CAAC,IAAI,GAAG,cAAc,CAAC;IAC7B,CAAC;CACF"}

package/dist/runtime/types.d.ts

@@ -0,0 +1,169 @@
+/**
+ * Runtime Types
+ *
+ * Public types for runtime configuration and execution results.
+ * These types are the primary interface for host applications.
+ */
+import type { RillTypeName } from '../types.js';
+import type { CallableFn } from './callable.js';
+import type { RillValue } from './values.js';
+/**
+ * Method signature for built-in methods.
+ * Methods are called on a receiver value: $val.method(args)
+ * @internal
+ */
+export type RillMethod = (receiver: RillValue, args: RillValue[], ctx: RuntimeContext, location?: import('../types.js').SourceLocation) => RillValue | Promise<RillValue>;
+/** I/O callbacks for runtime operations */
+export interface RuntimeCallbacks {
+    /** Called when .log is invoked */
+    onLog: (value: RillValue) => void;
+}
+/** Observability callbacks for monitoring execution */
+export interface ObservabilityCallbacks {
+    /** Called before each statement executes */
+    onStepStart?: (event: StepStartEvent) => void;
+    /** Called after each statement executes */
+    onStepEnd?: (event: StepEndEvent) => void;
+    /** Called before a function is invoked */
+    onFunctionCall?: (event: FunctionCallEvent) => void;
+    /** Called after a function returns */
+    onFunctionReturn?: (event: FunctionReturnEvent) => void;
+    /** Called when a variable is captured */
+    onCapture?: (event: CaptureEvent) => void;
+    /** Called when an error occurs */
+    onError?: (event: ErrorEvent) => void;
+}
+/** Event emitted before a statement executes */
+export interface StepStartEvent {
+    /** Statement index (0-based) */
+    index: number;
+    /** Total statements */
+    total: number;
+    /** Current pipe value before execution */
+    pipeValue: RillValue;
+}
+/** Event emitted after a statement executes */
+export interface StepEndEvent {
+    /** Statement index (0-based) */
+    index: number;
+    /** Total statements */
+    total: number;
+    /** Value produced by the statement */
+    value: RillValue;
+    /** Execution time in milliseconds */
+    durationMs: number;
+}
+/** Event emitted before a function call */
+export interface FunctionCallEvent {
+    /** Function name */
+    name: string;
+    /** Arguments passed to function */
+    args: RillValue[];
+}
+/** Event emitted after a function returns */
+export interface FunctionReturnEvent {
+    /** Function name */
+    name: string;
+    /** Return value */
+    value: RillValue;
+    /** Execution time in milliseconds */
+    durationMs: number;
+}
+/** Event emitted when a variable is captured */
+export interface CaptureEvent {
+    /** Variable name */
+    name: string;
+    /** Captured value */
+    value: RillValue;
+}
+/** Event emitted on error */
+export interface ErrorEvent {
+    /** The error that occurred */
+    error: Error;
+    /** Statement index where error occurred (if available) */
+    index?: number;
+}
+/** Runtime context with variables, functions, and callbacks */
+export interface RuntimeContext {
+    /** Named variables ($varname) */
+    readonly variables: Map<string, RillValue>;
+    /** Variable types - locked after first assignment */
+    readonly variableTypes: Map<string, RillTypeName>;
+    /** Built-in and user-defined functions */
+    readonly functions: Map<string, CallableFn>;
+    /** Built-in and user-defined methods */
+    readonly methods: Map<string, RillMethod>;
+    /** I/O callbacks */
+    readonly callbacks: RuntimeCallbacks;
+    /** Observability callbacks */
+    readonly observability: ObservabilityCallbacks;
+    /** Current pipe value ($) */
+    pipeValue: RillValue;
+    /** Timeout in milliseconds for user-supplied functions (undefined = no timeout) */
+    readonly timeout: number | undefined;
+    /** Compiled regex patterns for auto-exceptions */
+    readonly autoExceptions: RegExp[];
+    /** AbortSignal for cancellation (undefined = no cancellation) */
+    readonly signal: AbortSignal | undefined;
+}
+/** Options for creating a runtime context */
+export interface RuntimeOptions {
+    /** Initial variables */
+    variables?: Record<string, RillValue>;
+    /** Custom functions */
+    functions?: Record<string, CallableFn>;
+    /** I/O callbacks */
+    callbacks?: Partial<RuntimeCallbacks>;
+    /** Observability callbacks for monitoring execution */
+    observability?: ObservabilityCallbacks;
+    /** Timeout in milliseconds for user-supplied functions */
+    timeout?: number;
+    /** Regex patterns that auto-halt execution when $_ matches (string values only) */
+    autoExceptions?: string[];
+    /** AbortSignal for cancellation support */
+    signal?: AbortSignal;
+}
+/** Result of script execution */
+export interface ExecutionResult {
+    /** Final value returned by the script */
+    value: RillValue;
+    /** All captured variables */
+    variables: Record<string, RillValue>;
+}
+/** Result of a single step execution */
+export interface StepResult {
+    /** Value produced by this step */
+    value: RillValue;
+    /** Whether execution is complete (no more statements) */
+    done: boolean;
+    /** Current statement index (0-based) */
+    index: number;
+    /** Total number of statements */
+    total: number;
+    /** Variable captured by this step (if any) */
+    captured?: {
+        name: string;
+        value: RillValue;
+    } | undefined;
+}
+/** Stepper for controlled step-by-step execution */
+export interface ExecutionStepper {
+    /** Whether execution is complete */
+    readonly done: boolean;
+    /** Current statement index (0-based) */
+    readonly index: number;
+    /** Total number of statements */
+    readonly total: number;
+    /** The runtime context (for inspecting variables, pipeValue, etc.) */
+    readonly context: RuntimeContext;
+    /** Execute the next statement */
+    step(): Promise<StepResult>;
+    /** Get final result (only valid after done=true) */
+    getResult(): ExecutionResult;
+}
+/**
+ * Bind callables in a dict to their containing dict.
+ * This sets boundDict on each callable so they can access their container.
+ */
+export declare function bindDictCallables(value: RillValue): RillValue;
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/runtime/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG,CACvB,QAAQ,EAAE,SAAS,EACnB,IAAI,EAAE,SAAS,EAAE,EACjB,GAAG,EAAE,cAAc,EACnB,QAAQ,CAAC,EAAE,OAAO,aAAa,EAAE,cAAc,KAC5C,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;AAEpC,2CAA2C;AAC3C,MAAM,WAAW,gBAAgB;IAC/B,kCAAkC;IAClC,KAAK,EAAE,CAAC,KAAK,EAAE,SAAS,KAAK,IAAI,CAAC;CACnC;AAED,uDAAuD;AACvD,MAAM,WAAW,sBAAsB;IACrC,4CAA4C;IAC5C,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,cAAc,KAAK,IAAI,CAAC;IAC9C,2CAA2C;IAC3C,SAAS,CAAC,EAAE,CAAC,KAAK,EAAE,YAAY,KAAK,IAAI,CAAC;IAC1C,0CAA0C;IAC1C,cAAc,CAAC,EAAE,CAAC,KAAK,EAAE,iBAAiB,KAAK,IAAI,CAAC;IACpD,sCAAsC;IACtC,gBAAgB,CAAC,EAAE,CAAC,KAAK,EAAE,mBAAmB,KAAK,IAAI,CAAC;IACxD,yCAAyC;IACzC,SAAS,CAAC,EAAE,CAAC,KAAK,EAAE,YAAY,KAAK,IAAI,CAAC;IAC1C,kCAAkC;IAClC,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,UAAU,KAAK,IAAI,CAAC;CACvC;AAED,gDAAgD;AAChD,MAAM,WAAW,cAAc;IAC7B,gCAAgC;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,uBAAuB;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,0CAA0C;IAC1C,SAAS,EAAE,SAAS,CAAC;CACtB;AAED,+CAA+C;AAC/C,MAAM,WAAW,YAAY;IAC3B,gCAAgC;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,uBAAuB;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,sCAAsC;IACtC,KAAK,EAAE,SAAS,CAAC;IACjB,qCAAqC;IACrC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,2CAA2C;AAC3C,MAAM,WAAW,iBAAiB;IAChC,oBAAoB;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,mCAAmC;IACnC,IAAI,EAAE,SAAS,EAAE,CAAC;CACnB;AAED,6CAA6C;AAC7C,MAAM,WAAW,mBAAmB;IAClC,oBAAoB;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,mBAAmB;IACnB,KAAK,EAAE,SAAS,CAAC;IACjB,qCAAqC;IACrC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,gDAAgD;AAChD,MAAM,WAAW,YAAY;IAC3B,oBAAoB;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,qBAAqB;IACrB,KAAK,EAAE,SAAS,CAAC;CAClB;AAED,6BAA6B;AAC7B,MAAM,WAAW,UAAU;IACzB,8BAA8B;IAC9B,KAAK,EAAE,KAAK,CAAC;IACb,0DAA0D;IAC1D,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,+DAA+D;AAC/D,MAAM,WAAW,cAAc;IAC7B,iCAAiC;IACjC,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC3C,qDAAqD;IACrD,QAAQ,CAAC,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAClD,0CAA0C;IAC1C,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAC5C,wCAAwC;IACxC,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAC1C,oBAAoB;IACpB,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAC;IACrC,8BAA8B;IAC9B,QAAQ,CAAC,aAAa,EAAE,sBAAsB,CAAC;IAC/C,6BAA6B;IAC7B,SAAS,EAAE,SAAS,CAAC;IACrB,mFAAmF;IACnF,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,CAAC;IACrC,kDAAkD;IAClD,QAAQ,CAAC,cAAc,EAAE,MAAM,EAAE,CAAC;IAClC,iEAAiE;IACjE,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,SAAS,CAAC;CAC1C;AAED,6CAA6C;AAC7C,MAAM,WAAW,cAAc;IAC7B,wBAAwB;IACxB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACtC,uBAAuB;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACvC,oBAAoB;IACpB,SAAS,CAAC,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC;IACtC,uDAAuD;IACvD,aAAa,CAAC,EAAE,sBAAsB,CAAC;IACvC,0DAA0D;IAC1D,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,mFAAmF;IACnF,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,2CAA2C;IAC3C,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB;AAED,iCAAiC;AACjC,MAAM,WAAW,eAAe;IAC9B,yCAAyC;IACzC,KAAK,EAAE,SAAS,CAAC;IACjB,6BAA6B;IAC7B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;CACtC;AAED,wCAAwC;AACxC,MAAM,WAAW,UAAU;IACzB,kCAAkC;IAClC,KAAK,EAAE,SAAS,CAAC;IACjB,yDAAyD;IACzD,IAAI,EAAE,OAAO,CAAC;IACd,wCAAwC;IACxC,KAAK,EAAE,MAAM,CAAC;IACd,iCAAiC;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,8CAA8C;IAC9C,QAAQ,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,SAAS,CAAA;KAAE,GAAG,SAAS,CAAC;CAC3D;AAED,oDAAoD;AACpD,MAAM,WAAW,gBAAgB;IAC/B,oCAAoC;IACpC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,wCAAwC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,iCAAiC;IACjC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,sEAAsE;IACtE,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,iCAAiC;IACjC,IAAI,IAAI,OAAO,CAAC,UAAU,CAAC,CAAC;IAC5B,oDAAoD;IACpD,SAAS,IAAI,eAAe,CAAC;CAC9B;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,CA+C7D"}

package/dist/runtime/types.js

@@ -0,0 +1,50 @@
+/**
+ * Runtime Types
+ *
+ * Public types for runtime configuration and execution results.
+ * These types are the primary interface for host applications.
+ */
+/**
+ * Bind callables in a dict to their containing dict.
+ * This sets boundDict on each callable so they can access their container.
+ */
+export function bindDictCallables(value) {
+    if (typeof value !== 'object' ||
+        value === null ||
+        Array.isArray(value) ||
+        '__type' in value ||
+        '__rill_args' in value) {
+        return value;
+    }
+    const dict = value;
+    let hasBoundCallables = false;
+    // Check if any values are callables that need binding
+    for (const v of Object.values(dict)) {
+        if (typeof v === 'object' &&
+            v !== null &&
+            '__type' in v &&
+            v.__type === 'callable' &&
+            !('boundDict' in v && v['boundDict'])) {
+            hasBoundCallables = true;
+            break;
+        }
+    }
+    if (!hasBoundCallables)
+        return value;
+    // Create a new dict with bound callables
+    const result = {};
+    for (const [key, v] of Object.entries(dict)) {
+        if (typeof v === 'object' &&
+            v !== null &&
+            '__type' in v &&
+            v.__type === 'callable' &&
+            !('boundDict' in v && v['boundDict'])) {
+            result[key] = { ...v, boundDict: result };
+        }
+        else {
+            result[key] = v;
+        }
+    }
+    return result;
+}
+//# sourceMappingURL=types.js.map

package/dist/runtime/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/runtime/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAgLH;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAgB;IAChD,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACpB,QAAQ,IAAI,KAAK;QACjB,aAAa,IAAI,KAAK,EACtB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,IAAI,GAAG,KAAkC,CAAC;IAChD,IAAI,iBAAiB,GAAG,KAAK,CAAC;IAE9B,sDAAsD;IACtD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,IACE,OAAO,CAAC,KAAK,QAAQ;YACrB,CAAC,KAAK,IAAI;YACV,QAAQ,IAAI,CAAC;YACb,CAAC,CAAC,MAAM,KAAK,UAAU;YACvB,CAAC,CAAC,WAAW,IAAI,CAAC,IAAK,CAA6B,CAAC,WAAW,CAAC,CAAC,EAClE,CAAC;YACD,iBAAiB,GAAG,IAAI,CAAC;YACzB,MAAM;QACR,CAAC;IACH,CAAC;IAED,IAAI,CAAC,iBAAiB;QAAE,OAAO,KAAK,CAAC;IAErC,yCAAyC;IACzC,MAAM,MAAM,GAA8B,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,IACE,OAAO,CAAC,KAAK,QAAQ;YACrB,CAAC,KAAK,IAAI;YACV,QAAQ,IAAI,CAAC;YACb,CAAC,CAAC,MAAM,KAAK,UAAU;YACvB,CAAC,CAAC,WAAW,IAAI,CAAC,IAAK,CAA6B,CAAC,WAAW,CAAC,CAAC,EAClE,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,SAAS,EAAE,MAAM,EAAe,CAAC;QACzD,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/runtime/values.d.ts

@@ -0,0 +1,50 @@
+/**
+ * Rill Value Types and Utilities
+ *
+ * Core value types that flow through Rill programs.
+ * Public API for host applications.
+ */
+import type { RillTypeName } from '../types.js';
+interface CallableMarker {
+    readonly __type: 'callable';
+}
+/**
+ * Args type - represents unpacked arguments for closure invocation.
+ * Created by the * (spread) operator from tuples or dicts.
+ * Entries are keyed by position (number) or name (string).
+ */
+export interface RillArgs {
+    readonly __rill_args: true;
+    readonly entries: Map<string | number, RillValue>;
+}
+/** Any value that can flow through Rill */
+export type RillValue = string | number | boolean | null | RillValue[] | {
+    [key: string]: RillValue;
+} | CallableMarker | RillArgs;
+/** Type guard for RillArgs */
+export declare function isArgs(value: RillValue): value is RillArgs;
+/** Create args from a tuple (positional) */
+export declare function createArgsFromTuple(tuple: RillValue[]): RillArgs;
+/** Create args from a dict (named) */
+export declare function createArgsFromDict(dict: Record<string, RillValue>): RillArgs;
+/** Infer the Rill type from a runtime value */
+export declare function inferType(value: RillValue): RillTypeName;
+/** Check if a value is truthy in Rill semantics */
+export declare function isTruthy(value: RillValue): boolean;
+/** Check if a value is empty (inverse of truthy) */
+export declare function isEmpty(value: RillValue): boolean;
+/** Format a value for display */
+export declare function formatValue(value: RillValue): string;
+/**
+ * Deep structural equality for all Rill values.
+ * - Primitives: value equality
+ * - Tuples: length + recursive element equality
+ * - Dicts: same keys + recursive value equality (order-independent)
+ */
+export declare function deepEquals(a: RillValue, b: RillValue): boolean;
+/** Reserved dict method names that cannot be overridden */
+export declare const RESERVED_DICT_METHODS: readonly ["keys", "values", "entries"];
+/** Check if a key name is reserved */
+export declare function isReservedMethod(name: string): boolean;
+export {};
+//# sourceMappingURL=values.d.ts.map

package/dist/runtime/values.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"values.d.ts","sourceRoot":"","sources":["../../src/runtime/values.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAKhD,UAAU,cAAc;IACtB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B;AAED;;;;GAIG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,GAAG,MAAM,EAAE,SAAS,CAAC,CAAC;CACnD;AAED,2CAA2C;AAC3C,MAAM,MAAM,SAAS,GACjB,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,EAAE,GACX;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,GAC5B,cAAc,GACd,QAAQ,CAAC;AAEb,8BAA8B;AAC9B,wBAAgB,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,KAAK,IAAI,QAAQ,CAO1D;AAED,4CAA4C;AAC5C,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,QAAQ,CAShE;AAED,sCAAsC;AACtC,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,QAAQ,CAM5E;AAED,+CAA+C;AAC/C,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,GAAG,YAAY,CAYxD;AAED,mDAAmD;AACnD,wBAAgB,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAYlD;AAED,oDAAoD;AACpD,wBAAgB,OAAO,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAEjD;AAED,iCAAiC;AACjC,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAsBpD;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,OAAO,CA8E9D;AAED,2DAA2D;AAC3D,eAAO,MAAM,qBAAqB,wCAAyC,CAAC;AAE5E,sCAAsC;AACtC,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEtD"}

package/dist/runtime/values.js

@@ -0,0 +1,209 @@
+/**
+ * Rill Value Types and Utilities
+ *
+ * Core value types that flow through Rill programs.
+ * Public API for host applications.
+ */
+import { callableEquals, isScriptCallable } from './callable.js';
+/** Type guard for RillArgs */
+export function isArgs(value) {
+    return (typeof value === 'object' &&
+        value !== null &&
+        '__rill_args' in value &&
+        value.__rill_args === true);
+}
+/** Create args from a tuple (positional) */
+export function createArgsFromTuple(tuple) {
+    const entries = new Map();
+    for (let i = 0; i < tuple.length; i++) {
+        const val = tuple[i];
+        if (val !== undefined) {
+            entries.set(i, val);
+        }
+    }
+    return { __rill_args: true, entries };
+}
+/** Create args from a dict (named) */
+export function createArgsFromDict(dict) {
+    const entries = new Map();
+    for (const [key, value] of Object.entries(dict)) {
+        entries.set(key, value);
+    }
+    return { __rill_args: true, entries };
+}
+/** Infer the Rill type from a runtime value */
+export function inferType(value) {
+    if (value === null)
+        return 'string'; // null treated as empty string
+    if (typeof value === 'string')
+        return 'string';
+    if (typeof value === 'number')
+        return 'number';
+    if (typeof value === 'boolean')
+        return 'bool';
+    if (isArgs(value))
+        return 'args';
+    if (Array.isArray(value))
+        return 'tuple';
+    if (typeof value === 'object' && '__type' in value && value.__type === 'callable') {
+        return 'closure';
+    }
+    if (typeof value === 'object')
+        return 'dict';
+    return 'string'; // fallback
+}
+/** Check if a value is truthy in Rill semantics */
+export function isTruthy(value) {
+    if (value === null)
+        return false;
+    if (typeof value === 'boolean')
+        return value;
+    if (typeof value === 'number')
+        return value !== 0;
+    if (typeof value === 'string')
+        return value.length > 0;
+    if (isArgs(value))
+        return value.entries.size > 0;
+    if (Array.isArray(value))
+        return value.length > 0;
+    if (typeof value === 'object') {
+        if ('__type' in value && value.__type === 'callable')
+            return true;
+        return Object.keys(value).length > 0;
+    }
+    return true;
+}
+/** Check if a value is empty (inverse of truthy) */
+export function isEmpty(value) {
+    return !isTruthy(value);
+}
+/** Format a value for display */
+export function formatValue(value) {
+    if (value === null)
+        return '';
+    if (typeof value === 'string')
+        return value;
+    if (typeof value === 'number')
+        return String(value);
+    if (typeof value === 'boolean')
+        return value ? 'true' : 'false';
+    if (isArgs(value)) {
+        const parts = [];
+        for (const [key, val] of value.entries) {
+            if (typeof key === 'number') {
+                parts.push(formatValue(val));
+            }
+            else {
+                parts.push(`${key}: ${formatValue(val)}`);
+            }
+        }
+        return `*[${parts.join(', ')}]`;
+    }
+    if (typeof value === 'object' && '__type' in value && value.__type === 'callable') {
+        // Basic callable formatting - full formatting in callable.ts
+        return '(...) { ... }';
+    }
+    if (Array.isArray(value))
+        return JSON.stringify(value);
+    return JSON.stringify(value);
+}
+/**
+ * Deep structural equality for all Rill values.
+ * - Primitives: value equality
+ * - Tuples: length + recursive element equality
+ * - Dicts: same keys + recursive value equality (order-independent)
+ */
+export function deepEquals(a, b) {
+    // Handle primitives and null
+    if (a === b)
+        return true;
+    if (a === null || b === null)
+        return false;
+    if (typeof a !== typeof b)
+        return false;
+    // Primitives (string, number, boolean) - covered by === above
+    if (typeof a !== 'object' || typeof b !== 'object')
+        return false;
+    // Both are non-null objects at this point
+    const aObj = a;
+    const bObj = b;
+    // Check for args
+    const aIsArgs = isArgs(a);
+    const bIsArgs = isArgs(b);
+    if (aIsArgs !== bIsArgs)
+        return false;
+    if (aIsArgs && bIsArgs) {
+        if (a.entries.size !== b.entries.size)
+            return false;
+        for (const [key, aVal] of a.entries) {
+            const bVal = b.entries.get(key);
+            if (bVal === undefined || !deepEquals(aVal, bVal))
+                return false;
+        }
+        return true;
+    }
+    // Check for arrays (tuples)
+    const aIsArray = Array.isArray(a);
+    const bIsArray = Array.isArray(b);
+    if (aIsArray !== bIsArray)
+        return false;
+    if (aIsArray && bIsArray) {
+        if (a.length !== b.length)
+            return false;
+        for (let i = 0; i < a.length; i++) {
+            const aElem = a[i];
+            const bElem = b[i];
+            if (aElem === undefined || bElem === undefined) {
+                if (aElem !== bElem)
+                    return false;
+            }
+            else if (!deepEquals(aElem, bElem)) {
+                return false;
+            }
+        }
+        return true;
+    }
+    // Both are dicts (plain objects) or callables
+    // For script callables, use structural equality (params + body AST + captured values)
+    // For runtime/application callables, use reference equality
+    if ('__type' in aObj || '__type' in bObj) {
+        // Both must be callables to be equal
+        if (!('__type' in aObj) || !('__type' in bObj))
+            return false;
+        if (aObj.__type !== 'callable' || bObj.__type !== 'callable')
+            return false;
+        // Script callables: structural equality
+        if (isScriptCallable(a) && isScriptCallable(b)) {
+            return callableEquals(a, b, deepEquals);
+        }
+        // Runtime/application callables: reference equality
+        return a === b;
+    }
+    const aDict = a;
+    const bDict = b;
+    const aKeys = Object.keys(aDict);
+    const bKeys = Object.keys(bDict);
+    if (aKeys.length !== bKeys.length)
+        return false;
+    for (const key of aKeys) {
+        if (!(key in bDict))
+            return false;
+        const aVal = aDict[key];
+        const bVal = bDict[key];
+        if (aVal === undefined || bVal === undefined) {
+            if (aVal !== bVal)
+                return false;
+        }
+        else if (!deepEquals(aVal, bVal)) {
+            return false;
+        }
+    }
+    return true;
+}
+/** Reserved dict method names that cannot be overridden */
+export const RESERVED_DICT_METHODS = ['keys', 'values', 'entries'];
+/** Check if a key name is reserved */
+export function isReservedMethod(name) {
+    return RESERVED_DICT_METHODS.includes(name);
+}
+//# sourceMappingURL=values.js.map

package/dist/runtime/values.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"values.js","sourceRoot":"","sources":["../../src/runtime/values.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AA6BjE,8BAA8B;AAC9B,MAAM,UAAU,MAAM,CAAC,KAAgB;IACrC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,aAAa,IAAI,KAAK;QACtB,KAAK,CAAC,WAAW,KAAK,IAAI,CAC3B,CAAC;AACJ,CAAC;AAED,4CAA4C;AAC5C,MAAM,UAAU,mBAAmB,CAAC,KAAkB;IACpD,MAAM,OAAO,GAAG,IAAI,GAAG,EAA8B,CAAC;IACtD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACxC,CAAC;AAED,sCAAsC;AACtC,MAAM,UAAU,kBAAkB,CAAC,IAA+B;IAChE,MAAM,OAAO,GAAG,IAAI,GAAG,EAA8B,CAAC;IACtD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACxC,CAAC;AAED,+CAA+C;AAC/C,MAAM,UAAU,SAAS,CAAC,KAAgB;IACxC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,QAAQ,CAAC,CAAC,+BAA+B;IACpE,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC/C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC/C,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IAC9C,IAAI,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACjC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,QAAQ,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAClF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC;IAC7C,OAAO,QAAQ,CAAC,CAAC,WAAW;AAC9B,CAAC;AAED,mDAAmD;AACnD,MAAM,UAAU,QAAQ,CAAC,KAAgB;IACvC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACjC,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,KAAK,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IACvD,IAAI,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC;IACjD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,QAAQ,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC;QAClE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,OAAO,CAAC,KAAgB;IACtC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC1B,CAAC;AAED,iCAAiC;AACjC,MAAM,UAAU,WAAW,CAAC,KAAgB;IAC1C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACpD,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAChE,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAClB,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YACvC,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;gBAC5B,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;YAC/B,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;QACD,OAAO,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAClC,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,QAAQ,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAClF,6DAA6D;QAC7D,OAAO,eAAe,CAAC;IACzB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACvD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,CAAY,EAAE,CAAY;IACnD,6BAA6B;IAC7B,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC3C,IAAI,OAAO,CAAC,KAAK,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IAExC,8DAA8D;IAC9D,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAEjE,0CAA0C;IAC1C,MAAM,IAAI,GAAG,CAAW,CAAC;IACzB,MAAM,IAAI,GAAG,CAAW,CAAC;IAEzB,iBAAiB;IACjB,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,OAAO,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IACtC,IAAI,OAAO,IAAI,OAAO,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACpD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YACpC,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChC,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;QAClE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,4BAA4B;IAC5B,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,QAAQ,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,QAAQ,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACnB,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACnB,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC/C,IAAI,KAAK,KAAK,KAAK;oBAAE,OAAO,KAAK,CAAC;YACpC,CAAC;iBAAM,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;gBACrC,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,8CAA8C;IAC9C,sFAAsF;IACtF,4DAA4D;IAC5D,IAAI,QAAQ,IAAI,IAAI,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;QACzC,qCAAqC;QACrC,IAAI,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7D,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU;YAAE,OAAO,KAAK,CAAC;QAE3E,wCAAwC;QACxC,IAAI,gBAAgB,CAAC,CAAC,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/C,OAAO,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;QAC1C,CAAC;QAED,oDAAoD;QACpD,OAAO,CAAC,KAAK,CAAC,CAAC;IACjB,CAAC;IAED,MAAM,KAAK,GAAG,CAA8B,CAAC;IAC7C,MAAM,KAAK,GAAG,CAA8B,CAAC;IAC7C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAEhD,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,GAAG,IAAI,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAClC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YAC7C,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;QAClC,CAAC;aAAM,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YACnC,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,2DAA2D;AAC3D,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAU,CAAC;AAE5E,sCAAsC;AACtC,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,OAAQ,qBAA2C,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACrE,CAAC"}