Workspaces

[Source]

class ref Workspaces

Constructors

create

[Source]

new ref create(
  log: Logger[String val] val,
  server: Server tag,
  grammar: NamedRule[U8 val, Data val, Node val] val)
: Workspaces ref^

Parameters

• log: Logger[String val] val
• server: Server tag
• grammar: NamedRule[U8 val, Data val, Node val] val

Returns

• Workspaces ref^

---

Public fields

let by_client_uri: HashMap[String val, WorkspaceInfo ref, HashEq[String val] val] ref

[Source]

---

let by_canonical_path: HashMap[String val, WorkspaceInfo ref, HashEq[String val] val] ref

[Source]

---

let by_analyzer: HashMap[Analyzer tag, WorkspaceInfo ref, HashIs[Analyzer tag] val] ref

[Source]

---

Public Functions

get_workspace

[Source]

fun ref get_workspace(
  auth: FileAuth val,
  config: ServerConfig val,
  canonical_path: FilePath val)
: WorkspaceInfo ref ?

Parameters

• auth: FileAuth val
• config: ServerConfig val
• canonical_path: FilePath val

Returns

• WorkspaceInfo ref ?

---