pub trait PackedElim {
    type Wall1;
    type Wall2;
    type Wall3;
    type Wall4;
    type Wall5;
    type Wall6;
    type Wall7;
    type Wall8;
    type Wall9;
}

Required Associated Types§

Implementations on Foreign Types§

source§

impl<T> PackedElim for Pure<T>

§

type Wall1 = Pure<T>

§

type Wall2 = Pure<T>

§

type Wall3 = Pure<T>

§

type Wall4 = Pure<T>

§

type Wall5 = Pure<T>

§

type Wall6 = Pure<T>

§

type Wall7 = Pure<T>

§

type Wall8 = Pure<T>

§

type Wall9 = Pure<T>

source§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

§

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

Implementors§