Module chalk_ir::fold [−][src]
Expand description
Traits for transforming bits of IR.
Re-exports
pub use self::shift::Shift; |
Modules
shift | Shifting of debruijn indices |
Structs
Subst | Substitution used during folding |
Traits
Fold | Applies the given |
Folder | A “folder” is a transformer that can be used to make a copy of
some term – that is, some bit of IR, such as a |
SuperFold | For types where “fold” invokes a callback on the |