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

• sock: UDPSocket ref

Returns

• None val

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

• sock: UDPSocket ref

Returns

• None val

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

• sock: UDPSocket ref
• data: Array[U8 val] iso
• from: NetAddress val

Returns

• None val

closed

[Source]

Called when the socket is closed.

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

Parameters

• sock: UDPSocket ref

Returns

• None val