Documentation
module Network.TCP.Type.Syscall
tcp_init_host :: Time -> [Port] -> Host tSource
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
module Network.TCP.Type.Syscall
tcp_init_host :: Time -> [Port] -> Host tSource
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