Struct IntentKindShape 

pub struct IntentKindShape { /* private fields */ }

A Shape that accepts exactly one Intent kind.

Implementations

impl IntentKindShape

pub fn new(name: &str) -> Self

Build the Shape for the Intent kind named name (e.g. wire).

Trait Implementations

impl Shape for IntentKindShape

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.