Language.LSP.Message.Declaration

Definitions

record DeclarationClientCapabilities : Type

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

Totality: total
Visibility: public export
Constructor: 

MkDeclarationClientCapabilities : Maybe Bool -> Maybe Bool -> DeclarationClientCapabilities

Projections:

.dynamicRegistration : DeclarationClientCapabilities -> Maybe Bool

.linkSupport : DeclarationClientCapabilities -> Maybe Bool

Hints:

FromJSON DeclarationClientCapabilities

ToJSON DeclarationClientCapabilities

.dynamicRegistration : DeclarationClientCapabilities -> Maybe Bool

Totality: total
Visibility: public export

dynamicRegistration : DeclarationClientCapabilities -> Maybe Bool

Totality: total
Visibility: public export

.linkSupport : DeclarationClientCapabilities -> Maybe Bool

Totality: total
Visibility: public export

linkSupport : DeclarationClientCapabilities -> Maybe Bool

Totality: total
Visibility: public export

record DeclarationOptions : Type

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

Totality: total
Visibility: public export
Constructor: 

MkDeclarationOptions : Maybe Bool -> DeclarationOptions

Projection: 

.workDoneProgress : DeclarationOptions -> Maybe Bool

Hints:

FromJSON DeclarationOptions

ToJSON DeclarationOptions

.workDoneProgress : DeclarationOptions -> Maybe Bool

Totality: total
Visibility: public export

workDoneProgress : DeclarationOptions -> Maybe Bool

Totality: total
Visibility: public export

record DeclarationRegistrationOptions : Type

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

Totality: total
Visibility: public export
Constructor: 

MkDeclarationRegistrationOptions : Maybe Bool -> OneOf [DocumentSelector, Null] -> Maybe String -> DeclarationRegistrationOptions

Projections:

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

.id : DeclarationRegistrationOptions -> Maybe String

.workDoneProgress : DeclarationRegistrationOptions -> Maybe Bool

Hints:

FromJSON DeclarationRegistrationOptions

ToJSON DeclarationRegistrationOptions

.workDoneProgress : DeclarationRegistrationOptions -> Maybe Bool

Totality: total
Visibility: public export

workDoneProgress : DeclarationRegistrationOptions -> Maybe Bool

Totality: total
Visibility: public export

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

Totality: total
Visibility: public export

documentSelector : DeclarationRegistrationOptions -> OneOf [DocumentSelector, Null]

Totality: total
Visibility: public export

.id : DeclarationRegistrationOptions -> Maybe String

Totality: total
Visibility: public export

id : DeclarationRegistrationOptions -> Maybe String

Totality: total
Visibility: public export

record DeclarationParams : Type

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

Totality: total
Visibility: public export
Constructor: 

MkDeclarationParams : Maybe ProgressToken -> Maybe ProgressToken -> TextDocumentIdentifier -> Position -> DeclarationParams

Projections:

.partialResultToken : DeclarationParams -> Maybe ProgressToken

.position : DeclarationParams -> Position

.textDocument : DeclarationParams -> TextDocumentIdentifier

.workDoneToken : DeclarationParams -> Maybe ProgressToken

Hints:

FromJSON DeclarationParams

ToJSON DeclarationParams

.workDoneToken : DeclarationParams -> Maybe ProgressToken

Totality: total
Visibility: public export

workDoneToken : DeclarationParams -> Maybe ProgressToken

Totality: total
Visibility: public export

.partialResultToken : DeclarationParams -> Maybe ProgressToken

Totality: total
Visibility: public export

partialResultToken : DeclarationParams -> Maybe ProgressToken

Totality: total
Visibility: public export

.textDocument : DeclarationParams -> TextDocumentIdentifier

Totality: total
Visibility: public export

textDocument : DeclarationParams -> TextDocumentIdentifier

Totality: total
Visibility: public export

.position : DeclarationParams -> Position

Totality: total
Visibility: public export

position : DeclarationParams -> Position

Totality: total
Visibility: public export