Crypto.RNG.Class

Documentation

class Monad m => CryptoRNG m where

Monads carrying around the RNG state.

Methods

randomBytes :: Int -> m ByteString

Generate a given number of cryptographically secure random bytes.

random :: Uniform a => m a

Generate a cryptographically secure value uniformly distributed over all possible values of that type.

randomR :: UniformRange a => (a, a) -> m a

Generate a cryptographically secure value in a given, closed range.

Instances

(Monad (t m), MonadTrans t, CryptoRNG m) => CryptoRNG (t m)

Generic, overlapping instance.

Defined in Crypto.RNG.Class

Methods

randomBytes :: Int -> t m ByteString

random :: Uniform a => t m a

randomR :: UniformRange a => (a, a) -> t m a

MonadIO m => CryptoRNG (CryptoRNGT m)

Defined in Crypto.RNG

Methods

randomBytes :: Int -> CryptoRNGT m ByteString

random :: Uniform a => CryptoRNGT m a

randomR :: UniformRange a => (a, a) -> CryptoRNGT m a

MonadIO m => CryptoRNG (RNGT m)

Defined in Crypto.RNG.Unsafe

Methods

randomBytes :: Int -> RNGT m ByteString

random :: Uniform a => RNGT m a

randomR :: UniformRange a => (a, a) -> RNGT m a