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 +4/−0
- kan-extensions.cabal +1/−1
- src/Control/Monad/Codensity.hs +1/−1
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 #-}