We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 9eb572f + 95ac64c commit ef4a401Copy full SHA for ef4a401
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