hugr_core::ops

Trait ValidateOp

Source 
pub trait ValidateOp {
    // Provided methods
    fn validity_flags(&self) -> OpValidityFlags { ... }
    fn validate_op_children<'a>(
        &self,
        _children: impl DoubleEndedIterator<Item = (NodeIndex, &'a OpType)>,
    ) -> Result<(), ChildrenValidationError> { ... }
}
Expand description

Methods for Ops to validate themselves and children

Provided Methods§

Source

fn validity_flags(&self) -> OpValidityFlags

Returns a set of flags describing the validity predicates for this operation.

Source

fn validate_op_children<'a>( &self, _children: impl DoubleEndedIterator<Item = (NodeIndex, &'a OpType)>, ) -> Result<(), ChildrenValidationError>

Validate the ordered list of children.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§