Trait PackedElim 

pub trait PackedElim {
    type species;
    type body_type;
    type hair_style;
    type beard;
    type eyes;
    type accessory;
    type hair_color;
    type skin;
    type eye_color;
}

Required Associated Types

type species

type body_type

type hair_style

type beard

type eyes

type accessory

type hair_color

type skin

type eye_color

Implementors

impl<T> PackedElim for Pure<T>

type species = Pure<T>

type body_type = Pure<T>

type hair_style = Pure<T>

type beard = Pure<T>

type eyes = Pure<T>

type accessory = Pure<T>

type hair_color = Pure<T>

type skin = Pure<T>

type eye_color = Pure<T>

impl<Target> PackedElim for WeakHead<Body, Target>

where WeakHead<Species, Target>: SynthTyped<((Species,), ()), Target>, WeakHead<BodyType, Target>: SynthTyped<((BodyType,), ()), Target>, WeakHead<Pure<Target>, Target>: SynthTyped<((u8,), ()), Target>,

type species = <WeakHead<Species, Target> as SynthTyped<((Species,), ()), Target>>::Expr

type body_type = <WeakHead<BodyType, Target> as SynthTyped<((BodyType,), ()), Target>>::Expr

type hair_style = <WeakHead<Pure<Target>, Target> as SynthTyped<((u8,), ()), Target>>::Expr

type beard = <WeakHead<Pure<Target>, Target> as SynthTyped<((u8,), ()), Target>>::Expr

type eyes = <WeakHead<Pure<Target>, Target> as SynthTyped<((u8,), ()), Target>>::Expr

type accessory = <WeakHead<Pure<Target>, Target> as SynthTyped<((u8,), ()), Target>>::Expr

type hair_color = <WeakHead<Pure<Target>, Target> as SynthTyped<((u8,), ()), Target>>::Expr

type skin = <WeakHead<Pure<Target>, Target> as SynthTyped<((u8,), ()), Target>>::Expr

type eye_color = <WeakHead<Pure<Target>, Target> as SynthTyped<((u8,), ()), Target>>::Expr