Network.Tox.TimedT

Documentation

newtype TimedT m a

Constructors

TimedT (ReaderT Timestamp m a)

Instances

MonadTrans TimedT

Defined in Network.Tox.TimedT

Methods

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

DhtNodeMonad TestDhtNodeMonad

Defined in Network.Tox.DHT.Operation

MonadState s m => MonadState s (TimedT m)

Defined in Network.Tox.TimedT

Methods

get :: TimedT m s

put :: s -> TimedT m ()

state :: (s -> (a, s)) -> TimedT m a

MonadWriter w m => MonadWriter w (TimedT m)

Defined in Network.Tox.TimedT

Methods

writer :: (a, w) -> TimedT m a

tell :: w -> TimedT m ()

listen :: TimedT m a -> TimedT m (a, w)

pass :: TimedT m (a, w -> w) -> TimedT m a

Monad m => Monad (TimedT m)

Defined in Network.Tox.TimedT

Methods

(>>=) :: TimedT m a -> (a -> TimedT m b) -> TimedT m b

(>>) :: TimedT m a -> TimedT m b -> TimedT m b

return :: a -> TimedT m a

Functor m => Functor (TimedT m)

Defined in Network.Tox.TimedT

Methods

fmap :: (a -> b) -> TimedT m a -> TimedT m b

(<$) :: a -> TimedT m b -> TimedT m a

Applicative m => Applicative (TimedT m)

Defined in Network.Tox.TimedT

Methods

pure :: a -> TimedT m a

(<*>) :: TimedT m (a -> b) -> TimedT m a -> TimedT m b

liftA2 :: (a -> b -> c) -> TimedT m a -> TimedT m b -> TimedT m c

(*>) :: TimedT m a -> TimedT m b -> TimedT m b

(<*) :: TimedT m a -> TimedT m b -> TimedT m a

MonadIO m => MonadIO (TimedT m)

Defined in Network.Tox.TimedT

Methods

liftIO :: IO a -> TimedT m a

Keyed m => Keyed (TimedT m)

Defined in Network.Tox.TimedT

Methods

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

MonadRandomBytes m => MonadRandomBytes (TimedT m)

Defined in Network.Tox.TimedT

Methods

randomBytes :: Int -> TimedT m ByteString

newKeyPair :: TimedT m KeyPair

Monad m => Timed (TimedT m)

Defined in Network.Tox.TimedT

Methods

askTime :: TimedT m Timestamp

Networked m => Networked (TimedT m)

Defined in Network.Tox.TimedT

Methods

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

runTimedT :: TimedT m a -> Timestamp -> m a