Module types_utils

Source
Expand description

This file groups everything which is linked to implementations about crate::types

Structs§

CurrentItem
Dummy item identifier that represents the current item when not ambiguous.
ItemBinder
A value of type T bound by the generic parameters of item item. Used when dealing with multiple items at a time, to ensure we don’t mix up generics.
SubstVisitor 🔒
Visitor for the TyVisitable::substitute function. This substitutes variables bound at the level where we start to substitute (level 0).

Traits§

TyVisitable
Types that are involved at the type-level and may be substituted around.
VarsVisitor
Visitor for type-level variables. Used to visit the variables contained in a value, as seen from the outside of the value. This means that any variable bound inside the value will be skipped, and all the seen De Bruijn indices will count from the outside of the value. The returned value, if any, will be put in place of the variable.