Skip to content

Eohippus 0.1.0-de8031c

class WorkspaceInfo

WorkspaceInfo¶

class ref WorkspaceInfo

Constructors¶

create¶

new ref create(
  name': String val,
  client_uri': String val,
  canonical_path': FilePath val,
  server': Server tag,
  analyze': Analyzer tag)
: WorkspaceInfo ref^

Parameters¶

name': String val
client_uri': String val
canonical_path': FilePath val
server': Server tag
analyze': Analyzer tag

Returns¶

WorkspaceInfo ref^

Public fields¶

let name: String val¶

let client_uri: String val¶

let canonical_path: FilePath val¶

let server: Server tag¶

let analyze: Analyzer tag¶

let errors: HashMap[String val, Array[AnalyzerError val] ref, HashEq[String val] val] ref¶