rank2classes 1.4.3 → 1.4.4
raw patch · 3 files changed
+11/−5 lines, 3 filesdep ~template-haskell
Dependency ranges changed: template-haskell
Files
- CHANGELOG.md +6/−0
- rank2classes.cabal +3/−3
- src/Rank2/TH.hs +2/−2
CHANGELOG.md view
@@ -1,3 +1,9 @@+Version 1.4.4+---------------+* Tested with GHC 9.2.1, incremented the upper `template-haskell` dependency bound+* Generalized the TH generation to handle PolyRec types+* Incremented the lower bound of rank2classes' `base` dependency, thanks to phadej+ Version 1.4.3 --------------- * Fixed links to standard rank-1 classes in Haddock documentation
rank2classes.cabal view
@@ -1,5 +1,5 @@ name: rank2classes-version: 1.4.3+version: 1.4.4 synopsis: standard type constructor class hierarchy, only with methods of rank 2 types description: A mirror image of the standard type constructor class hierarchy rooted in 'Functor', except with methods of rank 2@@ -38,12 +38,12 @@ default-language: Haskell2010 -- other-modules: ghc-options: -Wall- build-depends: base >=4.9 && <5,+ build-depends: base >=4.10 && <5, transformers >= 0.5 && < 0.7, distributive < 0.7 if flag(use-template-haskell)- build-depends: template-haskell >= 2.11 && < 2.18+ build-depends: template-haskell >= 2.11 && < 2.19 exposed-modules: Rank2.TH test-suite doctests
src/Rank2/TH.hs view
@@ -100,12 +100,12 @@ _ -> fail "deriveApply: tyCon may not be a type synonym." #if MIN_VERSION_template_haskell(2,17,0)- let (KindedTV tyVar () (AppT (AppT ArrowT StarT) StarT)) = last tyVars+ let (KindedTV tyVar () (AppT (AppT ArrowT _) StarT)) = last tyVars instanceType = conT cls `appT` foldl apply (conT tyConName) (init tyVars) apply t (PlainTV name _) = appT t (varT name) apply t (KindedTV name _ _) = appT t (varT name) #else- let (KindedTV tyVar (AppT (AppT ArrowT StarT) StarT)) = last tyVars+ let (KindedTV tyVar (AppT (AppT ArrowT _) StarT)) = last tyVars instanceType = conT cls `appT` foldl apply (conT tyConName) (init tyVars) apply t (PlainTV name) = appT t (varT name) apply t (KindedTV name _) = appT t (varT name)