Enum moore_vhdl::ty::Ty

pub enum Ty {
    Named(Span, TypeMarkRef),
    Null,
    Int(IntTy),
    UnboundedInt,
    Enum(EnumTy),
    Access(Box<Ty>),
    Array(ArrayTy),
    File(Box<Ty>),
    Record(RecordTy),
}

Variants

Named(Span, TypeMarkRef)

A named type. In a signal declaration for example, the source code mentions the type of the signal. This type name is resolved to its actual declaration somewhere else in the source code. Thus this type acts as a sort of "pointer" to a type, together with information on how the source code referred to that type. This helps make error messages easier to read for the user.

Null

The null type.

Int(IntTy)

An integer type.

UnboundedInt

An unbounded integer type. This is the type integers have that are evaluated at compile time, e.g. as part of a range expression. Cannot be mapped to LLHD.

Enum(EnumTy)

An enumeration type.

Access(Box<Ty>)

An access type.

Array(ArrayTy)

An array type.

File(Box<Ty>)

A file type.

Record(RecordTy)

A record type.

Methods

impl Ty

fn kind_desc(&self) -> &'static str

Provide a textual description of the kind of type. For example, if called on an integer type, the result is "integer type", without any information on the exact nature of the integer.

Trait Implementations

impl Debug for Ty

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Clone for Ty

fn clone(&self) -> Ty

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq for Ty

fn eq(&self, __arg_0: &Ty) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &Ty) -> bool

This method tests for !=.

impl Eq for Ty

impl From<IntTy> for Ty

fn from(t: IntTy) -> Ty

Performs the conversion.

impl From<EnumTy> for Ty

fn from(t: EnumTy) -> Ty

Performs the conversion.

impl From<ArrayTy> for Ty

fn from(t: ArrayTy) -> Ty

Performs the conversion.

impl From<RecordTy> for Ty

fn from(t: RecordTy) -> Ty

Performs the conversion.

impl Display for Ty

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

Formats the value using the given formatter.