Trait gluon_base::types::KindEnv

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

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

Required Methods

fn find_kind(&self, type_name: &Symbol) -> Option<RcKind>

Returns the kind of the type type_name

Implementors

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