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 (RandomElementsListST s a)

getRandomElement :: Unbox a => RandomElementsListST s a -> RndST s a

randomElementsLength :: Unbox a => RandomElementsListST s a -> RndST s Int

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

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

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

data RandomElementsListST s a