Struct cairo_lang_semantic::substitution::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>

Implementations

impl GenericSubstitution

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

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

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 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