Enum Type 

pub enum Type {
    Prim(Prim),
    Optional(Box<Type>),
    List(Box<Type>),
    Map(Box<Type>, Box<Type>),
    Struct {
        name: String,
        fields: Vec<(String, Type)>,
    },
    Enum {
        name: String,
        variants: Vec<String>,
    },
    Vector {
        dim: u32,
        metric: String,
    },
    Ref(String),
}

A description, parsed.

Variants

Prim(Prim)

A primitive.

Optional(Box<Type>)

An optional value.

List(Box<Type>)

A sequence.

Map(Box<Type>, Box<Type>)

A mapping.

Struct

A struct with its fields in declaration order.

Fields

name: String

The type’s name.

fields: Vec<(String, Type)>

Name and type, in declaration order.

Enum

An enumeration with its variants in declaration order.

Fields

name: String

The type’s name.

variants: Vec<String>

Variant names, in declaration order.

Vector

A vector of a fixed width, compared one way.

Fields

dim: u32

How many dimensions.

metric: String

How it is compared. Held as written, because a file may name a metric this build has never heard of.

Ref(String)

A reference back to a struct that encloses this one.

Implementations

impl Type

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

The name, for the types that have one.

pub fn kind(&self) -> &'static str

What to call this kind of type in a message.

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl Display for Type

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

The rendering used in messages: a struct at the top shows its fields, a struct anywhere else shows its name. A shape mismatch message has to fit on a terminal and the field that changed is usually near the top.

impl PartialEq for Type

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Type