pub trait PackedElim {
Show 74 associated items type HumanOne; type HumanTwo; type HumanThree; type HumanFour; type HumanFive; type HumanSix; type HumanSeven; type HumanEight; type HumanNine; type HumanTen; type HumanEleven; type HumanTwelve; type HumanThirteen; type HumanFourteen; type HumanFifteen; type HumanSixteen; type HumanSeventeen; type HumanEighteen; type DwarfOne; type DwarfTwo; type DwarfThree; type DwarfFour; type DwarfFive; type DwarfSix; type DwarfSeven; type DwarfEight; type DwarfNine; type DwarfTen; type DwarfEleven; type DwarfTwelve; type DwarfThirteen; type DwarfFourteen; type ElfOne; type ElfTwo; type ElfThree; type ElfFour; type ElfFive; type ElfSix; type ElfSeven; type ElfEight; type ElfNine; type ElfTen; type ElfEleven; type ElfTwelve; type ElfThirteen; type ElfFourteen; type ElfFifteen; type ElfSixteen; type ElfSeventeen; type ElfEighteen; type OrcOne; type OrcTwo; type OrcThree; type OrcFour; type OrcFive; type OrcSix; type OrcSeven; type OrcEight; type DanariOne; type DanariTwo; type DanariThree; type DanariFour; type DanariFive; type DanariSix; type DanariSeven; type DraugrOne; type DraugrTwo; type DraugrThree; type DraugrFour; type DraugrFive; type DraugrSix; type DraugrSeven; type DraugrEight; type DraugrNine;
}

Required Associated Types§

Implementors§

§

impl<T> PackedElim for Pure<T>

§

type HumanOne = Pure<T>

§

type HumanTwo = Pure<T>

§

type HumanThree = Pure<T>

§

type HumanFour = Pure<T>

§

type HumanFive = Pure<T>

§

type HumanSix = Pure<T>

§

type HumanSeven = Pure<T>

§

type HumanEight = Pure<T>

§

type HumanNine = Pure<T>

§

type HumanTen = Pure<T>

§

type HumanEleven = Pure<T>

§

type HumanTwelve = Pure<T>

§

type HumanThirteen = Pure<T>

§

type HumanFourteen = Pure<T>

§

type HumanFifteen = Pure<T>

§

type HumanSixteen = Pure<T>

§

type HumanSeventeen = Pure<T>

§

type HumanEighteen = Pure<T>

§

type DwarfOne = Pure<T>

§

type DwarfTwo = Pure<T>

§

type DwarfThree = Pure<T>

§

type DwarfFour = Pure<T>

§

type DwarfFive = Pure<T>

§

type DwarfSix = Pure<T>

§

type DwarfSeven = Pure<T>

§

type DwarfEight = Pure<T>

§

type DwarfNine = Pure<T>

§

type DwarfTen = Pure<T>

§

type DwarfEleven = Pure<T>

§

type DwarfTwelve = Pure<T>

§

type DwarfThirteen = Pure<T>

§

type DwarfFourteen = Pure<T>

§

type ElfOne = Pure<T>

§

type ElfTwo = Pure<T>

§

type ElfThree = Pure<T>

§

type ElfFour = Pure<T>

§

type ElfFive = Pure<T>

§

type ElfSix = Pure<T>

§

type ElfSeven = Pure<T>

§

type ElfEight = Pure<T>

§

type ElfNine = Pure<T>

§

type ElfTen = Pure<T>

§

type ElfEleven = Pure<T>

§

type ElfTwelve = Pure<T>

§

type ElfThirteen = Pure<T>

§

type ElfFourteen = Pure<T>

§

type ElfFifteen = Pure<T>

§

type ElfSixteen = Pure<T>

§

type ElfSeventeen = Pure<T>

§

type ElfEighteen = Pure<T>

§

type OrcOne = Pure<T>

§

type OrcTwo = Pure<T>

§

type OrcThree = Pure<T>

§

type OrcFour = Pure<T>

§

type OrcFive = Pure<T>

§

type OrcSix = Pure<T>

§

type OrcSeven = Pure<T>

§

type OrcEight = Pure<T>

§

type DanariOne = Pure<T>

§

type DanariTwo = Pure<T>

§

type DanariThree = Pure<T>

§

type DanariFour = Pure<T>

§

type DanariFive = Pure<T>

§

type DanariSix = Pure<T>

§

type DanariSeven = Pure<T>

§

type DraugrOne = Pure<T>

§

type DraugrTwo = Pure<T>

§

type DraugrThree = Pure<T>

§

type DraugrFour = Pure<T>

§

type DraugrFive = Pure<T>

§

type DraugrSix = Pure<T>

§

type DraugrSeven = Pure<T>

§

type DraugrEight = Pure<T>

§

type DraugrNine = Pure<T>

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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