Module list_traits 

Traits for working with type lists and type information. A collection of traits for homegenous lists (cons cells), similar to tuples.

Structs

ListTypeIterator

Iterator over type-level List values producing properties via P.

Undefined

Marker type representing the head of an empty list.

Traits

EmptyList

Trait implemented by empty lists to support list construction.

IntoList

Convert into a type-level List, consuming self.

List

A trait representing a homogeneous list (cons cell) with a head and tail.

ListIndex

Indexing for lists using typenum-based indices and ranges.

ListTypeIteratorAdvance

Advance function provider used by ListTypeIterator.

ListTypeProperty

Property generator for iterating over type-level lists.

ToList

Convert to a type-level List without consuming self.

Type Aliases

Item

Type alias for getting element type at index N, following std::ops::Index convention Element type at index N of list L.

ReverseList

Convenience alias for reversing a List onto its empty counterpart.

TypeIdIterator

Iterator that yields the TypeId of each head in the List.