Trait gluon_base::types::TypeEnv

pub trait TypeEnv: KindEnv {
    fn find_type(&self, id: &SymbolRef) -> Option<&ArcType>;
    fn find_type_info(&self, id: &SymbolRef) -> Option<&Alias<Symbol, ArcType>>;
}

Trait for values which contains typed values which can be refered by name

Required Methods

fn find_type(&self, id: &SymbolRef) -> Option<&ArcType>

Returns the type of the value bound at id

fn find_type_info(&self, id: &SymbolRef) -> Option<&Alias<Symbol, ArcType>>

Returns information about the type id

Implementations on Foreign Types

impl<'a, T: ?Sized + TypeEnv> TypeEnv for &'a T

fn find_type(&self, id: &SymbolRef) -> Option<&ArcType>

fn find_type_info(&self, id: &SymbolRef) -> Option<&Alias<Symbol, ArcType>>

Implementors

• impl TypeEnv for EmptyEnv<Symbol>