Trait gluon_base::kind::KindEnv

pub trait KindEnv {
    fn find_kind(&self, type_name: &SymbolRef) -> Option<ArcKind>;
}

Trait for values which contains kinded values which can be referred by name

Required methods

fn find_kind(&self, type_name: &SymbolRef) -> Option<ArcKind>

Returns the kind of the type type_name

Implementations on Foreign Types

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

fn find_kind(&self, id: &SymbolRef) -> Option<ArcKind>

Implementors

impl KindEnv for EmptyEnv<Symbol>