Network.Tox.DHT.Operation

Documentation

class (Networked m, Timed m, MonadRandomBytes m, MonadState DhtState m, Keyed m) => DhtNodeMonad m

Instances

DhtNodeMonad TestDhtNodeMonad

Defined in Network.Tox.DHT.Operation

data RequestInfo

Constructors

RequestInfo

Fields

• requestTo :: NodeInfo
• requestSearch :: PublicKey

Instances

Eq RequestInfo

Defined in Network.Tox.DHT.Operation

Methods

(==) :: RequestInfo -> RequestInfo -> Bool

(/=) :: RequestInfo -> RequestInfo -> Bool

Read RequestInfo

Defined in Network.Tox.DHT.Operation

Methods

readsPrec :: Int -> ReadS RequestInfo

readList :: ReadS [RequestInfo]

readPrec :: ReadPrec RequestInfo

readListPrec :: ReadPrec [RequestInfo]

Show RequestInfo

Defined in Network.Tox.DHT.Operation

Methods

showsPrec :: Int -> RequestInfo -> ShowS

show :: RequestInfo -> String

showList :: [RequestInfo] -> ShowS

sendDhtPacket :: (DhtNodeMonad m, Binary payload) => NodeInfo -> PacketKind -> payload -> m ()

sendRpcRequest :: (DhtNodeMonad m, Binary payload) => NodeInfo -> PacketKind -> payload -> m ()

sendNodesRequest :: DhtNodeMonad m => RequestInfo -> m ()

sendNodesResponse :: DhtNodeMonad m => NodeInfo -> RequestId -> [NodeInfo] -> m ()

sendPingRequest :: DhtNodeMonad m => NodeInfo -> m ()

sendPingResponse :: DhtNodeMonad m => NodeInfo -> RequestId -> m ()

modifyM :: MonadState s m => (s -> m s) -> m ()

zoom_ :: MonadState s' m => Lens' s' s -> StateT s m a -> m a

adapted from michaelt's lens-simple: zoom_ is like zoom but for convenience returns an mtl style abstracted MonadState state, rather than a concrete StateT, recapturing a bit more of the abstractness of Control.Lens.zoom

initRandomSearches :: Int

initDht :: (MonadRandomBytes m, Timed m) => m DhtState

bootstrapNode :: DhtNodeMonad m => NodeInfo -> m ()

randomRequestPeriod :: TimeDiff

maxBootstrapTimes :: Int

randomRequests :: DhtNodeMonad m => WriterT [RequestInfo] m ()

checkPeriod :: TimeDiff

maxChecks :: Int

checkNodes :: forall m. DhtNodeMonad m => WriterT [RequestInfo] m ()

doDHT :: DhtNodeMonad m => m ()

requireNodesResponseWithin :: TimeDiff

handleNodesResponse :: DhtNodeMonad m => NodeInfo -> RpcPacket NodesResponse -> m ()

responseMaxNodes :: Int

handleNodesRequest :: DhtNodeMonad m => NodeInfo -> RpcPacket NodesRequest -> m ()

handlePingRequest :: DhtNodeMonad m => NodeInfo -> RpcPacket PingPacket -> m ()

requirePingResponseWithin :: TimeDiff

maxPendingTime :: TimeDiff

checkPending :: DhtNodeMonad m => TimeDiff -> NodeInfo -> RequestId -> m Bool

handlePingResponse :: DhtNodeMonad m => NodeInfo -> RpcPacket PingPacket -> m ()

sendPingRequestIfAppropriate :: DhtNodeMonad m => NodeInfo -> m ()

handleDhtRequestPacket :: DhtNodeMonad m => NodeInfo -> DhtRequestPacket -> m ()

type NatPingPacket = ()

TODO

handleNatPingPacket :: DhtNodeMonad m => NatPingPacket -> m ()

type DhtPKPacket = ()

TODO

handleDhtPKPacket :: DhtNodeMonad m => DhtPKPacket -> m ()

type TestDhtNodeMonad = KeyedT (TimedT (RandT StdGen (StateT DhtState (NetworkLogged Identity))))

runTestDhtNode :: ArbStdGen -> Timestamp -> DhtState -> TestDhtNodeMonad a -> (a, DhtState)

evalTestDhtNode :: ArbStdGen -> Timestamp -> DhtState -> TestDhtNodeMonad a -> a

execTestDhtNode :: ArbStdGen -> Timestamp -> DhtState -> TestDhtNodeMonad a -> DhtState

initTestDhtState :: ArbStdGen -> Timestamp -> DhtState

newtype ArbStdGen

wrap StdGen so the Arbitrary instance isn't an orphan

Constructors

ArbStdGen

Fields

• unwrapArbStdGen :: StdGen

Instances

Show ArbStdGen

Defined in Network.Tox.DHT.Operation

Methods

showsPrec :: Int -> ArbStdGen -> ShowS

show :: ArbStdGen -> String

showList :: [ArbStdGen] -> ShowS

Arbitrary ArbStdGen

Defined in Network.Tox.DHT.Operation

Methods

arbitrary :: Gen ArbStdGen

shrink :: ArbStdGen -> [ArbStdGen]