2.3 -- 2022-05-07
- Add instances for
Control.Monad.Trans.Writer.CPS
and
Control.Monad.Trans.RWS.CPS
from transformers
0.5.6 and add
Control.Monad.Writer.CPS
and Control.Monad.RWS.CPS
.
Control.Monad.Cont
now re-exports evalCont
and evalContT
.
- Add
tryError
, withError
, handleError
, and mapError
to
Control.Monad.Error.Class
, and re-export from Control.Monad.Except
.
- Remove
Control.Monad.List
and Control.Monad.Error
.
- Remove instances of deprecated
ListT
and ErrorT
.
- Remove re-exports of
Error
.
- Add instances for
Control.Monad.Trans.Accum
and
Control.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 the MonadAccum
type class, as well as the
LiftingAccum
deriving helper.
- Add
Control.Monad.Select
for the MonadSelect
type class, as well as the
LiftingSelect
deriving helper.
2.2.2
Control.Monad.Identity
now re-exports Control.Monad.Trans.Identity
- Fix a bug in which
Control.Monad.State.Class.modify'
was not as strict in
the new state as its counterparts in transformers
- Add a
MonadError () Maybe
instance
- Add
liftEither :: MonadError e m => Either e a -> m a
to
Control.Monad.Except{.Class}
- Add a
MonadWriter w ((,) w)
instance (when built against base-4.9
or later)
2.2.1
- Provide MINIMAL pragmas for
MonadState
, MonadWriter
, MonadReader
- Added a cyclic definition of
ask
in terms of reader
for consistency with get
/put
vs. state
and tell
vs. writer
- Fix deprecation warnings caused by
transformers
0.4 deprecating ErrorT
.
- Added
Control.Monad.Except
in the style of the other mtl
re-export modules
2.2.0.1
- Fixed a bug caused by the change in how
transformers
0.4 exports its data types. We will now export runFooT
for each transformer again!
2.2
transformers
0.4 support
- Added instances for
ExceptT
- Added
modify'
to Control.Monad.State.*
2.1.3.1
- Avoid importing
Control.Monad.Instances
on GHC 7.8 to build without deprecation warnings.
2.1.3
- Removed the now-irrelevant
Error
constraint from the MonadError
instance for Either e
.