Module

Type.Data.RowList

Package
purescript-prelude
Repository
purescript/purescript-prelude

#RLProxy Source

data RLProxy (rowlist :: RowList)

A proxy data type whose type parameter is a type of kind RowList.

Commonly used for specialising a function with a quantified type.

Constructors