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

Extract the monoid tests into a separate spec instantiated with a generator.

Browse Source
This commit is contained in:
Rob Rix 2016-03-11 10:16:37 -05:00
parent 26931e3394
commit e06d45637c
1 changed files with 9 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
test/Data/Adjoined/Spec.hs
View File

@ -11,13 +11,16 @@ spec = do
prop "equality is reflexive" $
\ a -> a `shouldBe` (a :: Adjoined (Separated Char))
describe "Monoid" $ do
let memptySep = mempty :: Adjoined (Separated Char)
prop "mempty is the left identity" $
\ a -> memptySep `mappend` a `shouldBe` a
monoid (arbitrary :: Gen (Adjoined (Separated Char)))
prop "mempty is the right identity" $
\ a -> a `mappend` memptySep `shouldBe` a
monoid :: (Arbitrary a, Coalescent a, Eq a, Show a) => Gen (Adjoined a) -> Spec
monoid gen =
describe "Monoid" $ do
prop "mempty is the left identity" $ forAll gen $
\ a -> mempty `mappend` a `shouldBe` a
prop "mempty is the right identity" $ forAll gen $
\ a -> a `mappend` mempty `shouldBe` a
instance Arbitrary a => Arbitrary (Adjoined a) where
arbitrary = fromList <$> arbitrary