Proposal: merge either into transformers

Ross Paterson R.Paterson at city.ac.uk
Wed Apr 30 15:23:03 UTC 2014


On Sat, Apr 26, 2014 at 09:28:47AM +0100, Ross Paterson wrote:
> On Sat, Apr 26, 2014 at 09:16:57AM +0300, Roman Cheplyaka wrote:
> > * Ross Paterson <R.Paterson at city.ac.uk> [2014-04-26 01:21:09+0100]
> > > Instead of EitherT, the next version will deprecate ErrorT in favour
> > > of a transformer ExceptT with base monad Except.  The idea is to have
> > > analogous transformers and monads
> > > 
> > > 	ExceptT : Except : Either
> > > 	WriterT : Writer : (,)
> > > 	ReaderT : Reader : (->)
> > 
> > Great! When do you plan to make a release?
> 
> Let's say Wednesday, if no-one notices a major problem.

I'll put it off a couple of days, as there's currently discussion of two issues:
- strict writer
- definition of (<|>)/mplus for ExceptT


More information about the Libraries mailing list