Trait ClaimVar

pub trait ClaimVar {
    type Claimed;

    // Required method
    fn claim(self, ctx: &mut StepCtx<'_>) -> Self::Claimed;
}

Claim one or more flowey Vars for a particular step.

By having this be a trait, it is possible to claim both single instances of ReadVar / WriteVar, as well as whole collections of Vars.

Required Associated Types

type Claimed

The claimed version of Self.

Required Methods

fn claim(self, ctx: &mut StepCtx<'_>) -> Self::Claimed

Claim the Var for this step, allowing it to be accessed at runtime.

Implementations on Foreign Types

impl<A> ClaimVar for (A,)

where A: ClaimVar,

type Claimed = (<A as ClaimVar>::Claimed,)

fn claim(self, ctx: &mut StepCtx<'_>) -> Self::Claimed

impl<A, B> ClaimVar for (A, B)

where A: ClaimVar, B: ClaimVar,

type Claimed = (<A as ClaimVar>::Claimed, <B as ClaimVar>::Claimed)

fn claim(self, ctx: &mut StepCtx<'_>) -> Self::Claimed

impl<A, B, C> ClaimVar for (A, B, C)

where A: ClaimVar, B: ClaimVar, C: ClaimVar,

type Claimed = (<A as ClaimVar>::Claimed, <B as ClaimVar>::Claimed, <C as ClaimVar>::Claimed)

fn claim(self, ctx: &mut StepCtx<'_>) -> Self::Claimed

impl<A, B, C, D> ClaimVar for (A, B, C, D)

where A: ClaimVar, B: ClaimVar, C: ClaimVar, D: ClaimVar,

type Claimed = (<A as ClaimVar>::Claimed, <B as ClaimVar>::Claimed, <C as ClaimVar>::Claimed, <D as ClaimVar>::Claimed)

fn claim(self, ctx: &mut StepCtx<'_>) -> Self::Claimed

impl<A, B, C, D, E> ClaimVar for (A, B, C, D, E)

where A: ClaimVar, B: ClaimVar, C: ClaimVar, D: ClaimVar, E: ClaimVar,

type Claimed = (<A as ClaimVar>::Claimed, <B as ClaimVar>::Claimed, <C as ClaimVar>::Claimed, <D as ClaimVar>::Claimed, <E as ClaimVar>::Claimed)

fn claim(self, ctx: &mut StepCtx<'_>) -> Self::Claimed

impl<A, B, C, D, E, F> ClaimVar for (A, B, C, D, E, F)

where A: ClaimVar, B: ClaimVar, C: ClaimVar, D: ClaimVar, E: ClaimVar, F: ClaimVar,

type Claimed = (<A as ClaimVar>::Claimed, <B as ClaimVar>::Claimed, <C as ClaimVar>::Claimed, <D as ClaimVar>::Claimed, <E as ClaimVar>::Claimed, <F as ClaimVar>::Claimed)

fn claim(self, ctx: &mut StepCtx<'_>) -> Self::Claimed

impl<A, B, C, D, E, F, G> ClaimVar for (A, B, C, D, E, F, G)

where A: ClaimVar, B: ClaimVar, C: ClaimVar, D: ClaimVar, E: ClaimVar, F: ClaimVar, G: ClaimVar,

type Claimed = (<A as ClaimVar>::Claimed, <B as ClaimVar>::Claimed, <C as ClaimVar>::Claimed, <D as ClaimVar>::Claimed, <E as ClaimVar>::Claimed, <F as ClaimVar>::Claimed, <G as ClaimVar>::Claimed)

fn claim(self, ctx: &mut StepCtx<'_>) -> Self::Claimed

impl<A, B, C, D, E, F, G, H> ClaimVar for (A, B, C, D, E, F, G, H)

where A: ClaimVar, B: ClaimVar, C: ClaimVar, D: ClaimVar, E: ClaimVar, F: ClaimVar, G: ClaimVar, H: ClaimVar,

type Claimed = (<A as ClaimVar>::Claimed, <B as ClaimVar>::Claimed, <C as ClaimVar>::Claimed, <D as ClaimVar>::Claimed, <E as ClaimVar>::Claimed, <F as ClaimVar>::Claimed, <G as ClaimVar>::Claimed, <H as ClaimVar>::Claimed)

fn claim(self, ctx: &mut StepCtx<'_>) -> Self::Claimed

impl<A, B, C, D, E, F, G, H, I> ClaimVar for (A, B, C, D, E, F, G, H, I)

where A: ClaimVar, B: ClaimVar, C: ClaimVar, D: ClaimVar, E: ClaimVar, F: ClaimVar, G: ClaimVar, H: ClaimVar, I: ClaimVar,

type Claimed = (<A as ClaimVar>::Claimed, <B as ClaimVar>::Claimed, <C as ClaimVar>::Claimed, <D as ClaimVar>::Claimed, <E as ClaimVar>::Claimed, <F as ClaimVar>::Claimed, <G as ClaimVar>::Claimed, <H as ClaimVar>::Claimed, <I as ClaimVar>::Claimed)

fn claim(self, ctx: &mut StepCtx<'_>) -> Self::Claimed

impl<A, B, C, D, E, F, G, H, I, J> ClaimVar for (A, B, C, D, E, F, G, H, I, J)

where A: ClaimVar, B: ClaimVar, C: ClaimVar, D: ClaimVar, E: ClaimVar, F: ClaimVar, G: ClaimVar, H: ClaimVar, I: ClaimVar, J: ClaimVar,

type Claimed = (<A as ClaimVar>::Claimed, <B as ClaimVar>::Claimed, <C as ClaimVar>::Claimed, <D as ClaimVar>::Claimed, <E as ClaimVar>::Claimed, <F as ClaimVar>::Claimed, <G as ClaimVar>::Claimed, <H as ClaimVar>::Claimed, <I as ClaimVar>::Claimed, <J as ClaimVar>::Claimed)

fn claim(self, ctx: &mut StepCtx<'_>) -> Self::Claimed

impl<T: ClaimVar> ClaimVar for Option<T>

type Claimed = Option<<T as ClaimVar>::Claimed>

fn claim(self, ctx: &mut StepCtx<'_>) -> Option<T::Claimed>

impl<T: ClaimVar> ClaimVar for Vec<T>

type Claimed = Vec<<T as ClaimVar>::Claimed>

fn claim(self, ctx: &mut StepCtx<'_>) -> Vec<T::Claimed>

impl<U: Ord, T: ClaimVar> ClaimVar for BTreeMap<U, T>

type Claimed = BTreeMap<U, <T as ClaimVar>::Claimed>

fn claim(self, ctx: &mut StepCtx<'_>) -> BTreeMap<U, T::Claimed>

Implementors

impl ClaimVar for GhParam

type Claimed = GhParam<VarClaimed>

impl<T: Serialize + DeserializeOwned> ClaimVar for ReadVar<T>

type Claimed = ReadVar<T, VarClaimed>

impl<T: Serialize + DeserializeOwned> ClaimVar for WriteVar<T>

type Claimed = WriteVar<T, VarClaimed>