recursion-schemes 2.0 → 2.0.1
raw patch · 2 files changed
+14/−28 lines, 2 filesdep ~comonad-transformersdep ~freedep ~transformers
Dependency ranges changed: comonad-transformers, free, transformers
Files
- Data/Functor/Foldable.hs +4/−0
- recursion-schemes.cabal +10/−28
Data/Functor/Foldable.hs view
@@ -269,7 +269,11 @@ asArgsTypeOf = const fixTyCon :: TyCon+#if !MIN_VERSION_base(4,4,0) fixTyCon = mkTyCon "Data.Functor.Foldable.Fix"+#else+fixTyCon = mkTyCon3 "recursion-schemes" "Data.Functor.Foldable" "Fix"+#endif {-# NOINLINE fixTyCon #-} instance (Typeable1 f, Data (f (Fix f))) => Data (Fix f) where
recursion-schemes.cabal view
@@ -1,6 +1,6 @@ name: recursion-schemes category: Control, Recursion-version: 2.0+version: 2.0.1 license: BSD3 cabal-version: >= 1.6 license-file: LICENSE@@ -12,31 +12,13 @@ synopsis: Generalized bananas, lenses and barbed wire description: Generalized bananas, lenses and barbed wire- . - /Changes since 0.4.2/: .- * Added futumorphisms- .- /Changes since 0.2.2/:- .- * Split distHisto from distGHisto- .- * Added zygohistomorphic prepromorphisms- .- /Changes since 0.2.1/:- .- * Added (generalized) prepro- and postpro- morphisms- .- /Changes since 0.2/:- .- * Added Elgot (co)algebras- .- /Changes since 0.1/:+ /Changes since 2.0/: .- * Removed dependency on Foldable from Mendler-style recursion schemes+ * Compatibility with transformers 0.3 .- * Added Lambek's Lemma- + * Resolved deprecation warnings caused by changes to Data.Typeable+ build-type: Simple source-repository head@@ -54,14 +36,14 @@ StandaloneDeriving UndecidableInstances - build-depends: + build-depends: base >= 4 && < 5,- transformers >= 0.2 && < 0.3,+ transformers >= 0.2 && < 0.4, comonad >= 1.1.1 && < 1.2,- comonad-transformers >= 2.0 && < 2.1,- free >= 2.0 && < 2.1+ comonad-transformers >= 2.0 && < 2.2,+ free >= 2.0 && < 2.2 exposed-modules: Data.Functor.Foldable - ghc-options: -Wall + ghc-options: -Wall