Idris2Doc : Language.LSP.Message.SignatureHelp

Language.LSP.Message.SignatureHelp

(source)
Definitions
record SignatureHelpParameterInformation : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_signatureHelp

  Totality: total
  Visibility: public export
  Constructor: 
MkSignatureHelpParameterInformation : Maybe Bool -> SignatureHelpParameterInformation

  Projection: 
.labelOffsetSupport : SignatureHelpParameterInformation -> Maybe Bool

  Hints:
  
FromJSON SignatureHelpParameterInformation
  
ToJSON SignatureHelpParameterInformation
.labelOffsetSupport : SignatureHelpParameterInformation -> Maybe Bool
  Totality: total
  Visibility: public export
labelOffsetSupport : SignatureHelpParameterInformation -> Maybe Bool
  Totality: total
  Visibility: public export
record SignatureHelpInformation : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_signatureHelp

  Totality: total
  Visibility: public export
  Constructor: 
MkSignatureHelpInformation : Maybe (List MarkupKind) -> Maybe SignatureHelpParameterInformation -> Maybe Bool -> SignatureHelpInformation

  Projections:
  
.activeParameterSupport : SignatureHelpInformation -> Maybe Bool
  
.documentationFormat : SignatureHelpInformation -> Maybe (List MarkupKind)
  
.parameterInformation : SignatureHelpInformation -> Maybe SignatureHelpParameterInformation

  Hints:
  
FromJSON SignatureHelpInformation
  
ToJSON SignatureHelpInformation
.documentationFormat : SignatureHelpInformation -> Maybe (List MarkupKind)
  Totality: total
  Visibility: public export
documentationFormat : SignatureHelpInformation -> Maybe (List MarkupKind)
  Totality: total
  Visibility: public export
.parameterInformation : SignatureHelpInformation -> Maybe SignatureHelpParameterInformation
  Totality: total
  Visibility: public export
parameterInformation : SignatureHelpInformation -> Maybe SignatureHelpParameterInformation
  Totality: total
  Visibility: public export
.activeParameterSupport : SignatureHelpInformation -> Maybe Bool
  Totality: total
  Visibility: public export
activeParameterSupport : SignatureHelpInformation -> Maybe Bool
  Totality: total
  Visibility: public export
record SignatureHelpClientCapabilities : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_signatureHelp

  Totality: total
  Visibility: public export
  Constructor: 
MkSignatureHelpClientCapabilities : Maybe Bool -> Maybe SignatureHelpInformation -> Maybe Bool -> SignatureHelpClientCapabilities

  Projections:
  
.contextSupport : SignatureHelpClientCapabilities -> Maybe Bool
  
.dynamicRegistration : SignatureHelpClientCapabilities -> Maybe Bool
  
.signatureInformation : SignatureHelpClientCapabilities -> Maybe SignatureHelpInformation

  Hints:
  
FromJSON SignatureHelpClientCapabilities
  
ToJSON SignatureHelpClientCapabilities
.dynamicRegistration : SignatureHelpClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
dynamicRegistration : SignatureHelpClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
.signatureInformation : SignatureHelpClientCapabilities -> Maybe SignatureHelpInformation
  Totality: total
  Visibility: public export
signatureInformation : SignatureHelpClientCapabilities -> Maybe SignatureHelpInformation
  Totality: total
  Visibility: public export
.contextSupport : SignatureHelpClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
contextSupport : SignatureHelpClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
record SignatureHelpOptions : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_signatureHelp

  Totality: total
  Visibility: public export
  Constructor: 
MkSignatureHelpOptions : Maybe Bool -> Maybe (List Char) -> Maybe (List Char) -> SignatureHelpOptions

  Projections:
  
.retriggerCharacters : SignatureHelpOptions -> Maybe (List Char)
  
.triggerCharacters : SignatureHelpOptions -> Maybe (List Char)
  
.workDoneProgress : SignatureHelpOptions -> Maybe Bool

  Hints:
  
FromJSON SignatureHelpOptions
  
ToJSON SignatureHelpOptions
.workDoneProgress : SignatureHelpOptions -> Maybe Bool
  Totality: total
  Visibility: public export
workDoneProgress : SignatureHelpOptions -> Maybe Bool
  Totality: total
  Visibility: public export
.triggerCharacters : SignatureHelpOptions -> Maybe (List Char)
  Totality: total
  Visibility: public export
triggerCharacters : SignatureHelpOptions -> Maybe (List Char)
  Totality: total
  Visibility: public export
.retriggerCharacters : SignatureHelpOptions -> Maybe (List Char)
  Totality: total
  Visibility: public export
retriggerCharacters : SignatureHelpOptions -> Maybe (List Char)
  Totality: total
  Visibility: public export
record SignatureHelpRegistrationOptions : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_signatureHelp

  Totality: total
  Visibility: public export
  Constructor: 
MkSignatureHelpRegistrationOptions : Maybe Bool -> Maybe (List Char) -> Maybe (List Char) -> OneOf [DocumentSelector, Null] -> SignatureHelpRegistrationOptions

  Projections:
  
.documentSelector : SignatureHelpRegistrationOptions -> OneOf [DocumentSelector, Null]
  
.retriggerCharacters : SignatureHelpRegistrationOptions -> Maybe (List Char)
  
.triggerCharacters : SignatureHelpRegistrationOptions -> Maybe (List Char)
  
.workDoneProgress : SignatureHelpRegistrationOptions -> Maybe Bool

  Hints:
  
FromJSON SignatureHelpRegistrationOptions
  
ToJSON SignatureHelpRegistrationOptions
.workDoneProgress : SignatureHelpRegistrationOptions -> Maybe Bool
  Totality: total
  Visibility: public export
workDoneProgress : SignatureHelpRegistrationOptions -> Maybe Bool
  Totality: total
  Visibility: public export
.triggerCharacters : SignatureHelpRegistrationOptions -> Maybe (List Char)
  Totality: total
  Visibility: public export
triggerCharacters : SignatureHelpRegistrationOptions -> Maybe (List Char)
  Totality: total
  Visibility: public export
.retriggerCharacters : SignatureHelpRegistrationOptions -> Maybe (List Char)
  Totality: total
  Visibility: public export
retriggerCharacters : SignatureHelpRegistrationOptions -> Maybe (List Char)
  Totality: total
  Visibility: public export
.documentSelector : SignatureHelpRegistrationOptions -> OneOf [DocumentSelector, Null]
  Totality: total
  Visibility: public export
documentSelector : SignatureHelpRegistrationOptions -> OneOf [DocumentSelector, Null]
  Totality: total
  Visibility: public export
data SignatureHelpTriggerKind : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Invoked : SignatureHelpTriggerKind
  
TriggerCharacter : SignatureHelpTriggerKind
  
ContentChange : SignatureHelpTriggerKind

  Hints:
  
FromJSON SignatureHelpTriggerKind
  
ToJSON SignatureHelpTriggerKind
record ParameterInformation : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_signatureHelp

  Totality: total
  Visibility: public export
  Constructor: 
MkParameterInformation : OneOf [String, (Int, Int)] -> Maybe (OneOf [String, MarkupContent]) -> ParameterInformation

  Projections:
  
.documentation : ParameterInformation -> Maybe (OneOf [String, MarkupContent])
  
.label : ParameterInformation -> OneOf [String, (Int, Int)]

  Hints:
  
FromJSON ParameterInformation
  
ToJSON ParameterInformation
.label : ParameterInformation -> OneOf [String, (Int, Int)]
  Totality: total
  Visibility: public export
label : ParameterInformation -> OneOf [String, (Int, Int)]
  Totality: total
  Visibility: public export
.documentation : ParameterInformation -> Maybe (OneOf [String, MarkupContent])
  Totality: total
  Visibility: public export
documentation : ParameterInformation -> Maybe (OneOf [String, MarkupContent])
  Totality: total
  Visibility: public export
record SignatureInformation : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_signatureHelp

  Totality: total
  Visibility: public export
  Constructor: 
MkSignatureInformation : String -> Maybe (OneOf [String, MarkupContent]) -> Maybe (List ParameterInformation) -> Maybe Int -> SignatureInformation

  Projections:
  
.activeParameter : SignatureInformation -> Maybe Int
  
.documentation : SignatureInformation -> Maybe (OneOf [String, MarkupContent])
  
.label : SignatureInformation -> String
  
.parameters_ : SignatureInformation -> Maybe (List ParameterInformation)

  Hints:
  
FromJSON SignatureInformation
  
ToJSON SignatureInformation
.label : SignatureInformation -> String
  Totality: total
  Visibility: public export
label : SignatureInformation -> String
  Totality: total
  Visibility: public export
.documentation : SignatureInformation -> Maybe (OneOf [String, MarkupContent])
  Totality: total
  Visibility: public export
documentation : SignatureInformation -> Maybe (OneOf [String, MarkupContent])
  Totality: total
  Visibility: public export
.parameters_ : SignatureInformation -> Maybe (List ParameterInformation)
  Totality: total
  Visibility: public export
parameters_ : SignatureInformation -> Maybe (List ParameterInformation)
  Totality: total
  Visibility: public export
.activeParameter : SignatureInformation -> Maybe Int
  Totality: total
  Visibility: public export
activeParameter : SignatureInformation -> Maybe Int
  Totality: total
  Visibility: public export
record SignatureHelp : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_signatureHelp

  Totality: total
  Visibility: public export
  Constructor: 
MkSignatureHelp : List SignatureInformation -> Maybe Int -> Maybe Int -> SignatureHelp

  Projections:
  
.activeParameter : SignatureHelp -> Maybe Int
  
.activeSignature : SignatureHelp -> Maybe Int
  
.signatures : SignatureHelp -> List SignatureInformation

  Hints:
  
FromJSON SignatureHelp
  
ToJSON SignatureHelp
.signatures : SignatureHelp -> List SignatureInformation
  Totality: total
  Visibility: public export
signatures : SignatureHelp -> List SignatureInformation
  Totality: total
  Visibility: public export
.activeSignature : SignatureHelp -> Maybe Int
  Totality: total
  Visibility: public export
activeSignature : SignatureHelp -> Maybe Int
  Totality: total
  Visibility: public export
.activeParameter : SignatureHelp -> Maybe Int
  Totality: total
  Visibility: public export
activeParameter : SignatureHelp -> Maybe Int
  Totality: total
  Visibility: public export
record SignatureHelpContext : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_signatureHelp

  Totality: total
  Visibility: public export
  Constructor: 
MkSignatureHelpContext : SignatureHelpTriggerKind -> Maybe Char -> Bool -> Maybe SignatureHelp -> SignatureHelpContext

  Projections:
  
.activeSignatureHelp : SignatureHelpContext -> Maybe SignatureHelp
  
.isRetrigger : SignatureHelpContext -> Bool
  
.triggerCharacter : SignatureHelpContext -> Maybe Char
  
.triggerKind : SignatureHelpContext -> SignatureHelpTriggerKind

  Hints:
  
FromJSON SignatureHelpContext
  
ToJSON SignatureHelpContext
.triggerKind : SignatureHelpContext -> SignatureHelpTriggerKind
  Totality: total
  Visibility: public export
triggerKind : SignatureHelpContext -> SignatureHelpTriggerKind
  Totality: total
  Visibility: public export
.triggerCharacter : SignatureHelpContext -> Maybe Char
  Totality: total
  Visibility: public export
triggerCharacter : SignatureHelpContext -> Maybe Char
  Totality: total
  Visibility: public export
.isRetrigger : SignatureHelpContext -> Bool
  Totality: total
  Visibility: public export
isRetrigger : SignatureHelpContext -> Bool
  Totality: total
  Visibility: public export
.activeSignatureHelp : SignatureHelpContext -> Maybe SignatureHelp
  Totality: total
  Visibility: public export
activeSignatureHelp : SignatureHelpContext -> Maybe SignatureHelp
  Totality: total
  Visibility: public export
record SignatureHelpParams : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_signatureHelp

  Totality: total
  Visibility: public export
  Constructor: 
MkSignatureHelpParams : Maybe ProgressToken -> TextDocumentIdentifier -> Position -> Maybe SignatureHelpContext -> SignatureHelpParams

  Projections:
  
.context : SignatureHelpParams -> Maybe SignatureHelpContext
  
.position : SignatureHelpParams -> Position
  
.textDocument : SignatureHelpParams -> TextDocumentIdentifier
  
.workDoneToken : SignatureHelpParams -> Maybe ProgressToken

  Hints:
  
FromJSON SignatureHelpParams
  
ToJSON SignatureHelpParams
.workDoneToken : SignatureHelpParams -> Maybe ProgressToken
  Totality: total
  Visibility: public export
workDoneToken : SignatureHelpParams -> Maybe ProgressToken
  Totality: total
  Visibility: public export
.textDocument : SignatureHelpParams -> TextDocumentIdentifier
  Totality: total
  Visibility: public export
textDocument : SignatureHelpParams -> TextDocumentIdentifier
  Totality: total
  Visibility: public export
.position : SignatureHelpParams -> Position
  Totality: total
  Visibility: public export
position : SignatureHelpParams -> Position
  Totality: total
  Visibility: public export
.context : SignatureHelpParams -> Maybe SignatureHelpContext
  Totality: total
  Visibility: public export
context : SignatureHelpParams -> Maybe SignatureHelpContext
  Totality: total
  Visibility: public export