[Haskell-beginners] MonadRandom or Control.Monad.Random

[Michael Mossey]

Brent Yorgey wrote:
> On Fri, Jul 31, 2009 at 05:55:43PM -0700, Michael P Mossey wrote:

>> I'm looking at this example from the docs. I understand most of this but I 
>> can't find a definition of getRandomR. See die has type (Rand g Int) I'm 
>> assuming getRandomR is a function that has that type, but I can't find its 
>> definition.
> 
> getRandomR has type 
> 
>   (MonadRandom m, Random a) => (a, a) -> m a
> 
> which in particular can be specialized to 
> 
>   (RandomGen g) => (Int,Int) -> Rand g Int . 
> 
> The documentation for getRandomR, and the other methods of the
> MonadRandom class, can be found here:
> 
>   http://hackage.haskell.org/packages/archive/MonadRandom/0.1.3/doc/html/Control-Monad-Random-Class.html

Thanks. I'm still getting used to Haskell documentation. I was looking in 
Control.Monad.Random, but I needed to look in Control.Monad.Random.Class.

So I would like to know how to do something which is on the surface 
imperative-like: toss a die until a 1 comes up, and count the number of 
tosses. This would involve some kind of looping with an exit condition in 
an imperative language. Can someone show me how to write that in Haskell?

(Actually I want to do a lot more than that, but I just want to start there.)

Thanks,
Mike