Struct index_ext::tag::Const

source ·
pub struct Const<const N: usize>;
Expand description

A tag using a const generic length parameter.

The only safe way to construct an ExactSize is by copying the associated constant which expresses the length indicated in the trait impl. This implies that the value is unique.

Usage

use index_ext::tag::{Const, Slice};

let size = Const::<8>::EXACT_SIZE;

let data = [0, 1, 2, 3, 4, 5, 6, 7];
let slice = Slice::new(&data[..], size).unwrap();

let prefix = size
    .into_len()
    .truncate(4)
    .range_to_self();

let prefix = &slice[prefix];
assert_eq!(prefix, [0, 1, 2, 3]);

Implementations§

source§

impl<const N: usize> Const<N>

source

pub const EXACT_SIZE: ExactSize<Self> = _

A constructed instance of ExactSize<Self>.

The instance can be freely copied. Making this an associated constant ensures that the length associated with the type is the constant parameter N. There are no other safe constructors for this tag’s ExactSize type.

source

pub fn with_ref<T>(self, arr: &[T; N]) -> &Slice<T, Self>

Create a Slice wrapping the array.

source

pub fn with_mut<T>(self, arr: &mut [T; N]) -> &mut Slice<T, Self>

Create a Slice wrapping the array mutably.

Trait Implementations§

source§

impl<const N: usize> Clone for Const<N>

source§

fn clone(&self) -> Const<N>

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl<const N: usize> Copy for Const<N>

source§

impl<const N: usize> Tag for Const<N>

Auto Trait Implementations§

§

impl<const N: usize> RefUnwindSafe for Const<N>

§

impl<const N: usize> Send for Const<N>

§

impl<const N: usize> Sync for Const<N>

§

impl<const N: usize> Unpin for Const<N>

§

impl<const N: usize> UnwindSafe for Const<N>

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.