Struct ShapeDefs 

pub struct ShapeDefs {
    pub root: Arc<dyn Shape>,
    pub defs: Vec<(Symbol, Arc<dyn Shape>)>,
}

A shape with a root descriptor and named definitions available to refs.

Fields

root: Arc<dyn Shape>

The root shape checked by this descriptor.

defs: Vec<(Symbol, Arc<dyn Shape>)>

Named shapes that ShapeDefRef entries may resolve while checking.

Implementations

impl ShapeDefs

pub fn new(root: Arc<dyn Shape>, defs: Vec<(Symbol, Arc<dyn Shape>)>) -> Self

Build a recursive descriptor from a root shape and named definitions.

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

Root shape for this recursive descriptor.

pub fn defs(&self) -> &[(Symbol, Arc<dyn Shape>)]

Named definitions available while checking this descriptor.

Trait Implementations

impl Clone for ShapeDefs

fn clone(&self) -> ShapeDefs

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Shape for ShapeDefs

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

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

fn is_effectful(&self) -> bool

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

fn is_total(&self) -> bool

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

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 parents(&self, _cx: &mut Cx) -> Result<Vec<Value>, Error>

Parent shapes for the subshape walk; empty by default.

fn is_subshape_of( &self, _cx: &mut Cx, _parent: &dyn Shape, ) -> Result<Option<bool>, Error>

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