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.