Struct ra_ap_hir_ty::FnSubst [−][src]
pub struct FnSubst<I>(pub Substitution<I>)
where
I: Interner;
A wrapper for the substs on a Fn.
Trait Implementations
impl<I> Clone for FnSubst<I> where
I: Clone + Interner, [src]
I: Clone + Interner,
impl<I> Copy for FnSubst<I> where
I: Interner,
<I as Interner>::InternedSubstitution: Copy, [src]
I: Interner,
<I as Interner>::InternedSubstitution: Copy,
impl<I> Debug for FnSubst<I> where
I: Interner, [src]
I: Interner,
impl<I> Eq for FnSubst<I> where
I: Eq + Interner, [src]
I: Eq + Interner,
impl<I> Fold<I> for FnSubst<I> where
I: Interner, [src]
I: Interner,
type Result = FnSubst<I>
The type of value that will be produced once folding is done.
Typically this is Self, unless Self contains borrowed
values, in which case owned values are produced (for example,
one can fold over a &T value where T: Fold, in which case
you get back a T, not a &T). Read more
pub fn fold_with<'i>(
self,
folder: &mut dyn Folder<'i, I>,
outer_binder: DebruijnIndex
) -> Result<<FnSubst<I> as Fold<I>>::Result, NoSolution> where
I: 'i, [src]
self,
folder: &mut dyn Folder<'i, I>,
outer_binder: DebruijnIndex
) -> Result<<FnSubst<I> as Fold<I>>::Result, NoSolution> where
I: 'i,
impl<I> HasInterner for FnSubst<I> where
I: Interner, [src]
I: Interner,
type Interner = I
The interner associated with the type.
impl<I> Hash for FnSubst<I> where
I: Hash + Interner, [src]
I: Hash + Interner,
pub fn hash<__H>(&self, state: &mut __H) where
__H: Hasher, [src]
__H: Hasher,
pub fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher, 1.3.0[src]
H: Hasher,
impl<I> PartialEq<FnSubst<I>> for FnSubst<I> where
I: PartialEq<I> + Interner, [src]
I: PartialEq<I> + Interner,
impl<I> StructuralEq for FnSubst<I> where
I: Interner, [src]
I: Interner,
impl<I> StructuralPartialEq for FnSubst<I> where
I: Interner, [src]
I: Interner,
impl TypeWalk for FnSubst<Interner>[src]
impl<I> Visit<I> for FnSubst<I> where
I: Interner, [src]
I: Interner,
pub fn visit_with<'i, B>(
&self,
visitor: &mut dyn Visitor<'i, I, BreakTy = B>,
outer_binder: DebruijnIndex
) -> ControlFlow<B, ()> where
I: 'i, [src]
&self,
visitor: &mut dyn Visitor<'i, I, BreakTy = B>,
outer_binder: DebruijnIndex
) -> ControlFlow<B, ()> where
I: 'i,
impl<I> Zip<I> for FnSubst<I> where
I: Interner, [src]
I: Interner,
Auto Trait Implementations
impl<I> RefUnwindSafe for FnSubst<I> where
<I as Interner>::InternedSubstitution: RefUnwindSafe,
<I as Interner>::InternedSubstitution: RefUnwindSafe,
impl<I> Send for FnSubst<I> where
<I as Interner>::InternedSubstitution: Send,
<I as Interner>::InternedSubstitution: Send,
impl<I> Sync for FnSubst<I> where
<I as Interner>::InternedSubstitution: Sync,
<I as Interner>::InternedSubstitution: Sync,
impl<I> Unpin for FnSubst<I> where
<I as Interner>::InternedSubstitution: Unpin,
<I as Interner>::InternedSubstitution: Unpin,
impl<I> UnwindSafe for FnSubst<I> where
<I as Interner>::InternedSubstitution: UnwindSafe,
<I as Interner>::InternedSubstitution: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> Any for T where
T: Any,
T: Any,
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T[src]
impl<T> Cast for T[src]
pub fn cast<U>(self, interner: &<U as HasInterner>::Interner) -> U where
Self: CastTo<U>,
U: HasInterner, [src]
Self: CastTo<U>,
U: HasInterner,
impl<T> CloneAny for T where
T: Any + Clone,
T: Any + Clone,
impl<T, I> CouldMatch<T> for T where
T: Zip<I> + HasInterner<Interner = I> + ?Sized,
I: Interner, [src]
T: Zip<I> + HasInterner<Interner = I> + ?Sized,
I: Interner,
pub fn could_match(
&self,
interner: &I,
db: &dyn UnificationDatabase<I>,
other: &T
) -> bool[src]
&self,
interner: &I,
db: &dyn UnificationDatabase<I>,
other: &T
) -> bool
impl<Q, K> Equivalent<K> for Q where
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized, [src]
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized,
pub fn equivalent(&self, key: &K) -> bool[src]
impl<T> From<T> for T[src]
impl<T> Instrument for T[src]
pub fn instrument(self, span: Span) -> Instrumented<Self>[src]
pub fn in_current_span(self) -> Instrumented<Self>[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T, I> Shift<I> for T where
T: Fold<I>,
I: Interner, [src]
T: Fold<I>,
I: Interner,
pub fn shifted_in(self, interner: &I) -> <T as Fold<I>>::Result[src]
pub fn shifted_in_from(
self,
interner: &I,
source_binder: DebruijnIndex
) -> <T as Fold<I>>::Result[src]
self,
interner: &I,
source_binder: DebruijnIndex
) -> <T as Fold<I>>::Result
pub fn shifted_out_to(
self,
interner: &I,
target_binder: DebruijnIndex
) -> Result<<T as Fold<I>>::Result, NoSolution>[src]
self,
interner: &I,
target_binder: DebruijnIndex
) -> Result<<T as Fold<I>>::Result, NoSolution>
pub fn shifted_out(
self,
interner: &I
) -> Result<<T as Fold<I>>::Result, NoSolution>[src]
self,
interner: &I
) -> Result<<T as Fold<I>>::Result, NoSolution>
impl<T> ToOwned for T where
T: Clone, [src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T[src]
pub fn clone_into(&self, target: &mut T)[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
impl<T, I> VisitExt<I> for T where
T: Visit<I>,
I: Interner, [src]
T: Visit<I>,
I: Interner,