Struct rusttyc::types::ReifiedTypeTable

pub struct ReifiedTypeTable<Concrete> { /* fields omitted */ }

An implementation of TypeTable for concrete types. See AbstractTypeTable for an implementation specializing on abstract types.

Can automatically be generated from a HashMap<TcKey, Concrete>.

Trait Implementations

impl<Concrete: Clone> Clone for ReifiedTypeTable<Concrete>

fn clone(&self) -> ReifiedTypeTable<Concrete>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Concrete: Debug> Debug for ReifiedTypeTable<Concrete>

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

Formats the value using the given formatter.

impl<Concrete> From<HashMap<TcKey, Concrete, RandomState>> for ReifiedTypeTable<Concrete>

fn from(map: HashMap<TcKey, Concrete>) -> Self

Performs the conversion.

impl<Concrete> Index<TcKey> for ReifiedTypeTable<Concrete>

type Output = Concrete

The returned type after indexing.

fn index(&self, index: TcKey) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<Concrete> TypeTable for ReifiedTypeTable<Concrete>

type Type = Concrete

The (rust-) type of the (external-) type stored in this type table.

fn as_hashmap(self) -> HashMap<TcKey, Self::Type>

Transforms itself into a hashmap.