Language.LSP.Message.DocumentColor

Definitions

record DocumentColorClientCapabilities : Type

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

Totality: total
Visibility: public export
Constructor: 

MkDocumentColorClientCapabilities : Maybe Bool -> DocumentColorClientCapabilities

Projection: 

.dynamicRegistration : DocumentColorClientCapabilities -> Maybe Bool

Hints:

FromJSON DocumentColorClientCapabilities

ToJSON DocumentColorClientCapabilities

.dynamicRegistration : DocumentColorClientCapabilities -> Maybe Bool

Totality: total
Visibility: public export

dynamicRegistration : DocumentColorClientCapabilities -> Maybe Bool

Totality: total
Visibility: public export

record DocumentColorOptions : Type

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

Totality: total
Visibility: public export
Constructor: 

MkDocumentColorOptions : Maybe Bool -> DocumentColorOptions

Projection: 

.workDoneProgress : DocumentColorOptions -> Maybe Bool

Hints:

FromJSON DocumentColorOptions

ToJSON DocumentColorOptions

.workDoneProgress : DocumentColorOptions -> Maybe Bool

Totality: total
Visibility: public export

workDoneProgress : DocumentColorOptions -> Maybe Bool

Totality: total
Visibility: public export

record DocumentColorRegistrationOptions : Type

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

Totality: total
Visibility: public export
Constructor: 

MkDocumentColorRegistrationOptions : Maybe Bool -> OneOf [DocumentSelector, Null] -> Maybe String -> DocumentColorRegistrationOptions

Projections:

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

.id : DocumentColorRegistrationOptions -> Maybe String

.workDoneProgress : DocumentColorRegistrationOptions -> Maybe Bool

Hints:

FromJSON DocumentColorRegistrationOptions

ToJSON DocumentColorRegistrationOptions

.workDoneProgress : DocumentColorRegistrationOptions -> Maybe Bool

Totality: total
Visibility: public export

workDoneProgress : DocumentColorRegistrationOptions -> Maybe Bool

Totality: total
Visibility: public export

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

Totality: total
Visibility: public export

documentSelector : DocumentColorRegistrationOptions -> OneOf [DocumentSelector, Null]

Totality: total
Visibility: public export

.id : DocumentColorRegistrationOptions -> Maybe String

Totality: total
Visibility: public export

id : DocumentColorRegistrationOptions -> Maybe String

Totality: total
Visibility: public export

record DocumentColorParams : Type

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

Totality: total
Visibility: public export
Constructor: 

MkDocumentColorParams : Maybe ProgressToken -> Maybe ProgressToken -> TextDocumentIdentifier -> DocumentColorParams

Projections:

.partialResultToken : DocumentColorParams -> Maybe ProgressToken

.textDocument : DocumentColorParams -> TextDocumentIdentifier

.workDoneToken : DocumentColorParams -> Maybe ProgressToken

Hints:

FromJSON DocumentColorParams

ToJSON DocumentColorParams

.workDoneToken : DocumentColorParams -> Maybe ProgressToken

Totality: total
Visibility: public export

workDoneToken : DocumentColorParams -> Maybe ProgressToken

Totality: total
Visibility: public export

.partialResultToken : DocumentColorParams -> Maybe ProgressToken

Totality: total
Visibility: public export

partialResultToken : DocumentColorParams -> Maybe ProgressToken

Totality: total
Visibility: public export

.textDocument : DocumentColorParams -> TextDocumentIdentifier

Totality: total
Visibility: public export

textDocument : DocumentColorParams -> TextDocumentIdentifier

Totality: total
Visibility: public export

record Color : Type

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

Totality: total
Visibility: public export
Constructor: 

MkColor : Double -> Double -> Double -> Double -> Color

Projections:

.alpha : Color -> Double

.blue : Color -> Double

.green : Color -> Double

.red : Color -> Double

Hints:

FromJSON Color

ToJSON Color

.red : Color -> Double

Totality: total
Visibility: public export

red : Color -> Double

Totality: total
Visibility: public export

.green : Color -> Double

Totality: total
Visibility: public export

green : Color -> Double

Totality: total
Visibility: public export

.blue : Color -> Double

Totality: total
Visibility: public export

blue : Color -> Double

Totality: total
Visibility: public export

.alpha : Color -> Double

Totality: total
Visibility: public export

alpha : Color -> Double

Totality: total
Visibility: public export

record ColorInformation : Type

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

Totality: total
Visibility: public export
Constructor: 

MkColorInformation : Range -> Color -> ColorInformation

Projections:

.color : ColorInformation -> Color

.range : ColorInformation -> Range

Hints:

FromJSON ColorInformation

ToJSON ColorInformation

.range : ColorInformation -> Range

Totality: total
Visibility: public export

range : ColorInformation -> Range

Totality: total
Visibility: public export

.color : ColorInformation -> Color

Totality: total
Visibility: public export

color : ColorInformation -> Color

Totality: total
Visibility: public export

record ColorPresentationParams : Type

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

Totality: total
Visibility: public export
Constructor: 

MkColorPresentationParams : Maybe ProgressToken -> Maybe ProgressToken -> Color -> Range -> ColorPresentationParams

Projections:

.color : ColorPresentationParams -> Color

.partialResultToken : ColorPresentationParams -> Maybe ProgressToken

.range : ColorPresentationParams -> Range

.workDoneToken : ColorPresentationParams -> Maybe ProgressToken

Hints:

FromJSON ColorPresentationParams

ToJSON ColorPresentationParams

.workDoneToken : ColorPresentationParams -> Maybe ProgressToken

Totality: total
Visibility: public export

workDoneToken : ColorPresentationParams -> Maybe ProgressToken

Totality: total
Visibility: public export

.partialResultToken : ColorPresentationParams -> Maybe ProgressToken

Totality: total
Visibility: public export

partialResultToken : ColorPresentationParams -> Maybe ProgressToken

Totality: total
Visibility: public export

.color : ColorPresentationParams -> Color

Totality: total
Visibility: public export

color : ColorPresentationParams -> Color

Totality: total
Visibility: public export

.range : ColorPresentationParams -> Range

Totality: total
Visibility: public export

range : ColorPresentationParams -> Range

Totality: total
Visibility: public export

record ColorPresentation : Type

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

Totality: total
Visibility: public export
Constructor: 

MkColorPresentation : String -> Maybe TextEdit -> Maybe (List TextEdit) -> ColorPresentation

Projections:

.additionalTextEdits : ColorPresentation -> Maybe (List TextEdit)

.label : ColorPresentation -> String

.textEdit : ColorPresentation -> Maybe TextEdit

Hints:

FromJSON ColorPresentation

ToJSON ColorPresentation

.label : ColorPresentation -> String

Totality: total
Visibility: public export

label : ColorPresentation -> String

Totality: total
Visibility: public export

.textEdit : ColorPresentation -> Maybe TextEdit

Totality: total
Visibility: public export

textEdit : ColorPresentation -> Maybe TextEdit

Totality: total
Visibility: public export

.additionalTextEdits : ColorPresentation -> Maybe (List TextEdit)

Totality: total
Visibility: public export

additionalTextEdits : ColorPresentation -> Maybe (List TextEdit)

Totality: total
Visibility: public export