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 refered by name

Required Methods

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

Returns the kind of the type type_name

Implementors

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