Expand description
Typed expression values.
Expr<T> wraps a Jetro expression string together with a phantom
output type T. The expression is parse-checked at construction
time so invalid syntax fails fast rather than at first evaluation.
The phantom type carries the caller’s intent about the result
shape. It is not enforced at compile time (Jetro has no static
schema today), but it drives the typed accessors on [Bucket] and
similar helpers so that callers never have to hand-write
.as_i64().unwrap() chains.
§Composition
Expr<T> supports a pipeline operator that mirrors Jetro’s own |
syntax. a | b produces a new expression whose source is
"(a) | (b)", letting callers build complex queries from reusable
fragments.
Structs§
- Expr
- A parse-checked Jetro expression with a phantom output type.