Enum espr::ir::ConstraintExpr

pub enum ConstraintExpr {
    Reference(Path),
    AndOr(Vec<ConstraintExpr>),
    And(Vec<ConstraintExpr>),
    OneOf(Vec<ConstraintExpr>),
}

Expression appears in SUBTYPE_CONSTRAINT with resolved Path

Variants

Reference(Path)

Tuple Fields of Reference

0: Path

AndOr(Vec<ConstraintExpr>)

Tuple Fields of AndOr

0: Vec<ConstraintExpr>

And(Vec<ConstraintExpr>)

Tuple Fields of And

0: Vec<ConstraintExpr>

OneOf(Vec<ConstraintExpr>)

Tuple Fields of OneOf

0: Vec<ConstraintExpr>

Implementations

impl ConstraintExpr

pub fn is_in(&self, path: &Path) -> bool

Check if path occurs in this expression

pub fn andor(self, rhs: Self) -> Self

pub fn andor_mut(&mut self, rhs: Self)

pub fn from_ast_expr(
    ns: &Namespace<'_>,
    scope: &Scope,
    expr: &SuperTypeExpression
) -> Result<Self, SemanticError>

pub fn as_instantiables(
    &self,
    ns: &Namespace<'_>
) -> Result<Vec<Vec<Path>>, SemanticError>

Evaluate the expresion into a list of instantiables

Trait Implementations

impl Clone for ConstraintExpr

fn clone(&self) -> ConstraintExpr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ConstraintExpr

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

Formats the value using the given formatter.

impl PartialEq<ConstraintExpr> for ConstraintExpr

fn eq(&self, other: &ConstraintExpr) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Eq for ConstraintExpr

impl StructuralEq for ConstraintExpr

impl StructuralPartialEq for ConstraintExpr