czipwith 1.0.1.1 → 1.0.1.2
raw patch · 3 files changed
+10/−5 lines, 3 filesdep ~basedep ~template-haskellPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base, template-haskell
API changes (from Hackage documentation)
- Data.CZipWith: class CZipWith (k :: (* -> *) -> *)
+ Data.CZipWith: class CZipWith (k :: (Type -> Type) -> Type)
Files
- ChangeLog.md +4/−0
- czipwith.cabal +3/−3
- src/Data/CZipWith.hs +3/−2
ChangeLog.md view
@@ -1,5 +1,9 @@ # Revision history for czipwith +## 1.0.1.2 -- June 2019++* Maintenance release for ghc-8.8+ ## 1.0.1.1 -- October 2018 * Maintenance release for ghc-8.6
czipwith.cabal view
@@ -1,5 +1,5 @@ name: czipwith-version: 1.0.1.1+version: 1.0.1.2 synopsis: CZipWith class and deriving via TH description: A typeclass similar to Data.Distributive, but for data parameterised with a type constructor. The name@@ -27,8 +27,8 @@ -- other-modules: -- other-extensions: build-depends:- { base >=4.9 && <4.13- , template-haskell >=2.9 && <2.15+ { base >=4.9 && <4.14+ , template-haskell >=2.9 && <2.16 } hs-source-dirs: src default-language: Haskell2010
src/Data/CZipWith.hs view
@@ -79,9 +79,10 @@ +import Data.Kind (Type) import Data.Functor.Compose import Language.Haskell.TH.Lib-import Language.Haskell.TH.Syntax+import Language.Haskell.TH.Syntax hiding (Type) -- | The "lifted Apply" class@@ -131,7 +132,7 @@ -- -- (Pair being a trivial fixed-size vector example) -- data CStream a f = CStream (f a) (CStream a f) -- corresponding to an infinite stream -- @-class CZipWith (k :: (* -> *) -> *) where+class CZipWith (k :: (Type -> Type) -> Type) where -- | zipWith on constructors instead of values. cZipWith :: (forall a . g a -> h a -> i a) -> k g -> k h -> k i