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.
2 parents a4a7df4 + 84a5cfc commit 48fe887Copy full SHA for 48fe887
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.
0 commit comments