System.Random.MWC.Monad

Random monad

data Rand m a

Random monad for mwc-random package

Instances

PrimMonad m => Monad (Rand m)

PrimMonad m => Functor (Rand m)

PrimMonad m => Applicative (Rand m)

liftR :: PrimMonad m => m a -> Rand m a

Lift monadic action into Rand monad

type RandIO a = Rand IO a

Type synonim for IO-based Rand monad

asRandIO :: RandIO a -> RandIO a

Fix type of monad to IO

type RandST s a = Rand (ST s) a

Type synonim for ST-based Rand monad

asRandST :: RandST s a -> RandST s a

Fix type of monad to ST

data Seed

An immutable snapshot of the state of a Gen.

Instances

Eq Seed

Show Seed

Typeable Seed

runRand :: Rand m a -> Gen (PrimState m) -> m a

Run random monad

runWithSeed :: PrimMonad m => Seed -> Rand m a -> m a

Run monad using seed

runWithVector :: (Vector v Word32, PrimMonad m) => Rand m a -> v Word32 -> m a

By creating seed from vector of values

runWithSystemRandom :: PrimMonad m => Rand m a -> IO a

Run monad using system random

Random numbers generation

toRand :: PrimMonad m => (Gen (PrimState m) -> m a) -> Rand m a

Convert function to Rand monad

uniform :: (PrimMonad m, Variate a) => Rand m a

Uniformly distributed values

uniformR :: (PrimMonad m, Variate a) => (a, a) -> Rand m a

Uniformly distributed values in range

standard :: PrimMonad m => Rand m Double

Normally distributed variables with mean 0 and 1 standard deviation

normal :: PrimMonad m => Double -> Double -> Rand m Double

Normally distributed variable

Combining monads

equiprobable :: PrimMonad m => [Rand m a] -> Rand m a

Randomly select from list of equiprobable random sources. List must be non-empty

choices :: PrimMonad m => [(Double, Rand m a)] -> Rand m a

Randomly select from list of weighted random sources. List must contain sources with positive weight. Elements with non-positive weight are discarded

Seed management

save :: PrimMonad m => Rand m Seed

Save current seed for future reuse