System.Random.PCG.Unique

Unique variant of the PCG random number generator. Guarantees the sequence to be unique by using the pointer address to select the output sequence.

There is no way to freeze the state because then it wouldn't be unique anymore. Also, generators can't be initialized in ST because we don't know what pointer reference they'll get.

See http://www.pcg-random.org for details.

import System.Random.PCG.Unique

three :: IO [Double]
three = do
  g <- create
  a <- uniform g
  b <- uniform g
  c <- uniform g
  return [a,b,c]

Gen

data Gen

State of the random number generator

Instances

Eq Gen

Ord Gen

Generator Gen IO

create :: IO Gen

Create a Gen from a fixed initial seed.

createSystemRandom :: IO Gen

Seed a PRNG with data from the system's fast source of pseudo-random numbers. All the caveats of withSystemRandom apply here as well.

initialize :: Word64 -> IO Gen

Create a generator from two words. Note: this is not the same as the two words in a Seed.

withSystemRandom :: (Gen -> IO a) -> IO a

Seed with system random number. ("/dev/urandom" on Unix-like systems, time otherwise).

Getting random numbers

class Variate a where

Methods

uniform :: Generator g m => g -> m a

Generate a uniformly distributed random vairate.

• Use entire range for integral types.
• Use (0,1] range for floating types.

uniformR :: Generator g m => (a, a) -> g -> m a

Generate a uniformly distributed random vairate in the given range.

• Use inclusive range for integral types.
• Use (a,b] range for floating types.

uniformB :: Generator g m => a -> g -> m a

Generate a uniformly distributed random vairate in the range [0,b). For integral types the bound must be less than the max bound of Word32 (4294967295). Behaviour is undefined for negative bounds.

Instances

Variate Bool

Variate Double

Variate Float

Variate Int

Variate Int8

Variate Int16

Variate Int32

Variate Int64

Variate Word

Variate Word8

Variate Word16

Variate Word32

Variate Word64

(Variate a, Variate b) => Variate (a, b)

(Variate a, Variate b, Variate c) => Variate (a, b, c)

(Variate a, Variate b, Variate c, Variate d) => Variate (a, b, c, d)

advance :: Word64 -> Gen -> IO ()

Advance the given generator n steps in log(n) time.

retract :: Word64 -> Gen -> IO ()

Retract the given generator n steps in log(2^64-n) time. This is just advance (-n).

Type restricted versions

uniform

uniformW8 :: Generator g m => g -> m Word8

uniformW16 :: Generator g m => g -> m Word16

uniformW32 :: Generator g m => g -> m Word32

uniformW64 :: Generator g m => g -> m Word64

uniformI8 :: Generator g m => g -> m Int8

uniformI16 :: Generator g m => g -> m Int16

uniformI32 :: Generator g m => g -> m Int32

uniformI64 :: Generator g m => g -> m Int64

uniformF :: Generator g m => g -> m Float

uniformD :: Generator g m => g -> m Double

uniformBool :: Generator g m => g -> m Bool

uniformR

uniformRW8 :: Generator g m => (Word8, Word8) -> g -> m Word8

uniformRW16 :: Generator g m => (Word16, Word16) -> g -> m Word16

uniformRW32 :: Generator g m => (Word32, Word32) -> g -> m Word32

uniformRW64 :: Generator g m => (Word64, Word64) -> g -> m Word64

uniformRI8 :: Generator g m => (Int8, Int8) -> g -> m Int8

uniformRI16 :: Generator g m => (Int16, Int16) -> g -> m Int16

uniformRI32 :: Generator g m => (Int32, Int32) -> g -> m Int32

uniformRI64 :: Generator g m => (Int64, Int64) -> g -> m Int64

uniformRF :: Generator g m => (Float, Float) -> g -> m Float

uniformRD :: Generator g m => (Double, Double) -> g -> m Double

uniformRBool :: Generator g m => (Bool, Bool) -> g -> m Bool

uniformB

uniformBW8 :: Generator g m => Word8 -> g -> m Word8

uniformBW16 :: Generator g m => Word16 -> g -> m Word16

uniformBW32 :: Generator g m => Word32 -> g -> m Word32

uniformBW64 :: Generator g m => Word64 -> g -> m Word64

uniformBI8 :: Generator g m => Int8 -> g -> m Int8

uniformBI16 :: Generator g m => Int16 -> g -> m Int16

uniformBI32 :: Generator g m => Int32 -> g -> m Int32

uniformBI64 :: Generator g m => Int64 -> g -> m Int64

uniformBF :: Generator g m => Float -> g -> m Float

uniformBD :: Generator g m => Double -> g -> m Double

uniformBBool :: Generator g m => Bool -> g -> m Bool