- Add
modifyError
toControl.Monad.Error.Class
, and re-export fromControl.Monad.Except
. - Make the
MonadCont
instance forContT
more polykinded; now,r
is allowed to be of an arbitrary kindk
, rather than onlyType
. - Add a generic
liftCallCC
for use with anyMonadTrans
. - Add
modifyError
toControl.Monad.Error.Class
- Return re-export of
ExceptT
and related functions toControl.Monad.Except
. - Add
label
function toMonadCont
- Add instances for
Control.Monad.Trans.Writer.CPS
andControl.Monad.Trans.RWS.CPS
fromtransformers
0.5.6 and addControl.Monad.Writer.CPS
andControl.Monad.RWS.CPS
. Control.Monad.Cont
now re-exportsevalCont
andevalContT
.- Add
tryError
,withError
,handleError
, andmapError
toControl.Monad.Error.Class
, and re-export fromControl.Monad.Except
. - Remove
Control.Monad.List
andControl.Monad.Error
. - Remove instances of deprecated
ListT
andErrorT
. - Remove re-exports of
Error
. - Add instances for
Control.Monad.Trans.Accum
andControl.Monad.Trans.Select
. - Require GHC 8.6 or higher, and
cabal-install
3.0 or higher. - Require
transformers-0.5.6
or higher. - Add
Control.Monad.Accum
for theMonadAccum
type class, as well as theLiftingAccum
deriving helper. - Add
Control.Monad.Select
for theMonadSelect
type class, as well as theLiftingSelect
deriving helper. - Remove re-exports of
Control.Monad
,Control.Monad.Fix
andData.Monoid
modules
Control.Monad.Identity
now re-exportsControl.Monad.Trans.Identity
- Fix a bug in which
Control.Monad.State.Class.modify'
was not as strict in the new state as its counterparts intransformers
- Add a
MonadError () Maybe
instance - Add
liftEither :: MonadError e m => Either e a -> m a
toControl.Monad.Except{.Class}
- Add a
MonadWriter w ((,) w)
instance (when built againstbase-4.9
or later)
- Provide MINIMAL pragmas for
MonadState
,MonadWriter
,MonadReader
- Added a cyclic definition of
ask
in terms ofreader
for consistency withget
/put
vs.state
andtell
vs.writer
- Fix deprecation warnings caused by
transformers
0.4 deprecatingErrorT
. - Added
Control.Monad.Except
in the style of the othermtl
re-export modules
- Fixed a bug caused by the change in how
transformers
0.4 exports its data types. We will now exportrunFooT
for each transformer again!
transformers
0.4 support- Added instances for
ExceptT
- Added
modify'
toControl.Monad.State.*
- Avoid importing
Control.Monad.Instances
on GHC 7.8 to build without deprecation warnings.
- Removed the now-irrelevant
Error
constraint from theMonadError
instance forEither e
.