Trait PackedElim

pub trait PackedElim {
    type Crocodile;
    type Alligator;
    type Salamander;
    type Monitor;
    type Asp;
    type Tortoise;
    type Pangolin;
    type Maneater;
    type Sandshark;
    type Hakulaq;
    type Lavadrake;
    type Basilisk;
    type Deadwood;
    type Icedrake;
    type SeaCrocodile;
    type Dagon;
    type Rocksnapper;
    type Rootsnapper;
    type Reefsnapper;
    type Elbst;
    type Mossdrake;
    type Driggle;
    type Snaretongue;
    type Hydra;
}

Required Associated Types

type Crocodile

type Alligator

type Salamander

type Monitor

type Asp

type Tortoise

type Pangolin

type Maneater

type Sandshark

type Hakulaq

type Lavadrake

type Basilisk

type Deadwood

type Icedrake

type SeaCrocodile

type Dagon

type Rocksnapper

type Rootsnapper

type Reefsnapper

type Elbst

type Mossdrake

type Driggle

type Snaretongue

type Hydra

Implementors

impl<T> PackedElim for Pure<T>

type Crocodile = Pure<T>

type Alligator = Pure<T>

type Salamander = Pure<T>

type Monitor = Pure<T>

type Asp = Pure<T>

type Tortoise = Pure<T>

type Pangolin = Pure<T>

type Maneater = Pure<T>

type Sandshark = Pure<T>

type Hakulaq = Pure<T>

type Lavadrake = Pure<T>

type Basilisk = Pure<T>

type Deadwood = Pure<T>

type Icedrake = Pure<T>

type SeaCrocodile = Pure<T>

type Dagon = Pure<T>

type Rocksnapper = Pure<T>

type Rootsnapper = Pure<T>

type Reefsnapper = Pure<T>

type Elbst = Pure<T>

type Mossdrake = Pure<T>

type Driggle = Pure<T>

type Snaretongue = Pure<T>

type Hydra = Pure<T>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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