Trait rusttyc::types::TypeTable

pub trait TypeTable: Index<TcKey> {
    type Type;
    fn as_hashmap(self) -> HashMap<TcKey, Self::Type>;
}

A trait representing a type table.

It maps TcKey to Self::Type and allows for an automatic transformation into a hashmap.

Associated Types

type Type

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

Loading content...

Required methods

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

Transforms itself into a hashmap.

Loading content...

Implementors

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

type Type = AbsTy

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

impl<Concrete> TypeTable for ReifiedTypeTable<Concrete>

type Type = Concrete

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

Loading content...