Enum SubstanceTypePatternDef

pub enum SubstanceTypePatternDef<Pnt> {
    Empty,
    Primitive(SubstanceKind),
    List(ListPattern),
    Map(Box<MapPatternDef<Pnt>>),
}

Variants

Empty

Primitive(SubstanceKind)

List(ListPattern)

Map(Box<MapPatternDef<Pnt>>)

Implementations

impl<Pnt> SubstanceTypePatternDef<Pnt>

pub fn is_match(&self, payload: &Substance) -> Result<(), ()>

Trait Implementations

impl<Pnt: Clone> Clone for SubstanceTypePatternDef<Pnt>

fn clone(&self) -> SubstanceTypePatternDef<Pnt>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Pnt: Debug> Debug for SubstanceTypePatternDef<Pnt>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de, Pnt> Deserialize<'de> for SubstanceTypePatternDef<Pnt>

where Pnt: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<Pnt: PartialEq> PartialEq for SubstanceTypePatternDef<Pnt>

fn eq(&self, other: &SubstanceTypePatternDef<Pnt>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<Pnt> Serialize for SubstanceTypePatternDef<Pnt>

where Pnt: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl ToResolved<SubstanceTypePatternDef<PointDef<RouteSeg, PointSeg>>> for SubstanceTypePatternDef<PointCtx>

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

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

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

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

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

impl<Pnt: Eq> Eq for SubstanceTypePatternDef<Pnt>

impl<Pnt> StructuralPartialEq for SubstanceTypePatternDef<Pnt>