Trait chalk_ir::fold::TypeSuperFoldable

source · [−]

pub trait TypeSuperFoldable<I: Interner>: TypeFoldable<I> {
    fn try_super_fold_with<E>(
        self,
        folder: &mut dyn FallibleTypeFolder<I, Error = E>,
        outer_binder: DebruijnIndex
    ) -> Result<Self, E>;

    fn super_fold_with(
        self,
        folder: &mut dyn TypeFolder<I>,
        outer_binder: DebruijnIndex
    ) -> Self { ... }
}

Expand description

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

Required Methods

source

fn try_super_fold_with<E>(
 self,
 folder: &mut dyn FallibleTypeFolder<I, Error = E>,
 outer_binder: DebruijnIndex
) -> Result<Self, E>

Recursively folds the value.

Provided Methods

source

fn super_fold_with(
 self,
 folder: &mut dyn TypeFolder,
 outer_binder: DebruijnIndex
) -> Self

A convenient alternative to try_super_fold_with for use with infallible folders. Do not override this method, to ensure coherence with try_super_fold_with.