Struct MaybeIdx

pub struct MaybeIdx<'n, I: Index>(/* private fields */);

I value smaller than the size corresponding to the lifetime 'n, or None.

Implementations

impl<'n, I: Index> MaybeIdx<'n, I>

pub fn from_index(idx: Idx<'n, I>) -> Self

Returns an index value.

pub fn none() -> Self

Returns a None value.

pub fn new_checked(idx: I::Signed, size: Size<'n>) -> Self

Returns a constrained index value if idx is nonnegative, None otherwise.

pub unsafe fn new_unchecked(idx: I::Signed, size: Size<'n>) -> Self

Returns a constrained index value if idx is nonnegative, None otherwise.

pub unsafe fn new_raw_unchecked(idx: I) -> Self

Returns a constrained index value if idx is nonnegative, None otherwise.

pub fn into_inner(self) -> I

Returns the inner value.

pub fn idx(self) -> Option<Idx<'n, I>>

Returns the index if available, or None otherwise.

pub fn zx(self) -> !

Unimplemented: Zero extend the value.

pub fn sx(self) -> MaybeIdx<'n, usize>

Sign extend the value.

pub fn from_slice_mut_checked<'a>( slice: &'a mut [I::Signed], size: Size<'n>, ) -> &'a mut [MaybeIdx<'n, I>]

Assert that the values of slice are all bounded by size.

pub unsafe fn from_slice_mut_unchecked<'a>( slice: &'a mut [I::Signed], ) -> &'a mut [MaybeIdx<'n, I>]

Assume that the values of slice are all bounded by the value tied to 'n.

pub fn from_slice_ref_checked<'a>( slice: &'a [I::Signed], size: Size<'n>, ) -> &'a [MaybeIdx<'n, I>]

Assert that the values of slice are all bounded by size.

pub fn as_slice_ref<'a>(slice: &'a [MaybeIdx<'n, I>]) -> &'a [I::Signed]

Convert a constrained slice to an unconstrained one.

pub unsafe fn from_slice_ref_unchecked<'a>( slice: &'a [I::Signed], ) -> &'a [MaybeIdx<'n, I>]

Assume that the values of slice are all bounded by the value tied to 'n.

Trait Implementations

impl<'n, I: Clone + Index> Clone for MaybeIdx<'n, I>

fn clone(&self) -> MaybeIdx<'n, I>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<I: Debug + Index> Debug for MaybeIdx<'_, I>

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

Formats the value using the given formatter.

impl<I: Index> Deref for MaybeIdx<'_, I>

type Target = <I as Index>::Signed

The resulting type after dereferencing.

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

Dereferences the value.

impl<'n, I: PartialEq + Index> PartialEq for MaybeIdx<'n, I>

fn eq(&self, other: &MaybeIdx<'n, I>) -> 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<'n, I: Copy + Index> Copy for MaybeIdx<'n, I>

impl<'n, I: Eq + Index> Eq for MaybeIdx<'n, I>

impl<'n, I: Index> StructuralPartialEq for MaybeIdx<'n, I>