A UDP packet, consisting of an origin IP and port, and a ByteVector
payload.
Evaluate a Task
within a UDP-connected Process
.
Evaluate and discard the result of a Task
within a UDP-connected Process
.
Run a Process[Task,A]
within a UDP-connected Process
.
Open a UDP socket on the specified port and run the given process p
.
Returns a single-element stream containing the local address of the bound socket.
Receive a single UDP Packet.
Receive a single UDP Packet. maxPacketSize
controls the maximum
number of bytes in the received. See java.net.DatagramSocket#receive
for information about what exceptions may be raised within the returned stream.
Defined as receive(maxPacketSize, timeout).repeat.
Defined as send(new InetSocketAddress(to, destinationPort), bytes)
.
Send a single UDP Packet to the given destination.
Send a single UDP Packet to the given destination. Returns a single Unit
.
See java.net.DatagramSocket#send
for information about what exceptions may
be raised within the returned stream.
Defined as sends(new InetSocketAddress(to, destinationPort), chunks)
.
Defined as chunks.flatMap { bytes => udp.send(to, bytes) }
Defined as sends(new InetSocketAddress(to, destinationPort), chunks).drain
.
Defined as chunks.flatMap { bytes => udp.send(to, bytes) }.drain