Struct gluon_base::resolve::AliasRemover

pub struct AliasRemover<T> {
    pub named_variables: FnvMap<Symbol, T>,
    /* private fields */
}

Fields

named_variables: FnvMap<Symbol, T>

Implementations

impl<T> AliasRemover<T>

pub fn new() -> Self

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn reset(&mut self, to: usize)

pub fn clear(&mut self)

impl<T> AliasRemover<T>

where T: TypeExt<Id = Symbol, SpannedId = Symbol> + Clone + Display, T::Types: Clone + Default + Extend<T> + FromIterator<T>, T::Generics: Clone + FromIterator<Generic<Symbol>>, T::Fields: Clone,

pub fn canonical_alias<'t, F>( &mut self, env: &(dyn TypeEnv<Type = T> + '_), interner: &mut impl TypeContext<Symbol, T>, typ: &'t T, canonical: F ) -> Result<Cow<'t, T>, Error>

where F: FnMut(&AliasRef<Symbol, T>) -> bool,

pub fn remove_aliases_to_concrete<'a>( &mut self, env: &(dyn TypeEnv<Type = T> + '_), interner: &mut impl TypeContext<Symbol, T>, typ: T ) -> Result<T, Error>

pub fn remove_aliases( &mut self, env: &(dyn TypeEnv<Type = T> + '_), interner: &mut impl TypeContext<Symbol, T>, typ: T ) -> Result<T, Error>

pub fn remove_aliases_predicate( &mut self, env: &(dyn TypeEnv<Type = T> + '_), interner: &mut impl TypeContext<Symbol, T>, typ: T, predicate: impl FnMut(&AliasData<Symbol, T>) -> bool ) -> Result<T, Error>

pub fn remove_alias( &mut self, env: &(dyn TypeEnv<Type = T> + '_), interner: &mut impl TypeContext<Symbol, T>, typ: &T, predicate: impl FnOnce(&AliasData<Symbol, T>) -> bool ) -> Result<Option<T>, Error>

pub fn remove_alias_to_concrete<'a>( &mut self, env: &'a (dyn TypeEnv<Type = T> + '_), interner: &mut impl TypeContext<Symbol, T>, typ: &'a T, predicate: impl FnOnce(&AliasData<Symbol, T>) -> bool ) -> Result<Option<(T, Cow<'a, [T]>)>, Error>

Trait Implementations

impl<T: Debug> Debug for AliasRemover<T>

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

Formats the value using the given formatter.

impl<T> Default for AliasRemover<T>

fn default() -> Self

Returns the “default value” for a type.