tcp-0.0.2: A purely functional TCP implementation

Network.TCP.Type.Socket

Documentation

data TCPState Source

Constructors

CLOSED
LISTEN
SYN_SENT
SYN_RECEIVED
ESTABLISHED
CLOSE_WAIT
FIN_WAIT_1
FIN_WAIT_2
CLOSING
LAST_ACK
TIME_WAIT

Instances

Eq TCPState
Show TCPState

data TCPReassSegment Source

Constructors

TCPReassSegment
Fields trs_seq :: !SeqForeign trs_FIN :: !Bool trs_data :: !BufferChain

Instances

Show TCPReassSegment

data RexmtMode Source

Constructors

RexmtSyn
Rexmt
Persist

Instances

Eq RexmtMode
Show RexmtMode

data Rttinf Source

Constructors

Rttinf
Fields t_rttupdated :: !Int tf_srtt_valid :: !Bool t_srtt :: !Time t_rttvar :: !Time t_rttmin :: !Time t_lastrtt :: !Time t_lastshift :: !Int t_wassyn :: !Bool

Instances

data IOBC Source

Constructors

NO_OOBDATA
OOBDATA Buffer
HAD_OOBDATA

Instances

data SocketListen Source

Constructors

SocketListen
Fields lis_q0 :: ![SocketID] lis_q :: ![SocketID] lis_qlimit :: !Int

Instances

Eq SocketListen
Show SocketListen

data TCBTiming Source

Constructors

TCBTiming
Fields tt_keep :: !(Maybe Time) tt_conn_est :: !(Maybe Time) tt_fin_wait_2 :: !(Maybe Time) tt_2msl :: !(Maybe Time) t_idletime :: !Time ts_recent :: !(TimeWindow Timestamp) t_badrxtwin :: !(TimeWindow ())

Instances

data TCBSending Source

Constructors

TCBSending
Fields sndq :: !BufferChain snd_una :: !SeqLocal snd_wnd :: !Int snd_wl1 :: !SeqForeign snd_wl2 :: !SeqLocal snd_cwnd :: !Int snd_nxt :: !SeqLocal snd_max :: !SeqLocal t_dupacks :: !Int t_rttinf :: !Rttinf t_rttseg :: !(Maybe (Timestamp, SeqLocal)) tt_rexmt :: !(Maybe (Timed (RexmtMode, Int)))

Instances

Show TCBSending

data TCBReceiving Source

Constructors

TCBReceiving
Fields last_ack_sent :: !SeqForeign tf_rxwin0sent :: !Bool tf_shouldacknow :: !Bool tt_delack :: !Bool rcv_adv :: !SeqForeign rcv_wnd :: !Int rcv_nxt :: !SeqForeign rcvq :: !BufferChain t_segq :: ![TCPReassSegment]

Instances

Show TCBReceiving

data TCBMisc Source

Constructors

Fields

snd_ssthresh :: !Int
snd_cwnd_prev :: !Int
snd_ssthresh_prev :: !Int
snd_recover :: !SeqLocal
cantsndmore :: !Bool
cantrcvmore :: !Bool
bsd_cantconnect :: !Bool
self_id :: !SocketID
parent_id :: !SocketID
local_addr :: !TCPAddr
remote_addr :: !TCPAddr
t_maxseg :: !Int
t_advmss :: !(Maybe Int)
tf_doing_ws :: !Bool
tf_doing_tstmp :: !Bool
tf_req_tstmp :: !Bool
request_r_scale :: !(Maybe Int)
snd_scale :: !Int
rcv_scale :: !Int
iss :: !SeqLocal
irs :: !SeqForeign
sndurp :: !(Maybe Int)
rcvurp :: !(Maybe Int)
iobc :: !IOBC
rcv_up :: !SeqForeign
tf_needfin :: !Bool

Instances

data TCPSocket threadt Source

Constructors

TCPSocket
Fields st :: !TCPState cb_time :: !TCBTiming cb_snd :: !TCBSending cb_rcv :: !TCBReceiving cb :: !TCBMisc sock_listen :: !SocketListen waiting_list :: ![(SockReq, SockRsp -> threadt)]

Instances

Show (TCPSocket t)

data Host threadt Source

Constructors

Host
Fields sock_map :: !(Map SocketID (TCPSocket threadt)) output_queue :: ![IPMessage] ready_list :: ![threadt] ticks :: !Timestamp clock :: !Time next_timers :: !(Time, Time) local_ports :: ![Port]