We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 1e4a623 + a7c73aa commit 92b4fd8Copy full SHA for 92b4fd8
src/Type/Row.purs
@@ -12,7 +12,8 @@ module Type.Row
12
, type (+)
13
) where
14
15
-import Prim.Row (class Lacks, class Nub, class Cons, class Union)
+import Prim.Row (class Lacks, class Nub, class Union)
16
+import Prim.Row as Row
17
import Prim.RowList (kind RowList, Cons, Nil, class RowToList)
18
import Type.Equality (class TypeEquals)
19
import Type.Data.Symbol as Symbol
@@ -33,7 +34,7 @@ instance listToRowNil
33
34
35
instance listToCons
36
:: ( ListToRow tail tailRow
- , Cons label ty tailRow row )
37
+ , 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