Trait chalk_ir::fold::Fold [−][src]
pub trait Fold<I: Interner>: Debug {
type Result;
fn fold_with<'i>(
self,
folder: &mut dyn Folder<'i, I>,
outer_binder: DebruijnIndex
) -> Fallible<Self::Result>
where
I: 'i;
}Expand description
Applies the given Folder to a value, producing a folded result
of type Self::Result. The result type is typically the same as
the source type, but in some cases we convert from borrowed
to owned as well (e.g., the folder for &T will fold to a fresh
T; well, actually T::Result).
Associated Types
Required methods
Apply the given folder folder to self; binders is the
number of binders that are in scope when beginning the
folder. Typically binders starts as 0, but is adjusted when
we encounter Binders<T> in the IR or other similar
constructs.
Implementations on Foreign Types
type Result = PhantomData<I>
Implementors
impl<G: HasInterner, _I, _U> Fold<_I> for InEnvironment<G> where
_I: Interner,
G: HasInterner<Interner = _I>,
G: Fold<_I, Result = _U>,
_U: HasInterner<Interner = _I>,
impl<G: HasInterner, _I, _U> Fold<_I> for InEnvironment<G> where
_I: Interner,
G: HasInterner<Interner = _I>,
G: Fold<_I, Result = _U>,
_U: HasInterner<Interner = _I>,
type Result = InEnvironment<_U>
impl<I, T> Fold<I> for Canonical<T> where
I: Interner,
T: HasInterner<Interner = I> + Fold<I>,
<T as Fold<I>>::Result: HasInterner<Interner = I>,
impl<I, T> Fold<I> for Canonical<T> where
I: Interner,
T: HasInterner<Interner = I> + Fold<I>,
<T as Fold<I>>::Result: HasInterner<Interner = I>,
type Result = Self
type Result = Constraint<I>
type Result = DomainGoal<I>
type Result = GenericArgData<I>
type Result = Self
type Result = Self
type Result = WellFormed<I>
type Result = WhereClause<I>
type Result = AnswerSubst<I>
type Result = AssocTypeId<I>
“Folding” a const invokes the fold_const method on the folder; this
usually (in turn) invokes super_fold_const to fold the individual
parts.
type Result = ConstrainedSubst<I>
type Result = Constraints<I>
type Result = Self
type Result = Environment<I>
type Result = ForeignDefId<I>
type Result = GeneratorId<I>
type Result = GenericArg<I>
Folding a goal invokes the fold_goal callback (which will, by
default, invoke super-fold).
“Folding” a lifetime invokes the fold_lifetime method on the folder; this
usually (in turn) invokes super_fold_lifetime to fold the individual
parts.
type Result = LifetimeOutlives<I>
type Result = OpaqueTyId<I>
type Result = Self
Folding a program clause invokes the fold_program_clause
callback on the folder (which will, by default, invoke the
super_fold_with method on the program clause).
type Result = ProgramClause<I>
type Result = ProgramClauseData<I>
type Result = ProgramClauseImplication<I>
type Result = ProgramClauses<I>
type Result = ProjectionTy<I>
type Result = QuantifiedWhereClauses<I>
type Result = Substitution<I>
type Result = SubtypeGoal<I>
“Folding” a type invokes the fold_ty method on the folder; this
usually (in turn) invokes super_fold_ty to fold the individual
parts.