Trait PackedElim

pub trait PackedElim {
    type StoneGolem;
    type Treant;
    type ClayGolem;
    type WoodGolem;
    type CoralGolem;
    type Gravewarden;
    type AncientEffigy;
    type Mogwai;
    type IronGolem;
}

Required Associated Types

type StoneGolem

type Treant

type ClayGolem

type WoodGolem

type CoralGolem

type Gravewarden

type AncientEffigy

type Mogwai

type IronGolem

Implementors

impl<T> PackedElim for Pure<T>

type StoneGolem = Pure<T>

type Treant = Pure<T>

type ClayGolem = Pure<T>

type WoodGolem = Pure<T>

type CoralGolem = Pure<T>

type Gravewarden = Pure<T>

type AncientEffigy = Pure<T>

type Mogwai = Pure<T>

type IronGolem = Pure<T>

impl<Target> PackedElim for WeakHead<Species, Target>

where WeakHead<Pure<Target>, Target>: SynthTyped<(), Target>,

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

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

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

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

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

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

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

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

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