packages feed

dep-t-advice 0.4.6.0 → 0.4.6.1

raw patch · 3 files changed

+7/−3 lines, 3 filesdep ~doctestPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: doctest

API changes (from Hackage documentation)

- Control.Monad.Dep.Advice: adviseRecord :: forall ca cr e_ m advised. AdvisedRecord ca e_ m cr advised => (forall r f. (cr r, Foldable f) => f (TypeRep, String) -> Advice ca e_ m r) -> advised (DepT e_ m) -> advised (DepT e_ m)
+ Control.Monad.Dep.Advice: adviseRecord :: forall ca cr e_ m advised. AdvisedRecord ca e_ m cr advised => (forall r. cr r => [(TypeRep, String)] -> Advice ca e_ m r) -> advised (DepT e_ m) -> advised (DepT e_ m)

Files

CHANGELOG.md view
@@ -1,5 +1,9 @@ # Revision history for dep-t-advice
 
+## 0.4.6.1 
+
+* Modified a signature to make it compile with GHC 9.0.1.
+
 ## 0.4.6.0 
 
 * `adviseRecord` and `deceiveRecord` now work with records having fields wrapped in `Identity`.
dep-t-advice.cabal view
@@ -1,7 +1,7 @@ cabal-version:       3.0
 
 name:                dep-t-advice
-version:             0.4.6.0
+version:             0.4.6.1
 synopsis:            Giving good advice to functions in a DepT environment.
 description:         Companion to the dep-t package. Easily add behaviour to functions living in a DepT environment, 
                      whatever the number of arguments they might have.
@@ -71,7 +71,7 @@   hs-source-dirs:      test
   main-is:             doctests.hs
   build-depends:       
-                       doctest            ^>= 0.17 
+                       doctest            ^>= 0.18 
                        
  -- https://cabal.readthedocs.io/en/3.4/cabal-package.html#benchmarks
 benchmark benchmark
lib/Control/Monad/Dep/Advice.hs view
@@ -864,7 +864,7 @@   forall ca cr e_ m advised.
   AdvisedRecord ca e_ m cr advised =>
   -- | The advice to apply.
-  (forall r f. (cr r, Foldable f) => f (TypeRep, String) -> Advice ca e_ m r) ->
+  (forall r . cr r => [(TypeRep, String)] -> Advice ca e_ m r) ->
   -- | The record to advise recursively.
   advised (DepT e_ m) ->
   -- | The advised record.