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§

source

type HumanOne

source

type HumanTwo

source

type HumanThree

source

type HumanFour

source

type HumanFive

source

type HumanSix

source

type HumanSeven

source

type HumanEight

source

type HumanNine

source

type HumanTen

source

type HumanEleven

source

type HumanTwelve

source

type HumanThirteen

source

type HumanFourteen

source

type HumanFifteen

source

type HumanSixteen

source

type HumanSeventeen

source

type HumanEighteen

source

type DwarfOne

source

type DwarfTwo

source

type DwarfThree

source

type DwarfFour

source

type DwarfFive

source

type DwarfSix

source

type DwarfSeven

source

type DwarfEight

source

type DwarfNine

source

type DwarfTen

source

type DwarfEleven

source

type DwarfTwelve

source

type DwarfThirteen

source

type DwarfFourteen

source

type ElfOne

source

type ElfTwo

source

type ElfThree

source

type ElfFour

source

type ElfFive

source

type ElfSix

source

type ElfSeven

source

type ElfEight

source

type ElfNine

source

type ElfTen

source

type ElfEleven

source

type ElfTwelve

source

type ElfThirteen

source

type ElfFourteen

source

type ElfFifteen

source

type ElfSixteen

source

type ElfSeventeen

source

type ElfEighteen

source

type OrcOne

source

type OrcTwo

source

type OrcThree

source

type OrcFour

source

type OrcFive

source

type OrcSix

source

type OrcSeven

source

type OrcEight

source

type DanariOne

source

type DanariTwo

source

type DanariThree

source

type DanariFour

source

type DanariFive

source

type DanariSix

source

type DanariSeven

source

type DraugrOne

source

type DraugrTwo

source

type DraugrThree

source

type DraugrFour

source

type DraugrFive

source

type DraugrSix

source

type DraugrSeven

source

type DraugrEight

source

type DraugrNine

Implementors§

source§

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>

source§

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