github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 14:21:31 +03:00
Code Issues Projects Releases Wiki Activity

🔥 liftShowsPrecBoth & liftShowListBoth.

Browse Source
This commit is contained in:
Rob Rix 2017-09-10 19:41:13 +01:00
parent 90496bdc1c
commit 7ada1dea20
1 changed files with 0 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -6,8 +6,6 @@ module Data.Functor.Both
, fst , fst
, snd , snd
, module X , module X
, liftShowsPrecBoth
, liftShowListBoth
) where ) where
import Data.Bifunctor.Join as X import Data.Bifunctor.Join as X
@ -16,7 +14,6 @@ import Data.Semigroup
import Data.Text.Prettyprint.Doc as Pretty import Data.Text.Prettyprint.Doc as Pretty
import Prelude hiding (fst, snd) import Prelude hiding (fst, snd)
import qualified Prelude import qualified Prelude
import Text.Show
-- | A computation over both sides of a pair. -- | A computation over both sides of a pair.
type Both a = Join (,) a type Both a = Join (,) a
@ -45,11 +42,6 @@ instance (Semigroup a, Monoid a) => Monoid (Join (,) a) where
instance (Semigroup a) => Semigroup (Join (,) a) where instance (Semigroup a) => Semigroup (Join (,) a) where
a <> b = Join $ runJoin a <> runJoin b a <> b = Join $ runJoin a <> runJoin b
liftShowsPrecBoth :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Both a -> ShowS
liftShowsPrecBoth sp sl d = showsUnaryWith (liftShowsPrec2 sp sl sp sl) "Join" d . runJoin
liftShowListBoth :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Both a] -> ShowS
liftShowListBoth sp sl = showListWith (liftShowsPrecBoth sp sl 0)
instance Eq2 p => Eq1 (Join p) where instance Eq2 p => Eq1 (Join p) where
liftEq eq (Join a1) (Join a2) = liftEq2 eq eq a1 a2 liftEq eq (Join a1) (Join a2) = liftEq2 eq eq a1 a2