Type Alias SubstanceTypePatternVar

pub type SubstanceTypePatternVar = SubstanceTypePatternDef<PointVar>;

Aliased Type

pub enum SubstanceTypePatternVar {
    Empty,
    Primitive(SubstanceKind),
    List(ListPattern),
    Map(Box<MapPatternDef<PointDef<RouteSegVar, PointSegVar>>>),
}

Variants

Empty

Primitive(SubstanceKind)

List(ListPattern)

Map(Box<MapPatternDef<PointDef<RouteSegVar, PointSegVar>>>)

Trait Implementations

impl ToResolved<SubstanceTypePatternDef<PointDef<RouteSeg, PointSegCtx>>> for SubstanceTypePatternVar

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

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