Proposal: merge either into transformers

Roman Cheplyaka roma at ro-che.info
Sat Apr 26 06:16:57 UTC 2014


* 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?

> Pre-release docs are here:
> 
> 	http://code.haskell.org/~ross/transformers/dist/doc/html/transformers/

The docs for Control.Monad.Trans.Writer.Strict say:

  >  Although the output is built strictly, it is not possible to achieve linear
  >  space behaviour with this transformer: for that, use
  >  Control.Monad.Trans.State.Strict instead.

I think it should be "constant", not "linear".

Roman
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: Digital signature
URL: <http://www.haskell.org/pipermail/libraries/attachments/20140426/8841bb93/attachment.sig>


More information about the Libraries mailing list