Trait PackedElim

pub trait PackedElim {
    type Crab;
    type SoldierCrab;
    type Karkatha;
}

Required Associated Types

type Crab

type SoldierCrab

type Karkatha

Implementors

impl<T> PackedElim for Pure<T>

type Crab = Pure<T>

type SoldierCrab = Pure<T>

type Karkatha = Pure<T>

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

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

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

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

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