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!)

Required Associated Types

type Element

Required Associated Constants

const LEN: usize

Implementations on Foreign Types

impl<T> IsSliceomorphic for [T; 1]

type Element = T

const LEN: usize = 1usize

impl<T> IsSliceomorphic for [T; 2]

type Element = T

const LEN: usize = 2usize

impl<T> IsSliceomorphic for [T; 3]

type Element = T

const LEN: usize = 3usize

impl<T> IsSliceomorphic for [T; 4]

type Element = T

const LEN: usize = 4usize

impl<T> IsSliceomorphic for [T; 5]

type Element = T

const LEN: usize = 5usize

impl<T> IsSliceomorphic for [T; 6]

type Element = T

const LEN: usize = 6usize

impl<T> IsSliceomorphic for [T; 7]

type Element = T

const LEN: usize = 7usize

impl<T> IsSliceomorphic for [T; 8]

type Element = T

const LEN: usize = 8usize

impl<T> IsSliceomorphic for [T; 9]

type Element = T

const LEN: usize = 9usize

impl<T> IsSliceomorphic for [T; 10]

type Element = T

const LEN: usize = 10usize

impl<T> IsSliceomorphic for [T; 11]

type Element = T

const LEN: usize = 11usize

impl<T> IsSliceomorphic for [T; 12]

type Element = T

const LEN: usize = 12usize

impl<T> IsSliceomorphic for [T; 13]

type Element = T

const LEN: usize = 13usize

impl<T> IsSliceomorphic for [T; 14]

type Element = T

const LEN: usize = 14usize

impl<T> IsSliceomorphic for [T; 15]

type Element = T

const LEN: usize = 15usize

impl<T> IsSliceomorphic for [T; 16]

type Element = T

const LEN: usize = 16usize

impl<T> IsSliceomorphic for [T; 17]

type Element = T

const LEN: usize = 17usize

impl<T> IsSliceomorphic for [T; 18]

type Element = T

const LEN: usize = 18usize

impl<T> IsSliceomorphic for [T; 19]

type Element = T

const LEN: usize = 19usize

impl<T> IsSliceomorphic for [T; 20]

type Element = T

const LEN: usize = 20usize

impl<T> IsSliceomorphic for [T; 21]

type Element = T

const LEN: usize = 21usize

impl<T> IsSliceomorphic for [T; 22]

type Element = T

const LEN: usize = 22usize

impl<T> IsSliceomorphic for [T; 23]

type Element = T

const LEN: usize = 23usize

impl<T> IsSliceomorphic for [T; 24]

type Element = T

const LEN: usize = 24usize

impl<T> IsSliceomorphic for [T; 25]

type Element = T

const LEN: usize = 25usize

impl<T> IsSliceomorphic for [T; 26]

type Element = T

const LEN: usize = 26usize

impl<T> IsSliceomorphic for [T; 27]

type Element = T

const LEN: usize = 27usize

impl<T> IsSliceomorphic for [T; 28]

type Element = T

const LEN: usize = 28usize

impl<T> IsSliceomorphic for [T; 29]

type Element = T

const LEN: usize = 29usize

impl<T> IsSliceomorphic for [T; 30]

type Element = T

const LEN: usize = 30usize

impl<T> IsSliceomorphic for [T; 31]

type Element = T

const LEN: usize = 31usize

impl<T> IsSliceomorphic for [T; 32]

type Element = T

const LEN: usize = 32usize

impl<T> IsSliceomorphic for [T; 43]

type Element = T

const LEN: usize = 43usize

impl<T> IsSliceomorphic for [T; 44]

type Element = T

const LEN: usize = 44usize

impl<T> IsSliceomorphic for [T; 45]

type Element = T

const LEN: usize = 45usize

impl<T> IsSliceomorphic for [T; 46]

type Element = T

const LEN: usize = 46usize

impl<T> IsSliceomorphic for [T; 47]

type Element = T

const LEN: usize = 47usize

impl<T> IsSliceomorphic for [T; 48]

type Element = T

const LEN: usize = 48usize

impl<T> IsSliceomorphic for [T; 49]

type Element = T

const LEN: usize = 49usize

impl<T> IsSliceomorphic for [T; 50]

type Element = T

const LEN: usize = 50usize

impl<T> IsSliceomorphic for [T; 51]

type Element = T

const LEN: usize = 51usize

impl<T> IsSliceomorphic for [T; 52]

type Element = T

const LEN: usize = 52usize

impl<T> IsSliceomorphic for [T; 53]

type Element = T

const LEN: usize = 53usize

impl<T> IsSliceomorphic for [T; 54]

type Element = T

const LEN: usize = 54usize

impl<T> IsSliceomorphic for [T; 55]

type Element = T

const LEN: usize = 55usize

impl<T> IsSliceomorphic for [T; 56]

type Element = T

const LEN: usize = 56usize

impl<T> IsSliceomorphic for [T; 57]

type Element = T

const LEN: usize = 57usize

impl<T> IsSliceomorphic for [T; 58]

type Element = T

const LEN: usize = 58usize

impl<T> IsSliceomorphic for [T; 59]

type Element = T

const LEN: usize = 59usize

impl<T> IsSliceomorphic for [T; 60]

type Element = T

const LEN: usize = 60usize

impl<T> IsSliceomorphic for [T; 61]

type Element = T

const LEN: usize = 61usize

impl<T> IsSliceomorphic for [T; 62]

type Element = T

const LEN: usize = 62usize

impl<T> IsSliceomorphic for [T; 63]

type Element = T

const LEN: usize = 63usize

impl<T> IsSliceomorphic for [T; 64]

type Element = T

const LEN: usize = 64usize

impl<T> IsSliceomorphic for [T; 65]

type Element = T

const LEN: usize = 65usize

impl<T> IsSliceomorphic for [T; 66]

type Element = T

const LEN: usize = 66usize

impl<T> IsSliceomorphic for [T; 67]

type Element = T

const LEN: usize = 67usize

impl<T> IsSliceomorphic for [T; 68]

type Element = T

const LEN: usize = 68usize

impl<T> IsSliceomorphic for [T; 69]

type Element = T

const LEN: usize = 69usize

impl<T> IsSliceomorphic for [T; 70]

type Element = T

const LEN: usize = 70usize

impl<T> IsSliceomorphic for [T; 71]

type Element = T

const LEN: usize = 71usize

impl<T> IsSliceomorphic for [T; 72]

type Element = T

const LEN: usize = 72usize

impl<T> IsSliceomorphic for [T; 73]

type Element = T

const LEN: usize = 73usize

impl<T> IsSliceomorphic for [T; 74]

type Element = T

const LEN: usize = 74usize

impl<T> IsSliceomorphic for [T; 75]

type Element = T

const LEN: usize = 75usize

impl<T> IsSliceomorphic for [T; 76]

type Element = T

const LEN: usize = 76usize

impl<T> IsSliceomorphic for [T; 77]

type Element = T

const LEN: usize = 77usize

impl<T> IsSliceomorphic for [T; 78]

type Element = T

const LEN: usize = 78usize

impl<T> IsSliceomorphic for [T; 79]

type Element = T

const LEN: usize = 79usize

impl<T> IsSliceomorphic for [T; 80]

type Element = T

const LEN: usize = 80usize

impl<T> IsSliceomorphic for [T; 81]

type Element = T

const LEN: usize = 81usize

impl<T> IsSliceomorphic for [T; 82]

type Element = T

const LEN: usize = 82usize

impl<T> IsSliceomorphic for [T; 83]

type Element = T

const LEN: usize = 83usize

impl<T> IsSliceomorphic for [T; 84]

type Element = T

const LEN: usize = 84usize

impl<T> IsSliceomorphic for [T; 85]

type Element = T

const LEN: usize = 85usize

impl<T> IsSliceomorphic for [T; 86]

type Element = T

const LEN: usize = 86usize

impl<T> IsSliceomorphic for [T; 87]

type Element = T

const LEN: usize = 87usize

impl<T> IsSliceomorphic for [T; 88]

type Element = T

const LEN: usize = 88usize

impl<T> IsSliceomorphic for [T; 89]

type Element = T

const LEN: usize = 89usize

impl<T> IsSliceomorphic for [T; 90]

type Element = T

const LEN: usize = 90usize

impl<T> IsSliceomorphic for [T; 91]

type Element = T

const LEN: usize = 91usize

impl<T> IsSliceomorphic for [T; 92]

type Element = T

const LEN: usize = 92usize

impl<T> IsSliceomorphic for [T; 93]

type Element = T

const LEN: usize = 93usize

impl<T> IsSliceomorphic for [T; 94]

type Element = T

const LEN: usize = 94usize

impl<T> IsSliceomorphic for [T; 95]

type Element = T

const LEN: usize = 95usize

impl<T> IsSliceomorphic for [T; 96]

type Element = T

const LEN: usize = 96usize

impl<T> IsSliceomorphic for [T; 97]

type Element = T

const LEN: usize = 97usize

impl<T> IsSliceomorphic for [T; 98]

type Element = T

const LEN: usize = 98usize

impl<T> IsSliceomorphic for [T; 99]

type Element = T

const LEN: usize = 99usize

impl<T> IsSliceomorphic for [T; 100]

type Element = T

const LEN: usize = 100usize

impl<T> IsSliceomorphic for [T; 101]

type Element = T

const LEN: usize = 101usize

impl<T> IsSliceomorphic for [T; 102]

type Element = T

const LEN: usize = 102usize

impl<T> IsSliceomorphic for [T; 103]

type Element = T

const LEN: usize = 103usize

impl<T> IsSliceomorphic for [T; 104]

type Element = T

const LEN: usize = 104usize

impl<T> IsSliceomorphic for [T; 105]

type Element = T

const LEN: usize = 105usize

impl<T> IsSliceomorphic for [T; 106]

type Element = T

const LEN: usize = 106usize

impl<T> IsSliceomorphic for [T; 107]

type Element = T

const LEN: usize = 107usize

impl<T> IsSliceomorphic for [T; 108]

type Element = T

const LEN: usize = 108usize

impl<T> IsSliceomorphic for [T; 109]

type Element = T

const LEN: usize = 109usize

impl<T> IsSliceomorphic for [T; 110]

type Element = T

const LEN: usize = 110usize

impl<T> IsSliceomorphic for [T; 111]

type Element = T

const LEN: usize = 111usize

impl<T> IsSliceomorphic for [T; 112]

type Element = T

const LEN: usize = 112usize

impl<T> IsSliceomorphic for [T; 113]

type Element = T

const LEN: usize = 113usize

impl<T> IsSliceomorphic for [T; 114]

type Element = T

const LEN: usize = 114usize

impl<T> IsSliceomorphic for [T; 115]

type Element = T

const LEN: usize = 115usize

impl<T> IsSliceomorphic for [T; 116]

type Element = T

const LEN: usize = 116usize

impl<T> IsSliceomorphic for [T; 117]

type Element = T

const LEN: usize = 117usize

impl<T> IsSliceomorphic for [T; 118]

type Element = T

const LEN: usize = 118usize

impl<T> IsSliceomorphic for [T; 119]

type Element = T

const LEN: usize = 119usize

impl<T> IsSliceomorphic for [T; 120]

type Element = T

const LEN: usize = 120usize

impl<T> IsSliceomorphic for [T; 121]

type Element = T

const LEN: usize = 121usize

impl<T> IsSliceomorphic for [T; 122]

type Element = T

const LEN: usize = 122usize

impl<T> IsSliceomorphic for [T; 123]

type Element = T

const LEN: usize = 123usize

impl<T> IsSliceomorphic for [T; 124]

type Element = T

const LEN: usize = 124usize

impl<T> IsSliceomorphic for [T; 125]

type Element = T

const LEN: usize = 125usize

impl<T> IsSliceomorphic for [T; 126]

type Element = T

const LEN: usize = 126usize

impl<T> IsSliceomorphic for [T; 127]

type Element = T

const LEN: usize = 127usize

impl<T> IsSliceomorphic for [T; 128]

type Element = T

const LEN: usize = 128usize

impl<T> IsSliceomorphic for [T; 256]

type Element = T

const LEN: usize = 256usize

impl<T> IsSliceomorphic for [T; 512]

type Element = T

const LEN: usize = 512usize

impl<T> IsSliceomorphic for [T; 1024]

type Element = T

const LEN: usize = 1_024usize

impl<T> IsSliceomorphic for [T; 2048]

type Element = T

const LEN: usize = 2_048usize

impl<T> IsSliceomorphic for [T; 4096]

type Element = T

const LEN: usize = 4_096usize

impl<T> IsSliceomorphic for [T; 8192]

type Element = T

const LEN: usize = 8_192usize

impl<T> IsSliceomorphic for [T; 1000]

type Element = T

const LEN: usize = 1_000usize

impl<T> IsSliceomorphic for [T; 10000]

type Element = T

const LEN: usize = 10_000usize

Implementors