File tree Expand file tree Collapse file tree 2 files changed +3
-0
lines changed Expand file tree Collapse file tree 2 files changed +3
-0
lines changed Original file line number Diff line number Diff line change @@ -3,6 +3,8 @@ module Type.Data.Row where
33-- | A proxy data type whose type parameter is a type of kind `Row Type` (a row
44-- | of types).
55-- |
6+ -- | **Deprecated as of v0.14.0 PureScript release**: use `Type.Proxy` instead.
7+ -- |
68-- | Commonly used for specialising a function with a quantified type.
79-- | For example, suppose we have an identity function for records of type:
810-- | ```purescript
Original file line number Diff line number Diff line change @@ -3,5 +3,6 @@ module Type.Data.RowList where
33import Prim.RowList (RowList )
44
55-- | A proxy to carry information about a rowlist.
6+ -- | **Deprecated as of v0.14.0 PureScript release**: use `Type.Proxy` instead.
67data RLProxy (rowlist :: RowList Type )
78 = RLProxy
You can’t perform that action at this time.
0 commit comments