Module chalk_ir::visit

Traits for visiting bits of IR.

Re-exports

• pub use visitors::VisitExt;

Modules

• binder_impls 🔒
  This module contains impls of TypeVisitable for those types that introduce binders.
• boring_impls 🔒
  This module contains “rote and uninteresting” impls of TypeVisitable for various types. In general, we prefer to derive TypeVisitable, but sometimes that doesn’t work for whatever reason.
• 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.