Type Alias PayloadBlockVar

pub type PayloadBlockVar = PayloadBlockDef<PointVar>;

Aliased Type

pub enum PayloadBlockVar {
    DirectPattern(ValuePattern<SubstancePatternDef<PointDef<RouteSegVar, PointSegVar>>>),
    ReflectPattern(ValuePattern<SubstancePatternDef<PointDef<RouteSegVar, PointSegVar>>>),
}

Variants

DirectPattern(ValuePattern<SubstancePatternDef<PointDef<RouteSegVar, PointSegVar>>>)

ReflectPattern(ValuePattern<SubstancePatternDef<PointDef<RouteSegVar, PointSegVar>>>)

Trait Implementations

impl ToResolved<PayloadBlockDef<PointDef<RouteSeg, PointSeg>>> for PayloadBlockVar

fn to_resolved(self, env: &Env) -> Result<PayloadBlock, SpaceErr>

fn collapse(self) -> Result<R, SpaceErr>

impl ToResolved<PayloadBlockDef<PointDef<RouteSeg, PointSegCtx>>> for PayloadBlockVar

fn to_resolved(self, env: &Env) -> Result<PayloadBlockCtx, SpaceErr>

fn collapse(self) -> Result<R, SpaceErr>