Struct index_ext::tag::NonZeroLen
source · pub struct NonZeroLen<Tag> { /* private fields */ }
Expand description
The length of a non-empty slice.
Implementations§
source§impl<T: Tag> NonZeroLen<T>
impl<T: Tag> NonZeroLen<T>
sourcepub fn with_tag<NewT>(self, less: TagLessEq<T, NewT>) -> NonZeroLen<NewT>
pub fn with_tag<NewT>(self, less: TagLessEq<T, NewT>) -> NonZeroLen<NewT>
Interpret this with the tag of a potentially longer slice.
The proof of inequality was performed in any of the possible constructors that allow the
instance of TagLessEq
to exist in the first place.
sourcepub fn first(self) -> Idx<usize, T>
pub fn first(self) -> Idx<usize, T>
Construct an index to the first element of a non-empty slice.
sourcepub fn last(self) -> Idx<usize, T>
pub fn last(self) -> Idx<usize, T>
Construct an index to the last element of a non-empty slice.
sourcepub fn into_len(self) -> Prefix<T>
pub fn into_len(self) -> Prefix<T>
Construct the corresponding potentially empty length representation.
sourcepub fn get(self) -> NonZeroUsize
pub fn get(self) -> NonZeroUsize
Get the non-zero length.
Trait Implementations§
source§impl<Tag: Clone> Clone for NonZeroLen<Tag>
impl<Tag: Clone> Clone for NonZeroLen<Tag>
source§fn clone(&self) -> NonZeroLen<Tag>
fn clone(&self) -> NonZeroLen<Tag>
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl<T: Tag> From<NonZeroLen<T>> for Prefix<T>
impl<T: Tag> From<NonZeroLen<T>> for Prefix<T>
source§fn from(from: NonZeroLen<T>) -> Self
fn from(from: NonZeroLen<T>) -> Self
Converts to this type from the input type.
impl<Tag: Copy> Copy for NonZeroLen<Tag>
Auto Trait Implementations§
impl<Tag> RefUnwindSafe for NonZeroLen<Tag>where
Tag: RefUnwindSafe,
impl<Tag> Send for NonZeroLen<Tag>where
Tag: Send,
impl<Tag> Sync for NonZeroLen<Tag>where
Tag: Sync,
impl<Tag> Unpin for NonZeroLen<Tag>where
Tag: Unpin,
impl<Tag> UnwindSafe for NonZeroLen<Tag>where
Tag: 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