Struct GenericSubstitution 

pub struct GenericSubstitution<'db> { /* private fields */ }

A substitution of generic arguments in generic parameters as well as the Self of traits. Used for concretization.

Implementations

impl<'db> GenericSubstitution<'db>

pub fn from_impl(self_impl: ImplId<'db>) -> Self

pub fn new( generic_params: &[GenericParam<'db>], generic_args: &[GenericArgumentId<'db>], ) -> Self

pub fn concat(self, other: GenericSubstitution<'db>) -> Self

pub fn is_empty(&self) -> bool

Returns whether the substitution is empty.

pub fn substitute<'a, 'r, Obj>( &'r self, db: &'a dyn Database, obj: Obj, ) -> Maybe<Obj>

where SubstitutionRewriter<'a, 'r>: SemanticRewriter<Obj, DiagnosticAdded>, 'a: 'r, 'db: 'a,

Methods from Deref<Target = OrderedHashMap<GenericParamId<'db>, GenericArgumentId<'db>>>

pub fn iter(&self) -> Iter<'_, Key, Value>

Returns an iterator over the key-value pairs of the map, in their order.

pub fn iter_mut(&mut self) -> IterMut<'_, Key, Value>

Returns a mutable iterator over the key-value pairs of the map, in their order.

pub fn keys(&self) -> Keys<'_, Key, Value>

Returns an iterator over the keys of the map, in their order.

pub fn values(&self) -> Values<'_, Key, Value>

Returns an iterator over the values of the map, in their order.

pub fn len(&self) -> usize

Returns the number of key-value pairs in the map.

pub fn is_empty(&self) -> bool

Returns true if the map contains no elements.

pub fn clear(&mut self)

Removes all the entries for the map.

pub fn shift_remove_index(&mut self, index: usize) -> Option<(Key, Value)>

Removes the entry at the given index.

Returns the key-value pair at the given index (if present).

pub fn get<Q>(&self, key: &Q) -> Option<&Value>

where Q: Hash + Equivalent<Key> + ?Sized,

Returns a reference to the value stored for key, if it is present, else None.

Computes in O(1) time (average).

pub fn get_mut<Q>(&mut self, key: &Q) -> Option<&mut Value>

where Q: Hash + Equivalent<Key> + ?Sized,

Returns a mutable reference to the value stored for key, if it is present, else None.

Computes in O(1) time (average).

pub fn entry(&mut self, key: Key) -> Entry<'_, Key, Value>

Gets the given key’s corresponding entry in the map for insertion and/or in-place manipulation.

Computes in O(1) time (amortized average).

pub fn insert(&mut self, key: Key, value: Value) -> Option<Value>

Insert a key-value pair in the map.

If an equivalent key already exists in the map: the key remains and retains in its place in the order, its corresponding value is updated with value and the older value is returned inside Some(_).

If no equivalent key existed in the map: the new key-value pair is inserted, last in order, and None is returned.

Computes in O(1) time (amortized average).

See also entry if you want to insert or modify or if you need to get the index of the corresponding key-value pair.

pub fn extend<I>(&mut self, iter: I)

where I: IntoIterator<Item = (Key, Value)>,

Extends the map with the content of the given iterator.

pub fn contains_key<Q>(&self, key: &Q) -> bool

where Q: Hash + Equivalent<Key> + ?Sized,

Returns true if an equivalent to key exists in the map.

pub fn shift_remove<Q>(&mut self, key: &Q) -> Option<Value>

where Q: Hash + Equivalent<Key> + ?Sized,

Removes the entry for the given key, preserving the order of entries.

Returns the value associated with the key (if present).

pub fn swap_remove<Q>(&mut self, key: &Q) -> Option<Value>

where Q: Hash + Equivalent<Key> + ?Sized,

Removes the entry for the given key by swapping it with the last element. Thus the order of elements is not preserved, but the resulting order is still deterministic.

Returns the value associated with the key (if present).

pub fn retain(&mut self, keep: impl FnMut(&Key, &mut Value) -> bool)

Scan through each key-value pair in the map and keep those where the closure keep returns true.

The elements are visited in order, and remaining elements keep their order.

Computes in O(n) time (average).

pub fn eq_unordered(&self, other: &OrderedHashMap<Key, Value, BH>) -> bool

where Value: Eq,

Returns true if the maps are equal, ignoring the order of the entries.

Trait Implementations

impl<'db> Clone for GenericSubstitution<'db>

fn clone(&self) -> GenericSubstitution<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for GenericSubstitution<'db>

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

Formats the value using the given formatter.

impl<'db> Default for GenericSubstitution<'db>

fn default() -> GenericSubstitution<'db>

Returns the “default value” for a type.

impl<'db> Deref for GenericSubstitution<'db>

type Target = OrderedHashMap<GenericParamId<'db>, GenericArgumentId<'db>>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<'db> DerefMut for GenericSubstitution<'db>

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

impl<'db> Hash for GenericSubstitution<'db>

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<'db> PartialEq for GenericSubstitution<'db>

fn eq(&self, other: &GenericSubstitution<'db>) -> 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<'db> Update for GenericSubstitution<'db>

unsafe fn maybe_update(old_pointer_: *mut Self, new_value_: Self) -> bool

Returns

impl<'db> Eq for GenericSubstitution<'db>

impl<'db> StructuralPartialEq for GenericSubstitution<'db>