Merge pull request #54 from purescript/drop-typelevel-prelude-dependency

Drop typelevel-prelude dependency

Author: hdgarrood

bower.json

@@ -20,7 +20,6 @@
     "purescript-functions": "^4.0.0",
     "purescript-prelude": "^4.1.0",
     "purescript-st": "^4.0.0",
-    "purescript-typelevel-prelude": "^4.0.0",
     "purescript-unsafe-coerce": "^4.0.0"
   },
   "devDependencies": {

src/Record.purs

@@ -14,12 +14,15 @@ module Record
   , equalFields
   ) where
 
+import Prelude
+
 import Data.Function.Uncurried (runFn2)
+import Data.Symbol (class IsSymbol, SProxy(..), reflectSymbol)
+import Prim.Row (class Lacks, class Cons, class Nub, class Union)
+import Prim.RowList (class RowToList, kind RowList, Cons, Nil)
 import Record.Unsafe (unsafeGet, unsafeSet, unsafeDelete)
 import Record.Unsafe.Union (unsafeUnionFn)
-import Data.Symbol (class IsSymbol, SProxy(..), reflectSymbol)
-import Prelude (class Eq, (&&), (==))
-import Type.Row (class Lacks, class Cons, class Nub, class RowToList, class Union, Cons, Nil, RLProxy(RLProxy), kind RowList)
+import Type.Data.RowList (RLProxy(..))
 import Unsafe.Coerce (unsafeCoerce)
 
 -- | Get a property for a label which is specified using a value-level proxy for

src/Record/Builder.purs

@@ -15,8 +15,8 @@ import Prelude
 
 import Data.Function.Uncurried (runFn2)
 import Data.Symbol (class IsSymbol, SProxy, reflectSymbol)
+import Prim.Row as Row
 import Record.Unsafe.Union (unsafeUnionFn)
-import Type.Row as Row
 import Unsafe.Coerce (unsafeCoerce)
 
 foreign import copyRecord :: forall r1. Record r1 -> Record r1

test/Examples.purs

@@ -3,7 +3,7 @@ module Examples where
 import Prelude
 
 import Record as Record
-import Type.Prelude (SProxy(..))
+import Data.Symbol (SProxy(..))
 
 x_ = SProxy :: SProxy "x"
 y_ = SProxy :: SProxy "y"