Trait TypeSlice

pub trait TypeSlice<T: 'static> {
    const LIST: List<'static, T>;
    const LEN: usize;
}

A type-level slice of items.

Required Associated Constants

const LIST: List<'static, T>

A list of the actual items. See List for more.

const LEN: usize

The number of items in this slice.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl TypeSlice<bool> for BoolNil

const LIST: List<'static, bool> = List::Empty

const LEN: usize = 0usize

impl TypeSlice<char> for CharNil

const LIST: List<'static, char> = List::Empty

const LEN: usize = 0usize

impl TypeSlice<i8> for I8Nil

const LIST: List<'static, i8> = List::Empty

const LEN: usize = 0usize

impl TypeSlice<i16> for I16Nil

const LIST: List<'static, i16> = List::Empty

const LEN: usize = 0usize

impl TypeSlice<i32> for I32Nil

const LIST: List<'static, i32> = List::Empty

const LEN: usize = 0usize

impl TypeSlice<i64> for I64Nil

const LIST: List<'static, i64> = List::Empty

const LEN: usize = 0usize

impl TypeSlice<i128> for I128Nil

const LIST: List<'static, i128> = List::Empty

const LEN: usize = 0usize

impl TypeSlice<isize> for IsizeNil

const LIST: List<'static, isize> = List::Empty

const LEN: usize = 0usize

impl TypeSlice<u8> for U8Nil

const LIST: List<'static, u8> = List::Empty

const LEN: usize = 0usize

impl TypeSlice<u16> for U16Nil

const LIST: List<'static, u16> = List::Empty

const LEN: usize = 0usize

impl TypeSlice<u32> for U32Nil

const LIST: List<'static, u32> = List::Empty

const LEN: usize = 0usize

impl TypeSlice<u64> for U64Nil

const LIST: List<'static, u64> = List::Empty

const LEN: usize = 0usize

impl TypeSlice<u128> for U128Nil

const LIST: List<'static, u128> = List::Empty

const LEN: usize = 0usize

impl TypeSlice<usize> for UsizeNil

const LIST: List<'static, usize> = List::Empty

const LEN: usize = 0usize

impl<const ELEM: bool, Rest: TypeSlice<bool>> TypeSlice<bool> for Bool<ELEM, Rest>

const LIST: List<'static, bool>

const LEN: usize

impl<const ELEM: char, Rest: TypeSlice<char>> TypeSlice<char> for Char<ELEM, Rest>

const LIST: List<'static, char>

const LEN: usize

impl<const ELEM: i8, Rest: TypeSlice<i8>> TypeSlice<i8> for I8<ELEM, Rest>

const LIST: List<'static, i8>

const LEN: usize

impl<const ELEM: i16, Rest: TypeSlice<i16>> TypeSlice<i16> for I16<ELEM, Rest>

const LIST: List<'static, i16>

const LEN: usize

impl<const ELEM: i32, Rest: TypeSlice<i32>> TypeSlice<i32> for I32<ELEM, Rest>

const LIST: List<'static, i32>

const LEN: usize

impl<const ELEM: i64, Rest: TypeSlice<i64>> TypeSlice<i64> for I64<ELEM, Rest>

const LIST: List<'static, i64>

const LEN: usize

impl<const ELEM: i128, Rest: TypeSlice<i128>> TypeSlice<i128> for I128<ELEM, Rest>

const LIST: List<'static, i128>

const LEN: usize

impl<const ELEM: isize, Rest: TypeSlice<isize>> TypeSlice<isize> for Isize<ELEM, Rest>

const LIST: List<'static, isize>

const LEN: usize

impl<const ELEM: u8, Rest: TypeSlice<u8>> TypeSlice<u8> for U8<ELEM, Rest>

const LIST: List<'static, u8>

const LEN: usize

impl<const ELEM: u16, Rest: TypeSlice<u16>> TypeSlice<u16> for U16<ELEM, Rest>

const LIST: List<'static, u16>

const LEN: usize

impl<const ELEM: u32, Rest: TypeSlice<u32>> TypeSlice<u32> for U32<ELEM, Rest>

const LIST: List<'static, u32>

const LEN: usize

impl<const ELEM: u64, Rest: TypeSlice<u64>> TypeSlice<u64> for U64<ELEM, Rest>

const LIST: List<'static, u64>

const LEN: usize

impl<const ELEM: u128, Rest: TypeSlice<u128>> TypeSlice<u128> for U128<ELEM, Rest>

const LIST: List<'static, u128>

const LEN: usize

impl<const ELEM: usize, Rest: TypeSlice<usize>> TypeSlice<usize> for Usize<ELEM, Rest>

const LIST: List<'static, usize>

const LEN: usize