pub trait PackedElim {
    type Marlin;
    type Icepike;
}

Required Associated Types§

type Marlin

type Icepike

Implementors§

§

impl<T> PackedElim for Pure<T>

§

type Marlin = Pure<T>

§

type Icepike = Pure<T>

§

impl<Target> PackedElim for WeakHead<Species, Target>
where WeakHead<Pure<Target>, Target>: SynthTyped<(), Target>,

§

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

§

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