pub trait PackedElim {
    type Tool;
    type ModularComponent;
    type Lantern;
    type Glider;
    type Armor;
    type Utility;
    type Consumable;
    type Throwable;
    type Ingredient;
    type Coins;
    type CoinPouch;
    type Empty;
}

Required Associated Types§

Implementors§

source§

impl<T> PackedElim for Pure<T>

§

type Tool = Pure<T>

§

type ModularComponent = Pure<T>

§

type Lantern = Pure<T>

§

type Glider = Pure<T>

§

type Armor = Pure<T>

§

type Utility = Pure<T>

§

type Consumable = Pure<T>

§

type Throwable = Pure<T>

§

type Ingredient = Pure<T>

§

type Coins = Pure<T>

§

type CoinPouch = Pure<T>

§

type Empty = Pure<T>

source§

impl<Target> PackedElim for WeakHead<Body, Target>
where WeakHead<ToolKind, Target>: SynthTyped<((ToolKind,), ()), Target>, WeakHead<Pure<Target>, Target>: SynthTyped<(), Target>, WeakHead<ItemDropArmorKind, Target>: SynthTyped<((ItemDropArmorKind,), ()), Target>,

§

type Tool = <WeakHead<ToolKind, Target> as SynthTyped<((ToolKind,), ()), Target>>::Expr

§

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

§

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

§

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

§

type Armor = <WeakHead<ItemDropArmorKind, Target> as SynthTyped<((ItemDropArmorKind,), ()), Target>>::Expr

§

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

§

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

§

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

§

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

§

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

§

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

§

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