Portability | non-portable (multi-parameter type classes, undecidable instances) |
---|---|
Stability | experimental |
A type class for random number generation monads. See http://www.haskell.org/haskellwiki/NewMonads/MonadRandom for the original version of this code.
Instances of this type class include Control.Monad.Random.Rand
and
monads created using Control.Monad.Random.RandT
.
- class Monad m => MonadRandom m where
- getRandom :: Random a => m a
- getRandoms :: Random a => m [a]
- getRandomR :: Random a => (a, a) -> m a
- getRandomRs :: Random a => (a, a) -> m [a]
- class Monad m => MonadSplit s m | m -> s where
- getSplit :: m s
Documentation
class Monad m => MonadRandom m whereSource
An interface to random number generation monads.
getRandom :: Random a => m aSource
Return a randomly-selected value of type a
. See
random
for details.
getRandoms :: Random a => m [a]Source
Return an infinite stream of random values of type a
. See
randoms
for details.
getRandomR :: Random a => (a, a) -> m aSource
Return a randomly-selected value of type a
in the range
(lo,hi). See randomR
for details.
getRandomRs :: Random a => (a, a) -> m [a]Source
Return an infinite stream of randomly-selected value of type a
in the range (lo,hi). See randomRs
for details.
MonadRandom IO | |
RandomGen g => MonadRandom (Rand g) | |
(MonadRandom m, Monoid w) => MonadRandom (WriterT w m) | |
MonadRandom m => MonadRandom (StateT s m) | |
MonadRandom m => MonadRandom (ReaderT r m) | |
(Monad m, RandomGen g) => MonadRandom (RandT g m) |
class Monad m => MonadSplit s m | m -> s whereSource
An interface to monads with splittable state (as most random number generation monads will have).
The intention is that the getSplit
action splits the state, returning one half of the result, and
setting the new state to the other.
MonadSplit StdGen IO | |
RandomGen g => MonadSplit g (Rand g) | |
MonadSplit g m => MonadSplit g (ReaderT r m) | |
(MonadSplit g m, Monoid w) => MonadSplit g (WriterT w m) | |
MonadSplit g m => MonadSplit g (StateT s m) | |
(Monad m, RandomGen g) => MonadSplit g (RandT g m) |