Network.Tox.Network.Networked

Abstraction layer for network functionality.

The intention is to (i) separate the logic of the protocol from its binary encoding, and (ii) allow a simulated network in place of actual network IO.

Documentation

class Monad m => Networked m where

Methods

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

Instances

Monad m => Networked (NetworkLogged m)

just log network events

Defined in Network.Tox.Network.Networked

Methods

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

Networked m => Networked (KeyedT m)

Defined in Network.Tox.Crypto.KeyedT

Methods

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

Networked m => Networked (TimedT m)

Defined in Network.Tox.TimedT

Methods

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

Networked m => Networked (RandT s m)

Defined in Network.Tox.Network.Networked

Methods

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

Networked m => Networked (StateT s m)

Defined in Network.Tox.Network.Networked

Methods

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

Networked (StateT NetworkState IO)

actual network IO

Defined in Network.Tox.Network.Networked

Methods

sendPacket :: (Binary payload, Show payload) => NodeInfo -> Packet payload -> StateT NetworkState IO ()

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

Defined in Network.Tox.Network.Networked

Methods

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

Networked m => Networked (ReaderT r m)

Defined in Network.Tox.Network.Networked

Methods

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

type NetworkState = ()

TODO: sockets etc

type NetworkEvent = String

newtype NetworkLogged m a

Constructors

NetworkLogged (WriterT [NetworkEvent] m a)

Instances

DhtNodeMonad TestDhtNodeMonad

Defined in Network.Tox.DHT.Operation

MonadState s m => MonadState s (NetworkLogged m)

Defined in Network.Tox.Network.Networked

Methods

get :: NetworkLogged m s

put :: s -> NetworkLogged m ()

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

Monad m => Monad (NetworkLogged m)

Defined in Network.Tox.Network.Networked

Methods

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

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

return :: a -> NetworkLogged m a

Functor m => Functor (NetworkLogged m)

Defined in Network.Tox.Network.Networked

Methods

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

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

Applicative m => Applicative (NetworkLogged m)

Defined in Network.Tox.Network.Networked

Methods

pure :: a -> NetworkLogged m a

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

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

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

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

MonadRandomBytes m => MonadRandomBytes (NetworkLogged m)

Defined in Network.Tox.Network.Networked

Methods

randomBytes :: Int -> NetworkLogged m ByteString

newKeyPair :: NetworkLogged m KeyPair

Timed m => Timed (NetworkLogged m)

Defined in Network.Tox.Network.Networked

Methods

askTime :: NetworkLogged m Timestamp

Monad m => Networked (NetworkLogged m)

just log network events

Defined in Network.Tox.Network.Networked

Methods

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

runNetworkLogged :: Monad m => NetworkLogged m a -> m (a, [NetworkEvent])

evalNetworkLogged :: (Monad m, Applicative m) => NetworkLogged m a -> m a

execNetworkLogged :: Monad m => NetworkLogged m a -> m [NetworkEvent]