Remove Rec and Field & update package & bower symbols

Author: LiamGoodacre

bower.json

@@ -16,7 +16,7 @@
     "purescript-foldable-traversable": "^3.0.0",
     "purescript-monoid": "^3.0.0",
     "purescript-prelude": "^3.0.0",
-    "purescript-symbols": "^3.0.0"
+    "purescript-symbols": "purescript/purescript-symbols#compiler/0.12"
   },
   "devDependencies": {
     "purescript-assert": "^3.0.0",

package.json

@@ -6,9 +6,9 @@
     "test": "pulp test"
   },
   "devDependencies": {
-    "eslint": "^3.17.1",
-    "pulp": "^10.0.4",
-    "purescript-psa": "^0.5.0-rc.1",
-    "rimraf": "^2.6.1"
+    "eslint": "^4.19.1",
+    "pulp": "^12.0.1",
+    "purescript-psa": "^0.6.0",
+    "rimraf": "^2.6.2"
   }
 }

src/Data/Generic/Rep.purs

@@ -8,8 +8,6 @@ module Data.Generic.Rep
   , Product(..)
   , Constructor(..)
   , Argument(..)
-  , Rec(..)
-  , Field(..)
   ) where
 
 import Data.Maybe (Maybe(..))
@@ -33,13 +31,6 @@ newtype Constructor (name :: Symbol) a = Constructor a
 -- | A representation for an argument in a data constructor.
 newtype Argument a = Argument a
 
--- | A representation for records.
-newtype Rec fields = Rec fields
-
--- | A representation for a record field which includes the field name
--- | as a type-level string.
-newtype Field (field :: Symbol) a = Field a
-
 -- | The `Generic` class asserts the existence of a type function from types
 -- | to their representations using the type constructors defined in this module.
 class Generic a rep | a -> rep where

src/Data/Generic/Rep/Eq.purs

@@ -30,12 +30,6 @@ instance genericEqConstructor :: GenericEq a => GenericEq (Constructor name a) w
 instance genericEqArgument :: Eq a => GenericEq (Argument a) where
   genericEq' (Argument a1) (Argument a2) = a1 == a2
 
-instance genericEqRec :: GenericEq a => GenericEq (Rec a) where
-  genericEq' (Rec a1) (Rec a2) = genericEq' a1 a2
-
-instance genericEqField :: Eq a => GenericEq (Field name a) where
-  genericEq' (Field a1) (Field a2) = a1 == a2
-
 -- | A `Generic` implementation of the `eq` member from the `Eq` type class.
 genericEq :: forall a rep. Generic a rep => GenericEq rep => a -> a -> Boolean
 genericEq x y = genericEq' (from x) (from y)

src/Data/Generic/Rep/Monoid.purs

@@ -22,12 +22,6 @@ instance genericMonoidConstructor :: GenericMonoid a => GenericMonoid (Construct
 instance genericMonoidArgument :: Monoid a => GenericMonoid (Argument a) where
   genericMempty' = Argument mempty
 
-instance genericMonoidRec :: GenericMonoid a => GenericMonoid (Rec a) where
-  genericMempty' = Rec genericMempty'
-
-instance genericMonoidField :: Monoid a => GenericMonoid (Field name a) where
-  genericMempty' = Field mempty
-
 -- | A `Generic` implementation of the `mempty` member from the `Monoid` type class.
 genericMempty :: forall a rep. Generic a rep => GenericMonoid rep => a
 genericMempty = to genericMempty'

src/Data/Generic/Rep/Ord.purs

@@ -34,12 +34,6 @@ instance genericOrdConstructor :: GenericOrd a => GenericOrd (Constructor name a
 instance genericOrdArgument :: Ord a => GenericOrd (Argument a) where
   genericCompare' (Argument a1) (Argument a2) = compare a1 a2
 
-instance genericOrdRec :: GenericOrd a => GenericOrd (Rec a) where
-  genericCompare' (Rec a1) (Rec a2) = genericCompare' a1 a2
-
-instance genericOrdField :: Ord a => GenericOrd (Field name a) where
-  genericCompare' (Field a1) (Field a2) = compare a1 a2
-
 -- | A `Generic` implementation of the `compare` member from the `Ord` type class.
 genericCompare :: forall a rep. Generic a rep => GenericOrd rep => a -> a -> Ordering
 genericCompare x y = genericCompare' (from x) (from y)

src/Data/Generic/Rep/Semigroup.purs

@@ -26,12 +26,6 @@ instance genericSemigroupConstructor :: GenericSemigroup a => GenericSemigroup (
 instance genericSemigroupArgument :: Semigroup a => GenericSemigroup (Argument a) where
   genericAppend' (Argument a1) (Argument a2) = Argument (append a1 a2)
 
-instance genericSemigroupRec :: GenericSemigroup a => GenericSemigroup (Rec a) where
-  genericAppend' (Rec a1) (Rec a2) = Rec (genericAppend' a1 a2)
-
-instance genericSemigroupField :: Semigroup a => GenericSemigroup (Field name a) where
-  genericAppend' (Field a1) (Field a2) = Field (append a1 a2)
-
 -- | A `Generic` implementation of the `append` member from the `Semigroup` type class.
 genericAppend :: forall a rep. Generic a rep => GenericSemigroup rep => a -> a -> a
 genericAppend x y = to (genericAppend' (from x) (from y))

src/Data/Generic/Rep/Show.purs

@@ -4,8 +4,6 @@ module Data.Generic.Rep.Show
   , genericShow
   , class GenericShowArgs
   , genericShowArgs
-  , class GenericShowFields
-  , genericShowFields
   ) where
 
 import Prelude (class Show, show, (<>))
@@ -19,9 +17,6 @@ class GenericShow a where
 class GenericShowArgs a where
   genericShowArgs :: a -> Array String
 
-class GenericShowFields a where
-  genericShowFields :: a -> Array String
-
 instance genericShowNoConstructors :: GenericShow NoConstructors where
   genericShow' a = genericShow' a
 
@@ -37,11 +32,6 @@ instance genericShowArgsProduct
     => GenericShowArgs (Product a b) where
   genericShowArgs (Product a b) = genericShowArgs a <> genericShowArgs b
 
-instance genericShowFieldsProduct
-    :: (GenericShowFields a, GenericShowFields b)
-    => GenericShowFields (Product a b) where
-  genericShowFields (Product a b) = genericShowFields a <> genericShowFields b
-
 instance genericShowConstructor
   :: (GenericShowArgs a, IsSymbol name)
   => GenericShow (Constructor name a) where
@@ -56,18 +46,6 @@ instance genericShowConstructor
 instance genericShowArgsArgument :: Show a => GenericShowArgs (Argument a) where
   genericShowArgs (Argument a) = [show a]
 
-instance genericShowArgsRec :: GenericShowFields a => GenericShowArgs (Rec a) where
-  genericShowArgs (Rec a) = ["{ " <> intercalate ", " (genericShowFields a) <> " }"]
-
-instance genericShowFieldsField
-    :: (Show a, IsSymbol name)
-    => GenericShowFields (Field name a) where
-  genericShowFields (Field a) =
-    [reflectSymbol (SProxy :: SProxy name) <> ": " <> show a]
-
-instance genericShowFieldsNoArguments :: GenericShowFields NoArguments where
-  genericShowFields _ = []
-
 -- | A `Generic` implementation of the `show` member from the `Show` type class.
 genericShow :: forall a rep. Generic a rep => GenericShow rep => a -> String
 genericShow x = genericShow' (from x)