[−][src]Trait gluon_base::types::TypeEnv

pub trait TypeEnv: KindEnv {
    type Type;
    fn find_type(&self, id: &SymbolRef) -> Option<Self::Type>;

    fn find_type_info(
        &self, 
        id: &SymbolRef
    ) -> Option<Alias<Symbol, Self::Type>>;
}

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

Associated Types

type Type

Loading content...

Required methods

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

Returns the type of the value bound at id

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

Returns information about the type id

Loading content...

Implementations on Foreign Types

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

type Type = T::Type

Loading content...

Implementors

impl TypeEnv for EmptyEnv<Symbol>[src]

type Type = ArcType

Loading content...