Trait stable_mir::fold::Foldable

pub trait Foldable: Sized + Clone {
    // Required method
    fn super_fold<V: Folder>(
        &self,
        folder: &mut V
    ) -> ControlFlow<V::Break, Self>;

    // Provided method
    fn fold<V: Folder>(&self, folder: &mut V) -> ControlFlow<V::Break, Self> { ... }
}

Required Methods

fn super_fold<V: Folder>(&self, folder: &mut V) -> ControlFlow<V::Break, Self>

Provided Methods

fn fold<V: Folder>(&self, folder: &mut V) -> ControlFlow<V::Break, Self>

Implementations on Foreign Types

impl<T: Foldable> Foldable for Option<T>

fn super_fold<V: Folder>(&self, folder: &mut V) -> ControlFlow<V::Break, Self>

impl<T: Foldable> Foldable for Vec<T>

fn super_fold<V: Folder>(&self, folder: &mut V) -> ControlFlow<V::Break, Self>

Implementors

impl Foldable for ExistentialPredicate

impl Foldable for GenericArgKind

impl Foldable for RigidTy

impl Foldable for TermKind

impl Foldable for Opaque

impl Foldable for Allocation

impl Foldable for Const

impl Foldable for ConstDef

impl Foldable for FnSig

impl Foldable for GenericArgs

impl Foldable for Region

impl Foldable for Ty

impl Foldable for UnevaluatedConst

impl Foldable for Promoted

impl<T: Foldable> Foldable for Binder<T>