Skip to content

Eohippus 0.1.0-de8031c

class Definition

Definition¶

class ref Definition

Constructors¶

create¶

new ref create(
  log: Logger[String val] val,
  config: ServerConfig val)
: Definition ref^

Parameters¶

log: Logger[String val] val
config: ServerConfig val

Returns¶

Definition ref^

Public Functions¶

apply¶

fun box apply(
  auth: FileAuth val,
  workspaces: Workspaces ref,
  task_id: USize val,
  params: DefinitionParams val,
  canonical_path: FilePath val)
: ((ServerNotConnected val | ServerNotInitialized val | ServerInitializing val | 
    ServerInitialized val | ServerShuttingDown val | ServerExiting val | 
    None val) , (I32 val | None val))

Parameters¶

auth: FileAuth val
workspaces: Workspaces ref
task_id: USize val
params: DefinitionParams val
canonical_path: FilePath val

Returns¶

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