pub type CanonicalVarKinds = CanonicalVarKinds<Interner>;
Aliased Type§
struct CanonicalVarKinds { /* private fields */ }
Implementations
§impl<I> CanonicalVarKinds<I>where
I: Interner,
impl<I> CanonicalVarKinds<I>where
I: Interner,
pub fn from_fallible<E>(
interner: I,
elements: impl IntoIterator<Item = Result<impl CastTo<WithKind<I, UniverseIndex>>, E>>,
) -> Result<CanonicalVarKinds<I>, E>
pub fn from_fallible<E>( interner: I, elements: impl IntoIterator<Item = Result<impl CastTo<WithKind<I, UniverseIndex>>, E>>, ) -> Result<CanonicalVarKinds<I>, E>
Tries to create a sequence using an iterator of element-like things.
pub fn from_iter(
interner: I,
elements: impl IntoIterator<Item = impl CastTo<WithKind<I, UniverseIndex>>>,
) -> CanonicalVarKinds<I>
pub fn from_iter( interner: I, elements: impl IntoIterator<Item = impl CastTo<WithKind<I, UniverseIndex>>>, ) -> CanonicalVarKinds<I>
Create a sequence from elements
pub fn from1(
interner: I,
element: impl CastTo<WithKind<I, UniverseIndex>>,
) -> CanonicalVarKinds<I>
pub fn from1( interner: I, element: impl CastTo<WithKind<I, UniverseIndex>>, ) -> CanonicalVarKinds<I>
Create a sequence from a single element.
§impl<I> CanonicalVarKinds<I>where
I: Interner,
impl<I> CanonicalVarKinds<I>where
I: Interner,
pub fn interned(&self) -> &<I as Interner>::InternedCanonicalVarKinds
pub fn interned(&self) -> &<I as Interner>::InternedCanonicalVarKinds
Get the interned elements.
pub fn as_slice(&self, interner: I) -> &[WithKind<I, UniverseIndex>]
pub fn as_slice(&self, interner: I) -> &[WithKind<I, UniverseIndex>]
Returns a slice containing the elements.
pub fn empty(interner: I) -> CanonicalVarKinds<I>
pub fn empty(interner: I) -> CanonicalVarKinds<I>
Create an empty sequence.
Trait Implementations
§impl<I> CastTo<CanonicalVarKinds<I>> for CanonicalVarKinds<I>where
I: Interner,
impl<I> CastTo<CanonicalVarKinds<I>> for CanonicalVarKinds<I>where
I: Interner,
§impl<I> HasInterner for CanonicalVarKinds<I>where
I: Interner,
impl<I> HasInterner for CanonicalVarKinds<I>where
I: Interner,
§impl<I> Ord for CanonicalVarKinds<I>
impl<I> Ord for CanonicalVarKinds<I>
1.21.0 · source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more