Trait gluon_base::types::TypeEnv [−][src]
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
[src]
impl<'a, T: ?Sized + TypeEnv> TypeEnv for &'a T