Struct moore_vhdl::ty2::TypeArena

pub struct TypeArena<'t> {
    pub integer_basetype: Arena<IntegerBasetype>,
    pub integer_subtype: Arena<IntegerSubtype<'t>>,
    pub floating_basetype: Arena<FloatingBasetype>,
    pub floating_subtype: Arena<FloatingSubtype<'t>>,
    pub enum_basetype: Arena<EnumBasetype>,
    pub enum_subtype: Arena<EnumSubtype<'t>>,
    pub physical_basetype: Arena<PhysicalBasetype>,
    pub physical_subtype: Arena<PhysicalSubtype<'t>>,
    pub access: Arena<AccessType<'t>>,
}

An arena to allocate types nodes into.

Fields

integer_basetype: Arena<IntegerBasetype>

integer_subtype: Arena<IntegerSubtype<'t>>

floating_basetype: Arena<FloatingBasetype>

floating_subtype: Arena<FloatingSubtype<'t>>

enum_basetype: Arena<EnumBasetype>

enum_subtype: Arena<EnumSubtype<'t>>

physical_basetype: Arena<PhysicalBasetype>

physical_subtype: Arena<PhysicalSubtype<'t>>

access: Arena<AccessType<'t>>

Implementations

impl<'t> TypeArena<'t>

pub fn new() -> TypeArena<'t>

Create a new arena.

Trait Implementations

impl<'a, 't> Alloc<'a, 'a, AccessType<'t>> for TypeArena<'t> where
    't: 'a, 

fn alloc(&'a self, value: AccessType<'t>) -> &'a mut AccessType<'t>

Allocate a value of type T.

impl<'a, 't> Alloc<'a, 'a, EnumBasetype> for TypeArena<'t> where
    't: 'a, 

fn alloc(&'a self, value: EnumBasetype) -> &'a mut EnumBasetype

Allocate a value of type T.

impl<'a, 't> Alloc<'a, 'a, FloatingBasetype> for TypeArena<'t> where
    't: 'a, 

fn alloc(&'a self, value: FloatingBasetype) -> &'a mut FloatingBasetype

Allocate a value of type T.

impl<'a, 't> Alloc<'a, 'a, IntegerBasetype> for TypeArena<'t> where
    't: 'a, 

fn alloc(&'a self, value: IntegerBasetype) -> &'a mut IntegerBasetype

Allocate a value of type T.

impl<'a, 't> Alloc<'a, 'a, PhysicalBasetype> for TypeArena<'t> where
    't: 'a, 

fn alloc(&'a self, value: PhysicalBasetype) -> &'a mut PhysicalBasetype

Allocate a value of type T.

impl<'a, 't> Alloc<'a, 'a, ScalarSubtype<'t, dyn EnumType + 't, usize>> for TypeArena<'t> where
    't: 'a, 

fn alloc(&'a self, value: EnumSubtype<'t>) -> &'a mut EnumSubtype<'t>

Allocate a value of type T.

impl<'a, 't> Alloc<'a, 'a, ScalarSubtype<'t, dyn FloatingType + 't, f64>> for TypeArena<'t> where
    't: 'a, 

fn alloc(&'a self, value: FloatingSubtype<'t>) -> &'a mut FloatingSubtype<'t>

Allocate a value of type T.

impl<'a, 't> Alloc<'a, 'a, ScalarSubtype<'t, dyn IntegerType + 't, BigInt>> for TypeArena<'t> where
    't: 'a, 

fn alloc(&'a self, value: IntegerSubtype<'t>) -> &'a mut IntegerSubtype<'t>

Allocate a value of type T.

impl<'a, 't> Alloc<'a, 'a, ScalarSubtype<'t, dyn PhysicalType + 't, BigInt>> for TypeArena<'t> where
    't: 'a, 

fn alloc(&'a self, value: PhysicalSubtype<'t>) -> &'a mut PhysicalSubtype<'t>

Allocate a value of type T.

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

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

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

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

Conditionally allocate a value of type Cow<T>.

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

Forcefully allocate a value of type Cow<T>.

impl<'t> Default for TypeArena<'t>

fn default() -> TypeArena<'t>

Returns the "default value" for a type.