ref-fd 0.5 → 0.5.0.1
raw patch · 2 files changed
+17/−5 lines, 2 filesdep ~transformers
Dependency ranges changed: transformers
Files
- Control/Monad/Ref.hs +12/−0
- ref-fd.cabal +5/−5
Control/Monad/Ref.hs view
@@ -27,12 +27,16 @@ writeTVar) import Control.Monad.ST (ST) import Control.Monad.Trans.Cont (ContT)+#if !MIN_VERSION_transformers(0,6,0) import Control.Monad.Trans.Error (ErrorT, Error)+#endif /* !MIN_VERSION_transformers(0,6,0) */ #if MIN_VERSION_transformers(0,4,0) import Control.Monad.Trans.Except (ExceptT) #endif /* MIN_VERSION_transformers(0,4,0) */ import Control.Monad.Trans.Identity (IdentityT)+#if !MIN_VERSION_transformers(0,6,0) import Control.Monad.Trans.List (ListT)+#endif /* !MIN_VERSION_transformers(0,6,0) */ import Control.Monad.Trans.Maybe (MaybeT) import Control.Monad.Trans.Reader (ReaderT) import Control.Monad.Trans.State.Lazy as Lazy (StateT)@@ -120,12 +124,14 @@ modifyRef r f = lift $ modifyRef r f modifyRef' r f = lift $ modifyRef' r f +#if !MIN_VERSION_transformers(0,6,0) instance (Error e, MonadRef r m) => MonadRef r (ErrorT e m) where newRef r = lift $ newRef r readRef r = lift $ readRef r writeRef r x = lift $ writeRef r x modifyRef r f = lift $ modifyRef r f modifyRef' r f = lift $ modifyRef' r f+#endif /* !MIN_VERSION_transformers(0,6,0) */ #if MIN_VERSION_transformers(0,4,0) instance (MonadRef r m) => MonadRef r (ExceptT e m) where@@ -143,12 +149,14 @@ modifyRef r f = lift $ modifyRef r f modifyRef' r f = lift $ modifyRef' r f +#if !MIN_VERSION_transformers(0,6,0) instance MonadRef r m => MonadRef r (ListT m) where newRef r = lift $ newRef r readRef r = lift $ readRef r writeRef r x = lift $ writeRef r x modifyRef r f = lift $ modifyRef r f modifyRef' r f = lift $ modifyRef' r f+#endif /* !MIN_VERSION_transformers(0,6,0) */ instance MonadRef r m => MonadRef r (MaybeT m) where newRef r = lift $ newRef r@@ -222,17 +230,21 @@ atomicModifyRef r f = lift $ atomicModifyRef r f atomicModifyRef' r f = lift $ atomicModifyRef' r f +#if !MIN_VERSION_transformers(0,6,0) instance (Error e, MonadAtomicRef r m) => MonadAtomicRef r (ErrorT e m) where atomicModifyRef r f = lift $ atomicModifyRef r f atomicModifyRef' r f = lift $ atomicModifyRef' r f+#endif /* !MIN_VERSION_transformers(0,6,0) */ instance MonadAtomicRef r m => MonadAtomicRef r (IdentityT m) where atomicModifyRef r f = lift $ atomicModifyRef r f atomicModifyRef' r f = lift $ atomicModifyRef' r f +#if !MIN_VERSION_transformers(0,6,0) instance MonadAtomicRef r m => MonadAtomicRef r (ListT m) where atomicModifyRef r f = lift $ atomicModifyRef r f atomicModifyRef' r f = lift $ atomicModifyRef' r f+#endif /* !MIN_VERSION_transformers(0,6,0) */ instance MonadAtomicRef r m => MonadAtomicRef r (MaybeT m) where atomicModifyRef r f = lift $ atomicModifyRef r f
ref-fd.cabal view
@@ -1,5 +1,5 @@ name: ref-fd-version: 0.5+version: 0.5.0.1 cabal-version: >= 1.10 license: BSD3 license-file: LICENSE@@ -15,9 +15,9 @@ description: Contains a 'MonadRef' type class that abstracts over the details of manipulating references, allowing one to write code that can operate in either the ST monad or the IO monad.-tested-with: GHC==7.4.2, GHC==7.6.3, GHC==7.8.3, GHC==7.10.3, GHC==8.0.2,- GHC==8.2.2, GHC==8.4.3, GHC==8.6.5, GHC==8.8.4, GHC==8.10.4,- GHC==9.0.1+tested-with: GHC==7.4.2, GHC==7.6.3, GHC==7.8.4, GHC==7.10.3, GHC==8.0.2,+ GHC==8.2.2, GHC==8.4.3, GHC==8.6.5, GHC==8.8.4, GHC==8.10.7,+ GHC==9.0.2, GHC==9.2.2, GHC==9.4.4, GHC==9.6.1 build-type: Simple @@ -30,7 +30,7 @@ build-depends: base >= 4 && < 5, stm >= 2.1 && < 2.6,- transformers >= 0.2 && < 0.6+ transformers >= 0.2 && < 0.7 source-repository head type: git