Struct NotShape 

pub struct NotShape { /* private fields */ }

Shape that accepts when the inner shape rejects.

NotShape is a predicate complement. It records the shape/negated capture on accepted matches and does not leak captures from the rejected inner match.

let shape = NotShape::new(Arc::new(ExprKindShape::new(ExprKind::Bool)));

assert!(shape
    .check_expr(&mut cx, &Expr::String("not bool".to_owned()))
    .unwrap()
    .accepted);

Implementations

impl NotShape

pub fn new(inner: Arc<dyn Shape>) -> Self

Build the complement of the given inner shape.

pub fn inner(&self) -> &Arc<dyn Shape>

Return the negated inner shape.

Trait Implementations

impl Shape for NotShape

fn is_effectful(&self) -> bool

Whether matching this shape may run effects; false by default.

fn is_subshape_of( &self, cx: &mut Cx, parent: &dyn Shape, ) -> Result<Option<bool>>

Return a concrete implication answer when this shape owns the semantics.

fn check_value(&self, cx: &mut Cx, value: Value) -> Result<ShapeMatch>

Check a Value against this shape, yielding a ShapeMatch.

fn check_expr(&self, cx: &mut Cx, expr: &Expr) -> Result<ShapeMatch>

Check an Expr against this shape, yielding a ShapeMatch.

fn describe(&self, cx: &mut Cx) -> Result<ShapeDoc>

Produce the human-facing ShapeDoc for this shape.

fn id(&self) -> Option<ShapeId>

Stable ShapeId when this shape has runtime identity, else None.

fn symbol(&self) -> Option<Symbol>

Symbol naming this shape when it has one, else None.

fn parents(&self, _cx: &mut Cx) -> Result<Vec<Value>, Error>

Parent shapes for the subshape walk; empty by default.

fn is_total(&self) -> bool

Whether this shape accepts every input in its domain; false by default.