Merge pull request #14 from LiamGoodacre/feature/rowproxies

Add proxies for row and RowList

src/Type/Prelude.purs

@@ -12,5 +12,5 @@ import Type.Data.Ordering (kind Ordering, LT, EQ, GT, OProxy(..), class IsOrderi
 import Type.Proxy (Proxy(..))
 import Type.Data.Symbol (SProxy(..), class IsSymbol, reflectSymbol, reifySymbol, class CompareSymbol, compareSymbol, class AppendSymbol, appendSymbol)
 import Type.Equality (class TypeEquals, from, to)
-import Type.Row (class RowLacks, class RowToList, class ListToRow)
+import Type.Row (class RowLacks, class RowToList, class ListToRow, RProxy(..), RLProxy(..))
 

src/Type/Row.purs

@@ -1,13 +1,17 @@
 module Type.Row
-  ( class RowLacks
+  ( RProxy(..)
+  , class RowLacks
   , class RowLacking
   , kind RowList
   , Nil
   , Cons
+  , RLProxy(..)
   , class RowToList
   , class ListToRow
   ) where
 
+data RProxy (row :: # Type) = RProxy
+
 -- Must not be exported
 foreign import data Entry :: Type
 
@@ -43,6 +47,8 @@ foreign import kind RowList
 foreign import data Nil :: RowList
 foreign import data Cons :: Symbol -> Type -> RowList -> RowList
 
+data RLProxy (rowList :: RowList) = RLProxy
+
 -- | Extract the collection of entries in a closed row of types.
 -- | The list of entries is sorted by label and preserves duplicates.
 -- | The inverse of this operation is `ListToRow`.