We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 6792c6c + 4907b39 commit b0ca266Copy full SHA for b0ca266
1 file changed
src/Type/Prelude.purs
@@ -8,8 +8,8 @@ module Type.Prelude
8
, module Type.RowList
9
) where
10
11
-import Type.Data.Boolean (True, False, BProxy(..), class IsBoolean, reflectBoolean, reifyBoolean)
12
-import Type.Data.Ordering (LT, EQ, GT, OProxy(..), class IsOrdering, reflectOrdering, reifyOrdering)
+import Type.Data.Boolean (kind Boolean, True, False, BProxy(..), class IsBoolean, reflectBoolean, reifyBoolean)
+import Type.Data.Ordering (kind Ordering, LT, EQ, GT, OProxy(..), class IsOrdering, reflectOrdering, reifyOrdering)
13
import Type.Proxy (Proxy(..))
14
import Type.Data.Symbol (SProxy(..), class IsSymbol, reflectSymbol, reifySymbol, class Compare, compare, class Append, append)
15
import Type.Equality (class TypeEquals, from, to)
0 commit comments