Module

# Prim.RowList

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.

### #RowList

`kind RowList`

A type level list representation of a row of types.

### #Cons

`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)`

.

### #Nil

`data Nil :: RowList`

The empty `RowList`

.

### #RowToList

`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.