Network.Tox.Crypto.KeyedT

Documentation

type KeyRing = Map (SecretKey, PublicKey) CombinedKey

newtype KeyedT m a

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

Constructors

KeyedT (StateT KeyRing m a)

Instances

MonadTrans KeyedT

Defined in Network.Tox.Crypto.KeyedT

Methods

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

DhtNodeMonad TestDhtNodeMonad

Defined in Network.Tox.DHT.Operation

(MonadState s m, Applicative m) => MonadState s (KeyedT m)

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)

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)

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)

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)

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)

Defined in Network.Tox.Crypto.KeyedT

Methods

liftIO :: IO a -> KeyedT m a

(Monad m, Applicative m) => Keyed (KeyedT m)

Defined in Network.Tox.Crypto.KeyedT

Methods

getCombinedKey :: SecretKey -> PublicKey -> KeyedT m CombinedKey

MonadRandomBytes m => MonadRandomBytes (KeyedT m)

Defined in Network.Tox.Crypto.KeyedT

Methods

randomBytes :: Int -> KeyedT m ByteString

newKeyPair :: KeyedT m KeyPair

Timed m => Timed (KeyedT m)

Defined in Network.Tox.Crypto.KeyedT

Methods

askTime :: KeyedT m Timestamp

Networked m => Networked (KeyedT m)

Defined in Network.Tox.Crypto.KeyedT

Methods

sendPacket :: (Binary payload, Show payload) => NodeInfo -> Packet payload -> KeyedT m ()

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

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