Expand description

Traits for visiting bits of IR.

Re-exports

pub use visitors::VisitExt;

Modules

This module contains impls of TypeVisitable for those types that introduce binders.

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.

TypeVisitor helpers

Traits

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.

Applies the given visitor to a value, producing a visited result of type TypeVisitor::Result.

A “visitor” recursively folds some term – that is, some bit of IR, such as a Goal, and computes a value as a result.