pub trait PackedElim {
    type DefaultAirship;
    type AirBalloon;
    type SailBoat;
    type Galleon;
    type Volume;
    type Skiff;
    type Submarine;
    type Carriage;
    type Cart;
}

Required Associated Types§

Implementors§

source§

impl<T> PackedElim for Pure<T>

§

type DefaultAirship = Pure<T>

§

type AirBalloon = Pure<T>

§

type SailBoat = Pure<T>

§

type Galleon = Pure<T>

§

type Volume = Pure<T>

§

type Skiff = Pure<T>

§

type Submarine = Pure<T>

§

type Carriage = Pure<T>

§

type Cart = Pure<T>

source§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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