Trait moore_vhdl::ty2::Type

pub trait Type: Debug + Display {
    pub fn is_scalar(&self) -> bool;
    pub fn is_discrete(&self) -> bool;
    pub fn is_numeric(&self) -> bool;
    pub fn is_composite(&self) -> bool;
    pub fn into_owned<'a>(self) -> OwnedType<'a>
    where
        Self: 'a;
    pub fn to_owned<'a>(&self) -> OwnedType<'a>
    where
        Self: 'a;
    pub fn as_any(&self) -> AnyType<'_>;

    pub fn is_equal(&self, other: &dyn Type) -> bool { ... }
    pub fn is_implicitly_castable(&self, _into: &dyn Type) -> bool { ... }
}

An interface for dealing with types.

This is the main type trait, which all types and subtypes implement.

Required methods

pub fn is_scalar(&self) -> bool

Check if this is a scalar type.

Enumeration, integer, floating-point, and physical types are scalar.

pub fn is_discrete(&self) -> bool

Check if this is a discrete type.

Enumeration and integer types are discrete.

pub fn is_numeric(&self) -> bool

Check if this is a numeric type.

Integer, floating-point, and physical types are numeric.

pub fn is_composite(&self) -> bool

Check if this is a composite type.

Array and record types are composite.

pub fn into_owned<'a>(self) -> OwnedType<'a> where
    Self: 'a, 

Convert into an owned type.

pub fn to_owned<'a>(&self) -> OwnedType<'a> where
    Self: 'a, 

Clone this type.

pub fn as_any(&self) -> AnyType<'_>

Converts from &Type to AnyType.

Loading content...

Provided methods

pub fn is_equal(&self, other: &dyn Type) -> bool

Check if two types are equal.

pub fn is_implicitly_castable(&self, _into: &dyn Type) -> bool

Check if the type can be implicitly cast to another.

Loading content...

Trait Implementations

impl<'t> AllocOwned<'t, 't, dyn Type + 't> for TypeArena<'t>

pub fn alloc_owned(&'t self, value: OwnedType<'t>) -> &'t dyn Type

Allocate a value of type T: ToOwned into this arena.

pub fn maybe_alloc(&'a self, value: Cow<'t, T>) -> &'t T

Conditionally allocate a value of type Cow<T>.

pub fn force_alloc(&'a self, value: Cow<'_, T>) -> &'t T

Forcefully allocate a value of type Cow<T>.

impl<'t> Borrow<dyn Type + 't> for OwnedType<'t>

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

Immutably borrows from an owned value.

impl<'a> Eq for dyn Type + 'a

impl<'a> PartialEq<dyn Type + 'a> for dyn Type + 'a

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

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

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<'t> ToOwned for dyn Type + 't

type Owned = OwnedType<'t>

The resulting type after obtaining ownership.

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

Creates owned data from borrowed data, usually by cloning.

pub fn clone_into(&self, target: &mut Self::Owned)

🔬 This is a nightly-only experimental API. (toowned_clone_into)

recently added

Uses borrowed data to replace owned data, usually by cloning.

Implementors

impl Type for EnumBasetype

pub fn is_scalar(&self) -> bool

pub fn is_discrete(&self) -> bool

pub fn is_numeric(&self) -> bool

pub fn is_composite(&self) -> bool

pub fn as_any(&self) -> AnyType<'_>

pub fn into_owned<'a>(self) -> OwnedType<'a> where
    Self: 'a, 

pub fn to_owned<'a>(&self) -> OwnedType<'a> where
    Self: 'a, 

impl Type for FloatingBasetype

pub fn is_scalar(&self) -> bool

pub fn is_discrete(&self) -> bool

pub fn is_numeric(&self) -> bool

pub fn is_composite(&self) -> bool

pub fn as_any(&self) -> AnyType<'_>

pub fn into_owned<'a>(self) -> OwnedType<'a> where
    Self: 'a, 

pub fn to_owned<'a>(&self) -> OwnedType<'a> where
    Self: 'a, 

impl Type for IntegerBasetype

pub fn is_scalar(&self) -> bool

pub fn is_discrete(&self) -> bool

pub fn is_numeric(&self) -> bool

pub fn is_composite(&self) -> bool

pub fn as_any(&self) -> AnyType<'_>

pub fn into_owned<'a>(self) -> OwnedType<'a> where
    Self: 'a, 

pub fn to_owned<'a>(&self) -> OwnedType<'a> where
    Self: 'a, 

impl Type for NullType

pub fn is_scalar(&self) -> bool

pub fn is_discrete(&self) -> bool

pub fn is_numeric(&self) -> bool

pub fn is_composite(&self) -> bool

pub fn into_owned<'a>(self) -> OwnedType<'a> where
    Self: 'a, 

pub fn to_owned<'a>(&self) -> OwnedType<'a> where
    Self: 'a, 

pub fn as_any(&self) -> AnyType<'_>

impl Type for PhysicalBasetype

pub fn is_scalar(&self) -> bool

pub fn is_discrete(&self) -> bool

pub fn is_numeric(&self) -> bool

pub fn is_composite(&self) -> bool

pub fn as_any(&self) -> AnyType<'_>

pub fn into_owned<'a>(self) -> OwnedType<'a> where
    Self: 'a, 

pub fn to_owned<'a>(&self) -> OwnedType<'a> where
    Self: 'a, 

impl Type for UniversalIntegerType

pub fn is_scalar(&self) -> bool

pub fn is_discrete(&self) -> bool

pub fn is_numeric(&self) -> bool

pub fn is_composite(&self) -> bool

pub fn as_any(&self) -> AnyType<'_>

pub fn into_owned<'a>(self) -> OwnedType<'a> where
    Self: 'a, 

pub fn to_owned<'a>(&self) -> OwnedType<'a> where
    Self: 'a, 

impl Type for UniversalRealType

pub fn is_scalar(&self) -> bool

pub fn is_discrete(&self) -> bool

pub fn is_numeric(&self) -> bool

pub fn is_composite(&self) -> bool

pub fn as_any(&self) -> AnyType<'_>

pub fn into_owned<'a>(self) -> OwnedType<'a> where
    Self: 'a, 

pub fn to_owned<'a>(&self) -> OwnedType<'a> where
    Self: 'a, 

impl<'t> Type for AccessType<'t>

pub fn is_scalar(&self) -> bool

pub fn is_discrete(&self) -> bool

pub fn is_numeric(&self) -> bool

pub fn is_composite(&self) -> bool

pub fn into_owned<'a>(self) -> OwnedType<'a> where
    Self: 'a, 

pub fn to_owned<'a>(&self) -> OwnedType<'a> where
    Self: 'a, 

pub fn as_any(&self) -> AnyType<'_>

impl<'t> Type for ArrayType<'t>

pub fn is_scalar(&self) -> bool

pub fn is_discrete(&self) -> bool

pub fn is_numeric(&self) -> bool

pub fn is_composite(&self) -> bool

pub fn into_owned<'a>(self) -> OwnedType<'a> where
    Self: 'a, 

pub fn to_owned<'a>(&self) -> OwnedType<'a> where
    Self: 'a, 

pub fn as_any(&self) -> AnyType<'_>

impl<'t> Type for TypeDecl<'t>

pub fn is_scalar(&self) -> bool

pub fn is_discrete(&self) -> bool

pub fn is_numeric(&self) -> bool

pub fn is_composite(&self) -> bool

pub fn into_owned<'a>(self) -> OwnedType<'a> where
    Self: 'a, 

pub fn to_owned<'a>(&self) -> OwnedType<'a> where
    Self: 'a, 

pub fn as_any(&self) -> AnyType<'_>

impl<'t> Type for TypeMark<'t>

pub fn is_scalar(&self) -> bool

pub fn is_discrete(&self) -> bool

pub fn is_numeric(&self) -> bool

pub fn is_composite(&self) -> bool

pub fn into_owned<'a>(self) -> OwnedType<'a> where
    Self: 'a, 

pub fn to_owned<'a>(&self) -> OwnedType<'a> where
    Self: 'a, 

pub fn as_any(&self) -> AnyType<'_>

impl<'t> Type for EnumSubtype<'t>

pub fn is_scalar(&self) -> bool

pub fn is_discrete(&self) -> bool

pub fn is_numeric(&self) -> bool

pub fn is_composite(&self) -> bool

pub fn as_any(&self) -> AnyType<'_>

pub fn into_owned<'a>(self) -> OwnedType<'a> where
    Self: 'a, 

pub fn to_owned<'a>(&self) -> OwnedType<'a> where
    Self: 'a, 

impl<'t> Type for FloatingSubtype<'t>

pub fn is_scalar(&self) -> bool

pub fn is_discrete(&self) -> bool

pub fn is_numeric(&self) -> bool

pub fn is_composite(&self) -> bool

pub fn as_any(&self) -> AnyType<'_>

pub fn into_owned<'a>(self) -> OwnedType<'a> where
    Self: 'a, 

pub fn to_owned<'a>(&self) -> OwnedType<'a> where
    Self: 'a, 

impl<'t> Type for IntegerSubtype<'t>

pub fn is_scalar(&self) -> bool

pub fn is_discrete(&self) -> bool

pub fn is_numeric(&self) -> bool

pub fn is_composite(&self) -> bool

pub fn as_any(&self) -> AnyType<'_>

pub fn into_owned<'a>(self) -> OwnedType<'a> where
    Self: 'a, 

pub fn to_owned<'a>(&self) -> OwnedType<'a> where
    Self: 'a, 

impl<'t> Type for PhysicalSubtype<'t>

pub fn is_scalar(&self) -> bool

pub fn is_discrete(&self) -> bool

pub fn is_numeric(&self) -> bool

pub fn is_composite(&self) -> bool

pub fn as_any(&self) -> AnyType<'_>

pub fn into_owned<'a>(self) -> OwnedType<'a> where
    Self: 'a, 

pub fn to_owned<'a>(&self) -> OwnedType<'a> where
    Self: 'a, 

Loading content...