Trait KindEnv
gluon_base::kind
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
fn find_kind(&self, type_name: &SymbolRef) -> Option<ArcKind>
Returns the kind of the type type_name
type_name
impl<'a, T: ?Sized + KindEnv> KindEnv for &'a T
fn find_kind(&self, id: &SymbolRef) -> Option<ArcKind>
impl KindEnv for EmptyEnv<Symbol>
fn find_kind(&self, _id: &SymbolRef) -> Option<ArcKind>