Remove redundant Functor constraint from StateT Applicative/Alternative instances

Baldur Blöndal baldurpet at gmail.com
Mon Nov 21 22:52:46 UTC 2016


Does this belong here? Applicative [1] and Alternative [2] instances of
StateT have redundant constraints

> instance (Functor m, Monad     m) => Applicative (StateT s m)
> instance (Functor m, MonadPlus m) => Alternative (StateT s m)

The Functor constraint may be removed

[1]
https://hackage.haskell.org/package/transformers-0.5.2.0/docs/src/Control.Monad.Trans.State.Lazy.html#line-201
[2]
https://hackage.haskell.org/package/transformers-0.5.2.0/docs/src/Control.Monad.Trans.State.Lazy.html#line-210
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20161121/5453c507/attachment.html>


More information about the Libraries mailing list