packages feed

resourcet 1.1.5 → 1.1.6

raw patch · 6 files changed

+18/−32 lines, 6 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Control.Monad.Trans.Resource.Internal: instance (Error e, MonadResource m) => MonadResource (ErrorT e m)
- Control.Monad.Trans.Resource.Internal: instance (MonadThrow m, MonadBase IO m, MonadIO m, Applicative m) => MonadResource (ResourceT m)
- Control.Monad.Trans.Resource.Internal: instance (Monoid w, MonadResource m) => MonadResource (RWST r w s m)
- Control.Monad.Trans.Resource.Internal: instance (Monoid w, MonadResource m) => MonadResource (WriterT w m)
- Control.Monad.Trans.Resource.Internal: instance Alternative m => Alternative (ResourceT m)
- Control.Monad.Trans.Resource.Internal: instance Applicative m => Applicative (ResourceT m)
- Control.Monad.Trans.Resource.Internal: instance Exception InvalidAccess
- Control.Monad.Trans.Resource.Internal: instance Functor m => Functor (ResourceT m)
- Control.Monad.Trans.Resource.Internal: instance MFunctor ResourceT
- Control.Monad.Trans.Resource.Internal: instance MMonad ResourceT
- Control.Monad.Trans.Resource.Internal: instance Monad m => Monad (ResourceT m)
- Control.Monad.Trans.Resource.Internal: instance MonadBase b m => MonadBase b (ResourceT m)
- Control.Monad.Trans.Resource.Internal: instance MonadBaseControl b m => MonadBaseControl b (ResourceT m)
- Control.Monad.Trans.Resource.Internal: instance MonadCatch m => MonadCatch (ResourceT m)
- Control.Monad.Trans.Resource.Internal: instance MonadCont m => MonadCont (ResourceT m)
- Control.Monad.Trans.Resource.Internal: instance MonadError e m => MonadError e (ResourceT m)
- Control.Monad.Trans.Resource.Internal: instance MonadIO m => MonadIO (ResourceT m)
- Control.Monad.Trans.Resource.Internal: instance MonadMask m => MonadMask (ResourceT m)
- Control.Monad.Trans.Resource.Internal: instance MonadPlus m => MonadPlus (ResourceT m)
- Control.Monad.Trans.Resource.Internal: instance MonadRWS r w s m => MonadRWS r w s (ResourceT m)
- Control.Monad.Trans.Resource.Internal: instance MonadReader r m => MonadReader r (ResourceT m)
- Control.Monad.Trans.Resource.Internal: instance MonadResource m => MonadResource (ContT r m)
- Control.Monad.Trans.Resource.Internal: instance MonadResource m => MonadResource (ExceptT e m)
- Control.Monad.Trans.Resource.Internal: instance MonadResource m => MonadResource (IdentityT m)
- Control.Monad.Trans.Resource.Internal: instance MonadResource m => MonadResource (ListT m)
- Control.Monad.Trans.Resource.Internal: instance MonadResource m => MonadResource (MaybeT m)
- Control.Monad.Trans.Resource.Internal: instance MonadResource m => MonadResource (ReaderT r m)
- Control.Monad.Trans.Resource.Internal: instance MonadResource m => MonadResource (StateT s m)
- Control.Monad.Trans.Resource.Internal: instance MonadState s m => MonadState s (ResourceT m)
- Control.Monad.Trans.Resource.Internal: instance MonadThrow m => MonadThrow (ResourceT m)
- Control.Monad.Trans.Resource.Internal: instance MonadTrans ResourceT
- Control.Monad.Trans.Resource.Internal: instance MonadTransControl ResourceT
- Control.Monad.Trans.Resource.Internal: instance MonadWriter w m => MonadWriter w (ResourceT m)
- Control.Monad.Trans.Resource.Internal: instance Show InvalidAccess
- Control.Monad.Trans.Resource.Internal: instance Typeable InvalidAccess
- Control.Monad.Trans.Resource.Internal: instance Typeable ReleaseKey
- Control.Monad.Trans.Resource.Internal: instance Typeable ResourceT
+ Control.Monad.Trans.Resource.Internal: instance [safe] (Error e, MonadResource m) => MonadResource (ErrorT e m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] (MonadThrow m, MonadBase IO m, MonadIO m, Applicative m) => MonadResource (ResourceT m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] (Monoid w, MonadResource m) => MonadResource (RWST r w s m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] (Monoid w, MonadResource m) => MonadResource (WriterT w m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] Alternative m => Alternative (ResourceT m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] Applicative m => Applicative (ResourceT m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] Exception InvalidAccess
+ Control.Monad.Trans.Resource.Internal: instance [safe] Functor m => Functor (ResourceT m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] MFunctor ResourceT
+ Control.Monad.Trans.Resource.Internal: instance [safe] MMonad ResourceT
+ Control.Monad.Trans.Resource.Internal: instance [safe] Monad m => Monad (ResourceT m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] MonadBase b m => MonadBase b (ResourceT m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] MonadBaseControl b m => MonadBaseControl b (ResourceT m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] MonadCatch m => MonadCatch (ResourceT m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] MonadCont m => MonadCont (ResourceT m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] MonadError e m => MonadError e (ResourceT m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] MonadIO m => MonadIO (ResourceT m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] MonadMask m => MonadMask (ResourceT m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] MonadPlus m => MonadPlus (ResourceT m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] MonadRWS r w s m => MonadRWS r w s (ResourceT m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] MonadReader r m => MonadReader r (ResourceT m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] MonadResource m => MonadResource (ContT r m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] MonadResource m => MonadResource (ExceptT e m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] MonadResource m => MonadResource (IdentityT m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] MonadResource m => MonadResource (ListT m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] MonadResource m => MonadResource (MaybeT m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] MonadResource m => MonadResource (ReaderT r m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] MonadResource m => MonadResource (StateT s m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] MonadState s m => MonadState s (ResourceT m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] MonadThrow m => MonadThrow (ResourceT m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] MonadTrans ResourceT
+ Control.Monad.Trans.Resource.Internal: instance [safe] MonadTransControl ResourceT
+ Control.Monad.Trans.Resource.Internal: instance [safe] MonadWriter w m => MonadWriter w (ResourceT m)
+ Control.Monad.Trans.Resource.Internal: instance [safe] Show InvalidAccess
+ Control.Monad.Trans.Resource.Internal: instance [safe] Typeable InvalidAccess
+ Control.Monad.Trans.Resource.Internal: instance [safe] Typeable ReleaseKey
+ Control.Monad.Trans.Resource.Internal: instance [safe] Typeable ResourceT

Files

ChangeLog.md view
@@ -1,3 +1,7 @@+## 1.1.6++* Safe/Trustworthy for resourcet [#220](https://github.com/snoyberg/conduit/pull/220)+ ## 1.1.5  *  Add pass-through instances for Alternative and MonadPlus [#214](https://github.com/snoyberg/conduit/pull/214)
Control/Monad/Trans/Resource.hs view
@@ -10,6 +10,9 @@ #if __GLASGOW_HASKELL__ >= 704 {-# LANGUAGE ConstraintKinds #-} #endif+#if __GLASGOW_HASKELL__ >= 707+{-# LANGUAGE Safe #-}+#endif -- | Allocate resources which are guaranteed to be released. -- -- For more information, see <https://www.fpcomplete.com/user/snoyberg/library-documentation/resourcet>.@@ -73,27 +76,11 @@ import Data.Monoid (Monoid) import qualified Control.Exception.Lifted as L -import Control.Monad.Trans.Identity ( IdentityT)-import Control.Monad.Trans.List     ( ListT    )-import Control.Monad.Trans.Maybe    ( MaybeT   )-import Control.Monad.Trans.Error    ( ErrorT, Error)-import Control.Monad.Trans.Reader   ( ReaderT  )-import Control.Monad.Trans.State    ( StateT   )-import Control.Monad.Trans.Writer   ( WriterT  ) import Control.Monad.Trans.Resource.Internal-import Control.Monad.Trans.RWS      ( RWST     ) -import qualified Control.Monad.Trans.RWS.Strict    as Strict ( RWST   )-import qualified Control.Monad.Trans.State.Strict  as Strict ( StateT )-import qualified Control.Monad.Trans.Writer.Strict as Strict ( WriterT ) import Control.Concurrent (ThreadId, forkIO) -import Control.Monad.ST (ST)--import qualified Control.Monad.ST.Lazy as Lazy- import Data.Functor.Identity (Identity, runIdentity)-import Control.Monad.Morph import Control.Monad.Catch (MonadThrow, throwM) import Control.Monad.Catch.Pure (CatchT, runCatchT) import Data.Acquire.Internal (ReleaseType (..))
Control/Monad/Trans/Resource/Internal.hs view
@@ -7,6 +7,11 @@ {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE RankNTypes #-}+-- Can only turn on SafeHaskell when using a newer GHC, otherwise we get build+-- failures due to the manual Typeable instance below.+#if __GLASGOW_HASKELL__ >= 707+{-# LANGUAGE Safe #-}+#endif  module Control.Monad.Trans.Resource.Internal(     InvalidAccess(..)@@ -55,7 +60,6 @@ import Control.Monad (liftM) #endif import qualified Control.Exception as E-import Control.Monad.ST (ST) import Control.Monad.Catch (MonadThrow (..), MonadCatch (..) #if MIN_VERSION_exceptions(0,6,0)     , MonadMask (..)@@ -69,20 +73,6 @@ import Data.Word(Word) import Prelude hiding (catch) import Data.Acquire.Internal (ReleaseType (..))--#if __GLASGOW_HASKELL__ >= 704-import Control.Monad.ST.Unsafe (unsafeIOToST)-#else-import Control.Monad.ST (unsafeIOToST)-#endif--#if __GLASGOW_HASKELL__ >= 704-import qualified Control.Monad.ST.Lazy.Unsafe as LazyUnsafe-#else-import qualified Control.Monad.ST.Lazy as LazyUnsafe-#endif--import qualified Control.Monad.ST.Lazy as Lazy  import Control.Monad.Morph 
Data/Acquire.hs view
@@ -1,3 +1,7 @@+{-# LANGUAGE CPP #-}+#if __GLASGOW_HASKELL__ >= 707+{-# LANGUAGE Safe #-}+#endif -- | This was previously known as the Resource monad. However, that term is -- confusing next to the ResourceT transformer, so it has been renamed. module Data.Acquire
Data/Acquire/Internal.hs view
@@ -4,6 +4,7 @@ {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE FlexibleContexts #-}+{-# LANGUAGE Trustworthy #-} module Data.Acquire.Internal     ( Acquire (..)     , Allocated (..)
resourcet.cabal view
@@ -1,5 +1,5 @@ Name:                resourcet-Version:             1.1.5+Version:             1.1.6 Synopsis:            Deterministic allocation and freeing of scarce resources. description:         Hackage documentation generation is not reliable. For up to date documentation, please see: <http://www.stackage.org/package/resourcet>. License:             BSD3