-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Random-number generation monad.
--   
--   Support for computations which consume random values.
@package MonadRandom
@version 0.1.1


-- | A type class for random number generation monads. See
--   <a>http://www.haskell.org/haskellwiki/NewMonads/MonadRandom</a> for
--   the original version of this code.
--   
--   Instances of this type class include
--   <tt>Control.Monad.Random.Rand</tt> and monads created using
--   <tt>Control.Monad.Random.RandT</tt>.
module Control.Monad.Random.Class

-- | An interface to random number generation monads.
class (Monad m) => MonadRandom m
getRandom :: (MonadRandom m, Random a) => m a
getRandoms :: (MonadRandom m, Random a) => m [a]
getRandomR :: (MonadRandom m, Random a) => (a, a) -> m a
getRandomRs :: (MonadRandom m, Random a) => (a, a) -> m [a]


-- | A random number generation monad. See
--   <a>http://www.haskell.org/haskellwiki/NewMonads/MonadRandom</a> for
--   the original version of this code.
--   
--   The actual interface is defined by <a>MonadRandom</a>.
--   
--   <ul>
--   <li><i>Computation type:</i> Computations which consume random
--   values.</li>
--   <li><i>Binding strategy:</i> The computation proceeds in the same
--   fashion as the identity monad, but it carries a random number
--   generator that may be queried to generate random values.</li>
--   <li><i>Useful for:</i> Monte Carlo algorithms and simulating random
--   processes.</li>
--   </ul>
module Control.Monad.Random

-- | Evaluate a RandT computation using the generator <tt>g</tt>. Note that
--   the generator <tt>g</tt> is not returned, so there's no way to recover
--   the updated version of <tt>g</tt>.
evalRandT :: (Monad m, RandomGen g) => RandT g m a -> g -> m a

-- | Run a RandT computation using the generator <tt>g</tt>, returning the
--   result and the updated generator.
runRandT :: (Monad m, RandomGen g) => RandT g m a -> g -> m (a, g)

-- | Evaluate a random computation using the generator <tt>g</tt>. Note
--   that the generator <tt>g</tt> is not returned, so there's no way to
--   recover the updated version of <tt>g</tt>.
evalRand :: (RandomGen g) => Rand g a -> g -> a

-- | Run a random computation using the generator <tt>g</tt>, returning the
--   result and the updated generator.
runRand :: (RandomGen g) => Rand g a -> g -> (a, g)

-- | Evaluate a random computation in the IO monad, using the random number
--   generator supplied by <a>getStdRandom</a>.
evalRandIO :: Rand StdGen a -> IO a

-- | Sample a random value from a weighted list. The total weight of all
--   elements must not be 0.
fromList :: (MonadRandom m) => [(a, Rational)] -> m a

-- | A basic random monad.
data Rand g a

-- | A monad transformer which adds a random number generator to an
--   existing monad.
data (RandomGen g) => RandT g m a
instance Functor (Rand g)
instance Monad (Rand g)
instance (RandomGen g) => MonadRandom (Rand g)
instance (Monad m) => Functor (RandT g m)
instance (Monad m) => Monad (RandT g m)
instance MonadTrans (RandT g)
instance (MonadIO m) => MonadIO (RandT g m)
instance MonadRandom IO
instance (MonadWriter w m, RandomGen g, Monoid w) => MonadWriter w (RandT g m)
instance (MonadReader r m, RandomGen g) => MonadReader r (RandT g m)
instance (MonadState s m, RandomGen g) => MonadState s (RandT g m)
instance (MonadRandom m) => MonadRandom (ReaderT r m)
instance (MonadRandom m, Monoid w) => MonadRandom (WriterT w m)
instance (MonadRandom m) => MonadRandom (StateT s m)
instance (Monad m, RandomGen g) => MonadRandom (RandT g m)