Enum bitsy_lang::ast::Type

pub enum Type {
    Word(Width),
    Vec(Box<Type>, Length),
    Valid(Box<Type>),
    TypeRef(Ident, Vec<TypeParam>),
}

A type classifier for values.

Variants

Word(Width)

An n-bit two’s complement integer. Nominally unsigned. Written Word[n].

Vec(Box<Type>, Length)

A n-element vector. Written Vec[T, n].

Valid(Box<Type>)

An optional value. Written Valid[T].

TypeRef(Ident, Vec<TypeParam>)

An unresolved reference to a user-defined type.

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a copy 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.