Enum mz_walkabout::ir::Type

pub enum Type {
    Primitive,
    Abstract(String),
    Option(Box<Type>),
    Vec(Box<Type>),
    Box(Box<Type>),
    Local(String),
    Map {
        key: Box<Type>,
        value: Box<Type>,
    },
}

The type of a Field.

Variants

Primitive

A primitive Rust type.

Primitive types do not need to be visited.

Abstract(String)

Abstract type.

Abstract types are visited, but their default visit function does nothing.

Option(Box<Type>)

An Option type..

The value inside the option will need to be visited if the option is Some.

Vec(Box<Type>)

A Vec type.

Each value in the vector will need to be visited.

Box(Box<Type>)

A Box type.

The value inside the box will need to be visited.

Local(String)

A type local to the AST.

The value will need to be visited by calling the appropriate Visit or VisitMut trait method on the value.

Map

A BTreeMap type

Each value will need to be visited.

Fields

key: Box<Type>

value: Box<Type>

Trait Implementations

impl Debug for Type

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

Formats the value using the given formatter.