Type Alias PatternBlockVar

pub type PatternBlockVar = PatternBlockDef<PointVar>;

Aliased Type

enum PatternBlockVar {
    Always,
    Never,
    Pattern(SubstancePatternDef<PointDef<RouteSegVar, PointSegVar>>),
}

Variants

Always

Never

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

Trait Implementations

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

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

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