[][src]Struct indexing::Index

pub struct Index<'id, I: Idx = u32, Emptiness = NonEmpty> { /* fields omitted */ }

A branded index.

Index<'id> only indexes the container instantiated with the exact same lifetime for the parameter 'id created by the scope function.

The type parameter Emptiness determines if the index is followable. A NonEmpty index points to a valid element. An Unknown index is unknown, or it points to an edge index (one past the end).

Methods

impl<'id, I: Idx, Emptiness> Index<'id, I, Emptiness>[src]

pub fn untrusted(&self) -> I[src]

This index without the branding.

pub fn erased(&self) -> Index<'id, I, Unknown>[src]

This index without the emptiness proof.

Trait Implementations

impl<'id, I: Idx, Emptiness> Copy for Index<'id, I, Emptiness>[src]

impl<'id, I: Idx, Emptiness> Clone for Index<'id, I, Emptiness>[src]

fn clone_from(&mut self, source: &Self)1.0.0[src]

Performs copy-assignment from source. Read more

impl<'id, I: Idx, Emptiness> Debug for Index<'id, I, Emptiness>[src]

impl<'id, I: Idx, P, Q> PartialEq<Index<'id, I, Q>> for Index<'id, I, P>[src]

#[must_use]
fn ne(&self, other: &Rhs) -> bool
1.0.0[src]

This method tests for !=.

impl<'id, I: Idx, Emptiness> Eq for Index<'id, I, Emptiness>[src]

impl<'id, I: Idx, Emptiness> Ord for Index<'id, I, Emptiness>[src]

fn max(self, other: Self) -> Self1.21.0[src]

Compares and returns the maximum of two values. Read more

fn min(self, other: Self) -> Self1.21.0[src]

Compares and returns the minimum of two values. Read more

fn clamp(self, min: Self, max: Self) -> Self[src]

🔬 This is a nightly-only experimental API. (clamp)

Restrict a value to a certain interval. Read more

impl<'id, I: Idx, P, Q> PartialOrd<Index<'id, I, Q>> for Index<'id, I, P>[src]

#[must_use]
fn lt(&self, other: &Rhs) -> bool
1.0.0[src]

This method tests less than (for self and other) and is used by the < operator. Read more

#[must_use]
fn le(&self, other: &Rhs) -> bool
1.0.0[src]

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more

#[must_use]
fn gt(&self, other: &Rhs) -> bool
1.0.0[src]

This method tests greater than (for self and other) and is used by the > operator. Read more

#[must_use]
fn ge(&self, other: &Rhs) -> bool
1.0.0[src]

This method tests greater than or equal to (for self and other) and is used by the >= operator. Read more

impl<'id, Array: TrustedContainer + ?Sized, I: Idx> Index<Index<'id, I, NonEmpty>> for Container<'id, Array>[src]

type Output = Array::Item

The returned type after indexing.

impl<'id, I: Idx, Emptiness> Hash for Index<'id, I, Emptiness>[src]

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher
1.3.0[src]

Feeds a slice of this type into the given [Hasher]. Read more

Auto Trait Implementations

impl<'id, I, Emptiness> Send for Index<'id, I, Emptiness> where
    Emptiness: Send,
    I: Send

impl<'id, I, Emptiness> Sync for Index<'id, I, Emptiness> where
    Emptiness: Sync,
    I: Sync

Blanket Implementations

impl<'_, T, Array> TrustedItem<&'_ Array> for T where
    Array: TrustedContainer<Item = T> + ?Sized,
    T: TrustedItem<Array> + ?Sized
[src]

type Unit = <T as TrustedItem<Array>>::Unit

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

type Unit = T

impl<T, Array> TrustedItem<Box<Array>> for T where
    Array: TrustedContainer<Item = T> + ?Sized,
    T: TrustedItem<Array> + ?Sized
[src]

type Unit = <T as TrustedItem<Array>>::Unit

impl<T> TrustedItem<Vec<T>> for T where
    T: TrustedItem<[T]>, 
[src]

type Unit = <T as TrustedItem<[T]>>::Unit

impl<T> From<T> for 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> Into<U> for T where
    U: From<T>, 
[src]

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.

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

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

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

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.