Struct faer_core::constrained::MaybeIdx

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

Implementations

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

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

pub fn none() -> Self

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

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

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

pub fn into_inner(self) -> I

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

pub fn zx(self) -> !

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

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

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

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

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

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

Trait Implementations

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

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

Returns a copy 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

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method 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> StructuralEq for MaybeIdx<'n, I>

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