[−][src]Struct chalk_solve::rust_ir::GeneratorWitnessDatum
The generator witness data. Each GeneratorId has both a GeneratorDatum
and a GeneratorWitnessDatum - these represent two distinct types in Rust.
GeneratorWitnessDatum is logically 'inside' a generator - this only
matters when we treat the witness type as a 'constituent type for the
purposes of determining auto trait implementations.
Fields
inner_types: Binders<GeneratorWitnessExistential<I>>This binder is identical to the input_output binder in GeneratorWitness -
it binds the types and lifetimes that the generator is generic over.
There is an additional binder inside GeneratorWitnessExistential, which
is treated specially.
Trait Implementations
impl<I: Clone + Interner> Clone for GeneratorWitnessDatum<I>[src]
fn clone(&self) -> GeneratorWitnessDatum<I>[src]
fn clone_from(&mut self, source: &Self)1.0.0[src]
impl<I: Debug + Interner> Debug for GeneratorWitnessDatum<I>[src]
impl<I: Eq + Interner> Eq for GeneratorWitnessDatum<I>[src]
impl<I: Interner, _TI> Fold<I, _TI> for GeneratorWitnessDatum<I> where
_TI: TargetInterner<I>, [src]
_TI: TargetInterner<I>,
type Result = GeneratorWitnessDatum<_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 GeneratorWitnessDatum<I>[src]
type Interner = I
The interner associated with the type.
impl<I: Hash + Interner> Hash for GeneratorWitnessDatum<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<GeneratorWitnessDatum<I>> for GeneratorWitnessDatum<I>[src]
fn eq(&self, other: &GeneratorWitnessDatum<I>) -> bool[src]
fn ne(&self, other: &GeneratorWitnessDatum<I>) -> bool[src]
impl<I: Interner> StructuralEq for GeneratorWitnessDatum<I>[src]
impl<I: Interner> StructuralPartialEq for GeneratorWitnessDatum<I>[src]
Auto Trait Implementations
impl<I> RefUnwindSafe for GeneratorWitnessDatum<I> where
<I as Interner>::InternedType: RefUnwindSafe,
<I as Interner>::InternedVariableKinds: RefUnwindSafe,
<I as Interner>::InternedType: RefUnwindSafe,
<I as Interner>::InternedVariableKinds: RefUnwindSafe,
impl<I> Send for GeneratorWitnessDatum<I> where
<I as Interner>::InternedType: Send,
<I as Interner>::InternedVariableKinds: Send,
<I as Interner>::InternedType: Send,
<I as Interner>::InternedVariableKinds: Send,
impl<I> Sync for GeneratorWitnessDatum<I> where
<I as Interner>::InternedType: Sync,
<I as Interner>::InternedVariableKinds: Sync,
<I as Interner>::InternedType: Sync,
<I as Interner>::InternedVariableKinds: Sync,
impl<I> Unpin for GeneratorWitnessDatum<I> where
<I as Interner>::InternedType: Unpin,
<I as Interner>::InternedVariableKinds: Unpin,
<I as Interner>::InternedType: Unpin,
<I as Interner>::InternedVariableKinds: Unpin,
impl<I> UnwindSafe for GeneratorWitnessDatum<I> where
<I as Interner>::InternedType: UnwindSafe,
<I as Interner>::InternedVariableKinds: UnwindSafe,
<I as Interner>::InternedType: UnwindSafe,
<I as Interner>::InternedVariableKinds: 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,
pub 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<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]
fn instrument(self, span: Span) -> Instrumented<Self>[src]
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
I: Interner,
T: Fold<I, I>, [src]
I: Interner,
T: Fold<I, I>,
pub fn shifted_in(&self, interner: &I) -> <T as Fold<I, I>>::Result[src]
pub 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
pub 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>
pub 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.
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>,