zipWith, zip, unzip, concat, reverse, iterate )
import qualified Data.Foldable as DF (Foldable, foldr)
import qualified Data.Traversable as DT (Traversable(traverse))
-import Language.Haskell.TH
+import Language.Haskell.TH hiding (Pred)
import Language.Haskell.TH.Syntax (Lift(..))
newtype (NaturalT s) => TFVec s a = TFVec {unTFVec :: [a]}
ScopedTypeVariables, TemplateHaskell, TypeOperators,
FlexibleInstances, TypeFamilies, UndecidableInstances,
DeriveDataTypeable, RankNTypes
- build-depends: base >= 3.0, template-haskell >= 2.0, tfp > 0.3.2
+ build-depends: base >= 4.0, template-haskell >= 2.4, tfp > 0.3.2, syb
exposed-modules: Data.Param.TFVec