Re: [Haskell-cafe] Re: Generating repeatable arbitrary values with QuickCheck 2

[Ryan Ingram]

On Tue, Feb 2, 2010 at 11:25 AM, David Menendez <dave@xxxxxxxxxxxx> wrote:
> We could avoid that problem by redefining Gen as a state transformer monad.
>
> newtype Gen a = MkGen { unGen :: StdGen -> Int -> (a, StdGen) }

Unfortunately, this makes things like
>  infinite_xs <- sequence (repeat arbitrary)
no longer work, since the state never comes out the other side.

Which is a pretty significant change.

  -- ryan
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@xxxxxxxxxxx
http://www.haskell.org/mailman/listinfo/haskell-cafe