GenLSP.Protocol.Structures.WorkDoneProgressParams (gen_lsp v0.0.1)
properties
Properties
workDoneToken :: ProgressToken
An optional token that a server can use to report work done progress.
properties
PropertiesAn optional token that a server can use to report work done progress.