Network.Tox.Network.MonadRandomBytes

Documentation

class (Monad m, Applicative m) => MonadRandomBytes m where

Minimal complete definition

randomBytes

Methods

randomBytes :: Int -> m ByteString

newKeyPair :: m KeyPair

Instances

MonadRandomBytes IO

cryptographically secure random bytes from system source

Defined in Network.Tox.Network.MonadRandomBytes

Methods

randomBytes :: Int -> IO ByteString

newKeyPair :: IO KeyPair

MonadRandomBytes m => MonadRandomBytes (NetworkLogged m)

Defined in Network.Tox.Network.Networked

Methods

randomBytes :: Int -> NetworkLogged m ByteString

newKeyPair :: NetworkLogged m KeyPair

MonadRandomBytes m => MonadRandomBytes (KeyedT m)

Defined in Network.Tox.Crypto.KeyedT

Methods

randomBytes :: Int -> KeyedT m ByteString

newKeyPair :: KeyedT m KeyPair

MonadRandomBytes m => MonadRandomBytes (TimedT m)

Defined in Network.Tox.TimedT

Methods

randomBytes :: Int -> TimedT m ByteString

newKeyPair :: TimedT m KeyPair

(Monad m, Applicative m, RandomGen s) => MonadRandomBytes (RandT s m)

Defined in Network.Tox.Network.MonadRandomBytes

Methods

randomBytes :: Int -> RandT s m ByteString

newKeyPair :: RandT s m KeyPair

MonadRandomBytes m => MonadRandomBytes (StateT s m)

Defined in Network.Tox.Network.MonadRandomBytes

Methods

randomBytes :: Int -> StateT s m ByteString

newKeyPair :: StateT s m KeyPair

MonadRandomBytes m => MonadRandomBytes (ReaderT r m)

Defined in Network.Tox.Network.MonadRandomBytes

Methods

randomBytes :: Int -> ReaderT r m ByteString

newKeyPair :: ReaderT r m KeyPair

(Monoid w, MonadRandomBytes m) => MonadRandomBytes (WriterT w m)

Defined in Network.Tox.Network.MonadRandomBytes

Methods

randomBytes :: Int -> WriterT w m ByteString

newKeyPair :: WriterT w m KeyPair

(Monoid w, MonadRandomBytes m) => MonadRandomBytes (RWST r w s m)

Defined in Network.Tox.Network.MonadRandomBytes

Methods

randomBytes :: Int -> RWST r w s m ByteString

newKeyPair :: RWST r w s m KeyPair

randomBinary :: MonadRandomBytes m => Get a -> Int -> m a

randomKey :: forall m a. (MonadRandomBytes m, CryptoNumber a) => m (Key a)

randomNonce :: MonadRandomBytes m => m Nonce

randomWord64 :: MonadRandomBytes m => m Word64

randomWord32 :: MonadRandomBytes m => m Word32

randomWord16 :: MonadRandomBytes m => m Word16

randomWord8 :: MonadRandomBytes m => m Word8

randomInt :: MonadRandomBytes m => Int -> m Int

randomIntR :: MonadRandomBytes m => (Int, Int) -> m Int

uniform :: MonadRandomBytes m => [a] -> m a

produces uniformly random element of a list

uniformSafe :: MonadRandomBytes m => [a] -> m (Maybe a)