Trait mamba::check::context::LookupClass

pub trait LookupClass<In, Out> {
    fn class(&self, class: In, pos: Position) -> TypeResult<Out>;
}

Required Methods

fn class(&self, class: In, pos: Position) -> TypeResult<Out>

Implementors

impl LookupClass<&StringName, Class> for Context

impl LookupClass<&Name, HashSet<Class, RandomState>> for Context

impl LookupClass<&TrueName, Class> for Context