Struct FieldTypes 

pub struct FieldTypes {
    map: ArenaMap<LocalFieldId, FieldType>,
}

Wrapper struct around ArenaMap which implements [SalsaValue].

Required to make the SalsaValue derive for TyLoweringResult work.

Fields

map: ArenaMap<LocalFieldId, FieldType>

Methods from Deref<Target = ArenaMap<LocalFieldId, FieldType>>

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 FieldTypes

fn default() -> FieldTypes

Returns the “default value” for a type.

impl Deref for FieldTypes

type Target = ArenaMap<Idx<FieldData>, FieldType>

The resulting type after dereferencing.

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

Dereferences the value.

impl Eq for FieldTypes

impl PartialEq for FieldTypes

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

impl StructuralPartialEq for FieldTypes