Struct cairo_lang_semantic::types::GenericSubstitution

pub struct GenericSubstitution(pub OrderedHashMap<GenericParamId, GenericArgumentId>);

A substitution of generic arguments in generic parameters. Used for concretization.

Tuple Fields

0: OrderedHashMap<GenericParamId, GenericArgumentId>

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

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 iter(&self) -> Iter<'_, Key, Value>

Returns an 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 contains_key<Q>(&self, key: &Q) -> boolwhere
    Q: Hash + Equivalent<Key> + ?Sized,

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

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.

Trait Implementations

impl Clone for GenericSubstitution

fn clone(&self) -> GenericSubstitution

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for GenericSubstitution

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

Formats the value using the given formatter.

impl Default for GenericSubstitution

fn default() -> GenericSubstitution

Returns the “default value” for a type.

impl Deref for GenericSubstitution

type Target = OrderedHashMap<GenericParamId, GenericArgumentId>

The resulting type after dereferencing.

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

Dereferences the value.

impl Hash for GenericSubstitution

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

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

impl StructuralEq for GenericSubstitution

impl StructuralPartialEq for GenericSubstitution