Module typing

Module typing 

Source

Structs§

RegisteredType
Registered mapping between a Rust type name and a TypeExpr.

Functions§

can_convert_typeexpr
Return true if from can be coerced into to based on registered compatibility.
lookup_type
Look up a previously registered TypeExpr for a Rust type T.
lookup_type_by_rust_name
Look up a previously registered TypeExpr by Rust type name (whitespace is ignored).
override_type_expr
Return an explicit type expression if T has either been registered or is covered by built-in mappings (without falling back to Opaque).
register_compatibility
Register a type-compatibility edge from from to to.
register_enum
Register an enum (variants only) for Rust type T.
register_type
Register a concrete TypeExpr for a Rust type T.
snapshot_by_rust_name
Snapshot the current registry as a list keyed by Rust type name.
type_expr
Returns the best-effort TypeExpr for a Rust type T.