Language.LSP.Message.LinkedEditingRange

Definitions

record LinkedEditingRangeClientCapabilities : Type

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

Totality: total
Visibility: public export
Constructor: 

MkLinkedEditingRangeClientCapabilities : Maybe Bool -> LinkedEditingRangeClientCapabilities

Projection: 

.dynamicRegistration : LinkedEditingRangeClientCapabilities -> Maybe Bool

Hints:

FromJSON LinkedEditingRangeClientCapabilities

ToJSON LinkedEditingRangeClientCapabilities

.dynamicRegistration : LinkedEditingRangeClientCapabilities -> Maybe Bool

Totality: total
Visibility: public export

dynamicRegistration : LinkedEditingRangeClientCapabilities -> Maybe Bool

Totality: total
Visibility: public export

record LinkedEditingRangeOptions : Type

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

Totality: total
Visibility: public export
Constructor: 

MkLinkedEditingRangesOptions : Maybe Bool -> LinkedEditingRangeOptions

Projection: 

.workDoneProgress : LinkedEditingRangeOptions -> Maybe Bool

Hints:

FromJSON LinkedEditingRangeOptions

ToJSON LinkedEditingRangeOptions

.workDoneProgress : LinkedEditingRangeOptions -> Maybe Bool

Totality: total
Visibility: public export

workDoneProgress : LinkedEditingRangeOptions -> Maybe Bool

Totality: total
Visibility: public export

record LinkedEditingRangeRegistrationOptions : Type

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

Totality: total
Visibility: public export
Constructor: 

MkLinkedEditingRangesRegistrationOptions : Maybe Bool -> OneOf [DocumentSelector, Null] -> Maybe Bool -> LinkedEditingRangeRegistrationOptions

Projections:

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

.id : LinkedEditingRangeRegistrationOptions -> Maybe Bool

.workDoneProgress : LinkedEditingRangeRegistrationOptions -> Maybe Bool

Hints:

FromJSON LinkedEditingRangeRegistrationOptions

ToJSON LinkedEditingRangeRegistrationOptions

.workDoneProgress : LinkedEditingRangeRegistrationOptions -> Maybe Bool

Totality: total
Visibility: public export

workDoneProgress : LinkedEditingRangeRegistrationOptions -> Maybe Bool

Totality: total
Visibility: public export

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

Totality: total
Visibility: public export

documentSelector : LinkedEditingRangeRegistrationOptions -> OneOf [DocumentSelector, Null]

Totality: total
Visibility: public export

.id : LinkedEditingRangeRegistrationOptions -> Maybe Bool

Totality: total
Visibility: public export

id : LinkedEditingRangeRegistrationOptions -> Maybe Bool

Totality: total
Visibility: public export

record LinkedEditingRangeParams : Type

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

Totality: total
Visibility: public export
Constructor: 

MkLinkedEditingRangesParams : Maybe ProgressToken -> TextDocumentIdentifier -> Position -> LinkedEditingRangeParams

Projections:

.position : LinkedEditingRangeParams -> Position

.textDocument : LinkedEditingRangeParams -> TextDocumentIdentifier

.workDoneToken : LinkedEditingRangeParams -> Maybe ProgressToken

Hints:

FromJSON LinkedEditingRangeParams

ToJSON LinkedEditingRangeParams

.workDoneToken : LinkedEditingRangeParams -> Maybe ProgressToken

Totality: total
Visibility: public export

workDoneToken : LinkedEditingRangeParams -> Maybe ProgressToken

Totality: total
Visibility: public export

.textDocument : LinkedEditingRangeParams -> TextDocumentIdentifier

Totality: total
Visibility: public export

textDocument : LinkedEditingRangeParams -> TextDocumentIdentifier

Totality: total
Visibility: public export

.position : LinkedEditingRangeParams -> Position

Totality: total
Visibility: public export

position : LinkedEditingRangeParams -> Position

Totality: total
Visibility: public export

record LinkedEditingRanges : Type

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

Totality: total
Visibility: public export
Constructor: 

MkLinkedEditingRanges : List Range -> Maybe String -> LinkedEditingRanges

Projections:

.ranges : LinkedEditingRanges -> List Range

.wordPattern : LinkedEditingRanges -> Maybe String

Hints:

FromJSON LinkedEditingRanges

ToJSON LinkedEditingRanges

.ranges : LinkedEditingRanges -> List Range

Totality: total
Visibility: public export

ranges : LinkedEditingRanges -> List Range

Totality: total
Visibility: public export

.wordPattern : LinkedEditingRanges -> Maybe String

Totality: total
Visibility: public export

wordPattern : LinkedEditingRanges -> Maybe String

Totality: total
Visibility: public export