Trait PackedElim

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