Module type_expr 

Recursive CEL type expressions plus the small resolver boundary they need.

Parsing stays in cel-parser, while leaf-name lookup is delegated to a TypeResolver. This keeps CEL independent of adam-lang while still allowing a host to register custom types for typed arrays and future typed CEL surfaces.

Structs

ResolvedArrayType

The resolved descriptor for one complete array type annotation.

ResolvedLeafType

One resolved scalar leaf type.

Enums

ResolvedType

A resolved recursive CEL type expression.

TypeExpr

type_expression = identifier [ "(" [ type_expression { "," type_expression } ] ")" ] | "[" type_expression "]" | "(" [ type_expression ["," [ type_expression { "," type_expression } ]] ] ")".

Traits

TypeResolver

Resolves one named leaf type for CEL type expressions.

Functions

builtin_type_resolver

Returns cel-parser’s own built-in type resolver — every scalar name recognized by builtin_scalar_type, plus every built-in generic type recognized by builtin_generic_type (the Range family).

resolve_builtin_named_type

Resolves name/args against cel-parser’s own built-in type resolver, without allocating a TypeResolver trait object.