Modulepcg-random-0.1.4.0Haskell2010

System.Random.PCG.Class

Classes for working with random numbers along with utility functions. In a future release this module may disappear and use another module for this functionality.

2 classes
38 values

Packagepcg-random-0.1.4.0
Exports41
LanguageHaskell2010
LicenceBSD-3-Clause
SourceClass.hs

Classes

2 declarations

classclass Monad m => Generator g (m :: Type -> Type) where

Methods

uniform1 :: (Word32 -> a) -> g -> m a
uniform2 :: (Word32 -> Word32 -> a) -> g -> m a
uniform1B :: Integral a => (Word32 -> a) -> Word32 -> g -> m a

Instances6Generator

Generator Gen IODefined in pcg-random-0.1.4.0 · System.Random.PCG.Unique
(PrimMonad m, s ~ PrimState m) => Generator (Gen s) mDefined in pcg-random-0.1.4.0 · System.Random.PCG
(PrimMonad m, s ~ PrimState m) => Generator (Gen s) mDefined in pcg-random-0.1.4.0 · System.Random.PCG.Fast
(PrimMonad m, s ~ PrimState m) => Generator (Gen s) mDefined in pcg-random-0.1.4.0 · System.Random.PCG.Fast.Pure
(PrimMonad m, s ~ PrimState m) => Generator (Gen s) mDefined in pcg-random-0.1.4.0 · System.Random.PCG.Pure
(PrimMonad m, s ~ PrimState m) => Generator (Gen s) mDefined in pcg-random-0.1.4.0 · System.Random.PCG.Single

classclass 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.

Instances16Variate, …

Variate Int16Defined in pcg-random-0.1.4.0 · System.Random.PCG.Class
Variate Int32Defined in pcg-random-0.1.4.0 · System.Random.PCG.Class
Variate Int64Defined in pcg-random-0.1.4.0 · System.Random.PCG.Class
Variate Int8Defined in pcg-random-0.1.4.0 · System.Random.PCG.Class
Variate Word16Defined in pcg-random-0.1.4.0 · System.Random.PCG.Class
Variate Word32Defined in pcg-random-0.1.4.0 · System.Random.PCG.Class
Variate Word64Defined in pcg-random-0.1.4.0 · System.Random.PCG.Class
Variate Word8Defined in pcg-random-0.1.4.0 · System.Random.PCG.Class
Variate BoolDefined in pcg-random-0.1.4.0 · System.Random.PCG.Class
Variate DoubleDefined in pcg-random-0.1.4.0 · System.Random.PCG.Class
Variate FloatDefined in pcg-random-0.1.4.0 · System.Random.PCG.Class
Variate IntDefined in pcg-random-0.1.4.0 · System.Random.PCG.Class
Variate WordDefined in pcg-random-0.1.4.0 · System.Random.PCG.Class
(Variate a, Variate b) => Variate (a, b)Defined in pcg-random-0.1.4.0 · System.Random.PCG.Class
(Variate a, Variate b, Variate c) => Variate (a, b, c)Defined in pcg-random-0.1.4.0 · System.Random.PCG.Class
(Variate a, Variate b, Variate c, Variate d) => Variate (a, b, c, d)Defined in pcg-random-0.1.4.0 · System.Random.PCG.Class

Type restricted versions

0 declarations

uniform

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

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

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

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

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

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

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

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

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

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

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

uniformR

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

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

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

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

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

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

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

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

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

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

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

uniformB

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

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

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

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

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

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

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

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

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

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

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

Utilities

6 declarations

familytype family Unsigned a

Instances10Unsigned, …

type Unsigned Int16 = Word16Defined in pcg-random-0.1.4.0 · System.Random.PCG.Class
type Unsigned Int32 = Word32Defined in pcg-random-0.1.4.0 · System.Random.PCG.Class
type Unsigned Int64 = Word64Defined in pcg-random-0.1.4.0 · System.Random.PCG.Class
type Unsigned Int8 = Word8Defined in pcg-random-0.1.4.0 · System.Random.PCG.Class
type Unsigned Word16 = Word16Defined in pcg-random-0.1.4.0 · System.Random.PCG.Class
type Unsigned Word32 = Word32Defined in pcg-random-0.1.4.0 · System.Random.PCG.Class
type Unsigned Word64 = Word64Defined in pcg-random-0.1.4.0 · System.Random.PCG.Class
type Unsigned Word8 = Word8Defined in pcg-random-0.1.4.0 · System.Random.PCG.Class
type Unsigned Int = WordDefined in pcg-random-0.1.4.0 · System.Random.PCG.Class
type Unsigned Word = WordDefined in pcg-random-0.1.4.0 · System.Random.PCG.Class

valuewordsTo64Bit :: Integral a => Word32 -> Word32 -> a

valuewordToBool :: Word32 -> Bool

valuewordToFloat :: Word32 -> Float

valuewordsToDouble :: Word32 -> Word32 -> Double

valuesysRandom :: IO Word64

Generate a random number using System.Entropy.

Use RDRAND if available and XOR with /dev/urandom on Unix and CryptAPI on Windows. This entropy is considered cryptographically secure but not true entropy.