Trait ra_ap_hir_ty::TypeWalk

pub trait TypeWalk {
    fn walk(&self, f: &mut impl FnMut(&Ty));
}

This allows walking structures that contain types to do something with those types, similar to Chalk’s Fold trait.

Required methods

fn walk(&self, f: &mut impl FnMut(&Ty))

Implementations on Foreign Types

impl<T: TypeWalk> TypeWalk for Vec<T>

fn walk(&self, f: &mut impl FnMut(&Ty))

Implementors

impl TypeWalk for CallableSig

impl TypeWalk for FnSubst<Interner>

impl TypeWalk for AliasEq

impl TypeWalk for AliasTy

impl TypeWalk for GenericArg

impl TypeWalk for OpaqueTy

impl TypeWalk for ProjectionTy

impl TypeWalk for Substitution

impl TypeWalk for TraitRef

impl TypeWalk for Ty

impl TypeWalk for WhereClause

impl<T: TypeWalk + HasInterner<Interner = Interner>> TypeWalk for Binders<T>