Trait PackedElim 

pub trait PackedElim {
    type Void;
    type Misc;
    type Furniture;
    type Plant;
    type Resource;
    type MineableResource;
    type Structural;
    type Decor;
    type Lamp;
    type Container;
    type Modular;
}

Required Associated Types

type Void

type Misc

type Furniture

type Plant

type Resource

type MineableResource

type Structural

type Decor

type Lamp

type Container

type Modular

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<T> PackedElim for Pure<T>

type Void = Pure<T>

type Misc = Pure<T>

type Furniture = Pure<T>

type Plant = Pure<T>

type Resource = Pure<T>

type MineableResource = Pure<T>

type Structural = Pure<T>

type Decor = Pure<T>

type Lamp = Pure<T>

type Container = Pure<T>

type Modular = Pure<T>

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

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

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

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

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

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

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

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

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

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

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

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

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