Skip to content

ServerNotify

[Source]

interface ref ServerNotify

Public Functions

listening

[Source]

fun ref listening(
  server: Server tag)
: None val

Parameters

Returns


connected

[Source]

fun ref connected(
  server: Server tag)
: None val

Parameters

Returns


errored

[Source]

fun ref errored(
  server: Server tag)
: None val

Parameters

Returns


initializing

[Source]

fun ref initializing(
  server: Server tag)
: None val

Parameters

Returns


initialized

[Source]

fun ref initialized(
  server: Server tag)
: None val

Parameters

Returns


received_request

[Source]

fun ref received_request(
  server: Server tag,
  id: (I128 val | String val | None val),
  method: String val)
: None val

Parameters

Returns


received_notification

[Source]

fun ref received_notification(
  server: Server tag,
  method: String val)
: None val

Parameters

Returns


sent_error

[Source]

fun ref sent_error(
  server: Server tag,
  id: (I128 val | String val | None val),
  code: I128 val,
  message: String val)
: None val

Parameters

Returns


disconnected

[Source]

fun ref disconnected(
  server: Server tag)
: None val

Parameters

Returns


shutting_down

[Source]

fun ref shutting_down(
  server: Server tag)
: None val

Parameters

Returns


exiting

[Source]

fun ref exiting(
  code: I32 val)
: None val

Parameters

  • code: I32 val

Returns