Enum moore_vhdl::ty2::AnyType

pub enum AnyType<'t> {
    Enum(&'t dyn EnumType),
    Integer(&'t dyn IntegerType),
    Floating(&'t dyn FloatingType),
    Physical(&'t dyn PhysicalType),
    Array(&'t ArrayType<'t>),
    Access(&'t AccessType<'t>),
    Null,
    UniversalInteger,
    UniversalReal,
}

A type.

This enum represents one of the types declared in this module. It is useful in code that needs to know exactly what type it is operating on, for example in a match expression. This is the root of the entire type system. If a user declares a type, this enum carries the information as to which type was declared.

Variants

Enum(&'t dyn EnumType)

Integer(&'t dyn IntegerType)

Floating(&'t dyn FloatingType)

Physical(&'t dyn PhysicalType)

Array(&'t ArrayType<'t>)

Access(&'t AccessType<'t>)

Null

UniversalInteger

UniversalReal

Implementations

impl<'t> AnyType<'t>

pub fn as_type(self) -> &'t dyn Type

Perform type erasure.

pub fn as_enum(self) -> Option<&'t dyn EnumType>

Returns Some(t) if the type is Enum(t), None otherwise.

pub fn as_integer(self) -> Option<&'t dyn IntegerType>

Returns Some(t) if the type is Integer(t), None otherwise.

pub fn as_floating(self) -> Option<&'t dyn FloatingType>

Returns Some(t) if the type is Floating(t), None otherwise.

pub fn as_physical(self) -> Option<&'t dyn PhysicalType>

Returns Some(t) if the type is Physical(t), None otherwise.

pub fn as_array(self) -> Option<&'t ArrayType<'t>>

Returns Some(t) if the type is Array(t), None otherwise.

pub fn as_access(self) -> Option<&'t AccessType<'t>>

Returns Some(t) if the type is Access(t), None otherwise.

pub fn is_null(self) -> bool

Checks if the type is Null.

pub fn is_universal_integer(self) -> bool

Checks if the type is UniversalInteger.

pub fn is_universal_real(self) -> bool

Checks if the type is UniversalReal.

pub fn unwrap_enum(self) -> &'t dyn EnumType

Returns an &EnumType or panics if the type is not Enum.

pub fn unwrap_integer(self) -> &'t dyn IntegerType

Returns an &IntegerType or panics if the type is not Integer.

pub fn unwrap_floating(self) -> &'t dyn FloatingType

Returns an &FloatingType or panics if the type is not Floating.

pub fn unwrap_physical(self) -> &'t dyn PhysicalType

Returns an &PhysicalType or panics if the type is not Physical.

pub fn unwrap_array(self) -> &'t ArrayType<'t>

Returns an &ArrayType or panics if the type is not Array.

pub fn unwrap_access(self) -> &'t AccessType<'t>

Returns an &AccessType or panics if the type is not Access.

pub fn is_scalar(&self) -> bool

Check if this is a scalar type.

pub fn is_discrete(&self) -> bool

Check if this is a discrete type.

pub fn is_numeric(&self) -> bool

Check if this is a numeric type.

pub fn is_composite(&self) -> bool

Check if this is a composite type.

pub fn to_owned(&self) -> OwnedType<'t>

Clone this type.

Trait Implementations

impl<'t> Clone for AnyType<'t>

fn clone(&self) -> AnyType<'t>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'t> Copy for AnyType<'t>

impl<'t> Debug for AnyType<'t>

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

Formats the value using the given formatter.

impl<'t> Display for AnyType<'t>

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

Formats the value using the given formatter.

impl<'t> PartialEq<AnyType<'t>> for AnyType<'t>

fn eq(&self, other: &AnyType<'t>) -> bool

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

fn ne(&self, other: &AnyType<'t>) -> bool

This method tests for !=.

impl<'t> StructuralPartialEq for AnyType<'t>