Struct telety_impl::alias::Map

pub struct Map { /* private fields */ }

Implementations

impl Map

pub fn get_index(&self, ty: &Type) -> Option<Index>

Look up the Index of a given type.
Returns None if there is no alias for the type.
Note that lookup is done based on exact token equality, not type equality.

pub fn alias_of(&self, ty: &Type) -> Option<Alias<'_>>

Look up the Alias of a given type.
Returns None if there is no alias for the type.
Note that lookup is done based on exact token equality, not type equality.
Equivalent to Self::get_index followed by Self::alias.

pub fn alias(&self, index: Index) -> Alias<'_>

Get the Alias corresponding to an alias::Index.

pub fn iter(&self) -> Iter<'_>

Iterate through all alias::Indexes.

pub fn visitor(&self) -> ApplySecondaryAliases<'_>

Create a visitor which can be used to replace all types found in this map with their aliases.

Trait Implementations

impl Debug for Map

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

Formats the value using the given formatter.

impl<'m> IntoIterator for &'m Map

type Item = Alias<'m>

The type of the elements being iterated over.

type IntoIter = Iter<'m>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.