Re: new MonadRandom instance; and maintainership
Brent Yorgey <byorgey <at> seas.upenn.edu>
2013-04-26 19:43:28 GMT
Right, the solution is that with RandT Maybe, upon failure the seed
gets thrown away. That is, mplus runs both its arguments with the
same seed. What I actually wanted was MaybeT Rand. That requires a
MonadRandom instance for MaybeT, which I will add.
On Fri, Apr 26, 2013 at 12:30:51AM +0200, Sjoerd Visscher wrote:
> Uhm, yeah, I forgot that you can still use monadic bind together with the Alternative methods.
> Never mind me!
> On Apr 26, 2013, at 12:22 AM, Felipe Almeida Lessa <felipe.lessa <at> gmail.com> wrote:
> > Wouldn't Alternative lead to the same bug?
> > On Thu, Apr 25, 2013 at 7:02 PM, Sjoerd Visscher <sjoerd <at> w3future.com> wrote:
> >> Maybe a derived Alternative instance for RandT still makes sense?
> >> Sjoerd
> >> On Apr 25, 2013, at 8:28 PM, Brent Yorgey <byorgey <at> seas.upenn.edu> wrote:
> >>> On Thu, Apr 25, 2013 at 10:47:57AM -0400, Brent Yorgey wrote:
> >>>> On Wed, Apr 24, 2013 at 02:38:01PM -0400, Brent Yorgey wrote:
> >>>>> Hi all,
> >>>>> I would like to add a derived MonadPlus instance for both Rand and