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.
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
Cons "x" Int (Cons "y" Int Nil).
data Nil :: 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.