transformers-compat 0.6.0.5 → 0.6.0.6

raw patch · 1 files changed

+2/−2 lines, 1 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Control.Monad.Trans.Accum: AccumT :: (w -> m (a, w)) -> AccumT w m a

- Control.Monad.Trans.Accum: accum :: (Monad m) => (w -> (a, w)) -> AccumT w m a

- Control.Monad.Trans.Accum: accumToStateT :: (Functor m, Monoid s) => AccumT s m a -> StateT s m a

- Control.Monad.Trans.Accum: add :: (Monad m) => w -> AccumT w m ()

- Control.Monad.Trans.Accum: evalAccum :: (Monoid w) => Accum w a -> w -> a

- Control.Monad.Trans.Accum: evalAccumT :: (Monad m, Monoid w) => AccumT w m a -> w -> m a

- Control.Monad.Trans.Accum: execAccum :: Accum w a -> w -> w

- Control.Monad.Trans.Accum: execAccumT :: (Monad m) => AccumT w m a -> w -> m w

- Control.Monad.Trans.Accum: instance (GHC.Base.Monoid w, Control.Monad.Fail.MonadFail m) => Control.Monad.Fail.MonadFail (Control.Monad.Trans.Accum.AccumT w m)

- Control.Monad.Trans.Accum: instance (GHC.Base.Monoid w, GHC.Base.Functor m, Control.Monad.Fix.MonadFix m) => Control.Monad.Fix.MonadFix (Control.Monad.Trans.Accum.AccumT w m)

- Control.Monad.Trans.Accum: instance (GHC.Base.Monoid w, GHC.Base.Functor m, Control.Monad.IO.Class.MonadIO m) => Control.Monad.IO.Class.MonadIO (Control.Monad.Trans.Accum.AccumT w m)

- Control.Monad.Trans.Accum: instance (GHC.Base.Monoid w, GHC.Base.Functor m, GHC.Base.Monad m) => GHC.Base.Applicative (Control.Monad.Trans.Accum.AccumT w m)

- Control.Monad.Trans.Accum: instance (GHC.Base.Monoid w, GHC.Base.Functor m, GHC.Base.Monad m) => GHC.Base.Monad (Control.Monad.Trans.Accum.AccumT w m)

- Control.Monad.Trans.Accum: instance (GHC.Base.Monoid w, GHC.Base.Functor m, GHC.Base.MonadPlus m) => GHC.Base.Alternative (Control.Monad.Trans.Accum.AccumT w m)

- Control.Monad.Trans.Accum: instance (GHC.Base.Monoid w, GHC.Base.Functor m, GHC.Base.MonadPlus m) => GHC.Base.MonadPlus (Control.Monad.Trans.Accum.AccumT w m)

- Control.Monad.Trans.Accum: instance GHC.Base.Functor m => GHC.Base.Functor (Control.Monad.Trans.Accum.AccumT w m)

- Control.Monad.Trans.Accum: instance GHC.Base.Monoid w => Control.Monad.Trans.Class.MonadTrans (Control.Monad.Trans.Accum.AccumT w)

- Control.Monad.Trans.Accum: liftCallCC :: CallCC m (a, w) (b, w) -> CallCC (AccumT w m) a b

- Control.Monad.Trans.Accum: liftCallCC' :: CallCC m (a, w) (b, w) -> CallCC (AccumT w m) a b

- Control.Monad.Trans.Accum: liftCatch :: Catch e m (a, w) -> Catch e (AccumT w m) a

- Control.Monad.Trans.Accum: liftListen :: (Monad m) => Listen w m (a, s) -> Listen w (AccumT s m) a

- Control.Monad.Trans.Accum: liftPass :: (Monad m) => Pass w m (a, s) -> Pass w (AccumT s m) a

- Control.Monad.Trans.Accum: look :: (Monoid w, Monad m) => AccumT w m w

- Control.Monad.Trans.Accum: looks :: (Monoid w, Monad m) => (w -> a) -> AccumT w m a

- Control.Monad.Trans.Accum: mapAccum :: ((a, w) -> (b, w)) -> Accum w a -> Accum w b

- Control.Monad.Trans.Accum: mapAccumT :: (m (a, w) -> n (b, w)) -> AccumT w m a -> AccumT w n b

- Control.Monad.Trans.Accum: newtype AccumT w m a

- Control.Monad.Trans.Accum: readerToAccumT :: (Functor m, Monoid w) => ReaderT w m a -> AccumT w m a

- Control.Monad.Trans.Accum: runAccum :: Accum w a -> w -> (a, w)

- Control.Monad.Trans.Accum: runAccumT :: AccumT w m a -> w -> m (a, w)

- Control.Monad.Trans.Accum: type Accum w = AccumT w Identity

- Control.Monad.Trans.Accum: writerToAccumT :: WriterT w m a -> AccumT w m a

- Control.Monad.Trans.Instances: instance Control.Monad.Fail.MonadFail m => Control.Monad.Fail.MonadFail (Data.Functor.Reverse.Reverse m)

- Control.Monad.Trans.Instances: instance Data.Bifoldable.Bifoldable Data.Functor.Constant.Constant

- Control.Monad.Trans.Instances: instance Data.Bitraversable.Bitraversable Data.Functor.Constant.Constant

- Control.Monad.Trans.Instances: instance GHC.Base.Monad m => GHC.Base.Monad (Data.Functor.Reverse.Reverse m)

- Control.Monad.Trans.Instances: instance GHC.Base.MonadPlus m => GHC.Base.MonadPlus (Data.Functor.Reverse.Reverse m)

- Control.Monad.Trans.Instances: instance forall k a (b :: k). Data.Semigroup.Semigroup a => Data.Semigroup.Semigroup (Data.Functor.Constant.Constant a b)

- Control.Monad.Trans.Select: SelectT :: ((a -> m r) -> m a) -> SelectT r m a

- Control.Monad.Trans.Select: instance (GHC.Base.Functor m, GHC.Base.Monad m) => GHC.Base.Applicative (Control.Monad.Trans.Select.SelectT r m)

- Control.Monad.Trans.Select: instance (GHC.Base.Functor m, GHC.Base.MonadPlus m) => GHC.Base.Alternative (Control.Monad.Trans.Select.SelectT r m)

- Control.Monad.Trans.Select: instance Control.Monad.Fail.MonadFail m => Control.Monad.Fail.MonadFail (Control.Monad.Trans.Select.SelectT r m)

- Control.Monad.Trans.Select: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Monad.Trans.Select.SelectT r m)

- Control.Monad.Trans.Select: instance Control.Monad.Trans.Class.MonadTrans (Control.Monad.Trans.Select.SelectT r)

- Control.Monad.Trans.Select: instance GHC.Base.Functor m => GHC.Base.Functor (Control.Monad.Trans.Select.SelectT r m)

- Control.Monad.Trans.Select: instance GHC.Base.Monad m => GHC.Base.Monad (Control.Monad.Trans.Select.SelectT r m)

- Control.Monad.Trans.Select: instance GHC.Base.MonadPlus m => GHC.Base.MonadPlus (Control.Monad.Trans.Select.SelectT r m)

- Control.Monad.Trans.Select: mapSelect :: (a -> a) -> Select r a -> Select r a

- Control.Monad.Trans.Select: mapSelectT :: (m a -> m a) -> SelectT r m a -> SelectT r m a

- Control.Monad.Trans.Select: newtype SelectT r m a

- Control.Monad.Trans.Select: runSelect :: Select r a -> (a -> r) -> a

- Control.Monad.Trans.Select: runSelectT :: SelectT r m a -> (a -> m r) -> m a

- Control.Monad.Trans.Select: select :: ((a -> r) -> a) -> Select r a

- Control.Monad.Trans.Select: selectToCont :: (Monad m) => SelectT r m a -> ContT r m a

- Control.Monad.Trans.Select: selectToContT :: (Monad m) => SelectT r m a -> ContT r m a

- Control.Monad.Trans.Select: type Select r = SelectT r Identity

Files

transformers-compat.cabal +2/−2

transformers-compat.cabal view

@@ -1,6 +1,6 @@ name:          transformers-compat category:      Compatibility-version:       0.6.0.5+version:       0.6.0.6 license:       BSD3 cabal-version: >= 1.8 license-file:  LICENSE@@ -62,7 +62,7 @@   description: Use transformers 0.4. This will be selected by cabal picking the appropriate version.  flag five-  default: True+  default: False   manual: True   description: Use transformers 0.5 up until (but not including) 0.5.3. This will be selected by cabal picking the appropriate version.