Skip to content

Eohippus 0.1.0-de8031c

class Shutdown

Shutdown¶

class ref Shutdown

Constructors¶

create¶

new ref create(
  log: Logger[String val] val,
  server: Server tag)
: Shutdown ref^

Parameters¶

log: Logger[String val] val
server: Server tag

Returns¶

Shutdown ref^

Public Functions¶

apply¶

fun box apply(
  server_state: (ServerNotConnected val | ServerNotInitialized val | ServerInitializing val | 
    ServerInitialized val | ServerShuttingDown val | ServerExiting val),
  rpc_handler: Handler tag,
  message: RequestMessage val)
: ((ServerNotConnected val | ServerNotInitialized val | ServerInitializing val | 
    ServerInitialized val | ServerShuttingDown val | ServerExiting val | 
    None val) , (I32 val | None val))

Parameters¶

server_state: (ServerNotConnected val | ServerNotInitialized val | ServerInitializing val | ServerInitialized val | ServerShuttingDown val | ServerExiting val)
rpc_handler: Handler tag
message: RequestMessage val

Returns¶

((ServerNotConnected val | ServerNotInitialized val | ServerInitializing val | ServerInitialized val | ServerShuttingDown val | ServerExiting val | None val) , (I32 val | None val))