Struct chalk_ir::Variances [−][src]
pub struct Variances<I: Interner> { /* fields omitted */ }
Expand description
List of interned elements.
Implementations
Get the interned elements.
Returns a slice containing the elements.
Get an iterator over the elements of the sequence.
pub fn from_fallible<E>(
interner: &I,
variances: impl IntoIterator<Item = Result<Variance, E>>
) -> Result<Self, E>
pub fn from_fallible<E>(
interner: &I,
variances: impl IntoIterator<Item = Result<Variance, E>>
) -> Result<Self, E>
Tries to create a list of canonical variable kinds using an iterator.
Creates a list of canonical variable kinds using an iterator.
Trait Implementations
type Interner = I
type Interner = I
The interner associated with the type.
impl<I: PartialOrd + Interner> PartialOrd<Variances<I>> for Variances<I> where
I::InternedVariances: PartialOrd,
impl<I: PartialOrd + Interner> PartialOrd<Variances<I>> for Variances<I> where
I::InternedVariances: PartialOrd,
This method returns an ordering between self
and other
values if one exists. Read more
This method tests less than (for self
and other
) and is used by the <
operator. Read more
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
Auto Trait Implementations
impl<I> RefUnwindSafe for Variances<I> where
<I as Interner>::InternedVariances: RefUnwindSafe,
impl<I> Send for Variances<I> where
<I as Interner>::InternedVariances: Send,
impl<I> Sync for Variances<I> where
<I as Interner>::InternedVariances: Sync,
impl<I> Unpin for Variances<I> where
<I as Interner>::InternedVariances: Unpin,
impl<I> UnwindSafe for Variances<I> where
<I as Interner>::InternedVariances: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
Cast a value to type U
using CastTo
.