We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Prim.Row.Cons
1 parent 9eb572f commit 95ac64cCopy full SHA for 95ac64c
src/Type/Row.purs
@@ -12,8 +12,7 @@ module Type.Row
12
, type (+)
13
) where
14
15
-import Prim.Row (class Lacks, class Nub, class Union)
16
-import Prim.Row as Row
+import Prim.Row (class Lacks, class Nub, class Cons, class Union)
17
import Prim.RowList (kind RowList, Cons, Nil, class RowToList)
18
import Type.Equality (class TypeEquals)
19
import Type.Data.Symbol as Symbol
@@ -34,7 +33,7 @@ instance listToRowNil
34
33
35
instance listToCons
36
:: ( ListToRow tail tailRow
37
- , Row.Cons label ty tailRow row )
+ , Cons label ty tailRow row )
38
=> ListToRow (Cons label ty tail) row
39
40
-- | Remove all occurences of a given label from a RowList
0 commit comments