Struct rusttyc::types::AbstractTypeTable

pub struct AbstractTypeTable<AbsTy: Abstract> { /* fields omitted */ }

An implementation of TypeTable for type implementing Abstract. See ReifiedTypeTable for an implementation specializing on concrete types.

Can automatically be generated from a HashMap<TcKey, AbsTy> for AbsTy: Abstract.

Implementations

impl<AbsTy> AbstractTypeTable<AbsTy> where
    AbsTy: Abstract + Reifiable, 

pub fn reified(self) -> ReifiedTypeTable<AbsTy::Reified>

Transforms an AbstractTypeTable into a ReifiedTypeTable by reifying all abstract types.

impl<AbsTy> AbstractTypeTable<AbsTy> where
    AbsTy: Abstract + TryReifiable, 

pub fn try_reified(self) -> Result<ReifiedTypeTable<AbsTy::Reified>, ()>

Attempts to transform an AbstractTypeTable into a ReifiedTypeTable by reifying all abstract types.

Trait Implementations

impl<AbsTy: Clone + Abstract> Clone for AbstractTypeTable<AbsTy>

fn clone(&self) -> AbstractTypeTable<AbsTy>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<AbsTy: Debug + Abstract> Debug for AbstractTypeTable<AbsTy>

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

Formats the value using the given formatter.

impl<AbsTy: Abstract> From<HashMap<TcKey, AbsTy, RandomState>> for AbstractTypeTable<AbsTy>

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

Performs the conversion.

impl<AbsTy: Abstract> Index<TcKey> for AbstractTypeTable<AbsTy>

type Output = AbsTy

The returned type after indexing.

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

Performs the indexing (container[index]) operation.

impl<AbsTy: Abstract> TypeTable for AbstractTypeTable<AbsTy>

type Type = AbsTy

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.