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

Verify the merge laws over []/Maybe.

Browse Source
This commit is contained in:
Rob Rix 2016-07-26 13:06:18 -04:00
parent df4621622a
commit 5430f45850
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
test/Data/Mergeable/Spec.hs
View File

@ -11,7 +11,9 @@ import Test.QuickCheck
spec :: Spec
spec = parallel $ do
describe "[]" $ sequenceAltLaws (arbitrary :: Gen [Char])
describe "[]" $ do
sequenceAltLaws (arbitrary :: Gen [Char])
mergeLaws (arbitrary :: Gen [Char]) (arbitrary :: Gen (Blind (Char -> Maybe Char)))
describe "Maybe" $ sequenceAltLaws (arbitrary :: Gen (Maybe Char))
describe "Identity" $ sequenceAltLaws (Identity <$> arbitrary :: Gen (Identity Char))
describe "Syntax" $ sequenceAltLaws (sized (syntaxOfSize (const arbitrary)) :: Gen (Syntax Char Char))