A typeclass for monads with a chosen source of entropy. For example,
RVar is such a monad - the source from which it is (eventually) sampled
is the only source from which a random variable is permitted to draw, so
when directly requesting entropy for a random variable these functions
are used.
The minimal definition is either getRandomByte or getRandomWord.
getRandomDouble is defaulted in terms of getRandomWord.
|