Add Show instances for the Rep types

bower.json

@@ -18,6 +18,7 @@
     "purescript-foldable-traversable": "^3.0.0"
   },
   "devDependencies": {
-    "purescript-console": "^3.0.0"
+    "purescript-console": "^3.0.0",
+    "purescript-psci-support": "^3.0.0"
   }
 }

package.json

@@ -1,13 +1,17 @@
 {
   "private": true,
   "scripts": {
+    "install": "rimraf bower_components && bower install",
     "clean": "rimraf output && rimraf .pulp-cache",
     "build": "eslint src && pulp build -- --censor-lib --strict",
-    "test": "pulp test"
+    "test": "pulp test",
+    "pulp": "pulp"
   },
   "devDependencies": {
+    "bower": "^1.8.0",
     "eslint": "^3.17.1",
-    "pulp": "^10.0.4",
+    "pulp": "^11.0.0",
+    "purescript": "^0.11.5",
     "purescript-psa": "^0.5.0-rc.1",
     "rimraf": "^2.6.1"
   }

src/Data/Generic/Rep.purs

@@ -12,7 +12,9 @@ module Data.Generic.Rep
   , Field(..)
   ) where
 
+import Prelude
 import Data.Maybe (Maybe(..))
+import Data.Symbol (class IsSymbol, SProxy(..), reflectSymbol)
 
 -- | A representation for types with no constructors.
 data NoConstructors
@@ -55,3 +57,24 @@ instance genericMaybe
   from Nothing = Inl (Constructor NoArguments)
   from (Just a) = Inr (Constructor (Argument a))
 
+instance showNoArguments :: Show NoArguments where
+  show _ = "NoArguments"
+
+instance showSum :: (Show a, Show b) => Show (Sum a b) where
+  show (Inl a) = "(Inl " <> show a <> ")"
+  show (Inr b) = "(Inr " <> show b <> ")"
+
+instance showProduct :: (Show a, Show b) => Show (Product a b) where
+  show (Product a b) = "(Product " <> show a <> " " <> show b <> ")"
+
+instance showConstructor :: (IsSymbol name, Show a) => Show (Constructor name a) where
+  show (Constructor a) = "(Constructor \"" <> reflectSymbol (SProxy :: SProxy name) <> "\" " <> show a <> ")"
+
+instance showArgument :: Show a => Show (Argument a) where
+  show (Argument a) = "(Argument " <> show a <> ")"
+
+instance showRec :: Show a => Show (Rec a) where
+  show (Rec a) = "(Rec " <> show a <> ")"
+
+instance showField :: (IsSymbol name, Show a) => Show (Field name a) where
+  show (Field a) = "(Field \"" <> reflectSymbol (SProxy :: SProxy name) <> "\" " <> show a <> ")"

test/Main.purs

@@ -49,3 +49,5 @@ main = do
 
   logShow (bottom :: SimpleBounded)
   logShow (top :: SimpleBounded)
+
+  logShow (G.from $ cons 1 Nil)