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

coalesce operates within an Alternative functor.

Browse Source
This commit is contained in:
Rob Rix 2016-03-14 22:51:54 -04:00
parent 586894c316
commit 9400e3a3ee
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,5 +1,6 @@
module Data.Adjoined.Spec (spec) where
import Control.Applicative
import Data.Adjoined
import Data.Coalescent
import Data.Typeable
@ -43,7 +44,7 @@ instance Arbitrary a => Arbitrary (Uncoalesced a) where
arbitrary = Uncoalesced <$> arbitrary
instance Coalescent (Uncoalesced a) where
coalesce _ _ = Nothing
coalesce a b = pure a <|> pure b
-- | A wrapper which always coalesces values.
@ -54,7 +55,7 @@ instance Arbitrary a => Arbitrary (Coalesced a) where
arbitrary = Coalesced <$> arbitrary
instance Monoid a => Coalescent (Coalesced a) where
coalesce a b = Just (Coalesced (runCoalesced a `mappend` runCoalesced b))
coalesce a b = pure (Coalesced (runCoalesced a `mappend` runCoalesced b))
-- | A wrapper which coalesces asymmetrically.
@ -67,8 +68,8 @@ instance Arbitrary a => Arbitrary (Semicoalesced a) where
arbitrary = Semicoalesced <$> arbitrary
instance Monoid a => Coalescent (Semicoalesced a) where
Semicoalesced (True, a) `coalesce` Semicoalesced (flag, b) = Just (Semicoalesced (flag, a `mappend` b))
Semicoalesced (False, _) `coalesce` _ = Nothing
Semicoalesced (True, a) `coalesce` Semicoalesced (flag, b) = pure (Semicoalesced (flag, a `mappend` b))
a `coalesce` b = pure a <|> pure b
-- | Returns a string with the name of a type.