Enum TypeRef 

pub enum TypeRef {
    Prim(Prim),
    Named(String),
    Optional(Box<TypeRef>),
    List(Box<TypeRef>),
    Map(Box<TypeRef>, Box<TypeRef>),
    Iterator(Box<TypeRef>),
}

A reference to a type in the IDL, exactly as written.

Every user-defined type (record, enum, interface, or callback interface) is a Named reference at this level; the validator resolves the name against the declarations in scope and lowers it into the resolved kind generators consume. Keeping the document model unresolved is what makes an IDL round-trip losslessly.

There is no function-typed TypeRef. Consumer-implemented behavior is expressed as a CallbackInterfaceDef referenced by name, and asynchronous producer work uses async: true. Together these cover every pattern the FFI boundary needs and keep the type system free of values the C ABI can’t represent uniformly.

Variants

Prim(Prim)

A built-in primitive (i32, bool, string, bytes, and so on). Strings and bytes are borrowed when passed in and owned when returned.

Named(String)

A reference to a user-defined type (record, enum, interface, or callback interface) by its bare name (Contact), exactly as parsed. Resolution happens in the validator, which rejects a dotted (module-qualified) name: type names are global.

Optional(Box<TypeRef>)

Optional value (T?): either the inner type or nothing.

List(Box<TypeRef>)

Homogeneous list ([T]) of the inner element type.

Map(Box<TypeRef>, Box<TypeRef>)

Map ({K:V}) from a key type to a value type.

Iterator(Box<TypeRef>)

Lazy sequence (iter<T>) of the inner type, lowered to a next/destroy iterator object rather than a materialized collection.

Implementations

impl TypeRef

pub fn user_name(&self) -> Option<&str>

The referenced user-type name for a Named reference, or None for every other type.

pub fn walk<'a>(&'a self, f: &mut dyn FnMut(&'a TypeRef))

Walk this type and every type nested inside it (optional payloads, list elements, map keys and values, iterator items), outermost first.

Trait Implementations

impl Clone for TypeRef

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TypeRef

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TypeRef

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for TypeRef

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for TypeRef

impl Hash for TypeRef

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl JsonSchema for TypeRef

Available on crate feature idl only.

Manual JsonSchema impl because TypeRef (de)serializes as a string with custom syntax: primitive names (i32, string, …), iter<{T}>, [{T}], { {K}: {V} }, {name}?, or a user-defined type’s bare name.

fn schema_name() -> String

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(_generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn is_referenceable() -> bool

Whether JSON Schemas generated for this type should be re-used where possible using the $ref keyword.

impl PartialEq for TypeRef

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for TypeRef

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for TypeRef