Trait PackedElim

pub trait PackedElim {
    type Phoenix;
    type Cockatrice;
    type Roc;
    type FlameWyvern;
    type CloudWyvern;
    type FrostWyvern;
    type SeaWyvern;
    type WealdWyvern;
}

Required Associated Types

type Phoenix

type Cockatrice

type Roc

type FlameWyvern

type CloudWyvern

type FrostWyvern

type SeaWyvern

type WealdWyvern

Implementors

impl<T> PackedElim for Pure<T>

type Phoenix = Pure<T>

type Cockatrice = Pure<T>

type Roc = Pure<T>

type FlameWyvern = Pure<T>

type CloudWyvern = Pure<T>

type FrostWyvern = Pure<T>

type SeaWyvern = Pure<T>

type WealdWyvern = Pure<T>

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

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

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

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

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

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

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

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

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

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