Struct chalk_solve::rust_ir::GeneratorInputOutputDatum

pub struct GeneratorInputOutputDatum<I: Interner> {
    pub resume_type: Ty<I>,
    pub yield_type: Ty<I>,
    pub return_type: Ty<I>,
    pub upvars: Vec<Ty<I>>,
}

The nested types for a generator. This always appears inside a GeneratorDatum

Fields

resume_type: Ty<I>

The generator resume type - a value of this type is supplied by the caller when resuming the generator. Currently, this plays no rule in goal resolution.

yield_type: Ty<I>

The generator yield type - a value of this type is supplied by the generator during a yield. Currently, this plays no role in goal resolution.

return_type: Ty<I>

The generator return type - a value of this type is supplied by the generator when it returns. Currently, this plays no role in goal resolution

upvars: Vec<Ty<I>>

The upvars stored by the generator. These represent types captured from the generator’s environment, and are stored across all yields. These types (along with the witness types) are considered ‘constituent types’ for the purposes of determining auto trait implementations - that its, a generator impls an auto trait A iff all of its constituent types implement A.

Trait Implementations

impl<I: Clone + Interner> Clone for GeneratorInputOutputDatum<I>

fn clone(&self) -> GeneratorInputOutputDatum<I>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<I: Debug + Interner> Debug for GeneratorInputOutputDatum<I>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<I: Interner> HasInterner for GeneratorInputOutputDatum<I>

type Interner = I

The interner associated with the type.

impl<I: Hash + Interner> Hash for GeneratorInputOutputDatum<I>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<I: PartialEq + Interner> PartialEq<GeneratorInputOutputDatum<I>> for GeneratorInputOutputDatum<I>

fn eq(&self, other: &GeneratorInputOutputDatum<I>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<I: Interner> TypeFoldable<I> for GeneratorInputOutputDatum<I>

fn try_fold_with<E>( self, folder: &mut dyn FallibleTypeFolder<I, Error = E>, outer_binder: DebruijnIndex ) -> Result<Self, E>

Apply the given folder folder to self; binders is the number of binders that are in scope when beginning the folder. Typically binders starts as 0, but is adjusted when we encounter Binders<T> in the IR or other similar constructs.

fn fold_with( self, folder: &mut dyn TypeFolder<I, Error = Infallible>, outer_binder: DebruijnIndex ) -> Self

A convenient alternative to try_fold_with for use with infallible folders. Do not override this method, to ensure coherence with try_fold_with.

impl<I: Eq + Interner> Eq for GeneratorInputOutputDatum<I>

impl<I: Interner> StructuralEq for GeneratorInputOutputDatum<I>

impl<I: Interner> StructuralPartialEq for GeneratorInputOutputDatum<I>