github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-03 04:51:57 +03:00
Code Issues Projects Releases Wiki Activity

Test the reflexivity of alignment modulo These.

Browse Source
This commit is contained in:
Rob Rix 2016-07-12 18:24:24 -04:00
parent a1bfe55742
commit c7728b7c1c
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
test/OrderedMapSpec.hs
View File

@ -58,5 +58,8 @@ spec = parallel $ do
prop "is no longer than the sum of its inputs’ lengths" $
\ a b -> length (align a b :: Map.OrderedMap Int (These Int Int)) `shouldSatisfy` (<= length a + length b)
prop "is reflexive modulo These" $
\ a -> align a a `shouldBe` ((\ a -> These a a) <$> a :: Map.OrderedMap Int (These Int Int))
where a = Map.fromList [ ("a", 1), ("b", 2), ("c", 3) ]
b = Map.fromList [ ("b", -2), ("c", -3), ("d", -4) ]