The Prim.RowList module is embedded in the PureScript compiler. Unlike Prim, it is not imported implicitly. It contains a type level list (RowList) that represents an ordered view of a row of types.


kind RowList

A type level list representation of a row of types.


data Cons :: Symbol -> Type -> RowList -> RowList

Constructs a new RowList from a label, a type, and an existing tail RowList. E.g: Cons "x" Int (Cons "y" Int Nil).


data Nil :: RowList

The empty RowList.


class RowToList (row :: # Type) (list :: RowList) | row -> list

Compiler solved type class for generating a RowList from a closed row of types. Entries are sorted by label and duplicates are preserved in the order they appeared in the row.