Language.LSP.Message.References

Definitions

record ReferenceClientCapabilities : Type

  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_references

Totality: total
Visibility: public export
Constructor: 

MkReferenceClientCapabilities : Maybe Bool -> ReferenceClientCapabilities

Projection: 

.dynamicRegistration : ReferenceClientCapabilities -> Maybe Bool

Hints:

FromJSON ReferenceClientCapabilities

ToJSON ReferenceClientCapabilities

.dynamicRegistration : ReferenceClientCapabilities -> Maybe Bool

Totality: total
Visibility: public export

dynamicRegistration : ReferenceClientCapabilities -> Maybe Bool

Totality: total
Visibility: public export

record ReferenceOptions : Type

  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_references

Totality: total
Visibility: public export
Constructor: 

MkReferenceOptions : Maybe Bool -> ReferenceOptions

Projection: 

.workDoneProgress : ReferenceOptions -> Maybe Bool

Hints:

FromJSON ReferenceOptions

ToJSON ReferenceOptions

.workDoneProgress : ReferenceOptions -> Maybe Bool

Totality: total
Visibility: public export

workDoneProgress : ReferenceOptions -> Maybe Bool

Totality: total
Visibility: public export

record ReferenceRegistrationOptions : Type

  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_references

Totality: total
Visibility: public export
Constructor: 

MkReferenceRegistrationOptions : Maybe Bool -> OneOf [DocumentSelector, Null] -> ReferenceRegistrationOptions

Projections:

.documentSelector : ReferenceRegistrationOptions -> OneOf [DocumentSelector, Null]

.workDoneProgress : ReferenceRegistrationOptions -> Maybe Bool

Hints:

FromJSON ReferenceRegistrationOptions

ToJSON ReferenceRegistrationOptions

.workDoneProgress : ReferenceRegistrationOptions -> Maybe Bool

Totality: total
Visibility: public export

workDoneProgress : ReferenceRegistrationOptions -> Maybe Bool

Totality: total
Visibility: public export

.documentSelector : ReferenceRegistrationOptions -> OneOf [DocumentSelector, Null]

Totality: total
Visibility: public export

documentSelector : ReferenceRegistrationOptions -> OneOf [DocumentSelector, Null]

Totality: total
Visibility: public export

record ReferenceContext : Type

  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_references

Totality: total
Visibility: public export
Constructor: 

MkReferenceContext : Bool -> ReferenceContext

Projection: 

.includeDeclaration : ReferenceContext -> Bool

Hints:

FromJSON ReferenceContext

ToJSON ReferenceContext

.includeDeclaration : ReferenceContext -> Bool

Totality: total
Visibility: public export

includeDeclaration : ReferenceContext -> Bool

Totality: total
Visibility: public export

record ReferenceParams : Type

  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_references

Totality: total
Visibility: public export
Constructor: 

MkReferenceParams : Maybe ProgressToken -> Maybe ProgressToken -> TextDocumentIdentifier -> Position -> ReferenceContext -> ReferenceParams

Projections:

.context : ReferenceParams -> ReferenceContext

.partialResultToken : ReferenceParams -> Maybe ProgressToken

.position : ReferenceParams -> Position

.textDocument : ReferenceParams -> TextDocumentIdentifier

.workDoneToken : ReferenceParams -> Maybe ProgressToken

Hints:

FromJSON ReferenceParams

ToJSON ReferenceParams

.workDoneToken : ReferenceParams -> Maybe ProgressToken

Totality: total
Visibility: public export

workDoneToken : ReferenceParams -> Maybe ProgressToken

Totality: total
Visibility: public export

.partialResultToken : ReferenceParams -> Maybe ProgressToken

Totality: total
Visibility: public export

partialResultToken : ReferenceParams -> Maybe ProgressToken

Totality: total
Visibility: public export

.textDocument : ReferenceParams -> TextDocumentIdentifier

Totality: total
Visibility: public export

textDocument : ReferenceParams -> TextDocumentIdentifier

Totality: total
Visibility: public export

.position : ReferenceParams -> Position

Totality: total
Visibility: public export

position : ReferenceParams -> Position

Totality: total
Visibility: public export

.context : ReferenceParams -> ReferenceContext

Totality: total
Visibility: public export

context : ReferenceParams -> ReferenceContext

Totality: total
Visibility: public export