Idris2Doc : System.UV.TCP

System.UV.TCP

(source)

Definitions

ip4name : Ptr SockAddrIn -> IO String
  Convert a binary structure containing an IPv4 address to a string.

Totality: total
Visibility: export
ip6name : Ptr SockAddrIn6 -> IO String
  Convert a binary structure containing an IPv6 address to a string.

Totality: total
Visibility: export
ipname : Ptr SockAddr -> IO String
  Convert a binary structure containing an IPv4 address or an
IPv6 address to a string.

Totality: total
Visibility: export
mkTcp : UVLoop => Has UVError es => Async es (Ptr Tcp)
Totality: total
Visibility: export
bindTcp : UVLoop => Has UVError es => Ptr SockAddrIn -> Async es (Ptr Tcp)
Totality: total
Visibility: export
acceptTcp : UVLoop => Has UVError es => Ptr Stream -> Async es (Ptr Tcp)
Totality: total
Visibility: export
listenTcp : UVLoop => Has UVError es => String -> Bits16 -> (Buffer (Either UVError (Ptr Stream)) -> Async es ()) -> Async es ()
Visibility: export