System.Random.Random123.RandomGen

Integration with the standard library RandomGen class.

Documentation

mkCustomCBRNG32 :: LimitedInteger c => (k -> c -> c) -> k -> CustomCBRNG32 k c

Creates a custom 32-bit RNG from a keyed bijection (Word32- or Word64-parametrized version of philox2, philox2R, philox4, philox4R, threefry2, threefry2R, threefry4, threefry4R) and a corresponding key.

mkCustomCBRNG64 :: LimitedInteger c => (k -> c -> c) -> k -> CustomCBRNG64 k c

Creates a custom 64-bit RNG from a keyed bijection (Word32- or Word64-parametrized version of philox2, philox2R, philox4, philox4R, threefry2, threefry2R, threefry4, threefry4R) and a corresponding key.

restoreCustomCBRNG32 :: (LimitedInteger k, LimitedInteger c) => (k -> c -> c) -> CBRNGState -> CustomCBRNG32 k c

Restores a custom 32-bit RNG from a saved state.

restoreCustomCBRNG64 :: (LimitedInteger k, LimitedInteger c) => (k -> c -> c) -> CBRNGState -> CustomCBRNG64 k c

Restores a custom 64-bit RNG from a saved state.

mkCBRNG32 :: Integer -> CBRNG32

Creates a default 32-bit RNG (based on 32-bit philox4) with an Integer key.

mkCBRNG64 :: Integer -> CBRNG64

Creates a default 64-bit RNG (based on 64-bit philox4) with an Integer key.

restoreCBRNG32 :: CBRNGState -> CBRNG32

Restores a default 32-bit RNG from a saved state.

restoreCBRNG64 :: CBRNGState -> CBRNG64

Restores a default 64-bit RNG from a saved state.

data CBRNG32

Default 32-bit RNG. Supports serialization through Show / Read interface. Alternatively, can be serialized with getState and restored with restoreCBRNG32.

Instances

Eq CBRNG32

Read CBRNG32

Show CBRNG32

RandomGen CBRNG32

SerializableCBRNG CBRNG32

data CBRNG64

Default 64-bit RNG. Supports serialization through Show / Read interface. Alternatively, can be serialized with getState and restored with restoreCBRNG64.

Instances

Eq CBRNG64

Read CBRNG64

Show CBRNG64

RandomGen CBRNG64

SerializableCBRNG CBRNG64

data CustomCBRNG32 k c

32-bit RNG with a custom bijection function. Can be serialized with getState and restored with restoreCustomCBRNG32 (but it is the user's responsibility to provide the original bijection).

Instances

(Counter c, Word32Array c) => RandomGen (CustomCBRNG32 k c)

(LimitedInteger k, LimitedInteger c) => SerializableCBRNG (CustomCBRNG32 k c)

data CustomCBRNG64 k c

64-bit RNG with a custom bijection function. Can be serialized with getState and restored with restoreCustomCBRNG32 (but it is the user's responsibility to provide the original bijection).

Instances

(Counter c, Word64Array c) => RandomGen (CustomCBRNG64 k c)

(LimitedInteger k, LimitedInteger c) => SerializableCBRNG (CustomCBRNG64 k c)

data CBRNGState

Generalized CBRNG state, consisting of key, counter and subcounter, where the first two are cast to integers (using liToInteger).

Instances

Eq CBRNGState

Read CBRNGState

Show CBRNGState

class SerializableCBRNG a where

Class of RNGs allowing the state extraction.

Methods

getState :: a -> CBRNGState

Instances

SerializableCBRNG CBRNG64

SerializableCBRNG CBRNG32

(LimitedInteger k, LimitedInteger c) => SerializableCBRNG (CustomCBRNG64 k c)

(LimitedInteger k, LimitedInteger c) => SerializableCBRNG (CustomCBRNG32 k c)