Module chalk_ir::visit

Traits for visiting bits of IR.

Re-exports

pub use visitors::VisitExt;

Modules

visitors

Visitor helpers

Enums

ControlFlow

An copy of the unstable std::ops::ControlFlow for use in Chalk visitors.

Traits

SuperVisit	For types where "visit" invokes a callback on the visitor, the SuperVisit trait captures the recursive behavior that visits all the contents of the type.
Visit	Applies the given visitor to a value, producing a visited result of type Visitor::Result.
Visitor	A "visitor" recursively folds some term -- that is, some bit of IR, such as a Goal, and computes a value as a result.