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
fields
Fields
- uri: The URI for which the client knowns a result id.
- value: The value of the previous result id.