kan-extensions 5.2.7 → 5.2.8
raw patch · 3 files changed
+15/−7 lines, 3 filesdep +exceptionsdep −arraydep −containersdep −tagged
Dependencies added: exceptions
Dependencies removed: array, containers, tagged
Files
- CHANGELOG.markdown +5/−0
- kan-extensions.cabal +6/−7
- src/Control/Monad/Codensity.hs +4/−0
CHANGELOG.markdown view
@@ -1,3 +1,8 @@+5.2.8 [2026.01.10]+------------------+* Add `MonadThrow` instance for `Codensity`.+* Remove unused `array`, `containers`, and `tagged` dependencies.+ 5.2.7 [2025.06.17] ------------------ * Make the implementations of `(.>)` and `(*>)` for `Data.Functor.Yoneda` more
kan-extensions.cabal view
@@ -1,6 +1,6 @@ name: kan-extensions category: Data Structures, Monads, Comonads, Functors-version: 5.2.7+version: 5.2.8 license: BSD3 cabal-version: >= 1.10 license-file: LICENSE@@ -20,10 +20,11 @@ , GHC == 9.0.2 , GHC == 9.2.8 , GHC == 9.4.8- , GHC == 9.6.6+ , GHC == 9.6.7 , GHC == 9.8.4- , GHC == 9.10.1- , GHC == 9.12.1+ , GHC == 9.10.3+ , GHC == 9.12.2+ , GHC == 9.14.1 extra-source-files: .gitignore@@ -50,18 +51,16 @@ build-depends: adjunctions >= 4.2 && < 5,- array >= 0.3.0.2 && < 0.6, base >= 4.11 && < 5, comonad >= 4 && < 6,- containers >= 0.4 && < 0.9, contravariant >= 1 && < 2, distributive >= 0.2.2 && < 1,+ exceptions >= 0.10 && < 0.11, invariant >= 0.1 && < 1, free >= 4 && < 6, mtl >= 2.2.1 && < 2.4, profunctors >= 5 && < 6, semigroupoids >= 5.2.2 && < 7,- tagged >= 0.7.2 && < 1, transformers >= 0.5 && < 0.7 exposed-modules:
src/Control/Monad/Codensity.hs view
@@ -38,6 +38,7 @@ import Control.Applicative import Control.Monad (MonadPlus(..))+import Control.Monad.Catch (MonadThrow(..)) import qualified Control.Monad.Fail as Fail import Control.Monad.Free import Control.Monad.IO.Class@@ -141,6 +142,9 @@ instance (v ~~ v', Alternative v') => MonadPlus (Codensity (v :: k -> TYPE rep))++instance MonadThrow m => MonadThrow (Codensity m) where+ throwM = lift . throwM -- | -- This serves as the *left*-inverse (retraction) of 'lift'.