Language.LSP.Message.Moniker

Definitions

record MonikerClientCapabilities : Type

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

Totality: total
Visibility: public export
Constructor: 

MkMonikerClientCapabilities : Maybe Bool -> MonikerClientCapabilities

Projection: 

.dynamicRegistration : MonikerClientCapabilities -> Maybe Bool

Hints:

FromJSON MonikerClientCapabilities

ToJSON MonikerClientCapabilities

.dynamicRegistration : MonikerClientCapabilities -> Maybe Bool

Totality: total
Visibility: public export

dynamicRegistration : MonikerClientCapabilities -> Maybe Bool

Totality: total
Visibility: public export

record MonikerOptions : Type

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

Totality: total
Visibility: public export
Constructor: 

MkMonikersOptions : Maybe Bool -> MonikerOptions

Projection: 

.workDoneProgress : MonikerOptions -> Maybe Bool

Hints:

FromJSON MonikerOptions

ToJSON MonikerOptions

.workDoneProgress : MonikerOptions -> Maybe Bool

Totality: total
Visibility: public export

workDoneProgress : MonikerOptions -> Maybe Bool

Totality: total
Visibility: public export

record MonikerRegistrationOptions : Type

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

Totality: total
Visibility: public export
Constructor: 

MkMonikersRegistrationOptions : Maybe Bool -> OneOf [DocumentSelector, Null] -> MonikerRegistrationOptions

Projections:

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

.workDoneProgress : MonikerRegistrationOptions -> Maybe Bool

Hints:

FromJSON MonikerRegistrationOptions

ToJSON MonikerRegistrationOptions

.workDoneProgress : MonikerRegistrationOptions -> Maybe Bool

Totality: total
Visibility: public export

workDoneProgress : MonikerRegistrationOptions -> Maybe Bool

Totality: total
Visibility: public export

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

Totality: total
Visibility: public export

documentSelector : MonikerRegistrationOptions -> OneOf [DocumentSelector, Null]

Totality: total
Visibility: public export

record MonikerParams : Type

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

Totality: total
Visibility: public export
Constructor: 

MkMonikersParams : Maybe ProgressToken -> Maybe ProgressToken -> TextDocumentIdentifier -> Position -> MonikerParams

Projections:

.partialResultToken : MonikerParams -> Maybe ProgressToken

.position : MonikerParams -> Position

.textDocument : MonikerParams -> TextDocumentIdentifier

.workDoneToken : MonikerParams -> Maybe ProgressToken

Hints:

FromJSON MonikerParams

ToJSON MonikerParams

.workDoneToken : MonikerParams -> Maybe ProgressToken

Totality: total
Visibility: public export

workDoneToken : MonikerParams -> Maybe ProgressToken

Totality: total
Visibility: public export

.partialResultToken : MonikerParams -> Maybe ProgressToken

Totality: total
Visibility: public export

partialResultToken : MonikerParams -> Maybe ProgressToken

Totality: total
Visibility: public export

.textDocument : MonikerParams -> TextDocumentIdentifier

Totality: total
Visibility: public export

textDocument : MonikerParams -> TextDocumentIdentifier

Totality: total
Visibility: public export

.position : MonikerParams -> Position

Totality: total
Visibility: public export

position : MonikerParams -> Position

Totality: total
Visibility: public export

data UniquenessLevel : Type

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

Totality: total
Visibility: public export
Constructors:

Document : UniquenessLevel

Project : UniquenessLevel

Group : UniquenessLevel

Scheme : UniquenessLevel

Global : UniquenessLevel

Hints:

FromJSON UniquenessLevel

ToJSON UniquenessLevel

data MonikerKind : Type

Totality: total
Visibility: public export
Constructors:

Import : MonikerKind

Export : MonikerKind

Local : MonikerKind

Hints:

FromJSON MonikerKind

ToJSON MonikerKind

record Moniker : Type

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

Totality: total
Visibility: public export
Constructor: 

MkMoniker : String -> String -> UniquenessLevel -> Maybe MonikerKind -> Moniker

Projections:

.identifier : Moniker -> String

.kind : Moniker -> Maybe MonikerKind

.scheme : Moniker -> String

.unique : Moniker -> UniquenessLevel

Hints:

FromJSON Moniker

ToJSON Moniker

.scheme : Moniker -> String

Totality: total
Visibility: public export

scheme : Moniker -> String

Totality: total
Visibility: public export

.identifier : Moniker -> String

Totality: total
Visibility: public export

identifier : Moniker -> String

Totality: total
Visibility: public export

.unique : Moniker -> UniquenessLevel

Totality: total
Visibility: public export

unique : Moniker -> UniquenessLevel

Totality: total
Visibility: public export

.kind : Moniker -> Maybe MonikerKind

Totality: total
Visibility: public export

kind : Moniker -> Maybe MonikerKind

Totality: total
Visibility: public export