Module hugr_core::ops::validate

Definitions for validating hugr nodes according to their operation type.

Adds a validity_flags method to OpType that returns a series of flags used by the crate::hugr::validate module.

It also defines a validate_op_children method for more complex tests that require traversing the children.

Structs

• ChildrenEdgeData
  Auxiliary structure passed as data to OpValidityFlags::edge_check.
• OpValidityFlags
  A set of property flags required for an operation.

Enums

• ChildrenValidationError
  Errors that can occur while checking the children of a node.
• EdgeValidationError
  Errors that can occur while checking the edges between children of a node.