Randomization

Documentation

newtype Randomization m

General means of obtaining randomness

Constructors

Randomization

Fields

• getRandomBytes :: Natural -> m ByteString

  Given a requested number of bytes, this action should produce a ByteString of that length.

deterministicallyRandom :: DeterministicRandomization -> IO (Randomization IO)

Convert from a deterministic generator to an effectful one

newtype DeterministicRandomization

A deterministic random generator

Constructors

DeterministicRandomization

Fields

• nextRandomBytes :: Natural -> (ByteString, DeterministicRandomization)

  Given a requested number of bytes, this function should give a ByteString of that length and a new deterministic generator.

hoistRandomization :: (forall a. m a -> m' a) -> Randomization m -> Randomization m'

defaultRandomization :: IO (Randomization IO)

Cryptographically secure deterministic randomization seeded from system entropy using ChaChaDRG from the crypton package