mirror of
https://github.com/github/semantic.git
synced 2024-12-27 08:54:14 +03:00
Merge pull request #469 from github/bake-bifunctors-in
Remove bifunctors
This commit is contained in:
commit
0986b3c48f
@ -37,8 +37,8 @@ library
|
|||||||
, Source
|
, Source
|
||||||
, Control.Monad.Free
|
, Control.Monad.Free
|
||||||
, Control.Comonad.Cofree
|
, Control.Comonad.Cofree
|
||||||
|
, Data.Bifunctor.Join
|
||||||
build-depends: base >= 4.8 && < 5
|
build-depends: base >= 4.8 && < 5
|
||||||
, bifunctors
|
|
||||||
, blaze-html
|
, blaze-html
|
||||||
, blaze-markup
|
, blaze-markup
|
||||||
, bytestring
|
, bytestring
|
||||||
@ -67,7 +67,6 @@ executable semantic-diff-exe
|
|||||||
cc-options: -DU_STATIC_IMPLEMENTATION=1
|
cc-options: -DU_STATIC_IMPLEMENTATION=1
|
||||||
cpp-options: -DU_STATIC_IMPLEMENTATION=1
|
cpp-options: -DU_STATIC_IMPLEMENTATION=1
|
||||||
build-depends: base
|
build-depends: base
|
||||||
, bifunctors
|
|
||||||
, bytestring
|
, bytestring
|
||||||
, containers
|
, containers
|
||||||
, directory
|
, directory
|
||||||
@ -101,7 +100,6 @@ executable semantic-diff
|
|||||||
cc-options: -DU_STATIC_IMPLEMENTATION=1
|
cc-options: -DU_STATIC_IMPLEMENTATION=1
|
||||||
cpp-options: -DU_STATIC_IMPLEMENTATION=1
|
cpp-options: -DU_STATIC_IMPLEMENTATION=1
|
||||||
build-depends: base
|
build-depends: base
|
||||||
, bifunctors
|
|
||||||
, bytestring
|
, bytestring
|
||||||
, containers
|
, containers
|
||||||
, directory
|
, directory
|
||||||
@ -136,7 +134,6 @@ test-suite semantic-diff-test
|
|||||||
, SplitSpec
|
, SplitSpec
|
||||||
, TermSpec
|
, TermSpec
|
||||||
build-depends: base
|
build-depends: base
|
||||||
, bifunctors
|
|
||||||
, bytestring
|
, bytestring
|
||||||
, containers
|
, containers
|
||||||
, deepseq
|
, deepseq
|
||||||
|
8
src/Data/Bifunctor/Join.hs
Normal file
8
src/Data/Bifunctor/Join.hs
Normal file
@ -0,0 +1,8 @@
|
|||||||
|
module Data.Bifunctor.Join where
|
||||||
|
|
||||||
|
newtype Join a = Join { runJoin :: (a, a) }
|
||||||
|
deriving (Eq, Show, Functor, Foldable, Traversable)
|
||||||
|
|
||||||
|
instance Applicative Join where
|
||||||
|
pure a = Join (a, a)
|
||||||
|
Join (f, g) <*> Join (a, b) = Join (f a, g b)
|
Loading…
Reference in New Issue
Block a user