github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00
Code Issues Projects Releases Wiki Activity

🔥 the Context/Empty tests of the Mergeable laws.

Browse Source
This commit is contained in:
Rob Rix 2017-10-23 11:53:36 -04:00
parent 16b86bb9a2
commit c0d833f361
1 changed files with 0 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -23,12 +23,6 @@ spec = parallel $ do
describe "Identity" $ do
withAlternativeInstances sequenceAltLaws (Identity `mapT` tiers :: [Tier (Identity Char)])
withAlternativeInstances mergeLaws (Identity `mapT` tiers :: [Tier (Identity Char)])
describe "Context" $ do
withAlternativeInstances sequenceAltLaws (tiers :: [Tier (Context Char)])
withAlternativeInstances mergeLaws (tiers :: [Tier (Context Char)])
describe "Empty" $ do
withAlternativeInstances sequenceAltLaws (tiers :: [Tier (Empty Char)])
withAlternativeInstances mergeLaws (tiers :: [Tier (Empty Char)])
describe "Union" $ do
withAlternativeInstances sequenceAltLaws (tiers :: [Tier (ListableSyntax Char)])
withAlternativeInstances mergeLaws (tiers :: [Tier (ListableSyntax Char)])