Notable changes to this project are documented in this file. The format is based on Keep a Changelog and this project adheres to Semantic Versioning.
Breaking changes:
New features:
Bugfixes:
Other improvements:
v6.1.0 - 2024-06-26
New features:
- Add
MonadST
instances for all monad transformers (#147 by @rhendric) - Add
ComonadAsk
,ComonadEnv
, andComonadTraced
instances forStoreT
,EnvT
, andTracedT
(#145 by @skeate)
v6.0.0 - 2022-04-27
Breaking changes:
- Update project and deps to PureScript v0.15.0 (#142 by @JordanMartinez)
- Drop deprecated
MonadZero
instance (#141 by @JordanMartinez)
New features:
- Add
Foldable
,FoldableWithIndex
, andTraversable
instances forEnvT
(#113 by @abaco)
Bugfixes:
Other improvements:
v5.2.0 - 2021-07-13
New features:
- Add
liftMaybe
andliftEither
to easily liftMaybe
andEither
values to aMonadThrow
monad (#140 by @hexagonal-sun)
v5.1.0 - 2021-04-27
New features:
- Export
mapCont
andwithCont
functions originally added in #70 by @parsonsmatt (#139 by @JordanMartinez)
Other improvements:
- Fix warnings revealed by v0.14.1 PS release (#139 by @JordanMartinez)
v5.0.0 - 2021-02-26
Breaking changes:
- Added support for PureScript 0.14 and dropped support for all previous versions (#133)
- Replaced
ComonadEnv
constraint withComonadAsk
in theasks
function (#131)
New features:
- Added
Semigroup
andMonoid
instances toContT
,ExceptT
,MaybeT
,RWST
,StateT
,WriterT
(#115) - Added
IdentityT
(#121)
Bugfixes:
- Added
Semigroup
andMonoid
superclasses toMonadTell
andMonadWriter
, respectively, to enforce the type class laws (#126)
Other improvements:
- Replaced
void $ modify
withmodify_
in example code (#119) - Fixed documentation to use
Effect
instead ofEff
(#124) - Fixed documentation for
callCC
(#132) - Migrated CI to GitHub Actions and updated installation instructions to use Spago (#134)
- Added a changelog and pull request template (#136, #137)
v4.2.0 - 2019-02-03
- Added
MonadThrow
andMonadError
instances forEffect
(@safareli) - Fixed a typo in documentation (@Thimoteus)
v4.1.0 - 2018-05-27
- Added
modify_
for the old-stylemodify
v4.0.0 - 2018-05-23
- Updated for PureScript 0.12
- The
MonadState
modify
function now returns the modified state
v3.6.0 - 2018-04-07
- Added
ComonadStore
instances forEnvT
andTracedT
(@colin-passiv)
v3.5.0 - 2017-11-23
- Added
Foldable
andTraversable
instances forEnvT
(@cryogenian)
v3.4.0 - 2017-06-03
- Added
Monoid
instance forReaderT
(@safareli)
v3.3.0 - 2017-05-25
- Added the
writer
function
v3.2.0 - 2017-04-08
- Added
try
forMonadError
(@rightfold)
v3.1.0 - 2017-03-30
- Added
runListT
,runListTRec
andfoldlRec
(@matthewleon)
v3.0.0 - 2017-03-26
- Updated for PureScript 0.11
- The
MonadError
class has been split intoMonadThrow
andMonadError
(@natefaubion) - Fixed export of
ListT
constructors (@matthewleon)
v2.3.0 - 2017-03-21
Lazy
instance forRWST
(@mlang)- Added
withResource
(@rightfold)
v2.2.0 - 2017-01-20
- Added
Alternative
andPlus
instances forRWST
(@mlang)
v2.1.0 - 2017-01-03
- Added
Alt
instance forRWST
(@mlang)
v2.0.2 - 2016-11-09
- Fixed name shadowing warnings in PureScript 0.10.2 (@clayrat)
v2.0.1 - 2016-10-11
- Fixed overly-applied type synonyms for
Cont
,Except
, andStore
v2.0.0 - 2016-10-10
This release features a number of breaking changes:
- The signature for
callCC
is now rank-2 to allow for any result to be discarded #74 (@jqyu) - Functional dependencies have been added to all classes
Newtype
instances have been derived for all transformersListT.scanl
implementation has been fixed #72 (@DanielGronau)MonadReader
has been split intoMonadAsk
andMonadReader
MonadWriter
has been split intoMonadTell
andMonadWriter
ComonadEnv
has been split intoComonadAsk
andComonadEnv
MonadTrans
class is now inControl.Monad.Trans.Class
ComonadTrans
class is now inControl.Comonad.Trans.Class
ExceptT
'sapply
andbind
now behave consistently, at the cost of tightening them
constraint toMonad
for theApply
andApplicative
instance- The
MonadRWS
class has been removed
v1.0.0 - 2016-06-01
This release is intended for the PureScript 0.9.1 compiler and newer.
Note: The v1.0.0 tag is not meant to indicate the library is “finished”, the core libraries are all being bumped to this for the 0.9 compiler release so as to use semver more correctly.
- Added
Cont
(@parsonsmatt)
v0.8.4 - 2015-11-19
- Fixed issue with re-exports
v0.8.3 - 2015-11-19
- Fixed import warnings raised in psc 0.7.6
v0.8.2 - 2015-11-01
Relax constraints for WriterT
instances (@xuwei-k)
v0.8.1 - 2015-09-16
- Fixed unused type variable warnings.
v0.8.0 - 2015-09-10
- Added
MonadRec
instance forRWST
. This changes some details of the RWST implementation so may be a breaking change. (@ethul)
v0.7.2 - 2015-09-03
- Added more instances for
ReaderT
andRWST
(@ethul)
v0.7.1 - 2015-08-25
This release requires the 0.7.4.0 release of the PureScript compiler. Previous versions of this library will not work with psc
versions <= 0.7.3.0.
- Simplified instance constraints.
- Module reexports of
Class
modules. - More instances for
ExceptT
ErrorT
has been removed in favor ofExceptT
.
v0.6.1 - 2015-07-03
- Added
Distributive
instance forReaderT
(@freebroccolo)
v0.6.0 - 2015-06-30
This release works with versions 0.7.* of the PureScript compiler. It will not work with older versions. If you are using an older version, you should require an older, compatible version of this library.
- Added
MonadEff
instances
v0.5.5 - 2015-04-17
- Added
ExceptT
(@hdgarrood)
v0.5.4 - 2015-03-24
- More documentation updates.
v0.5.3 - 2015-03-24
- Updated docs
v0.5.2 - 2015-03-23
- Added
MonadError
instance forMaybe
(@pseudonom)
v0.5.1 - 2015-02-26
- Fixed
RWST
Apply
instance. (@joneshf)
v0.5.0 - 2015-02-21
This release requires PureScript v0.6.8 or later
- Updated dependencies
v0.4.1 - 2015-02-19
Error
constraint removed where possible (@pseudonom)
v0.4.0 - 2015-01-10
- Updated
purescript-identity
dependency (@garyb)
v0.3.2 - 2014-12-16
- Added
execWriterT
(@MichaelXavier)
v0.3.1 - 2014-12-11
- Update array dependency (#25)
v0.3.0 - 2014-11-08
- Updates for extracted
Identity
(@garyb)
v0.2.1 - 2014-09-04
- Simplify superinstance constraints for
ErrorT
v0.2.0 - 2014-09-03
- Moved
Free
andTrampoline
back topurescript-free
(@ethul)
v0.1.2 - 2014-08-31
Lazy1
instance forStateT
(@paf31)
v0.1.1 - 2014-08-27
Comonad
andExtend
instances forIdentity
(@joneshf)
v0.1.0 - 2014-08-11
- Add
Alt
,Plus
,MonadPlus
, updateAlternative
(@garyb)
v0.0.6 - 2014-08-05
- All transformers are now defined as
newtype
s (@garyb)
v0.0.5 - 2014-08-02
- Added
Control.Monad.RWS
andControl.Monad.RWST
(@joneshf) - Updated FFI code to work for changes in codegen (@garyb)
v0.0.4 - 2014-06-24
- Dropped unnecessary var from type synonyms to prevents problems with partially applied type synonyms later on (garyb)
v0.0.3 - 2014-06-14
- Now uses "proper"
Unit
type instead of{}
(garyb)
v0.0.2 - 2014-06-08
- Now includes
Control.Monad.Free
(ethul)
v0.0.1 - 2014-05-25
- Initial release