Safe Haskell	None
Language	Haskell2010

Network.Tox.Crypto.KeyedT

Synopsis

type KeyRing = Map (SecretKey, PublicKey) CombinedKey
newtype KeyedT m a = KeyedT (StateT KeyRing m a)
runKeyedT :: Monad m => KeyedT m a -> KeyRing -> m (a, KeyRing)
evalKeyedT :: Monad m => KeyedT m a -> KeyRing -> m a

Documentation

type KeyRing = Map (SecretKey, PublicKey) CombinedKey Source #

newtype KeyedT m a Source #

caches computations of combined keys. Makes no attempt to delete old keys.

Constructors

KeyedT (StateT KeyRing m a)

Instances

Instances details

MonadTrans KeyedT Source #
Instance details Defined in Network.Tox.Crypto.KeyedT Methods lift :: Monad m => m a -> KeyedT m a #
DhtNodeMonad TestDhtNodeMonad Source #
Instance details Defined in Network.Tox.DHT.Operation
(MonadState s m, Applicative m) => MonadState s (KeyedT m) Source #
Instance details Defined in Network.Tox.Crypto.KeyedT Methods get :: KeyedT m s # put :: s -> KeyedT m () # state :: (s -> (a, s)) -> KeyedT m a #
MonadWriter w m => MonadWriter w (KeyedT m) Source #
Instance details Defined in Network.Tox.Crypto.KeyedT Methods writer :: (a, w) -> KeyedT m a # tell :: w -> KeyedT m () # listen :: KeyedT m a -> KeyedT m (a, w) # pass :: KeyedT m (a, w -> w) -> KeyedT m a #
Monad m => Monad (KeyedT m) Source #
Instance details Defined in Network.Tox.Crypto.KeyedT Methods (>>=) :: KeyedT m a -> (a -> KeyedT m b) -> KeyedT m b # (>>) :: KeyedT m a -> KeyedT m b -> KeyedT m b # return :: a -> KeyedT m a #
Functor m => Functor (KeyedT m) Source #
Instance details Defined in Network.Tox.Crypto.KeyedT Methods fmap :: (a -> b) -> KeyedT m a -> KeyedT m b # (<$) :: a -> KeyedT m b -> KeyedT m a #
Monad m => Applicative (KeyedT m) Source #
Instance details Defined in Network.Tox.Crypto.KeyedT Methods pure :: a -> KeyedT m a # (<>) :: KeyedT m (a -> b) -> KeyedT m a -> KeyedT m b # liftA2 :: (a -> b -> c) -> KeyedT m a -> KeyedT m b -> KeyedT m c # (>) :: KeyedT m a -> KeyedT m b -> KeyedT m b # (<*) :: KeyedT m a -> KeyedT m b -> KeyedT m a #
MonadIO m => MonadIO (KeyedT m) Source #
Instance details Defined in Network.Tox.Crypto.KeyedT Methods liftIO :: IO a -> KeyedT m a #
(Monad m, Applicative m) => Keyed (KeyedT m) Source #
Instance details Defined in Network.Tox.Crypto.KeyedT Methods getCombinedKey :: SecretKey -> PublicKey -> KeyedT m CombinedKey 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 #
Timed m => Timed (KeyedT m) Source #
Instance details Defined in Network.Tox.Crypto.KeyedT Methods askTime :: KeyedT m Timestamp Source #
Networked m => Networked (KeyedT m) Source #
Instance details Defined in Network.Tox.Crypto.KeyedT Methods sendPacket :: (Binary payload, Show payload) => NodeInfo -> Packet payload -> KeyedT m () Source #

runKeyedT :: Monad m => KeyedT m a -> KeyRing -> m (a, KeyRing) Source #

evalKeyedT :: Monad m => KeyedT m a -> KeyRing -> m a Source #