Enum List

pub enum List<'a, T> {
    Item {
        head: &'a T,
        rest: &'a Self,
    },
    Empty,
}

The bridge between a TypeSlice and runtime logic, allowing access to elements defined at the type level.

Supports iteration and indexing, with adapters for compile time use.

Variants

Item

Fields

head: &'a T

rest: &'a Self

Empty

Implementations

impl List<'_, usize>

pub const fn slice_eq(&self, slice: &[usize]) -> bool

const - enabled equality checking that can fail at compile time.

impl List<'_, u8>

pub const fn slice_eq(&self, slice: &[u8]) -> bool

const - enabled equality checking that can fail at compile time.

impl List<'_, u16>

pub const fn slice_eq(&self, slice: &[u16]) -> bool

const - enabled equality checking that can fail at compile time.

impl List<'_, u32>

pub const fn slice_eq(&self, slice: &[u32]) -> bool

const - enabled equality checking that can fail at compile time.

impl List<'_, u64>

pub const fn slice_eq(&self, slice: &[u64]) -> bool

const - enabled equality checking that can fail at compile time.

impl List<'_, u128>

pub const fn slice_eq(&self, slice: &[u128]) -> bool

const - enabled equality checking that can fail at compile time.

impl List<'_, isize>

pub const fn slice_eq(&self, slice: &[isize]) -> bool

const - enabled equality checking that can fail at compile time.

impl List<'_, i8>

pub const fn slice_eq(&self, slice: &[i8]) -> bool

const - enabled equality checking that can fail at compile time.

impl List<'_, i16>

pub const fn slice_eq(&self, slice: &[i16]) -> bool

const - enabled equality checking that can fail at compile time.

impl List<'_, i32>

pub const fn slice_eq(&self, slice: &[i32]) -> bool

const - enabled equality checking that can fail at compile time.

impl List<'_, i64>

pub const fn slice_eq(&self, slice: &[i64]) -> bool

const - enabled equality checking that can fail at compile time.

impl List<'_, i128>

pub const fn slice_eq(&self, slice: &[i128]) -> bool

const - enabled equality checking that can fail at compile time.

impl List<'_, char>

pub const fn slice_eq(&self, slice: &[char]) -> bool

const - enabled equality checking that can fail at compile time.

impl List<'_, bool>

pub const fn slice_eq(&self, slice: &[bool]) -> bool

const - enabled equality checking that can fail at compile time.

impl<'a, T> List<'a, T>

pub const fn new() -> Self

Create an empty list.

pub const fn len(&self) -> usize

Return the number of elements in the list.

pub const fn get(&self, ix: usize) -> Option<&T>

Get an item by index.

pub const fn is_empty(&self) -> bool

Returns true if the list has no elements.

pub const fn into_option(self) -> Option<(&'a T, &'a Self)>

Return None if this list is empty, else the next item and its successor.

pub const fn iter(&self) -> Iter<'a, T>

Iterate the elements in the list. Iterator type is &T.

impl<'a> List<'a, char>

pub const fn str_eq(&self, s: &str) -> bool

const - enabled equality checking that can fail at compile time.

use static_assertions::assert_impl_all;
type Message = typeslice::from_str!("I am a 𓀕");
assert_impl_all!(Message: TypeSlice<char>);
assert!(Message::LIST.str_eq("I am a 𓀕"));

Trait Implementations

impl<'a, T> Clone for List<'a, T>

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a, T: Debug> Debug for List<'a, T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a, T> Default for List<'a, T>

fn default() -> Self

Create an empty slice.

impl<'a, T: Hash> Hash for List<'a, T>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'a, T> Index<usize> for List<'a, T>

type Output = T

The returned type after indexing.

fn index(&self, index: usize) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<'a, T> IntoIterator for List<'a, T>

type Item = &'a T

The type of the elements being iterated over.

type IntoIter = Iter<'a, T>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<'a, T: Ord> Ord for List<'a, T>

fn cmp(&self, other: &List<'a, T>) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl<'a, T: PartialEq> PartialEq for List<'a, T>

fn eq(&self, other: &List<'a, T>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a, T: PartialOrd> PartialOrd for List<'a, T>

fn partial_cmp(&self, other: &List<'a, T>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<'a, T> Copy for List<'a, T>

impl<'a, T: Eq> Eq for List<'a, T>

impl<'a, T> StructuralPartialEq for List<'a, T>