Struct AdtShape 

pub struct AdtShape { /* private fields */ }

A kernel Shape that matches any TaggedValue of a given ADT.

The kernel defines the Shape match/binding protocol; AdtShape is the pattern organ’s concrete implementation that accepts a value when one of the ADT’s VariantShapes accepts it, binding that variant’s captures.

Implementations

impl AdtShape

pub fn new(adt: Symbol, variants: Vec<VariantShape>) -> Self

Builds an ADT shape from its name and per-variant shapes.

pub fn adt(&self) -> &Symbol

Returns the ADT name symbol.

pub fn variants(&self) -> &[VariantShape]

Returns the per-variant shapes this ADT shape dispatches over.

Trait Implementations

impl Shape for AdtShape

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

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

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_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 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.