Module chalk_ir::visit

Traits for visiting bits of IR.

Re-exports

• pub use visitors::VisitExt;

Modules

• visitors
  TypeVisitor helpers

Traits

• TypeSuperVisitable
  For types where “visit” invokes a callback on the visitor, the TypeSuperVisitable trait captures the recursive behavior that visits all the contents of the type.
• TypeVisitable
  Applies the given visitor to a value, producing a visited result of type TypeVisitor::Result.
• TypeVisitor
  A “visitor” recursively folds some term – that is, some bit of IR, such as a Goal, and computes a value as a result.