Documentation

List-backed type-map.

Empty list.

Access an element indexed by its type a. O(n)

If a is associated to b in the type list d:

index @a (l :: TypeList d) :: b

>>> let l = (0 :: Int) <| True <| "Hello" <| empty :: TypeList '[ '("a", Int), '("b", Bool), '("c", String)]
>>> index @"c" l
"Hello"

Add an element to the beginning of a list. O(1)

Synonym of cons.

Add an element to the end of a list. O(n)

Synonym of snoc.

Convert from a list to a vector.