Crypto.RNG.Unsafe

Support for generation of non cryptographically secure random numbers for testing purposes.

CryptoRNG class

module Crypto.RNG.Class

Monad transformer for carrying rng state

data RNGT m a

Monad transformer with RNG state.

Instances

MonadTrans RNGT

Defined in Crypto.RNG.Unsafe

Methods

lift :: Monad m => m a -> RNGT m a

MonadTransControl RNGT

Defined in Crypto.RNG.Unsafe

Associated Types

type StT RNGT a

Methods

liftWith :: Monad m => (Run RNGT -> m a) -> RNGT m a

restoreT :: Monad m => m (StT RNGT a) -> RNGT m a

MonadBase b m => MonadBase b (RNGT m)

Defined in Crypto.RNG.Unsafe

Methods

liftBase :: b α -> RNGT m α

MonadBaseControl b m => MonadBaseControl b (RNGT m)

Defined in Crypto.RNG.Unsafe

Associated Types

type StM (RNGT m) a

Methods

liftBaseWith :: (RunInBase (RNGT m) b -> b a) -> RNGT m a

restoreM :: StM (RNGT m) a -> RNGT m a

MonadError e m => MonadError e (RNGT m)

Defined in Crypto.RNG.Unsafe

Methods

throwError :: e -> RNGT m a

catchError :: RNGT m a -> (e -> RNGT m a) -> RNGT m a

Monad m => Monad (RNGT m)

Defined in Crypto.RNG.Unsafe

Methods

(>>=) :: RNGT m a -> (a -> RNGT m b) -> RNGT m b

(>>) :: RNGT m a -> RNGT m b -> RNGT m b

return :: a -> RNGT m a

Functor m => Functor (RNGT m)

Defined in Crypto.RNG.Unsafe

Methods

fmap :: (a -> b) -> RNGT m a -> RNGT m b

(<$) :: a -> RNGT m b -> RNGT m a

MonadFail m => MonadFail (RNGT m)

Defined in Crypto.RNG.Unsafe

Methods

fail :: String -> RNGT m a

Applicative m => Applicative (RNGT m)

Defined in Crypto.RNG.Unsafe

Methods

pure :: a -> RNGT m a

(<*>) :: RNGT m (a -> b) -> RNGT m a -> RNGT m b

liftA2 :: (a -> b -> c) -> RNGT m a -> RNGT m b -> RNGT m c

(*>) :: RNGT m a -> RNGT m b -> RNGT m b

(<*) :: RNGT m a -> RNGT m b -> RNGT m a

MonadIO m => MonadIO (RNGT m)

Defined in Crypto.RNG.Unsafe

Methods

liftIO :: IO a -> RNGT m a

Alternative m => Alternative (RNGT m)

Defined in Crypto.RNG.Unsafe

Methods

empty :: RNGT m a

(<|>) :: RNGT m a -> RNGT m a -> RNGT m a

some :: RNGT m a -> RNGT m [a]

many :: RNGT m a -> RNGT m [a]

MonadPlus m => MonadPlus (RNGT m)

Defined in Crypto.RNG.Unsafe

Methods

mzero :: RNGT m a

mplus :: RNGT m a -> RNGT m a -> RNGT m a

MonadThrow m => MonadThrow (RNGT m)

Defined in Crypto.RNG.Unsafe

Methods

throwM :: Exception e => e -> RNGT m a

MonadCatch m => MonadCatch (RNGT m)

Defined in Crypto.RNG.Unsafe

Methods

catch :: Exception e => RNGT m a -> (e -> RNGT m a) -> RNGT m a

MonadMask m => MonadMask (RNGT m)

Defined in Crypto.RNG.Unsafe

Methods

mask :: ((forall a. RNGT m a -> RNGT m a) -> RNGT m b) -> RNGT m b

uninterruptibleMask :: ((forall a. RNGT m a -> RNGT m a) -> RNGT m b) -> RNGT m b

generalBracket :: RNGT m a -> (a -> ExitCase b -> RNGT m c) -> (a -> RNGT m b) -> RNGT m (b, c)

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

type StT RNGT a

Defined in Crypto.RNG.Unsafe

type StT RNGT a = StT (ReaderT RNGState) a

type StM (RNGT m) a

Defined in Crypto.RNG.Unsafe

type StM (RNGT m) a = StM (ReaderT RNGState m) a

mapRNGT :: (m a -> n b) -> RNGT m a -> RNGT n b

runRNGT :: RNGState -> RNGT m a -> m a

withRNGState :: (RNGState -> m a) -> RNGT m a

Instantiation of the initial RNG state

data RNGState

The random number generator state.

newRNGState :: MonadIO m => Int -> m RNGState

Create a new RNGState with a given seed.

Low-level utils

withRNG :: MonadIO m => RNGState -> (StdGen -> (a, StdGen)) -> m a