Struct veloren_common::typed::WeakHead

source ·

pub struct WeakHead<Reduction, Type> {
    pub red: Reduction,
    pub ty: PhantomData<Type>,
}

Expand description

Weak head reduction type (equivalent to applying a reduction to the head variable, but this way we don’t have to implement variable lookup and it doesn’t serialize with variables).

Fields§

§red: Reduction§ty: PhantomData<Type>

Trait Implementations§

source §

impl<'de, Reduction, Type> Deserialize<'de> for WeakHead<Reduction, Type>
where Reduction: Deserialize<'de>,

source §

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more

§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

Should always be Self

source §

impl<Context> SubContext<Context> for Context

source §

fn sub_context(self) -> Context

source §

impl<T, U> TryFrom for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.

source §

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more

§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more

source §

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

§

impl<T> Event for T
where T: Send + Sync + 'static,

§

Struct veloren_common::typed::WeakHead

Fields§

Trait Implementations§

impl<'de, Reduction, Type> Deserialize<'de> for WeakHead<Reduction, Type>where Reduction: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

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

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

type species = <WeakHead<Species, Target> as SynthTyped<((Species,), ()), Target>>::Expr

type body_type = <WeakHead<BodyType, Target> as SynthTyped<((BodyType,), ()), Target>>::Expr

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

type Tool = <WeakHead<ToolKind, Target> as SynthTyped<((ToolKind,), ()), Target>>::Expr

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

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

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

type Armor = <WeakHead<ItemDropArmorKind, Target> as SynthTyped<((ItemDropArmorKind,), ()), Target>>::Expr

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

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

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

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

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

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

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

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

type species = <WeakHead<Species, Target> as SynthTyped<((Species,), ()), Target>>::Expr

type body_type = <WeakHead<BodyType, Target> as SynthTyped<((BodyType,), ()), Target>>::Expr

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

type species = <WeakHead<Species, Target> as SynthTyped<((Species,), ()), Target>>::Expr

type body_type = <WeakHead<BodyType, Target> as SynthTyped<((BodyType,), ()), Target>>::Expr

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

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

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

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

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

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

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

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

type species = <WeakHead<Species, Target> as SynthTyped<((Species,), ()), Target>>::Expr

type body_type = <WeakHead<BodyType, Target> as SynthTyped<((BodyType,), ()), Target>>::Expr

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

type species = <WeakHead<Species, Target> as SynthTyped<((Species,), ()), Target>>::Expr

type body_type = <WeakHead<BodyType, Target> as SynthTyped<((BodyType,), ()), Target>>::Expr

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

type species = <WeakHead<Species, Target> as SynthTyped<((Species,), ()), Target>>::Expr

type body_type = <WeakHead<BodyType, Target> as SynthTyped<((BodyType,), ()), Target>>::Expr

type Humanoid = <WeakHead<Body, Target> as SynthTyped<((Body,), ()), Target>>::Expr

type QuadrupedSmall = <WeakHead<Body, Target> as SynthTyped<((Body,), ()), Target>>::Expr

type QuadrupedMedium = <WeakHead<Body, Target> as SynthTyped<((Body,), ()), Target>>::Expr

type BirdMedium = <WeakHead<Body, Target> as SynthTyped<((Body,), ()), Target>>::Expr

type FishMedium = <WeakHead<Body, Target> as SynthTyped<((Body,), ()), Target>>::Expr

type Dragon = <WeakHead<Body, Target> as SynthTyped<((Body,), ()), Target>>::Expr

type BirdLarge = <WeakHead<Body, Target> as SynthTyped<((Body,), ()), Target>>::Expr

type FishSmall = <WeakHead<Body, Target> as SynthTyped<((Body,), ()), Target>>::Expr

type BipedLarge = <WeakHead<Body, Target> as SynthTyped<((Body,), ()), Target>>::Expr

type BipedSmall = <WeakHead<Body, Target> as SynthTyped<((Body,), ()), Target>>::Expr

type Object = <WeakHead<Body, Target> as SynthTyped<((Body,), ()), Target>>::Expr

type Golem = <WeakHead<Body, Target> as SynthTyped<((Body,), ()), Target>>::Expr

type Theropod = <WeakHead<Body, Target> as SynthTyped<((Body,), ()), Target>>::Expr

type QuadrupedLow = <WeakHead<Body, Target> as SynthTyped<((Body,), ()), Target>>::Expr

type Ship = <WeakHead<Body, Target> as SynthTyped<((Body,), ()), Target>>::Expr

type Arthropod = <WeakHead<Body, Target> as SynthTyped<((Body,), ()), Target>>::Expr

type ItemDrop = <WeakHead<Body, Target> as SynthTyped<((Body,), ()), Target>>::Expr

type Crustacean = <WeakHead<Body, Target> as SynthTyped<((Body,), ()), Target>>::Expr

impl<'de, Reduction, Type> Deserialize<'de> for WeakHead<Reduction, Type>
where Reduction: Deserialize<'de>,

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
where __D: Deserializer<'de>,

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

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

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

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

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

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

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

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

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

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