Struct BoundVarKinds

pub struct BoundVarKinds(/* private fields */);

Implementations

impl BoundVarKinds

pub fn ingredient<Db>(db: &Db) -> &IngredientImpl<BoundVarKinds>

where Db: Database + ?Sized,

impl<'db> BoundVarKinds

pub fn new_<Db_, T0>(db: &'db Db_, inner_: T0) -> BoundVarKinds

where T0: Lookup<SmallVec<[BoundVarKind; 2]>> + Hash, Db_: Database + ?Sized, SmallVec<[BoundVarKind; 2]>: HashEqLike<T0>,

pub fn default_debug_fmt( this: BoundVarKinds, f: &mut Formatter<'_>, ) -> Result<(), Error>

Default debug formatting for this struct (may be useful if you define your own Debug impl)

impl BoundVarKinds

pub fn new_from_iter<'db>( interner: DbInterner<'db>, data: impl IntoIterator<Item = BoundVarKind>, ) -> BoundVarKinds

pub fn inner(&self) -> &SmallVec<[BoundVarKind; 2]>

Trait Implementations

impl<'db> ChalkToNextSolver<'db, BoundVarKinds> for VariableKinds<Interner>

fn to_nextsolver(&self, interner: DbInterner<'db>) -> BoundVarKinds

impl Clone for BoundVarKinds

fn clone(&self) -> BoundVarKinds

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BoundVarKinds

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

Formats the value using the given formatter.

impl Default for BoundVarKinds

fn default() -> BoundVarKinds

Returns the “default value” for a type.

impl Hash for BoundVarKinds

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

where __H: Hasher,

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 IntoIterator for BoundVarKinds

type Item = BoundVarKind

The type of the elements being iterated over.

type IntoIter = <BoundVarKinds as SliceLike>::IntoIter

Which kind of iterator are we turning this into?

fn into_iter(self) -> <BoundVarKinds as IntoIterator>::IntoIter

Creates an iterator from a value.

impl PartialEq for BoundVarKinds

fn eq(&self, other: &BoundVarKinds) -> bool

Tests for self and other values to be equal, and is used by ==.

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

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

impl SliceLike for BoundVarKinds

type Item = BoundVarKind

type IntoIter = <SmallVec<[BoundVarKind; 2]> as IntoIterator>::IntoIter

fn iter(self) -> <BoundVarKinds as SliceLike>::IntoIter

fn as_slice(&self) -> &[<BoundVarKinds as SliceLike>::Item]

fn get(self, idx: usize) -> Option<Self::Item>

fn len(self) -> usize

fn is_empty(self) -> bool

fn contains(self, t: &Self::Item) -> bool

where Self::Item: PartialEq,

fn to_vec(self) -> Vec<Self::Item>

fn last(self) -> Option<Self::Item>

fn split_last(&self) -> Option<(&Self::Item, &[Self::Item])>

impl Update for BoundVarKinds

unsafe fn maybe_update( old_pointer: *mut BoundVarKinds, new_value: BoundVarKinds, ) -> bool

Returns

impl Copy for BoundVarKinds

impl Eq for BoundVarKinds

impl Send for BoundVarKinds

impl StructuralPartialEq for BoundVarKinds

impl Sync for BoundVarKinds