Idris2Doc : System.UV.TCP

System.UV.TCP

(source)

Definitions

ip4name : PtrSockAddrIn->IOString
  Convert a binary structure containing an IPv4 address to a string.

Totality: total
Visibility: export
ip6name : PtrSockAddrIn6->IOString
  Convert a binary structure containing an IPv6 address to a string.

Totality: total
Visibility: export
ipname : PtrSockAddr->IOString
  Convert a binary structure containing an IPv4 address or an
IPv6 address to a string.

Totality: total
Visibility: export
mkTcp : UVLoop=>HasUVErrores=>Asynces (PtrTcp)
Totality: total
Visibility: export
bindTcp : UVLoop=>HasUVErrores=>PtrSockAddrIn->Asynces (PtrTcp)
Totality: total
Visibility: export
acceptTcp : UVLoop=>HasUVErrores=>PtrStream->Asynces (PtrTcp)
Totality: total
Visibility: export
listenTcp : UVLoop=>HasUVErrores=>String->Bits16-> (Buffer (EitherUVError (PtrStream)) ->Asynces ()) ->Asynces ()
Visibility: export