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

`data RowList :: Type -> Type`

A type level list representation of a row of types.

### #Cons

`data Cons :: forall (k :: Type). Symbol -> k -> RowList k -> RowList k`

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 :: forall (k :: Type). RowList k`

The empty `RowList`

.

### #RowToList

`class RowToList (row :: Row k) (list :: RowList k) | 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.