Skip to content

Eohippus 0.1.0-de8031c

class Initialize

Initialize¶

class ref Initialize

Constructors¶

create¶

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

Parameters¶

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

Returns¶

Initialize 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,
  params: InitializeParams 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
params: InitializeParams val

Returns¶

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