Struct NonZeroLen 

pub struct NonZeroLen<Tag> { /* private fields */ }

The length of a non-empty slice.

Implementations

impl<T: Tag> NonZeroLen<T>

pub fn new(complete: Prefix<T>) -> Option<Self>

Construct the length of a non-empty slice.

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.

pub fn first(self) -> Idx<usize, T>

Construct an index to the first element of a non-empty slice.

pub fn last(self) -> Idx<usize, T>

Construct an index to the last element of a non-empty slice.

pub fn into_len(self) -> Prefix<T>

Construct the corresponding potentially empty length representation.

pub fn get(self) -> NonZeroUsize

Get the non-zero length.

Trait Implementations

impl<Tag: Clone> Clone for NonZeroLen<Tag>

fn clone(&self) -> NonZeroLen<Tag>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Tag> From<NonZeroLen<T>> for Prefix<T>

fn from(from: NonZeroLen<T>) -> Self

Converts to this type from the input type.

impl<Tag: Copy> Copy for NonZeroLen<Tag>