IO.Async.Socket

Reexports

Definitions

socketnb : Has Errno es => PollH e => (d : Domain) -> SockType -> Async e es (Socket d)

  Creates a new endpoint for communication returning a file descriptor
  referring to that endpoint.
  
  Unlike `System.Posix.Socket`, this will open the socket in
  non-blocking mode (with the `O_NONBLOCK` flag set)

Totality: total
Visibility: export

acceptnb : Has Errno es => PollH e => Socket d -> Async e es (Socket d)

  Listens on the given socket for incoming connections without blocking.

Totality: total
Visibility: export

connectnb : Has Errno es => PollH e => Socket d -> Addr d -> Async e es ()

  Connects a socket to the given address.

Totality: total
Visibility: export

recvnb : Has Errno es => PollH e => Socket d -> (0 r : Type) -> FromBuf r => Bits32 -> SockFlags -> Async e es (ReadRes r)

  Reads at most `n` bytes from a socket.

Totality: total
Visibility: export