Struct mmb_parser::index::Index[−][src]

pub struct Index<'a> { /* fields omitted */ }

Index The index contains information about items in the proof file that are useful for printing and debugging purposes.

The index is a collection of tables that in turn contain domain specific data. Because the index is designed to be extensible, each table entry is identified by an id that determines how the data should be interpreted.

Implementations

impl<'a> Index<'a>[src]

pub fn iter(&self) -> EntryIterator<'a>ⓘ

Notable traits for EntryIterator<'a>

impl<'a> Iterator for EntryIterator<'a> type Item = Entry;
[src]

Returns an iterator over all table entries in the index.

Trait Implementations

impl<'a> Debug for Index<'a>[src]

impl<'a> IntoIterator for Index<'a>[src]

type Item = Entry

The type of the elements being iterated over.

type IntoIter = EntryIterator<'a>

Which kind of iterator are we turning this into?

impl<'a> IntoIterator for &Index<'a>[src]

type Item = Entry

The type of the elements being iterated over.

type IntoIter = EntryIterator<'a>

Which kind of iterator are we turning this into?

Auto Trait Implementations

impl<'a> RefUnwindSafe for Index<'a>

impl<'a> Send for Index<'a>

impl<'a> Sync for Index<'a>

impl<'a> Unpin for Index<'a>

impl<'a> UnwindSafe for Index<'a>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.