Trait Deconstruct 

pub trait Deconstruct<T, const N: usize> {
    // Required methods
    fn uncons(self) -> (T, [T; { _ }]);
    fn unsnoc(self) -> ([T; { _ }], T);
    fn init(self) -> [T; { _ }];
    fn tail(self) -> [T; { _ }];
    fn last(self) -> T
       where [(); { _ }]:;
    fn head(self) -> T
       where [(); { _ }]:;
}

Deconstruct some array. Use

let [t, arr @ ..] = [1, 2];

when possible. If the length of the array is a const generic, use

let (t, arr) = [1, 2].uncons();

Required Methods

fn uncons(self) -> (T, [T; { _ }])

Gives you the [head, tail @ ..]

let (t, arr) = b"abc".uncons();

fn unsnoc(self) -> ([T; { _ }], T)

Gives you the [init @ .., last]

let (arr, t) = [0.1f32, 0.2, 0.3].unsnoc();
assert_eq!(t, 0.3);

fn init(self) -> [T; { _ }]

Gives you a [init @ .., _] See also unsnoc.

let a = [1u64, 2, 3].init();
assert_eq!(a, [1, 2]);

fn tail(self) -> [T; { _ }]

Gives you a [_, tail @ ..]. See also uncons.

let x = atools::range::<5>();
assert!(x.tail() == atools::range::<4>().map(|x| x + 1));

fn last(self) -> T

where [(); { _ }]:,

Gives you a [_ @ .., last]. See also unsnoc.

fn head(self) -> T

where [(); { _ }]:,

Gives you a [head, _ @ ..]. See also uncons.

Implementations on Foreign Types

impl<T, const N: usize> Deconstruct<T, N> for [T; N]

where T:,

fn uncons(self) -> (T, [T; { _ }])

fn unsnoc(self) -> ([T; { _ }], T)

fn tail(self) -> [T; { _ }]

where T:,

fn init(self) -> [T; { _ }]

fn last(self) -> T

where [(); { _ }]:,

fn head(self) -> T

where [(); { _ }]:,

Implementors