Struct ConstParamTypes 

pub struct ConstParamTypes {
    map: ArenaMap<LocalTypeOrConstParamId, StoredTy>,
}

Wrapper struct around ArenaMap which implements [SalsaValue].

Required to make the SalsaValue derive for TyLoweringResult work.

Fields

map: ArenaMap<LocalTypeOrConstParamId, StoredTy>

Methods from Deref<Target = ArenaMap<LocalTypeOrConstParamId, StoredTy>>

pub fn contains_idx(&self, idx: Idx<T>) -> bool

Returns whether the map contains a value for the specified index.

pub fn get(&self, idx: Idx<T>) -> Option<&V>

Returns a reference to the value associated with the provided index if it is present.

pub fn values(&self) -> impl Iterator<Item = &V> + DoubleEndedIterator

Returns an iterator over the values in the map.

pub fn iter(&self) -> impl Iterator<Item = (Idx<T>, &V)> + DoubleEndedIterator

Returns an iterator over the arena indexes and values in the map.

Trait Implementations

impl Default for ConstParamTypes

fn default() -> ConstParamTypes

Returns the “default value” for a type.

impl Deref for ConstParamTypes

type Target = ArenaMap<Idx<TypeOrConstParamData>, StoredTy>

The resulting type after dereferencing.

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

Dereferences the value.

impl Eq for ConstParamTypes

impl PartialEq for ConstParamTypes

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

impl StructuralPartialEq for ConstParamTypes