Struct ExtendedIdxVec 

pub struct ExtendedIdxVec<I: Idx, T> {
    inner: IdxVec<I, T>,
    num_imports: u32,
}

Index space for definitions that consist of imports and locals.

Fields

inner: IdxVec<I, T>

num_imports: u32

Implementations

impl<I: Idx, T> ExtendedIdxVec<I, T>

pub fn new(imports: Vec<T>, locals: Vec<T>) -> Result<Self, IdxVecOverflowError>

Creates a new IdxVec with the given imported and local elements in it.

If the number of total elements is larger than what can be addressed by a u32, i.e. u32::MAX elements, an error is returned instead.

pub fn len_local_definitions(&self) -> u32

Returns the length of the locally-defined definitions part of this index space

pub fn map<R>( &self, new_imported_definitions: Vec<R>, new_local_definitions: Vec<R>, ) -> Option<ExtendedIdxVec<I, R>>

Creates an equivalent index space for one that already exists while allowing elements to be mapped.

Returns None if lengths do not match.

pub fn iter_local_definitions(&self) -> Iter<'_, T>

pub fn inner(&self) -> &IdxVec<I, T>

pub fn into_inner(self) -> IdxVec<I, T>

Trait Implementations

impl<I: Idx, T: Clone> Clone for ExtendedIdxVec<I, T>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<I: Debug + Idx, T: Debug> Debug for ExtendedIdxVec<I, T>

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

Formats the value using the given formatter.

impl<I: Idx, T> Default for ExtendedIdxVec<I, T>

fn default() -> Self

Returns the “default value” for a type.