Struct HookedShape 

pub struct HookedShape { /* private fields */ }

Shape wrapper that runs neutral match hooks around an inner shape.

HookedShape keeps the kernel Shape trait unchanged. Mark hooks observe, accept hooks can repair rejections, discard hooks can veto acceptances, and annotate hooks can adjust score and diagnostics without changing acceptance.

let shape = HookedShape::new(Arc::new(AnyShape), vec![Arc::new(TraceMarkHook)]);
let matched = shape.check_expr(&mut cx, &Expr::Bool(true)).unwrap();

assert!(matched.accepted);
assert!(matched
    .diagnostics
    .iter()
    .any(|diagnostic| diagnostic.message.starts_with("shape-hook:mark")));

Implementations

impl HookedShape

pub fn new(inner: Arc<dyn Shape>, hooks: Vec<Arc<dyn MatchHook>>) -> Self

Wrap an inner shape with an ordered list of match hooks.

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

Borrow the wrapped inner shape.

pub fn hooks(&self) -> &[Arc<dyn MatchHook>]

Borrow the hooks run around the inner shape, in registration order.

Trait Implementations

impl Shape for HookedShape

fn parents(&self, cx: &mut Cx) -> Result<Vec<ShapeRef>>

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

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.