regions-monadstf 0.1.0.1 → 0.2

raw patch · 2 files changed

+19/−19 lines, 2 filesdep ~base-unicode-symbolsdep ~regionsPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: base-unicode-symbols, regions

API changes (from Hackage documentation)

Files

• Control/Monad/Trans/Region/Instances/MonadsTF.hs +16/−16
• regions-monadstf.cabal +3/−3

@@ -27,43 +27,43 @@ import Control.Monad.Trans ( lift )  -- from unicode-symbols:-import Data.Function.Unicode ( (∘) )+import Prelude.Unicode ( (∘) )  -- from regions:-import Control.Monad.Trans.Region.Internal ( RegionT-                                           , liftCatch-                                           , mapRegionT-                                           -- TODO: , liftCallCC-                                           )+import Control.Monad.Trans.Region ( RegionT+                                  , liftCatch+                                  , mapRegionT+                                  -- TODO: , liftCallCC+                                  )  -- TODO:--- instance Monad pr ⇒ MonadCont (RegionT resource s pr) where+-- instance Monad pr ⇒ MonadCont (RegionT s pr) where --     callCC = liftCallCC callCC -instance MonadError pr ⇒ MonadError (RegionT resource s pr) where+instance MonadError pr ⇒ MonadError (RegionT s pr) where -    type ErrorType (RegionT resource s pr) = ErrorType pr+    type ErrorType (RegionT s pr) = ErrorType pr      throwError = lift ∘ throwError     catchError = liftCatch catchError -instance MonadRWS pr ⇒ MonadRWS (RegionT resource s pr)+instance MonadRWS pr ⇒ MonadRWS (RegionT s pr) -instance MonadReader pr ⇒ MonadReader (RegionT resource s pr) where-    type EnvType (RegionT resource s pr) = EnvType pr+instance MonadReader pr ⇒ MonadReader (RegionT s pr) where+    type EnvType (RegionT s pr) = EnvType pr      ask   = lift ask     local = mapRegionT ∘ local -instance MonadWriter pr ⇒ MonadWriter (RegionT resource s pr) where-    type WriterType (RegionT resource s pr) = WriterType pr+instance MonadWriter pr ⇒ MonadWriter (RegionT s pr) where+    type WriterType (RegionT s pr) = WriterType pr      tell   = lift ∘ tell     listen = mapRegionT listen     pass   = mapRegionT pass -instance MonadState pr ⇒ MonadState (RegionT resource s pr) where-    type StateType (RegionT resource s pr) = StateType pr+instance MonadState pr ⇒ MonadState (RegionT s pr) where+    type StateType (RegionT s pr) = StateType pr      get = lift get     put = lift ∘ put

@@ -1,5 +1,5 @@ name:          regions-monadstf-version:       0.1.0.1+version:       0.2 cabal-version: >=1.6 build-type:    Simple license:       BSD3@@ -17,9 +17,9 @@  Library   GHC-Options: -O2 -Wall -fno-warn-orphans-  build-depends: base-unicode-symbols >= 0.1.1 && < 0.2+  build-depends: base-unicode-symbols == 0.1.*                , transformers         >= 0.1.4 && < 0.2-               , regions              == 0.1.*+               , regions              == 0.2.*                , monads-tf            == 0.0.*   exposed-modules: Control.Monad.Trans.Region.Instances.MonadsTF