pub trait PackedElim {
    type Roof1;
    type Roof2;
    type Roof3;
    type Roof4;
    type Roof5;
    type Roof6;
    type Roof7;
}

Required Associated Types§

Implementations on Foreign Types§

source§

impl<T> PackedElim for Pure<T>

§

type Roof1 = Pure<T>

§

type Roof2 = Pure<T>

§

type Roof3 = Pure<T>

§

type Roof4 = Pure<T>

§

type Roof5 = Pure<T>

§

type Roof6 = Pure<T>

§

type Roof7 = Pure<T>

source§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

Implementors§