View Source GenLSP.Structures.PreviousResultId (gen_lsp v0.10.0)

A previous result id in a workspace pull request.

@since 3.17.0

Link to this section Summary

Functions

Fields

  • uri: The URI for which the client knowns a result id.
  • value: The value of the previous result id.

Link to this section Types

@type t() :: %GenLSP.Structures.PreviousResultId{
  uri: GenLSP.BaseTypes.document_uri(),
  value: String.t()
}

Link to this section Functions

Link to this function

%GenLSP.Structures.PreviousResultId{}

View Source (struct)

fields

Fields

  • uri: The URI for which the client knowns a result id.
  • value: The value of the previous result id.