Type Alias PatternBlockVar

pub type PatternBlockVar = PatternBlockDef<PointVar>;

Aliased Type

pub enum PatternBlockVar {
    Any,
    None,
    Pattern(SubstancePatternDef<PointDef<RouteSegVar, PointSegVar>>),
}

Variants

Any

None

Pattern(SubstancePatternDef<PointDef<RouteSegVar, PointSegVar>>)

Trait Implementations

impl ToResolved<ValuePattern<SubstancePatternDef<PointDef<RouteSeg, PointSegCtx>>>> for PatternBlockVar

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

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