packages feed

kan-extensions 3.5 → 3.5.1

raw patch · 3 files changed

+6/−2 lines, 3 filesdep ~basePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base

API changes (from Hackage documentation)

- Control.Monad.Codensity: composedRepToCodensity :: (Representable u, Functor h) => u (Key u, a) -> Codensity u a
+ Control.Monad.Codensity: composedRepToCodensity :: Representable u => u (Key u, a) -> Codensity u a

Files

CHANGELOG.markdown view
@@ -1,3 +1,7 @@+3.5.1+-----+* Fixed a bug in the signature for `composedRepToCodensity`.+ 3.5 --- * More combinators for `Rift`/`Lift`.
kan-extensions.cabal view
@@ -1,6 +1,6 @@ name:          kan-extensions category:      Data Structures, Monads, Comonads, Functors-version:       3.5+version:       3.5.1 license:       BSD3 cabal-version: >= 1.6 license-file:  LICENSE
src/Control/Monad/Codensity.hs view
@@ -182,7 +182,7 @@ -- @ -- 'composedRepToCodensity' = 'ranToCodensity' . 'composedRepToRan' -- @-composedRepToCodensity :: (Representable u, Functor h) => u (Key u, a) -> Codensity u a+composedRepToCodensity :: Representable u => u (Key u, a) -> Codensity u a composedRepToCodensity hfa = Codensity $ \k -> fmap (\(e, a) -> index (k a) e) hfa {-# INLINE composedRepToCodensity #-}