monad-chronicle 1.0.0.1 → 1.0.1
raw patch · 3 files changed
+24/−12 lines, 3 filesdep ~basedep ~mtldep ~semigroupoidsPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: base, mtl, semigroupoids, these, transformers
API changes (from Hackage documentation)
Files
- CHANGELOG.md +4/−0
- monad-chronicle.cabal +12/−10
- src/Control/Monad/Chronicle/Class.hs +8/−2
CHANGELOG.md view
@@ -1,3 +1,7 @@+# 1.0.1++Support `transformers-0.6` and `mtl-2.3`+ # 1 Split out of `these` package.
monad-chronicle.cabal view
@@ -1,8 +1,8 @@ cabal-version: >=1.10 name: monad-chronicle-version: 1.0.0.1+version: 1.0.1 synopsis: These as a transformer, ChronicleT-homepage: https://github.com/isomorphism/these+homepage: https://github.com/haskellari/these license: BSD3 license-file: LICENSE author: C. McCann, Oleg Grenrus@@ -24,13 +24,15 @@ || ==8.2.2 || ==8.4.4 || ==8.6.5- || ==8.8.3- || ==8.10.1+ || ==8.8.4+ || ==8.10.4+ || ==9.0.1+ || ==9.2.1 , GHCJS ==8.4 source-repository head type: git- location: https://github.com/isomorphism/these.git+ location: https://github.com/haskellari/these.git flag semigroupoids description: Build with semigroupoids dependency@@ -52,19 +54,19 @@ -- ghc boot libs build-depends:- base >=4.5.1.0 && <4.15- , mtl >=2.1.3 && <2.3- , transformers >=0.3.0.0 && <0.6+ base >=4.5.1.0 && <4.17+ , mtl >=2.1.3 && <2.4+ , transformers >=0.3.0.0 && <0.7 build-depends: these >=1 && <1.2 -- other dependencies build-depends: data-default-class >=0.1.2.0 && <0.2- , transformers-compat >=0.6.5 && <0.7+ , transformers-compat >=0.6.5 && <0.8 if !impl(ghc >=8.0)- build-depends: semigroups >=0.18.5 && <0.20+ build-depends: semigroups >=0.18.5 && <0.21 -- Ensure Data.Functor.Classes is always available if impl(ghc >=7.10)
src/Control/Monad/Chronicle/Class.hs view
@@ -1,3 +1,4 @@+{-# LANGUAGE CPP #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE FunctionalDependencies #-} {-# LANGUAGE Trustworthy #-}@@ -23,18 +24,21 @@ import Data.These import Data.These.Combinators -import Control.Monad.Trans.Error as Error import Control.Monad.Trans.Except as Except import Control.Monad.Trans.Identity as Identity import Control.Monad.Trans.Maybe as Maybe-import Control.Monad.Trans.Reader as Reader import Control.Monad.Trans.RWS.Lazy as LazyRWS import Control.Monad.Trans.RWS.Strict as StrictRWS+import Control.Monad.Trans.Reader as Reader import Control.Monad.Trans.State.Lazy as LazyState import Control.Monad.Trans.State.Strict as StrictState import Control.Monad.Trans.Writer.Lazy as LazyWriter import Control.Monad.Trans.Writer.Strict as StrictWriter +#if !(MIN_VERSION_transformers(0,6,0))+import Control.Monad.Trans.Error as Error+#endif+ import Control.Monad (liftM) import Control.Monad.Trans.Class (lift) import Data.Default.Class@@ -132,6 +136,7 @@ retcon f (MaybeT m) = MaybeT $ retcon f m chronicle = lift . chronicle +#if !(MIN_VERSION_transformers(0,6,0)) instance (Error e, MonadChronicle c m) => MonadChronicle c (ErrorT e m) where dictate = lift . dictate confess = lift . confess@@ -140,6 +145,7 @@ condemn (ErrorT m) = ErrorT $ condemn m retcon f (ErrorT m) = ErrorT $ retcon f m chronicle = lift . chronicle+#endif instance (MonadChronicle c m) => MonadChronicle c (ExceptT e m) where dictate = lift . dictate