Trait PackedElim

pub trait PackedElim {
    type Air;
    type Water;
    type Rock;
    type WeakRock;
    type Lava;
    type GlowingRock;
    type GlowingWeakRock;
    type Grass;
    type Snow;
    type ArtSnow;
    type Earth;
    type Sand;
    type Wood;
    type Leaves;
    type GlowingMushroom;
    type Ice;
    type ArtLeaves;
    type Misc;
}

Required Associated Types

type Air

type Water

type Rock

type WeakRock

type Lava

type GlowingRock

type GlowingWeakRock

type Grass

type Snow

type ArtSnow

type Earth

type Sand

type Wood

type Leaves

type GlowingMushroom

type Ice

type ArtLeaves

type Misc

Implementors

impl<T> PackedElim for Pure<T>

type Air = Pure<T>

type Water = Pure<T>

type Rock = Pure<T>

type WeakRock = Pure<T>

type Lava = Pure<T>

type GlowingRock = Pure<T>

type GlowingWeakRock = Pure<T>

type Grass = Pure<T>

type Snow = Pure<T>

type ArtSnow = Pure<T>

type Earth = Pure<T>

type Sand = Pure<T>

type Wood = Pure<T>

type Leaves = Pure<T>

type GlowingMushroom = Pure<T>

type Ice = Pure<T>

type ArtLeaves = Pure<T>

type Misc = Pure<T>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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