Struct extendr_api::prelude::utils::constrained::MaybeIdx
#[repr(transparent)]pub struct MaybeIdx<'n, I>(Branded<'n, I>)
where
I: Index;
Expand description
I
value smaller than the size corresponding to the lifetime 'n
, or None
.
Tuple Fields§
§0: Branded<'n, I>
Implementations§
§impl<'n, I> MaybeIdx<'n, I>where
I: Index,
impl<'n, I> MaybeIdx<'n, I>where
I: Index,
pub fn from_index(idx: Idx<'n, I>) -> MaybeIdx<'n, I>
pub fn from_index(idx: Idx<'n, I>) -> MaybeIdx<'n, I>
Returns an index value.
pub fn new_checked(idx: <I as Index>::Signed, size: Size<'n>) -> MaybeIdx<'n, I>
pub fn new_checked(idx: <I as Index>::Signed, size: Size<'n>) -> MaybeIdx<'n, I>
Returns a constrained index value if idx
is nonnegative, None
otherwise.
pub unsafe fn new_unchecked(
idx: <I as Index>::Signed,
size: Size<'n>,
) -> MaybeIdx<'n, I>
pub unsafe fn new_unchecked( idx: <I as Index>::Signed, size: Size<'n>, ) -> MaybeIdx<'n, I>
Returns a constrained index value if idx
is nonnegative, None
otherwise.
pub unsafe fn new_raw_unchecked(idx: I) -> MaybeIdx<'n, I>
pub unsafe fn new_raw_unchecked(idx: I) -> MaybeIdx<'n, I>
Returns a constrained index value if idx
is nonnegative, None
otherwise.
pub fn into_inner(self) -> I
pub fn into_inner(self) -> I
Returns the inner value.
pub fn from_slice_mut_checked<'a>(
slice: &'a mut [<I as Index>::Signed],
size: Size<'n>,
) -> &'a mut [MaybeIdx<'n, I>]
pub fn from_slice_mut_checked<'a>( slice: &'a mut [<I as Index>::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 as Index>::Signed],
) -> &'a mut [MaybeIdx<'n, I>]
pub unsafe fn from_slice_mut_unchecked<'a>( slice: &'a mut [<I as Index>::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 as Index>::Signed],
size: Size<'n>,
) -> &'a [MaybeIdx<'n, I>]
pub fn from_slice_ref_checked<'a>( slice: &'a [<I as Index>::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 as Index>::Signed]
pub fn as_slice_ref<'a>( slice: &'a [MaybeIdx<'n, I>], ) -> &'a [<I as Index>::Signed]
Convert a constrained slice to an unconstrained one.
pub unsafe fn from_slice_ref_unchecked<'a>(
slice: &'a [<I as Index>::Signed],
) -> &'a [MaybeIdx<'n, I>]
pub unsafe fn from_slice_ref_unchecked<'a>( slice: &'a [<I as Index>::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> Copy for MaybeIdx<'n, I>
impl<'n, I> Eq for MaybeIdx<'n, I>
impl<'n, I> StructuralPartialEq for MaybeIdx<'n, I>where
I: Index,
Auto Trait Implementations§
impl<'n, I> Freeze for MaybeIdx<'n, I>where
I: Freeze,
impl<'n, I> RefUnwindSafe for MaybeIdx<'n, I>where
I: RefUnwindSafe,
impl<'n, I> Send for MaybeIdx<'n, I>
impl<'n, I> Sync for MaybeIdx<'n, I>
impl<'n, I> Unpin for MaybeIdx<'n, I>where
I: Unpin,
impl<'n, I> UnwindSafe for MaybeIdx<'n, I>where
I: UnwindSafe,
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more