DidChange

[Source]

class ref DidChange

Constructors

create

[Source]

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

Parameters

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

Returns

• DidChange ref^

---

Public Functions

apply

[Source]

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

Returns

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

---