Trait type_eq::Has

pub trait Has<Prop> {
    type Val;
    fn get<P>(&self) -> &Self::Val
    where
        Constrain: TypeEq<Prop, P>;
}

Type-level properties

Associated Types

type Val

Required Methods

fn get<P>(&self) -> &Self::Val where
    Constrain: TypeEq<Prop, P>, 

Implementors