Skip to content

UDPNotify

[Source]

Notifications for UDP connections.

For an example of using this class please see the documentatoin for the UDPSocket actor.

interface ref UDPNotify

Public Functions

listening

[Source]

Called when the socket has been bound to an address.

fun ref listening(
  sock: UDPSocket ref)
: None val

Parameters

Returns


not_listening

[Source]

Called if it wasn't possible to bind the socket to an address.

It is expected to implement proper error handling. You need to opt in to ignoring errors, which can be implemented like this:

fun ref not_listening(sock: UDPSocket ref) =>
  None
fun ref not_listening(
  sock: UDPSocket ref)
: None val

Parameters

Returns


received

[Source]

Called when new data is received on the socket.

fun ref received(
  sock: UDPSocket ref,
  data: Array[U8 val] iso,
  from: NetAddress val)
: None val

Parameters

Returns


closed

[Source]

Called when the socket is closed.

fun ref closed(
  sock: UDPSocket ref)
: None val

Parameters

Returns