DidClose

[Source]

class ref DidClose

Constructors

create

[Source]

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

Parameters

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

Returns

• DidClose ref^

---

Public Functions

apply

[Source]

fun box apply(
  auth: FileAuth val,
  workspaces: Workspaces ref,
  src_files: SrcFiles ref,
  task_id: USize val,
  params: DidCloseTextDocumentParams 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
• src_files: SrcFiles ref
• task_id: USize val
• params: DidCloseTextDocumentParams val

Returns

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

---