pub trait PackedElim {
    type Danari;
    type Dwarf;
    type Elf;
    type Human;
    type Orc;
    type Draugr;
}

Required Associated Types§

type Danari

type Dwarf

type Elf

type Human

type Orc

type Draugr

Implementors§

§

impl<T> PackedElim for Pure<T>

§

type Danari = Pure<T>

§

type Dwarf = Pure<T>

§

type Elf = Pure<T>

§

type Human = Pure<T>

§

type Orc = Pure<T>

§

type Draugr = Pure<T>

§

impl<Target> PackedElim for WeakHead<Species, Target>
where WeakHead<Pure<Target>, Target>: SynthTyped<(), Target>,

§

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

§

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

§

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

§

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

§

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

§

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