kan-extensions 3.1.1 → 3.1.2

raw patch · 8 files changed

+50/−13 lines, 8 filesdep ~adjunctionsdep ~comonaddep ~comonad-transformersPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: adjunctions, comonad, comonad-transformers, comonads-fd, contravariant, distributive, free, keys, representable-functors, semigroupoids, speculation

API changes (from Hackage documentation)

Files

CHANGELOG.markdown +4/−0
kan-extensions.cabal +13/−13
src/Control/Comonad/Density.hs +4/−0
src/Control/Monad/Co.hs +9/−0
src/Control/Monad/Codensity.hs +10/−0
src/Data/Functor/KanExtension.hs +4/−0
src/Data/Functor/Yoneda.hs +3/−0
src/Data/Functor/Yoneda/Contravariant.hs +3/−0

CHANGELOG.markdown view

@@ -1,3 +1,7 @@+3.1.2+-----+* Marked modules `Trustworthy` as required for `SafeHaskell` in the presence of these extensions.+ 3.1.1 ----- * Refactored build system

kan-extensions.cabal view

@@ -1,6 +1,6 @@ name:          kan-extensions category:      Data Structures, Monads, Comonads, Functors-version:       3.1.1+version:       3.1.2 license:       BSD3 cabal-version: >= 1.6 license-file:  LICENSE@@ -40,21 +40,21 @@     TypeFamilies    build-depends:-    adjunctions            >= 3.0.0.1,+    adjunctions            >= 3.0.0.1 && < 4,     array                  >= 0.3.0.2 && < 0.5,-    base                   == 4.*,-    comonad                >= 3,-    comonad-transformers   >= 3,-    comonads-fd            >= 3,+    base                   >= 4       && < 5,+    comonad                >= 3       && < 4,+    comonad-transformers   >= 3       && < 4,+    comonads-fd            >= 3       && < 4,     containers             >= 0.4     && < 0.6,-    contravariant          >= 0.2.0.1,-    distributive           >= 0.2.2,-    free                   >= 3,-    keys                   >= 3,+    contravariant          >= 0.2.0.1 && < 1,+    distributive           >= 0.2.2   && < 1,+    free                   >= 3       && < 4,+    keys                   >= 3       && < 4,     mtl                    >= 2.0.1   && < 2.2,-    representable-functors >= 3.0.0.1,-    semigroupoids          >= 3,-    speculation            >= 1.4.1,+    representable-functors >= 3.0.0.1 && < 4,+    semigroupoids          >= 3       && < 4,+    speculation            >= 1.4.1   && < 2,     transformers           >= 0.2     && < 0.4    exposed-modules:

src/Control/Comonad/Density.hs view

@@ -1,4 +1,8 @@ {-# LANGUAGE MultiParamTypeClasses, GADTs #-}+{-# LANGUAGE CPP #-}+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702+{-# LANGUAGE Trustworthy #-}+#endif ----------------------------------------------------------------------------- -- | -- Module      :  Control.Comonad.Density

src/Control/Monad/Co.hs view

@@ -3,6 +3,13 @@ {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-}+{-# LANGUAGE CPP #-}+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702+{-# LANGUAGE Trustworthy #-}+#endif+#ifndef MIN_VERSION_speculation+#define MIN_VERSION_speculation(x,y,z) 1+#endif ----------------------------------------------------------------------------- -- | -- Module      :  Control.Monad.Co@@ -50,7 +57,9 @@  instance Comonad w => MonadSpec (CoT w m) where   specByM f g a = CoT (\k -> specBy f g (extract k) a)+#if !(MIN_VERSION_speculation(1,5,0))   specByM' f g a = CoT (\k -> specBy' f g (extract k) a)+#endif  type Co w = CoT w Identity

src/Control/Monad/Codensity.hs view

@@ -1,4 +1,12 @@ {-# LANGUAGE Rank2Types, FlexibleInstances, MultiParamTypeClasses, UndecidableInstances #-}+{-# LANGUAGE CPP #-}+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702+{-# LANGUAGE Trustworthy #-}+#endif++#ifndef MIN_VERSION_speculation+#define MIN_VERSION_speculation(x,y,z) 1+#endif ----------------------------------------------------------------------------- -- | -- Module      :  Control.Monad.Codensity@@ -36,7 +44,9 @@  instance MonadSpec (Codensity m) where   specByM f g a = Codensity $ \k -> specBy f g k a+#if !(MIN_VERSION_speculation(1,5,0))   specByM' f g a = Codensity $ \k -> specBy' f g k a+#endif  instance Functor (Codensity k) where   fmap f (Codensity m) = Codensity (\k -> m (k . f))

src/Data/Functor/KanExtension.hs view

@@ -1,4 +1,8 @@ {-# LANGUAGE Rank2Types, GADTs #-}+{-# LANGUAGE CPP #-}+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702+{-# LANGUAGE Trustworthy #-}+#endif ------------------------------------------------------------------------------------------- -- | -- Module	: Data.Functor.KanExtension

src/Data/Functor/Yoneda.hs view

@@ -1,4 +1,7 @@ {-# LANGUAGE TypeFamilies, CPP, Rank2Types, FlexibleContexts, MultiParamTypeClasses, UndecidableInstances, FlexibleInstances #-}+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702+{-# LANGUAGE Trustworthy #-}+#endif ----------------------------------------------------------------------------- -- | -- Module      :  Data.Functor.Yoneda

src/Data/Functor/Yoneda/Contravariant.hs view

@@ -1,4 +1,7 @@ {-# LANGUAGE CPP, GADTs, FlexibleContexts, MultiParamTypeClasses, UndecidableInstances, TypeFamilies #-}+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702+{-# LANGUAGE Trustworthy #-}+#endif ----------------------------------------------------------------------------- -- | -- Module      :  Data.Functor.Yoneda.Contravariant