Module udp

Udp effect — UDP datagram operations.

Sub-effect of Net. UdpSocket is an AnyUInt file-descriptor identifier; addresses are Str host + AnyInt port pairs; byte payloads are Bytes. Typed UdpSocket (unique-mode), SocketAddr, NetError, and UDuration land with the host handler.

The current decl exposes bind, send-to, recv-from, send, recv, connect, close, local-addr, and set-broadcast; multicast, TTL, and timeout operations are deferred.