Make codec build on GHC 7.6.3.

Author: chpatrick

Control/Lens/Codec.hs

@@ -13,6 +13,6 @@ import Data.Codec
 lensCodec :: (MonadReader s fr, MonadState s fw)
   => (forall f. (a -> f a) -> s -> f s) -> Codec fr fw a
 lensCodec l = Codec
-  { parse = getConst <$> asks (l Const)
+  { parse = liftM getConst $ asks (l Const)
   , produce = \x -> modify (runIdentity . l (const $ Identity x))
-  }
+  }

Data/Binary/Bits/Codec.hs

@@ -6,6 +6,7 @@ module Data.Binary.Bits.Codec
   )
 where
 
+import Control.Applicative
 import qualified Data.Binary.Bits.Get as G
 import Data.Binary.Bits.Put
 import qualified Data.Binary.Codec as B
@@ -33,4 +34,4 @@ word64be = Codec <$> G.word64be <*> putWord64be
 -- | Convert a `BitCodec` into a `B.BinaryCodec`.
 toBytes :: BitCodec a -> B.BinaryCodec a
 toBytes (Codec r w)
-  = Codec (G.runBitGet $ G.block r) (runBitPut . w)
+  = Codec (G.runBitGet $ G.block r) (runBitPut . w)

Data/Codec/Codec.hs

@@ -13,7 +13,7 @@ module Data.Codec.Codec
   )
 where
 
-import Control.Applicative (Alternative(..), optional, Const(..))
+import Control.Applicative
 import Control.Monad ((>=>))
 import Control.Monad.Reader (ReaderT(..))
 import Data.Codec.Field

Data/Codec/Field.hs

@@ -9,6 +9,7 @@ module Data.Codec.Field
   , having, build
   ) where
 
+import Control.Applicative
 import Control.Category
 import Prelude hiding ((.), id)
 

Data/Codec/TH.hs

@@ -1,7 +1,8 @@
 module Data.Codec.TH (genFields) where
 
+import Control.Applicative
 import Data.Foldable (foldl')
-import Data.Traversable (for)
+import Data.Traversable (for, traverse)
 import Language.Haskell.TH as TH
 import Language.Haskell.TH.Syntax as TH
 
@@ -85,4 +86,4 @@ genFields n = reify n >>= \case
       let recType = foldl' (\t v -> AppT t (VarT v)) (ConT n) recVars
           cc = length cs
       concat <$> traverse (genCon recVars recType cc) cs
-  _ -> fail "Unsupported record type."
+  _ -> fail "Unsupported record type."

Data/Codec/Tuple.hs

@@ -20,13 +20,13 @@ instance Field2 ( a, b ) b (a1 -> b -> ( a, b )) (a1 -> X -> ( a, b )) where
   f_2 = Field (\x c a1 _ -> c a1 x) snd
 
 c_Left :: Con (Either a b) (a -> Either a b)
-c_Left = Con Left isLeft
+c_Left = Con Left (\case { Left _ -> True; _ -> False })
 
 c_Right :: Con (Either a b) (b -> Either a b)
-c_Right = Con Right isRight
+c_Right = Con Right (\case { Right _ -> True; _ -> False })
 
 f_left :: Field (Either a b) a (a -> Either a b) (X -> Either a b)
 f_left = Field (\x c _ -> c x) (\(Left l) -> l)
 
 f_right :: Field (Either a b) b (b -> Either a b) (X -> Either a b)
-f_right = Field (\x c _ -> c x) (\(Right l) -> l)
+f_right = Field (\x c _ -> c x) (\(Right l) -> l)

codec.cabal

@@ -100,11 +100,11 @@ library
                        FunctionalDependencies,
                        DeriveFunctor,
                        ScopedTypeVariables
-  build-depends:       base >=4.8,
+  build-depends:       base >=4.6,
                        bytestring >=0.10,
                        binary >=0.7,
                        binary-bits >=0.5,
-                       template-haskell >=2.10,
+                       template-haskell >=2.8,
                        mtl >= 2.2.1,
                        aeson >= 0.8.0.2,
                        text >= 1.2.0.4,