Documentation

module Network.TCP.Type.Syscall

data Host threadt Source

data IPMessage Source

type Time = Int64Source

tcp_init_host :: Time -> [Port] -> Host tSource

tcp_user_req :: (SockReq, SockRsp -> t) -> Host t -> (Host t, Maybe t)Source

tcp_user_rsp :: Host t -> (Host t, [t])Source

tcp_packet_in :: IPMessage -> Host t -> Host tSource

tcp_packet_out :: Host t -> (Host t, [IPMessage])Source

tcp_timer :: Time -> Host t -> Host tSource

tcp_timer_check :: Time -> Host t -> IO (Host t)Source