github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00
Code Issues Projects Releases Wiki Activity

Test that derived & generic showsPrec agree.

Browse Source
This commit is contained in:
Rob Rix 2017-11-30 10:41:26 -05:00
parent 221a88f452
commit 4b928a6c4e
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
test/Data/Functor/Classes/Generic/Spec.hs
View File

@ -30,6 +30,17 @@ spec = parallel $ do
prop "equivalent to derived compare for recursive types" $
\ a b -> genericLiftCompare compare a b `shouldBe` compare a (b :: Tree Int)
describe "Show1" $ do
describe "genericLiftShowsPrec" $ do
prop "equivalent to derived showsPrec for product types" $
\ a -> genericLiftShowsPrec showsPrec showList 0 a "" `shouldBe` showsPrec 0 (a :: Product Int) ""
prop "equivalent to derived showsPrec for sum types" $
\ a -> genericLiftShowsPrec showsPrec showList 0 a "" `shouldBe` showsPrec 0 (a :: Sum Int) ""
prop "equivalent to derived showsPrec for recursive types" $
\ a -> genericLiftShowsPrec showsPrec showList 0 a "" `shouldBe` showsPrec 0 (a :: Tree Int) ""
data Product a = Product a a a
deriving (Eq, Generic1, Ord, Show)
@ -53,3 +64,4 @@ instance Listable a => Listable (Tree a) where
instance Eq1 Tree where liftEq = genericLiftEq
instance Ord1 Tree where liftCompare = genericLiftCompare
instance Show1 Tree where liftShowsPrec = genericLiftShowsPrec