github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 00:42:33 +03:00
Code Issues Projects Releases Wiki Activity

🔥 the TotalCrosswalk instance over Both.

Browse Source
This commit is contained in:
Rob Rix 2016-04-14 21:59:44 -04:00
parent b036fa27a3
commit 4845ee1245
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,7 +1,6 @@
{-# LANGUAGE FlexibleInstances #-}
module Data.Functor.Both where
import Data.Align
import Data.Bifunctor
import Data.Bifunctor.Join
import Data.Bifunctor.These
@ -45,7 +44,3 @@ snd = Prelude.snd . runBoth
instance Monoid a => Monoid (Join (,) a) where
mempty = pure mempty
mappend a b = mappend <$> a <*> b
instance TotalCrosswalk (Join (,)) where
tsequenceL d = runBothWith (alignWith (\ these -> fromMaybe <$> d <*> maybeBothOfThese these))