Trait ts_rs::typelist::TypeList

pub trait TypeList: Copy + Clone {
    // Required methods
    fn contains<C: Sized + 'static>(self) -> bool;
    fn for_each(self, v: &mut impl TypeVisitor);

    // Provided methods
    fn push<T: TS + 'static + ?Sized>(self) -> impl TypeList { ... }
    fn extend(self, l: impl TypeList) -> impl TypeList { ... }
}

A list containing types implementing TS + 'static + ?Sized.

To construct a TypeList, start with the empty list, which is the unit type (), and repeatedly call TypeList::push or TypeList::extend on it.

Example:

fn primitives() -> impl TypeList {
    let signed = ().push::<i8>().push::<i16>().push::<i32>().push::<i64>();
    let unsigned = ().push::<u8>().push::<u16>().push::<u32>().push::<u64>();
    ().push::<char>()
      .push::<bool>()
      .extend(signed)
      .extend(unsigned)
}

The only way to get access to the types contained in a TypeList is to iterate over it by creating a visitor implementing TypeVisitor and calling TypeList::for_each.

Under the hood, TypeList is recursively defined as follows:

• The unit type () is the empty TypeList
• For every T: TS, (PhantomData<T>,) is a TypeList
• For every two TypeLists A and B, (A, B) is a TypeList

Required Methods

fn contains<C: Sized + 'static>(self) -> bool

fn for_each(self, v: &mut impl TypeVisitor)

Provided Methods

fn push<T: TS + 'static + ?Sized>(self) -> impl TypeList

fn extend(self, l: impl TypeList) -> impl TypeList

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl TypeList for ()

fn contains<C: Sized>(self) -> bool

fn for_each(self, _: &mut impl TypeVisitor)

impl<A, B> TypeList for (A, B)

where A: TypeList, B: TypeList,

fn contains<C: Sized + 'static>(self) -> bool

fn for_each(self, v: &mut impl TypeVisitor)

impl<T> TypeList for (PhantomData<T>,)

where T: TS + 'static + ?Sized,

fn contains<C: Sized + 'static>(self) -> bool

fn for_each(self, v: &mut impl TypeVisitor)

Implementors