Hans.Tcp.State

Tcp State

class HasTcpState state

data TcpState

newTcpState

Responder Interaction

tcpQueue

data TcpResponderRequest

Listen Sockets

incrSynBacklog

decrSynBacklog

registerListening

lookupListening

deleteListening

Active Sockets

data Key

tcbKey

tcpActive

lookupActive

registerActive

closeActive

deleteActive

TimeWait Sockets

registerTimeWait

lookupTimeWait

resetTimeWait

deleteTimeWait

Port Management

nextTcpPort

Sequence Numbers

nextIss