Trait slice_of_array::IsSliceomorphic

pub unsafe trait IsSliceomorphic: Sized {
    type Element;
    fn array_len() -> usize;
}

Marker trait used in bounds of Slice{Flat,Nest,Array}Ext.

This marks the array types approved for use with slice_of_array.

It is deliberately not implemented for arrays of size 0, because said traits are otherwise perfect isomorphisms for the inputs that they don't fail on; Having .flat().nest() turn a &[[i32; 0]] of length 18 into a &[[i32; 0]] of length 0 gives me the heebie jeebies.

Unsafe because unsafe code relies on a number of properties of arrays for any type that implements this trait.

Associated Types

type Element

Required Methods

fn array_len() -> usize

Implementations on Foreign Types

impl<T> IsSliceomorphic for [T; 1]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 2]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 3]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 4]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 5]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 6]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 7]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 8]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 9]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 10]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 11]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 12]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 13]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 14]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 15]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 16]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 17]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 18]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 19]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 20]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 21]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 22]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 23]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 24]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 25]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 26]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 27]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 28]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 29]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 30]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 31]

type Element = T

fn array_len() -> usize

impl<T> IsSliceomorphic for [T; 32]

type Element = T

fn array_len() -> usize

Implementors