[−][src]Trait chalk_ir::interner::HasInterner
Implemented by types that have an associated interner (which
are virtually all of the types in chalk-ir, for example).
This lets us map from a type like Ty<I> to the parameter I.
It's particularly useful for writing Fold impls for generic types like
Binder<T>, since it allows us to figure out the interner of T.
Associated Types
Loading content...Implementations on Foreign Types
impl<T> HasInterner for Option<T> where
T: HasInterner, [src]
T: HasInterner,
impl<T, E> HasInterner for Result<T, E> where
T: HasInterner, [src]
T: HasInterner,
impl<T: HasInterner> HasInterner for [T][src]
impl<T: HasInterner> HasInterner for Vec<T>[src]
impl<T: HasInterner> HasInterner for Box<T>[src]
impl<T: HasInterner> HasInterner for Arc<T>[src]
impl<T: HasInterner + ?Sized, '_> HasInterner for &'_ T[src]
impl<I: Interner> HasInterner for PhantomData<I>[src]
type Interner = I
impl<A, B, I> HasInterner for (A, B) where
A: HasInterner<Interner = I>,
B: HasInterner<Interner = I>,
I: Interner, [src]
A: HasInterner<Interner = I>,
B: HasInterner<Interner = I>,
I: Interner,
type Interner = I
impl<A, B, C, I> HasInterner for (A, B, C) where
A: HasInterner<Interner = I>,
B: HasInterner<Interner = I>,
C: HasInterner<Interner = I>,
I: Interner, [src]
A: HasInterner<Interner = I>,
B: HasInterner<Interner = I>,
C: HasInterner<Interner = I>,
I: Interner,