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))

Loading content...

Implementations on Foreign Types

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

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

Loading content...

Implementors

impl TypeWalk for CallableSig

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

impl TypeWalk for FnSubst<Interner>

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

impl TypeWalk for AliasEq

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

impl TypeWalk for AliasTy

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

impl TypeWalk for GenericArg

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

impl TypeWalk for OpaqueTy

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

impl TypeWalk for ProjectionTy

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

impl TypeWalk for Substitution

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

impl TypeWalk for TraitRef

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

impl TypeWalk for Ty

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

impl TypeWalk for WhereClause

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

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

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

Loading content...