Safe Haskell	Trustworthy
Language	Haskell2010

Network.Tox.Network.MonadRandomBytes

Synopsis

class (Monad m, Applicative m) => MonadRandomBytes m where
- randomBytes :: Int -> m ByteString
- newKeyPair :: 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
uniformSafe :: MonadRandomBytes m => [a] -> m (Maybe a)

Documentation

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

Minimal complete definition

randomBytes

Methods

randomBytes :: Int -> m ByteString Source #

newKeyPair :: m KeyPair Source #

Instances

Instances details

MonadRandomBytes IO Source #	cryptographically secure random bytes from system source
Instance details Defined in Network.Tox.Network.MonadRandomBytes Methods randomBytes :: Int -> IO ByteString Source # newKeyPair :: IO KeyPair Source #
MonadRandomBytes m => MonadRandomBytes (NetworkLogged m) Source #
Instance details Defined in Network.Tox.Network.Networked Methods randomBytes :: Int -> NetworkLogged m ByteString Source # newKeyPair :: NetworkLogged m KeyPair Source #
MonadRandomBytes m => MonadRandomBytes (KeyedT m) Source #
Instance details Defined in Network.Tox.Crypto.KeyedT Methods randomBytes :: Int -> KeyedT m ByteString Source # newKeyPair :: KeyedT m KeyPair Source #
MonadRandomBytes m => MonadRandomBytes (TimedT m) Source #
Instance details Defined in Network.Tox.TimedT Methods randomBytes :: Int -> TimedT m ByteString Source # newKeyPair :: TimedT m KeyPair Source #
(Monad m, Applicative m, RandomGen s) => MonadRandomBytes (RandT s m) Source #
Instance details Defined in Network.Tox.Network.MonadRandomBytes Methods randomBytes :: Int -> RandT s m ByteString Source # newKeyPair :: RandT s m KeyPair Source #
MonadRandomBytes m => MonadRandomBytes (StateT s m) Source #
Instance details Defined in Network.Tox.Network.MonadRandomBytes Methods randomBytes :: Int -> StateT s m ByteString Source # newKeyPair :: StateT s m KeyPair Source #
MonadRandomBytes m => MonadRandomBytes (ReaderT r m) Source #
Instance details Defined in Network.Tox.Network.MonadRandomBytes Methods randomBytes :: Int -> ReaderT r m ByteString Source # newKeyPair :: ReaderT r m KeyPair Source #
(Monoid w, MonadRandomBytes m) => MonadRandomBytes (WriterT w m) Source #
Instance details Defined in Network.Tox.Network.MonadRandomBytes Methods randomBytes :: Int -> WriterT w m ByteString Source # newKeyPair :: WriterT w m KeyPair Source #
(Monoid w, MonadRandomBytes m) => MonadRandomBytes (RWST r w s m) Source #
Instance details Defined in Network.Tox.Network.MonadRandomBytes Methods randomBytes :: Int -> RWST r w s m ByteString Source # newKeyPair :: RWST r w s m KeyPair Source #

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

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

randomNonce :: MonadRandomBytes m => m Nonce Source #

randomWord64 :: MonadRandomBytes m => m Word64 Source #

randomWord32 :: MonadRandomBytes m => m Word32 Source #

randomWord16 :: MonadRandomBytes m => m Word16 Source #

randomWord8 :: MonadRandomBytes m => m Word8 Source #

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

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

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

produces uniformly random element of a list

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