Standard library referenceModules
i/net
TCP streams, UDP datagrams and name resolution.
Net
Net = ( Listener
Listener = (Int) Stream
Stream = (Int) Datagram
Datagram = (Int) bind
Bind a UDP socket; port zero asks the OS to allocate a port.
bind = (address, port) <- (raw : Net) { send_to
send_to = (Datagram(number), address, port, bytes) <- (raw : Net) { receive_from
Receive one datagram, discarding bytes beyond max_bytes.
receive_from = (Datagram(number), max_bytes) <- (raw : Net) { local_address
local_address = (Datagram(number)) <- (raw : Net) { close_datagram
close_datagram = (Datagram(number)) <- (raw : Net) { NetError
NetError = (operation = String, endpoint = String, code = String) listen
listen = (address, port) <- (raw : Net) { local_port
local_port = (socket) <- (raw : Net) { accept
accept = (Listener(number)) <- (raw : Net) { connect
connect = (address, port) <- (raw : Net) { resolve
resolve = (name) <- (raw : Net) { read
read = (Stream(number), max_bytes) <- (raw : Net) { write
write = (Stream(number), bytes) <- (raw : Net) { shutdown_write
shutdown_write = (Stream(number)) <- (raw : Net) { close_stream
close_stream = (Stream(number)) <- (raw : Net) { close_listener
close_listener = (Listener(number)) <- (raw : Net) { stream_number
The host handle used when upgrading a TCP stream.
stream_number = (Stream(number)) { number } byte_stream
A transport-independent set of byte stream operations.
byte_stream = (stream) {