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 for infix constructors.

Browse Source
This commit is contained in:
Rob Rix 2017-11-30 10:47:53 -05:00
parent 6ce7ba6b2a
commit 2bbd4e7a49
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -44,6 +44,9 @@ spec = parallel $ do
prop "equivalent to derived showsPrec for record selectors" $
\ a -> genericLiftShowsPrec showsPrec showList 0 a "" `shouldBe` showsPrec 0 (a :: Record Int) ""
prop "equivalent to derived showsPrec for infix constructors" $
\ a -> genericLiftShowsPrec showsPrec showList 0 a "" `shouldBe` showsPrec 0 (a :: Infix Int) ""
data Product a = Product a a a
deriving (Eq, Generic1, Ord, Show)
@ -75,3 +78,10 @@ data Record a = Record { recordSelector1 :: a, recordSelector2 :: a, recordSelec
instance Listable a => Listable (Record a) where
tiers = cons3 Record
data Infix a = a :<>: a
deriving (Eq, Generic1, Ord, Show)
instance Listable a => Listable (Infix a) where
tiers = cons2 (:<>:)