Remove all manual type class instance names

Author: Zelenya

exercises/chapter10/src/Data/AddressBook.purs

@@ -26,12 +26,12 @@ data PhoneType
   | OtherPhone
 
 -- ANCHOR: PhoneType_generic
-derive instance genericPhoneType :: Generic PhoneType _
+derive instance Generic PhoneType _
 
-instance encodeJsonPhoneType :: EncodeJson PhoneType where encodeJson = genericEncodeJson
-instance decodeJsonPhoneType :: DecodeJson PhoneType where decodeJson = genericDecodeJson
+instance EncodeJson PhoneType where encodeJson = genericEncodeJson
+instance DecodeJson PhoneType where decodeJson = genericDecodeJson
 -- ANCHOR_END: PhoneType_generic
-instance showPhoneType       :: Show       PhoneType where show       = genericShow
+instance Show       PhoneType where show       = genericShow
 
 type PhoneNumber
   = { "type" :: PhoneType

exercises/chapter10/test/no-peeking/Solutions.purs

@@ -62,7 +62,7 @@ foreign import quadraticRootsSafeJson :: Json -> Json
 newtype WrapPair a
   = WrapPair (Pair a)
 
-instance decodeJsonWrapPair :: DecodeJson a => DecodeJson (WrapPair a) where
+instance DecodeJson a => DecodeJson (WrapPair a) where
   decodeJson j = do
     decoded <- decodeJson j
     case decoded of
@@ -86,39 +86,39 @@ data Tree a
   = Leaf a
   | Branch (Tree a) (Tree a)
 
-derive instance genericTree :: Generic (Tree a) _
+derive instance Generic (Tree a) _
 
-instance encodeJsonTree :: EncodeJson a => EncodeJson (Tree a) where
+instance EncodeJson a => EncodeJson (Tree a) where
   encodeJson t = genericEncodeJson t
 
-instance decodeJsonTree :: DecodeJson a => DecodeJson (Tree a) where
+instance DecodeJson a => DecodeJson (Tree a) where
   decodeJson t = genericDecodeJson t
 
-instance eqTree :: Eq a => Eq (Tree a) where
+instance Eq a => Eq (Tree a) where
   eq t = genericEq t
 
-instance showTree :: Show a => Show (Tree a) where
+instance Show a => Show (Tree a) where
   show t = genericShow t
 
 data IntOrString
   = IntOrString_Int Int
   | IntOrString_String String
 
-instance encodeJsonIntOrString :: EncodeJson IntOrString where
+instance EncodeJson IntOrString where
   encodeJson (IntOrString_Int i) = encodeJson i
   encodeJson (IntOrString_String s) = encodeJson s
 
-instance decodeJsonIntOrString :: DecodeJson IntOrString where
+instance DecodeJson IntOrString where
   decodeJson j =
     foldr alt (Left $ TypeMismatch "Not Int or String")
       [ map IntOrString_Int $ decodeJson j
       , map IntOrString_String $ decodeJson j
       ]
 
-derive instance genericIntOrString :: Generic IntOrString _
+derive instance Generic IntOrString _
 
-instance eqIntOrString :: Eq IntOrString where
+instance Eq IntOrString where
   eq = genericEq
 
-instance showIntOrString :: Show IntOrString where
+instance Show IntOrString where
   show = genericShow

exercises/chapter11/src/Data/Coords.purs

@@ -7,14 +7,14 @@ newtype Coords = Coords
   , y :: Int
   }
 
-instance showCoords :: Show Coords where
+instance Show Coords where
   show (Coords p) = "Coords " <>
                     "{ x: " <> show p.x <>
                     ", y: " <> show p.y <>
                     " }"
 
-derive instance eqCoords :: Eq Coords
-derive instance ordCoords :: Ord Coords
+derive instance Eq Coords
+derive instance Ord Coords
 
 coords :: Int -> Int -> Coords
 coords x y = Coords { x: x, y: y }

exercises/chapter11/src/Data/GameItem.purs

@@ -8,12 +8,12 @@ import Data.Maybe (Maybe(..))
 data GameItem = Candle | Matches
 -- ANCHOR_END: GameItem
 
-instance showGameItem :: Show GameItem where
+instance Show GameItem where
   show Candle         = "Candle"
   show Matches        = "Matches"
 
-derive instance eqGameItem :: Eq GameItem
-derive instance ordGameItem :: Ord GameItem
+derive instance Eq GameItem
+derive instance Ord GameItem
 
 readItem :: String -> Maybe GameItem
 readItem "Candle" = Just Candle

exercises/chapter11/src/Data/GameState.purs

@@ -18,7 +18,7 @@ newtype GameState = GameState
   }
 -- ANCHOR_END: GameState
 
-instance showGameState :: Show GameState where
+instance Show GameState where
   show (GameState o) =
     "GameState " <>
     "{ items: "     <> show o.items <>

exercises/chapter13/src/Sorted.purs

@@ -10,8 +10,8 @@ newtype Sorted a = Sorted (Array a)
 sorted :: forall a. Sorted a -> Array a
 sorted (Sorted xs) = xs
 
-instance showSorted :: Show a => Show (Sorted a) where
+instance Show a => Show (Sorted a) where
   show = show <<< sorted
 
-instance arbSorted :: (Arbitrary a, Ord a) => Arbitrary (Sorted a) where
+instance (Arbitrary a, Ord a) => Arbitrary (Sorted a) where
   arbitrary = map (Sorted <<< sort) arbitrary

exercises/chapter13/src/Tree.purs

@@ -9,10 +9,10 @@ data Tree a
   = Leaf
   | Branch (Tree a) a (Tree a)
 
-instance arbTree :: (Arbitrary a, Ord a) => Arbitrary (Tree a) where
+instance (Arbitrary a, Ord a) => Arbitrary (Tree a) where
   arbitrary = map fromArray arbitrary
 
-instance coarbTree :: (Coarbitrary a) => Coarbitrary (Tree a) where
+instance (Coarbitrary a) => Coarbitrary (Tree a) where
   coarbitrary Leaf = identity
   coarbitrary (Branch l a r) =
     coarbitrary l <<<

exercises/chapter14/src/Data/DOM/Free.purs

@@ -42,7 +42,7 @@ data ContentF a
   = TextContent String a
   | ElementContent Element a
 
-instance functorContentF :: Functor ContentF where
+instance Functor ContentF where
   map f (TextContent s x) = TextContent s (f x)
   map f (ElementContent e x) = ElementContent e (f x)
 
@@ -71,10 +71,10 @@ elem e = liftF $ ElementContent e unit
 class IsValue a where
   toValue :: a -> String
 
-instance stringIsValue :: IsValue String where
+instance IsValue String where
   toValue = identity
 
-instance intIsValue :: IsValue Int where
+instance IsValue Int where
   toValue = show
 
 attribute :: forall a. IsValue a => AttributeKey a -> a -> Attribute

exercises/chapter14/src/Data/DOM/Name.purs

@@ -50,7 +50,7 @@ data ContentF a
   | ElementContent Element a
   | NewName (Name -> a)
 
-instance functorContentF :: Functor ContentF where
+instance Functor ContentF where
   map f (TextContent s x) = TextContent s (f x)
   map f (ElementContent e x) = ElementContent e (f x)
   map f (NewName k) = NewName (f <<< k)
@@ -79,13 +79,13 @@ newName = liftF $ NewName identity
 class IsValue a where
   toValue :: a -> String
 
-instance stringIsValue :: IsValue String where
+instance IsValue String where
   toValue = identity
 
-instance intIsValue :: IsValue Int where
+instance IsValue Int where
   toValue = show
 
-instance nameIsValue :: IsValue Name where
+instance IsValue Name where
   toValue (Name n) = n
 
 attribute :: forall a. IsValue a => AttributeKey a -> a -> Attribute
@@ -109,7 +109,7 @@ data Href
   = URLHref String
   | AnchorHref Name
 
-instance hrefIsValue :: IsValue Href where
+instance IsValue Href where
   toValue (URLHref url) = url
   toValue (AnchorHref (Name nm)) = "#" <> nm
 

exercises/chapter14/src/Data/DOM/Phantom.purs

@@ -61,10 +61,10 @@ elem = ElementContent
 class IsValue a where
   toValue :: a -> String
 
-instance stringIsValue :: IsValue String where
+instance IsValue String where
   toValue = identity
 
-instance intIsValue :: IsValue Int where
+instance IsValue Int where
   toValue = show
 
 attribute :: forall a. IsValue a => AttributeKey a -> a -> Attribute