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

🔥 BothMaybe.

Browse Source
This commit is contained in:
Rob Rix 2016-03-14 19:46:56 -04:00
parent 34a76bfe93
commit 1b274c3e57
1 changed files with 0 additions and 22 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
src/Data/Functor/Both.hs
View File

@ -53,28 +53,6 @@ instance Monoid a => Monoid (Both a) where
mappend a b = mappend <$> a <*> b
-- | A wrapper around `Both (Maybe a)` to allow total handling of partial operations.
newtype BothMaybe a = BothMaybe { runBothMaybe :: Both (Maybe a) }
deriving (Eq, Foldable, Functor, Ord, Show, Traversable)
-- | Lift Both values into BothMaybe via Just.
justBoth :: Both a -> BothMaybe a
justBoth = BothMaybe . fmap Just
-- | Recover Both from BothMaybe given a default value.
bothWithDefault :: a -> BothMaybe a -> Both a
bothWithDefault a = fmap (fromMaybe a) . runBothMaybe
instance Applicative BothMaybe where
pure = BothMaybe . pure . Just
BothMaybe (Both (f, g)) <*> BothMaybe (Both (a, b)) = BothMaybe (both (f <*> a) (g <*> b))
instance Crosswalk BothMaybe where
crosswalk f (BothMaybe ab) = runBothWith (alignWith (BothMaybe . maybeBothOfThese)) (maybe nil f <$> ab)
instance Coalescent a => Coalescent (BothMaybe a) where
coalesce as bs = sequenceA (coalesce <$> as <*> bs)
instance Coalescent a => Coalescent (Both a) where
coalesce as bs = sequenceA (coalesce <$> as <*> bs)