We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 72ced89 commit 84a5cfcCopy full SHA for 84a5cfc
src/Type/Data/Row.purs
@@ -1,6 +1,6 @@
1
module Type.Data.Row where
2
3
--- | A proxy data type whose type parameter is a type of kind `# Type` (a row
+-- | A proxy data type whose type parameter is a type of kind `Row Type` (a row
4
-- | of types).
5
-- |
6
-- | Commonly used for specialising a function with a quantified type.
src/Type/Data/RowList.purs
module Type.Data.RowList where
-import Prim.RowList (kind RowList)
+import Prim.RowList (RowList)
-- | A proxy to carry information about a rowlist.
data RLProxy (rowlist :: RowList Type)
0 commit comments