Trait slice_of_array::IsSliceomorphic

pub unsafe trait IsSliceomorphic: Sized {
    type Element;

    const 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.

Safety

For any implementation, Self must have the same size and alignment as [Self::Element; Self::LEN]. Furthermore, you must be comfortable with the possibility of [Self] being reinterpreted bitwise as [[Self::Element; Self::LEN]] (or vice versa) in any possible context.

Notice

Please do NOT use this trait in public interfaces in your code.

slice_of_array is not yet 1.0, is not ready (or even designed) to be used as a public dependency.

However, feel free to implement this trait on your own private wrapper types around arrays. (this use case is explicitly supported because the author does it himself, and quite frankly, it’s pretty convenient!)

Associated Types

type Element

Loading content...

Associated Constants

const LEN: usize

Loading content...

Implementations on Foreign Types

impl<T> IsSliceomorphic for [T; 1]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 2]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 3]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 4]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 5]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 6]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 7]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 8]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 9]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 10]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 11]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 12]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 13]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 14]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 15]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 16]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 17]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 18]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 19]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 20]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 21]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 22]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 23]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 24]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 25]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 26]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 27]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 28]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 29]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 30]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 31]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 32]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 43]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 44]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 45]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 46]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 47]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 48]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 49]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 50]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 51]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 52]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 53]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 54]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 55]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 56]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 57]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 58]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 59]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 60]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 61]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 62]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 63]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 64]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 65]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 66]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 67]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 68]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 69]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 70]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 71]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 72]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 73]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 74]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 75]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 76]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 77]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 78]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 79]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 80]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 81]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 82]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 83]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 84]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 85]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 86]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 87]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 88]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 89]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 90]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 91]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 92]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 93]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 94]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 95]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 96]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 97]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 98]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 99]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 100]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 101]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 102]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 103]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 104]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 105]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 106]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 107]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 108]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 109]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 110]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 111]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 112]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 113]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 114]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 115]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 116]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 117]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 118]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 119]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 120]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 121]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 122]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 123]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 124]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 125]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 126]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 127]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 128]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 256]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 512]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 1024]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 2048]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 4096]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 8192]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 1000]

type Element = T

const LEN: usize

impl<T> IsSliceomorphic for [T; 10000]

type Element = T

const LEN: usize

Loading content...

Implementors

Loading content...