[−][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,