Module arithmetic_typing::visit

Visitor traits allowing to traverse Type and related types.

Traits

• Visit
  Recursive traversal across the shared reference to a Type.
• VisitMut
  Recursive traversal across the exclusive reference to a Type.

Functions

• visit_function
  Default implementation of Visit::visit_function().
• visit_function_mut
  Default implementation of VisitMut::visit_function_mut().
• visit_object
  Default implementation of Visit::visit_object().
• visit_object_mut
  Default implementation of VisitMut::visit_object_mut().
• visit_tuple
  Default implementation of Visit::visit_tuple().
• visit_tuple_mut
  Default implementation of VisitMut::visit_tuple_mut().
• visit_type
  Default implementation of Visit::visit_type().
• visit_type_mut
  Default implementation of VisitMut::visit_type_mut().