logos.std.deem

Binds name to a bool query/template parameter.

Binds name to an f64 query/template parameter.

Binds name to an i64 query/template parameter.

Binds name to a schema’d Writ object (a WAny ref to a schema-stamped TOM). The schema code is read off the object; a non-schema value binds with code 0 and is diagnosed by the strict checker on first use.

Binds name to an erased (lenient) node: name.field resolves at runtime by name. A string-keyed Writ map gets by key; a schema-stamped TOM whose schema is in the catalog gets by the cataloged key; anything else (missing key, unknown schema, non-object) reads as RtVal::Null, which propagates CEL-style through operators. No catalog entry needed.

Binds name to a query source: a Writ array of schema’d rows (from <name> v scans it). The element schema resolves live at run (off the first element’s stamped code) — an empty array binds fine and yields no rows. The caller keeps the backing doc alive across run.

Binds name to an erased source: a Writ array of lenient rows (string-keyed maps / arbitrary Writ values). Scans bind the row var leniently; field types are unknown at compile, so lenient rows never serve as hash-join keys (such joins take the loop tier).

Binds name to a str parameter; the view must stay valid across render/run.

Creates an empty environment with no bindings and no registered UDFs/UDAs.

Registers a UDA: init() -> acc, step(acc, arg) -> acc, fin(acc) -> result. arg_ty/ret_ty are the declared EL types of the aggregate argument and the finalized result. Builtin aggregate names shadow UDAs. Returns false (nothing registered) on a bad type name or a full registry (same contract as register_fn).

Registers a scalar UDF with its declared signature: args are EL type names ("i64"/"f64"/"bool"/"str", max 4), ret likewise. The checker resolves calls against builtins first, then this registry; re-registering a name overwrites it. Returns false (registers nothing) on a bad type name, >4 args, or a full registry.

The owned error message text.

Returns the error text as a borrowed str view, valid while the QError lives.

Returns the number of result columns.

Returns column c’s checked type name — "i64"/"str"/"bool"/"f64"/"node"/ "dyn" (lenient, runtime-typed) — or "" out of range.

Returns cell (r,c) as bool; non-bool and out-of-range cells read as false.

Returns cell (r,c) as f64; integer cells coerce, anything else reads as 0.0.

Returns cell (r,c) as i64; float/bool cells coerce, anything else reads as 0.

Returns cell (r,c) as a row-object handle (identity / find projections) into the caller’s data doc.

Returns cell (r,c) as a str view owned by this QRows (interned) — valid while it lives. Non-string and out-of-range cells read as "".

Returns whether cell (r,c) is Null. Lenient projections may carry Null (the typed getters read zero-values for it) — this is the distinguishing probe. Out-of-range reads also report true.

Returns whether any row matched — the Option-shaped probe for select first / find.

Returns the number of result rows.

Compiles query text against the catalog into a reusable Query. Parses, registers/stratifies rel blocks, lowers and simplifies the algebra, and runs the env-independent checks. Errors are values (Result), never compile diagnostics.

Executes the query against env and materializes the result as a self-contained QRows. Runs the full strict check against this env first, then materializes the rels (topo order, semi-naive where recursive) and executes the entry pipeline. Re-entrant over different envs (sources, params and the UDF/UDA registry live on the env).