[−][src]Struct chalk_rust_ir::StructDatumBound
Fields
fields: Vec<Ty<I>>where_clauses: Vec<QuantifiedWhereClause<I>>Trait Implementations
impl<I: Clone + Interner> Clone for StructDatumBound<I>[src]
fn clone(&self) -> StructDatumBound<I>[src]
fn clone_from(&mut self, source: &Self)1.0.0[src]
impl<I: Debug + Interner> Debug for StructDatumBound<I>[src]
impl<I: Eq + Interner> Eq for StructDatumBound<I>[src]
impl<I: Interner, _TI> Fold<I, _TI> for StructDatumBound<I> where
_TI: TargetInterner<I>, [src]
_TI: TargetInterner<I>,
type Result = StructDatumBound<_TI>
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
fn fold_with<'i>(
&self,
folder: &mut dyn Folder<'i, I, _TI>,
outer_binder: DebruijnIndex
) -> Fallible<Self::Result> where
I: 'i,
_TI: 'i, [src]
&self,
folder: &mut dyn Folder<'i, I, _TI>,
outer_binder: DebruijnIndex
) -> Fallible<Self::Result> where
I: 'i,
_TI: 'i,
impl<I: Interner> HasInterner for StructDatumBound<I>[src]
type Interner = I
impl<I: Hash + Interner> Hash for StructDatumBound<I>[src]
fn hash<__H: Hasher>(&self, state: &mut __H)[src]
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher, 1.3.0[src]
H: Hasher,
impl<I: PartialEq + Interner> PartialEq<StructDatumBound<I>> for StructDatumBound<I>[src]
fn eq(&self, other: &StructDatumBound<I>) -> bool[src]
fn ne(&self, other: &StructDatumBound<I>) -> bool[src]
impl<I: Interner> StructuralEq for StructDatumBound<I>[src]
impl<I: Interner> StructuralPartialEq for StructDatumBound<I>[src]
Auto Trait Implementations
impl<I> RefUnwindSafe for StructDatumBound<I> where
<I as Interner>::DefId: RefUnwindSafe,
<I as Interner>::InternedParameterKinds: RefUnwindSafe,
<I as Interner>::InternedSubstitution: RefUnwindSafe,
<I as Interner>::InternedType: RefUnwindSafe,
<I as Interner>::DefId: RefUnwindSafe,
<I as Interner>::InternedParameterKinds: RefUnwindSafe,
<I as Interner>::InternedSubstitution: RefUnwindSafe,
<I as Interner>::InternedType: RefUnwindSafe,
impl<I> Send for StructDatumBound<I> where
<I as Interner>::DefId: Send,
<I as Interner>::InternedParameterKinds: Send,
<I as Interner>::InternedSubstitution: Send,
<I as Interner>::InternedType: Send,
<I as Interner>::DefId: Send,
<I as Interner>::InternedParameterKinds: Send,
<I as Interner>::InternedSubstitution: Send,
<I as Interner>::InternedType: Send,
impl<I> Sync for StructDatumBound<I> where
<I as Interner>::DefId: Sync,
<I as Interner>::InternedParameterKinds: Sync,
<I as Interner>::InternedSubstitution: Sync,
<I as Interner>::InternedType: Sync,
<I as Interner>::DefId: Sync,
<I as Interner>::InternedParameterKinds: Sync,
<I as Interner>::InternedSubstitution: Sync,
<I as Interner>::InternedType: Sync,
impl<I> Unpin for StructDatumBound<I> where
<I as Interner>::DefId: Unpin,
<I as Interner>::InternedParameterKinds: Unpin,
<I as Interner>::InternedSubstitution: Unpin,
<I as Interner>::InternedType: Unpin,
<I as Interner>::DefId: Unpin,
<I as Interner>::InternedParameterKinds: Unpin,
<I as Interner>::InternedSubstitution: Unpin,
<I as Interner>::InternedType: Unpin,
impl<I> UnwindSafe for StructDatumBound<I> where
<I as Interner>::DefId: UnwindSafe,
<I as Interner>::InternedParameterKinds: UnwindSafe,
<I as Interner>::InternedSubstitution: UnwindSafe,
<I as Interner>::InternedType: UnwindSafe,
<I as Interner>::DefId: UnwindSafe,
<I as Interner>::InternedParameterKinds: UnwindSafe,
<I as Interner>::InternedSubstitution: UnwindSafe,
<I as Interner>::InternedType: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T[src]
impl<T> Cast for T[src]
fn cast<U>(self, interner: &<U as HasInterner>::Interner) -> U where
Self: CastTo<U>,
U: HasInterner, [src]
Self: CastTo<U>,
U: HasInterner,
impl<T> From<T> for T[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T, I> Shift<I> for T where
I: Interner,
T: Fold<I, I>, [src]
I: Interner,
T: Fold<I, I>,
fn shifted_in(&self, interner: &I) -> <T as Fold<I, I>>::Result[src]
fn shifted_in_from(
&self,
interner: &I,
source_binder: DebruijnIndex
) -> <T as Fold<I, I>>::Result[src]
&self,
interner: &I,
source_binder: DebruijnIndex
) -> <T as Fold<I, I>>::Result
fn shifted_out_to(
&self,
interner: &I,
target_binder: DebruijnIndex
) -> Result<<T as Fold<I, I>>::Result, NoSolution>[src]
&self,
interner: &I,
target_binder: DebruijnIndex
) -> Result<<T as Fold<I, I>>::Result, NoSolution>
fn shifted_out(
&self,
interner: &I
) -> Result<<T as Fold<I, I>>::Result, NoSolution>[src]
&self,
interner: &I
) -> Result<<T as Fold<I, I>>::Result, NoSolution>
impl<T> ToOwned for T where
T: Clone, [src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T[src]
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.
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>,