Crypto.RandomMonad

Documentation

data RndT m a

Instances

MonadTrans RndT

Methods

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

Monad m => Monad (RndT m)

Methods

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

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

return :: a -> RndT m a

fail :: String -> RndT m a

Functor m => Functor (RndT m)

Methods

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

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

Monad m => Applicative (RndT m)

Methods

pure :: a -> RndT m a

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

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

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

PrimMonad m => PrimMonad (RndT m)

Associated Types

type PrimState (RndT m :: * -> *) :: *

Methods

primitive :: (State# (PrimState (RndT m)) -> (#VoidRep, PtrRepLifted, State# (PrimState (RndT m)), a#)) -> RndT m a

type PrimState (RndT m)

type PrimState (RndT m) = PrimState m

type RndST s a = RndT (ST s) a

type RndIO a = RndT IO a

type Rnd a = RndT Identity a

type RndState = [BitString]

getRandomM :: Monad m => Integer -> RndT m Integer

getRandom2M :: Monad m => Integer -> Integer -> RndT m Integer

runRndT :: RndState -> RndT m a -> m (a, RndState)

newRandomElementST :: Unbox a => [a] -> ST s (STRef s (Vector a))

getRandomElement :: Unbox a => STRef s (Vector a) -> RndST s a

randomElementsLength :: (Unbox a, MonadTrans t, Monad (t (ST s))) => STRef s (Vector a) -> t (ST s) Int

replaceSeedM :: Monad m => RndState -> RndT m ()

addSeedM :: Monad m => RndState -> RndT m ()

getRandomByteStringM :: Monad m => Integer -> RndT m ByteString