add applicative instance required for compiling on ghc 7.10

mokus0 · Apr 23, 2015 · 2ceb726 · 2ceb726
1 parent 3d6902e
commit 2ceb726
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/dependent-sum-template.cabal b/dependent-sum-template.cabal
@@ -1,5 +1,5 @@
 name:                   dependent-sum-template
-version:                0.0.0.2
+version:                0.0.0.3
 stability:              experimental
 
 cabal-version:          >= 1.6

diff --git a/src/Data/GADT/Compare/TH.hs b/src/Data/GADT/Compare/TH.hs
@@ -93,6 +93,9 @@ instance Monad (GComparing a b) where
     return = GComparing . Right
     GComparing (Left  x) >>= f = GComparing (Left x)
     GComparing (Right x) >>= f = f x
+instance Applicative (GComparing a b) where
+    pure = return
+    (<*>) = ap 
 
 geq' :: GCompare t => t a -> t b -> GComparing x y (a := b)
 geq' x y = GComparing (case gcompare x y of