Crypto.Lol.Types.Random

Defines a newtype wrapper CryptoRand for crypto-api's CryptoRandomGen, and a corresponding RandomGen wrapper instance. These are needed because CryptoRandomGen generators can only be used to get Data.ByteStrings; the RandomGen wrapper instance allows them to be used to generate any Random type.

Documentation

data CryptoRand g

Turns a CryptoRandomGen g into a standard RandomGen.

Instances

CryptoRandomGen g => RandomGen (CryptoRand g)

Defined in Crypto.Lol.Types.Random

Methods

next :: CryptoRand g -> (Int, CryptoRand g)

genRange :: CryptoRand g -> (Int, Int)

split :: CryptoRand g -> (CryptoRand g, CryptoRand g)

CryptoRandomGen g => CryptoRandomGen (CryptoRand g)

Defined in Crypto.Lol.Types.Random

Methods

newGen :: ByteString -> Either GenError (CryptoRand g)

genSeedLength :: Tagged (CryptoRand g) ByteLength

genBytes :: ByteLength -> CryptoRand g -> Either GenError (ByteString, CryptoRand g)

reseedInfo :: CryptoRand g -> ReseedInfo

reseedPeriod :: CryptoRand g -> ReseedInfo

genBytesWithEntropy :: ByteLength -> ByteString -> CryptoRand g -> Either GenError (ByteString, CryptoRand g)

reseed :: ByteString -> CryptoRand g -> Either GenError (CryptoRand g)

newGenIO :: IO (CryptoRand g)

evalCryptoRandIO :: (CryptoRandomGen g, MonadIO io) => RandT g io a -> io a

Evaluate a RandT computation using a cryptographic generator g, seeded by system entropy. Note that the updated generator is not returned.