An Expression Generator that generates DoPrims of the given operator
A generator that generates expressions of a certain type for a given IR type
A set of parameters for randomly generating Expressions
A typeclass for types that represent the state of a random expression generator
Monads that represent a random value generator
a GenMonad backed by SourceOfRandomness
Wraps a function that takes a function an produces a random state transition and value
Wraps a function that takes a function an produces a random state transition and value
the type of the initial and resulting state of this random computation
the random context that wraps the return value of this function
the type of the value returned by this function