Trait chalk_solve::ext::CanonicalExt

pub trait CanonicalExt<T: HasInterner, I: Interner> {
    // Required method
    fn map<OP, U>(self, interner: I, op: OP) -> Canonical<U>
       where OP: FnOnce(T) -> U,
             T: TypeFoldable<I>,
             U: TypeFoldable<I> + HasInterner<Interner = I>;
}

Required Methods

fn map<OP, U>(self, interner: I, op: OP) -> Canonical<U>

where OP: FnOnce(T) -> U, T: TypeFoldable<I>, U: TypeFoldable<I> + HasInterner<Interner = I>,

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<T, I> CanonicalExt<T, I> for Canonical<T>

where T: HasInterner<Interner = I>, I: Interner,

fn map<OP, U>(self, interner: I, op: OP) -> Canonical<U>

where OP: FnOnce(T) -> U, T: TypeFoldable<I>, U: TypeFoldable<I> + HasInterner<Interner = I>,

Maps the contents using op, but preserving the binders.

NB. op will be invoked with an instantiated version of the canonical value, where inference variables (from a fresh inference context) are used in place of the quantified free variables. The result should be in terms of those same inference variables and will be re-canonicalized.

Implementors