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
3
3
-- | A proxy data type whose type parameter is a type of kind `Row Type` (a row
4
4
-- | of types).
5
5
-- |
6
+ -- | **Deprecated as of v0.14.0 PureScript release**: use `Type.Proxy` instead.
7
+ -- |
6
8
-- | Commonly used for specialising a function with a quantified type.
7
9
-- | For example, suppose we have an identity function for records of type:
8
10
-- | ```purescript
Original file line number Diff line number Diff line change @@ -3,5 +3,6 @@ module Type.Data.RowList where
3
3
import Prim.RowList (RowList )
4
4
5
5
-- | A proxy to carry information about a rowlist.
6
+ -- | **Deprecated as of v0.14.0 PureScript release**: use `Type.Proxy` instead.
6
7
data RLProxy (rowlist :: RowList Type )
7
8
= RLProxy
You can’t perform that action at this time.
0 commit comments