Effectful.Crypto.RNG

Generation of random numbers via Crypto.RNG.

Effect

data RNG :: Effect where

Provide the ability to generate random numbers.

Constructors

RandomBytes :: Int -> RNG m ByteString

Random :: Uniform a => RNG m a

RandomR :: UniformRange a => (a, a) -> RNG m a

Instances

type DispatchOf RNG

Defined in Effectful.Crypto.RNG.Effect

type DispatchOf RNG = 'Dynamic

class Monad m => CryptoRNG (m :: Type -> Type) 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 (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

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

RNG :> es => CryptoRNG (Eff es)

Defined in Effectful.Crypto.RNG.Effect

Methods

randomBytes :: Int -> Eff es ByteString

random :: Uniform a => Eff es a

randomR :: UniformRange a => (a, a) -> Eff es a

Handlers

runCryptoRNG :: IOE :> es => CryptoRNGState -> Eff (RNG ': es) a -> Eff es a

Generate cryptographically secure random numbers.

Instantiation of the initial RNG state

data CryptoRNGState

The random number generator state.

Instances

StatefulGen CryptoRNGState IO

Defined in Crypto.RNG

Methods

uniformWord32R :: Word32 -> CryptoRNGState -> IO Word32

uniformWord64R :: Word64 -> CryptoRNGState -> IO Word64

uniformWord8 :: CryptoRNGState -> IO Word8

uniformWord16 :: CryptoRNGState -> IO Word16

uniformWord32 :: CryptoRNGState -> IO Word32

uniformWord64 :: CryptoRNGState -> IO Word64

uniformShortByteString :: Int -> CryptoRNGState -> IO ShortByteString

newCryptoRNGState :: MonadIO m => m CryptoRNGState

Create a new CryptoRNGState based on system entropy with a buffer size of 32KB.

One buffer per capability is created.

newCryptoRNGStateSized

Arguments

:: MonadIO m

=> Int

Buffer size.

-> m CryptoRNGState

Create a new CryptoRNGState based on system entropy with buffers of specified size.

One buffer per capability is created.