Idris2Doc : Language.LSP.Message.CodeAction

Language.LSP.Message.CodeAction

(source)
Definitions
data CodeActionKind : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_codeAction

  Totality: total
  Visibility: public export
  Constructors:
  
Empty : CodeActionKind
  
QuickFix : CodeActionKind
  
Refactor : CodeActionKind
  
RefactorExtract : CodeActionKind
  
RefactorInline : CodeActionKind
  
RefactorRewrite : CodeActionKind
  
Source : CodeActionKind
  
SourceOrganizeImport : CodeActionKind
  
Other : String -> CodeActionKind

  Hints:
  
Eq CodeActionKind
  
FromJSON CodeActionKind
  
ToJSON CodeActionKind
record CodeActionKindValueSet : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_codeAction

  Totality: total
  Visibility: public export
  Constructor: 
MkCodeActionKindValueSet : List CodeActionKind -> CodeActionKindValueSet

  Projection: 
.valueSet : CodeActionKindValueSet -> List CodeActionKind

  Hints:
  
FromJSON CodeActionKindValueSet
  
ToJSON CodeActionKindValueSet
.valueSet : CodeActionKindValueSet -> List CodeActionKind
  Totality: total
  Visibility: public export
valueSet : CodeActionKindValueSet -> List CodeActionKind
  Totality: total
  Visibility: public export
record CodeActionLiteralSupport : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_codeAction

  Totality: total
  Visibility: public export
  Constructor: 
MkCodeActionLiteralSupport : CodeActionKindValueSet -> CodeActionLiteralSupport

  Projection: 
.codeActionKind : CodeActionLiteralSupport -> CodeActionKindValueSet

  Hints:
  
FromJSON CodeActionLiteralSupport
  
ToJSON CodeActionLiteralSupport
.codeActionKind : CodeActionLiteralSupport -> CodeActionKindValueSet
  Totality: total
  Visibility: public export
codeActionKind : CodeActionLiteralSupport -> CodeActionKindValueSet
  Totality: total
  Visibility: public export
record ResolveSupport : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_codeAction

  Totality: total
  Visibility: public export
  Constructor: 
MkResolveSupport : List String -> ResolveSupport

  Projection: 
.properties : ResolveSupport -> List String

  Hints:
  
FromJSON ResolveSupport
  
ToJSON ResolveSupport
.properties : ResolveSupport -> List String
  Totality: total
  Visibility: public export
properties : ResolveSupport -> List String
  Totality: total
  Visibility: public export
record CodeActionClientCapabilities : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_codeAction

  Totality: total
  Visibility: public export
  Constructor: 
MkCodeActionClientCapabilities : Maybe Bool -> Maybe CodeActionLiteralSupport -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe ResolveSupport -> Maybe Bool -> CodeActionClientCapabilities

  Projections:
  
.codeActionLiteralSupport : CodeActionClientCapabilities -> Maybe CodeActionLiteralSupport
  
.dataSupport : CodeActionClientCapabilities -> Maybe Bool
  
.disabledSupport : CodeActionClientCapabilities -> Maybe Bool
  
.dynamicRegistration : CodeActionClientCapabilities -> Maybe Bool
  
.honorsChangeAnnotations : CodeActionClientCapabilities -> Maybe Bool
  
.isPreferredSupport : CodeActionClientCapabilities -> Maybe Bool
  
.resolveSupport : CodeActionClientCapabilities -> Maybe ResolveSupport

  Hints:
  
FromJSON CodeActionClientCapabilities
  
ToJSON CodeActionClientCapabilities
.dynamicRegistration : CodeActionClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
dynamicRegistration : CodeActionClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
.codeActionLiteralSupport : CodeActionClientCapabilities -> Maybe CodeActionLiteralSupport
  Totality: total
  Visibility: public export
codeActionLiteralSupport : CodeActionClientCapabilities -> Maybe CodeActionLiteralSupport
  Totality: total
  Visibility: public export
.isPreferredSupport : CodeActionClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
isPreferredSupport : CodeActionClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
.disabledSupport : CodeActionClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
disabledSupport : CodeActionClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
.dataSupport : CodeActionClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
dataSupport : CodeActionClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
.resolveSupport : CodeActionClientCapabilities -> Maybe ResolveSupport
  Totality: total
  Visibility: public export
resolveSupport : CodeActionClientCapabilities -> Maybe ResolveSupport
  Totality: total
  Visibility: public export
.honorsChangeAnnotations : CodeActionClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
honorsChangeAnnotations : CodeActionClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
record CodeActionOptions : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_codeAction

  Totality: total
  Visibility: public export
  Constructor: 
MkCodeActionOptions : Maybe Bool -> Maybe (List CodeActionKind) -> Maybe Bool -> CodeActionOptions

  Projections:
  
.codeActionKinds : CodeActionOptions -> Maybe (List CodeActionKind)
  
.resolveProvider : CodeActionOptions -> Maybe Bool
  
.workDoneProgress : CodeActionOptions -> Maybe Bool

  Hints:
  
FromJSON CodeActionOptions
  
ToJSON CodeActionOptions
.workDoneProgress : CodeActionOptions -> Maybe Bool
  Totality: total
  Visibility: public export
workDoneProgress : CodeActionOptions -> Maybe Bool
  Totality: total
  Visibility: public export
.codeActionKinds : CodeActionOptions -> Maybe (List CodeActionKind)
  Totality: total
  Visibility: public export
codeActionKinds : CodeActionOptions -> Maybe (List CodeActionKind)
  Totality: total
  Visibility: public export
.resolveProvider : CodeActionOptions -> Maybe Bool
  Totality: total
  Visibility: public export
resolveProvider : CodeActionOptions -> Maybe Bool
  Totality: total
  Visibility: public export
record CodeActionRegistrationOptions : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_codeAction

  Totality: total
  Visibility: public export
  Constructor: 
MkCodeActionRegistrationOptions : Maybe Bool -> Maybe (List CodeActionKind) -> Maybe Bool -> OneOf [DocumentSelector, Null] -> CodeActionRegistrationOptions

  Projections:
  
.codeActionKinds : CodeActionRegistrationOptions -> Maybe (List CodeActionKind)
  
.documentSelector : CodeActionRegistrationOptions -> OneOf [DocumentSelector, Null]
  
.resolveProvider : CodeActionRegistrationOptions -> Maybe Bool
  
.workDoneProgress : CodeActionRegistrationOptions -> Maybe Bool

  Hints:
  
FromJSON CodeActionRegistrationOptions
  
ToJSON CodeActionRegistrationOptions
.workDoneProgress : CodeActionRegistrationOptions -> Maybe Bool
  Totality: total
  Visibility: public export
workDoneProgress : CodeActionRegistrationOptions -> Maybe Bool
  Totality: total
  Visibility: public export
.codeActionKinds : CodeActionRegistrationOptions -> Maybe (List CodeActionKind)
  Totality: total
  Visibility: public export
codeActionKinds : CodeActionRegistrationOptions -> Maybe (List CodeActionKind)
  Totality: total
  Visibility: public export
.resolveProvider : CodeActionRegistrationOptions -> Maybe Bool
  Totality: total
  Visibility: public export
resolveProvider : CodeActionRegistrationOptions -> Maybe Bool
  Totality: total
  Visibility: public export
.documentSelector : CodeActionRegistrationOptions -> OneOf [DocumentSelector, Null]
  Totality: total
  Visibility: public export
documentSelector : CodeActionRegistrationOptions -> OneOf [DocumentSelector, Null]
  Totality: total
  Visibility: public export
record CodeActionContext : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_codeAction

  Totality: total
  Visibility: public export
  Constructor: 
MkCodeActionContext : List Diagnostic -> Maybe (List CodeActionKind) -> CodeActionContext

  Projections:
  
.diagnostics : CodeActionContext -> List Diagnostic
  
.only : CodeActionContext -> Maybe (List CodeActionKind)

  Hints:
  
FromJSON CodeActionContext
  
ToJSON CodeActionContext
.diagnostics : CodeActionContext -> List Diagnostic
  Totality: total
  Visibility: public export
diagnostics : CodeActionContext -> List Diagnostic
  Totality: total
  Visibility: public export
.only : CodeActionContext -> Maybe (List CodeActionKind)
  Totality: total
  Visibility: public export
only : CodeActionContext -> Maybe (List CodeActionKind)
  Totality: total
  Visibility: public export
record CodeActionParams : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_codeAction

  Totality: total
  Visibility: public export
  Constructor: 
MkCodeActionParams : Maybe ProgressToken -> Maybe ProgressToken -> TextDocumentIdentifier -> Range -> CodeActionContext -> CodeActionParams

  Projections:
  
.context : CodeActionParams -> CodeActionContext
  
.partialResultToken : CodeActionParams -> Maybe ProgressToken
  
.range : CodeActionParams -> Range
  
.textDocument : CodeActionParams -> TextDocumentIdentifier
  
.workDoneToken : CodeActionParams -> Maybe ProgressToken

  Hints:
  
FromJSON CodeActionParams
  
ToJSON CodeActionParams
.workDoneToken : CodeActionParams -> Maybe ProgressToken
  Totality: total
  Visibility: public export
workDoneToken : CodeActionParams -> Maybe ProgressToken
  Totality: total
  Visibility: public export
.partialResultToken : CodeActionParams -> Maybe ProgressToken
  Totality: total
  Visibility: public export
partialResultToken : CodeActionParams -> Maybe ProgressToken
  Totality: total
  Visibility: public export
.textDocument : CodeActionParams -> TextDocumentIdentifier
  Totality: total
  Visibility: public export
textDocument : CodeActionParams -> TextDocumentIdentifier
  Totality: total
  Visibility: public export
.range : CodeActionParams -> Range
  Totality: total
  Visibility: public export
range : CodeActionParams -> Range
  Totality: total
  Visibility: public export
.context : CodeActionParams -> CodeActionContext
  Totality: total
  Visibility: public export
context : CodeActionParams -> CodeActionContext
  Totality: total
  Visibility: public export
record Disabled : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_codeAction

  Totality: total
  Visibility: public export
  Constructor: 
MkDisabled : String -> Disabled

  Projection: 
.reason : Disabled -> String

  Hints:
  
FromJSON Disabled
  
ToJSON Disabled
.reason : Disabled -> String
  Totality: total
  Visibility: public export
reason : Disabled -> String
  Totality: total
  Visibility: public export
record CodeAction : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_codeAction

  Totality: total
  Visibility: public export
  Constructor: 
MkCodeAction : String -> Maybe CodeActionKind -> Maybe (List Diagnostic) -> Maybe Bool -> Maybe Disabled -> Maybe WorkspaceEdit -> Maybe Command -> Maybe JSON -> CodeAction

  Projections:
  
.command : CodeAction -> Maybe Command
  
.data_ : CodeAction -> Maybe JSON
  
.diagnostics : CodeAction -> Maybe (List Diagnostic)
  
.disabled : CodeAction -> Maybe Disabled
  
.edit : CodeAction -> Maybe WorkspaceEdit
  
.isPreferred : CodeAction -> Maybe Bool
  
.kind : CodeAction -> Maybe CodeActionKind
  
.title : CodeAction -> String

  Hints:
  
FromJSON CodeAction
  
ToJSON CodeAction
.title : CodeAction -> String
  Totality: total
  Visibility: public export
title : CodeAction -> String
  Totality: total
  Visibility: public export
.kind : CodeAction -> Maybe CodeActionKind
  Totality: total
  Visibility: public export
kind : CodeAction -> Maybe CodeActionKind
  Totality: total
  Visibility: public export
.diagnostics : CodeAction -> Maybe (List Diagnostic)
  Totality: total
  Visibility: public export
diagnostics : CodeAction -> Maybe (List Diagnostic)
  Totality: total
  Visibility: public export
.isPreferred : CodeAction -> Maybe Bool
  Totality: total
  Visibility: public export
isPreferred : CodeAction -> Maybe Bool
  Totality: total
  Visibility: public export
.disabled : CodeAction -> Maybe Disabled
  Totality: total
  Visibility: public export
disabled : CodeAction -> Maybe Disabled
  Totality: total
  Visibility: public export
.edit : CodeAction -> Maybe WorkspaceEdit
  Totality: total
  Visibility: public export
edit : CodeAction -> Maybe WorkspaceEdit
  Totality: total
  Visibility: public export
.command : CodeAction -> Maybe Command
  Totality: total
  Visibility: public export
command : CodeAction -> Maybe Command
  Totality: total
  Visibility: public export
.data_ : CodeAction -> Maybe JSON
  Totality: total
  Visibility: public export
data_ : CodeAction -> Maybe JSON
  Totality: total
  Visibility: public export