Crypto.Random

Deterministic instances

data ChaChaDRG

ChaCha Deterministic Random Generator

Instances

NFData ChaChaDRG

Methods

rnf :: ChaChaDRG -> ()

DRG ChaChaDRG

Methods

randomBytesGenerate :: ByteArray byteArray => Int -> ChaChaDRG -> (byteArray, ChaChaDRG)

data SystemDRG

A referentially transparent System representation of the random evaluated out of the system.

Holding onto a specific DRG means that all the already evaluated bytes will be consistently replayed.

There's no need to reseed this DRG, as only pure entropy is represented here.

Instances

DRG SystemDRG

Methods

randomBytesGenerate :: ByteArray byteArray => Int -> SystemDRG -> (byteArray, SystemDRG)

data Seed

Instances

ByteArrayAccess Seed

Methods

length :: Seed -> Int

withByteArray :: Seed -> (Ptr p -> IO a) -> IO a

Seed

seedNew :: MonadRandom randomly => randomly Seed

Create a new Seed from system entropy

seedFromInteger :: Integer -> Seed

Convert an integer to a Seed

seedToInteger :: Seed -> Integer

Convert a Seed to an integer

Deterministic Random class

getSystemDRG :: IO SystemDRG

Grab one instance of the System DRG

drgNew :: MonadRandom randomly => randomly ChaChaDRG

Create a new DRG from system entropy

drgNewSeed :: Seed -> ChaChaDRG

Create a new DRG from a seed

drgNewTest :: (Word64, Word64, Word64, Word64, Word64) -> ChaChaDRG

Create a new DRG from 5 Word64.

This is a convenient interface to create deterministic interface for quickcheck style testing.

It can also be used in other contexts provided the input has been properly randomly generated.

withDRG :: DRG gen => gen -> MonadPseudoRandom gen a -> (a, gen)

Run a pure computation with a Deterministic Random Generator in the MonadPseudoRandom

withRandomBytes :: (ByteArray ba, DRG g) => g -> Int -> (ba -> a) -> (a, g)

Generate len random bytes and mapped the bytes to the function f.

This is equivalent to use Control.Arrow first with randomBytesGenerate

class DRG gen where

A Deterministic Random Generator (DRG) class

Minimal complete definition

randomBytesGenerate

Methods

randomBytesGenerate :: ByteArray byteArray => Int -> gen -> (byteArray, gen)

Generate N bytes of randomness from a DRG

Instances

DRG SystemDRG

Methods

randomBytesGenerate :: ByteArray byteArray => Int -> SystemDRG -> (byteArray, SystemDRG)

DRG ChaChaDRG

Methods

randomBytesGenerate :: ByteArray byteArray => Int -> ChaChaDRG -> (byteArray, ChaChaDRG)

Random abstraction

class (Functor m, Monad m) => MonadRandom m where

A monad constraint that allows to generate random bytes

Minimal complete definition

getRandomBytes

Methods

getRandomBytes :: ByteArray byteArray => Int -> m byteArray

Instances

MonadRandom IO

Methods

getRandomBytes :: ByteArray byteArray => Int -> IO byteArray

DRG gen => MonadRandom (MonadPseudoRandom gen)

Methods

getRandomBytes :: ByteArray byteArray => Int -> MonadPseudoRandom gen byteArray

data MonadPseudoRandom gen a

A simple Monad class very similar to a State Monad with the state being a DRG.

Instances

DRG gen => Monad (MonadPseudoRandom gen)

Methods

(>>=) :: MonadPseudoRandom gen a -> (a -> MonadPseudoRandom gen b) -> MonadPseudoRandom gen b

(>>) :: MonadPseudoRandom gen a -> MonadPseudoRandom gen b -> MonadPseudoRandom gen b

return :: a -> MonadPseudoRandom gen a

fail :: String -> MonadPseudoRandom gen a

DRG gen => Functor (MonadPseudoRandom gen)

Methods

fmap :: (a -> b) -> MonadPseudoRandom gen a -> MonadPseudoRandom gen b

(<$) :: a -> MonadPseudoRandom gen b -> MonadPseudoRandom gen a

DRG gen => Applicative (MonadPseudoRandom gen)

Methods

pure :: a -> MonadPseudoRandom gen a

(<*>) :: MonadPseudoRandom gen (a -> b) -> MonadPseudoRandom gen a -> MonadPseudoRandom gen b

(*>) :: MonadPseudoRandom gen a -> MonadPseudoRandom gen b -> MonadPseudoRandom gen b

(<*) :: MonadPseudoRandom gen a -> MonadPseudoRandom gen b -> MonadPseudoRandom gen a

DRG gen => MonadRandom (MonadPseudoRandom gen)

Methods

getRandomBytes :: ByteArray byteArray => Int -> MonadPseudoRandom gen byteArray