Trait chalk_ir::fold::SuperFold

pub trait SuperFold<I: Interner>: Fold<I> {
    fn super_fold_with<'i>(
        self, 
        folder: &mut dyn Folder<'i, I>, 
        outer_binder: DebruijnIndex
    ) -> Fallible<Self::Result>
    where
        I: 'i;
}

For types where “fold” invokes a callback on the Folder, the SuperFold trait captures the recursive behavior that folds all the contents of the type.

Required methods

fn super_fold_with<'i>(
    self,
    folder: &mut dyn Folder<'i, I>,
    outer_binder: DebruijnIndex
) -> Fallible<Self::Result> where
    I: 'i, 

Recursively folds the value.

Implementors

impl<I> SuperFold<I> for Const<I> where
    I: Interner, 

fn super_fold_with<'i>(
    self,
    folder: &mut dyn Folder<'i, I>,
    outer_binder: DebruijnIndex
) -> Fallible<Const<I>> where
    I: 'i, 

impl<I> SuperFold<I> for Lifetime<I> where
    I: Interner, 

fn super_fold_with<'i>(
    self,
    folder: &mut dyn Folder<'i, I>,
    outer_binder: DebruijnIndex
) -> Fallible<Lifetime<I>> where
    I: 'i, 

impl<I> SuperFold<I> for Ty<I> where
    I: Interner, 

“Super fold” for a type invokes te more detailed callbacks on the type

fn super_fold_with<'i>(
    self,
    folder: &mut dyn Folder<'i, I>,
    outer_binder: DebruijnIndex
) -> Fallible<Ty<I>> where
    I: 'i, 

impl<I: Interner> SuperFold<I> for Goal<I>

Superfold folds recursively.

fn super_fold_with<'i>(
    self,
    folder: &mut dyn Folder<'i, I>,
    outer_binder: DebruijnIndex
) -> Fallible<Self::Result> where
    I: 'i, 

impl<I: Interner> SuperFold<I> for ProgramClause<I>

fn super_fold_with<'i>(
    self,
    folder: &mut dyn Folder<'i, I>,
    outer_binder: DebruijnIndex
) -> Fallible<Self::Result> where
    I: 'i, 

impl<I: Interner> SuperFold<I> for ProgramClauseData<I>

fn super_fold_with<'i>(
    self,
    folder: &mut dyn Folder<'i, I>,
    outer_binder: DebruijnIndex
) -> Fallible<Self::Result> where
    I: 'i,