Idris2Doc : Language.LSP.Message.CallHierarchy

Language.LSP.Message.CallHierarchy

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

  Totality: total
  Visibility: public export
  Constructor: 
MkCallHierarchyClientCapabilities : Maybe Bool -> CallHierarchyClientCapabilities

  Projection: 
.dynamicRegistration : CallHierarchyClientCapabilities -> Maybe Bool

  Hints:
  
FromJSON CallHierarchyClientCapabilities
  
ToJSON CallHierarchyClientCapabilities
.dynamicRegistration : CallHierarchyClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
dynamicRegistration : CallHierarchyClientCapabilities -> Maybe Bool
  Totality: total
  Visibility: public export
record CallHierarchyOptions : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_prepareCallHierarchy

  Totality: total
  Visibility: public export
  Constructor: 
MkCallHierarchyOptions : Maybe Bool -> CallHierarchyOptions

  Projection: 
.workDoneProgress : CallHierarchyOptions -> Maybe Bool

  Hints:
  
FromJSON CallHierarchyOptions
  
ToJSON CallHierarchyOptions
.workDoneProgress : CallHierarchyOptions -> Maybe Bool
  Totality: total
  Visibility: public export
workDoneProgress : CallHierarchyOptions -> Maybe Bool
  Totality: total
  Visibility: public export
record CallHierarchyRegistrationOptions : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_prepareCallHierarchy

  Totality: total
  Visibility: public export
  Constructor: 
MkCallHierarchyRegistrationOptions : Maybe Bool -> OneOf [DocumentSelector, Null] -> Maybe String -> CallHierarchyRegistrationOptions

  Projections:
  
.documentSelector : CallHierarchyRegistrationOptions -> OneOf [DocumentSelector, Null]
  
.id : CallHierarchyRegistrationOptions -> Maybe String
  
.workDoneProgress : CallHierarchyRegistrationOptions -> Maybe Bool

  Hints:
  
FromJSON CallHierarchyRegistrationOptions
  
ToJSON CallHierarchyRegistrationOptions
.workDoneProgress : CallHierarchyRegistrationOptions -> Maybe Bool
  Totality: total
  Visibility: public export
workDoneProgress : CallHierarchyRegistrationOptions -> Maybe Bool
  Totality: total
  Visibility: public export
.documentSelector : CallHierarchyRegistrationOptions -> OneOf [DocumentSelector, Null]
  Totality: total
  Visibility: public export
documentSelector : CallHierarchyRegistrationOptions -> OneOf [DocumentSelector, Null]
  Totality: total
  Visibility: public export
.id : CallHierarchyRegistrationOptions -> Maybe String
  Totality: total
  Visibility: public export
id : CallHierarchyRegistrationOptions -> Maybe String
  Totality: total
  Visibility: public export
record CallHierarchyParams : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_prepareCallHierarchy

  Totality: total
  Visibility: public export
  Constructor: 
MkCallHierarchyParams : Maybe ProgressToken -> TextDocumentIdentifier -> CallHierarchyParams

  Projections:
  
.textDocument : CallHierarchyParams -> TextDocumentIdentifier
  
.workDoneToken : CallHierarchyParams -> Maybe ProgressToken

  Hints:
  
FromJSON CallHierarchyParams
  
ToJSON CallHierarchyParams
.workDoneToken : CallHierarchyParams -> Maybe ProgressToken
  Totality: total
  Visibility: public export
workDoneToken : CallHierarchyParams -> Maybe ProgressToken
  Totality: total
  Visibility: public export
.textDocument : CallHierarchyParams -> TextDocumentIdentifier
  Totality: total
  Visibility: public export
textDocument : CallHierarchyParams -> TextDocumentIdentifier
  Totality: total
  Visibility: public export
record CallHierarchyItem : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_prepareCallHierarchy

  Totality: total
  Visibility: public export
  Constructor: 
MkCallHierarchyItem : String -> SymbolKind -> Maybe (List SymbolTag) -> Maybe String -> DocumentURI -> Range -> Range -> Maybe JSON -> CallHierarchyItem

  Projections:
  
.data_ : CallHierarchyItem -> Maybe JSON
  
.detail : CallHierarchyItem -> Maybe String
  
.kind : CallHierarchyItem -> SymbolKind
  
.name : CallHierarchyItem -> String
  
.range : CallHierarchyItem -> Range
  
.selectionRange : CallHierarchyItem -> Range
  
.tags : CallHierarchyItem -> Maybe (List SymbolTag)
  
.uri : CallHierarchyItem -> DocumentURI

  Hints:
  
FromJSON CallHierarchyItem
  
ToJSON CallHierarchyItem
.name : CallHierarchyItem -> String
  Totality: total
  Visibility: public export
name : CallHierarchyItem -> String
  Totality: total
  Visibility: public export
.kind : CallHierarchyItem -> SymbolKind
  Totality: total
  Visibility: public export
kind : CallHierarchyItem -> SymbolKind
  Totality: total
  Visibility: public export
.tags : CallHierarchyItem -> Maybe (List SymbolTag)
  Totality: total
  Visibility: public export
tags : CallHierarchyItem -> Maybe (List SymbolTag)
  Totality: total
  Visibility: public export
.detail : CallHierarchyItem -> Maybe String
  Totality: total
  Visibility: public export
detail : CallHierarchyItem -> Maybe String
  Totality: total
  Visibility: public export
.uri : CallHierarchyItem -> DocumentURI
  Totality: total
  Visibility: public export
uri : CallHierarchyItem -> DocumentURI
  Totality: total
  Visibility: public export
.range : CallHierarchyItem -> Range
  Totality: total
  Visibility: public export
range : CallHierarchyItem -> Range
  Totality: total
  Visibility: public export
.selectionRange : CallHierarchyItem -> Range
  Totality: total
  Visibility: public export
selectionRange : CallHierarchyItem -> Range
  Totality: total
  Visibility: public export
.data_ : CallHierarchyItem -> Maybe JSON
  Totality: total
  Visibility: public export
data_ : CallHierarchyItem -> Maybe JSON
  Totality: total
  Visibility: public export
record CallHierarchyIncomingCallsParams : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#callHierarchy_incomingCalls

  Totality: total
  Visibility: public export
  Constructor: 
MkCallHierarchyIncomingCallsParams : Maybe ProgressToken -> Maybe ProgressToken -> CallHierarchyItem -> CallHierarchyIncomingCallsParams

  Projections:
  
.item : CallHierarchyIncomingCallsParams -> CallHierarchyItem
  
.partialResultToken : CallHierarchyIncomingCallsParams -> Maybe ProgressToken
  
.workDoneToken : CallHierarchyIncomingCallsParams -> Maybe ProgressToken

  Hints:
  
FromJSON CallHierarchyIncomingCallsParams
  
ToJSON CallHierarchyIncomingCallsParams
.workDoneToken : CallHierarchyIncomingCallsParams -> Maybe ProgressToken
  Totality: total
  Visibility: public export
workDoneToken : CallHierarchyIncomingCallsParams -> Maybe ProgressToken
  Totality: total
  Visibility: public export
.partialResultToken : CallHierarchyIncomingCallsParams -> Maybe ProgressToken
  Totality: total
  Visibility: public export
partialResultToken : CallHierarchyIncomingCallsParams -> Maybe ProgressToken
  Totality: total
  Visibility: public export
.item : CallHierarchyIncomingCallsParams -> CallHierarchyItem
  Totality: total
  Visibility: public export
item : CallHierarchyIncomingCallsParams -> CallHierarchyItem
  Totality: total
  Visibility: public export
record CallHierarchyIncomingCall : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#callHierarchy_incomingCalls

  Totality: total
  Visibility: public export
  Constructor: 
MkCallHierarchyIncomingCall : CallHierarchyItem -> List Range -> CallHierarchyIncomingCall

  Projections:
  
.from : CallHierarchyIncomingCall -> CallHierarchyItem
  
.fromRanges : CallHierarchyIncomingCall -> List Range

  Hints:
  
FromJSON CallHierarchyIncomingCall
  
ToJSON CallHierarchyIncomingCall
.from : CallHierarchyIncomingCall -> CallHierarchyItem
  Totality: total
  Visibility: public export
from : CallHierarchyIncomingCall -> CallHierarchyItem
  Totality: total
  Visibility: public export
.fromRanges : CallHierarchyIncomingCall -> List Range
  Totality: total
  Visibility: public export
fromRanges : CallHierarchyIncomingCall -> List Range
  Totality: total
  Visibility: public export
record CallHierarchyOutgoingCallsParams : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#callHierarchy_outgoingCalls

  Totality: total
  Visibility: public export
  Constructor: 
MkCallHierarchyOutgoingCallsParams : Maybe ProgressToken -> Maybe ProgressToken -> CallHierarchyItem -> CallHierarchyOutgoingCallsParams

  Projections:
  
.item : CallHierarchyOutgoingCallsParams -> CallHierarchyItem
  
.partialResultToken : CallHierarchyOutgoingCallsParams -> Maybe ProgressToken
  
.workDoneToken : CallHierarchyOutgoingCallsParams -> Maybe ProgressToken

  Hints:
  
FromJSON CallHierarchyOutgoingCallsParams
  
ToJSON CallHierarchyOutgoingCallsParams
.workDoneToken : CallHierarchyOutgoingCallsParams -> Maybe ProgressToken
  Totality: total
  Visibility: public export
workDoneToken : CallHierarchyOutgoingCallsParams -> Maybe ProgressToken
  Totality: total
  Visibility: public export
.partialResultToken : CallHierarchyOutgoingCallsParams -> Maybe ProgressToken
  Totality: total
  Visibility: public export
partialResultToken : CallHierarchyOutgoingCallsParams -> Maybe ProgressToken
  Totality: total
  Visibility: public export
.item : CallHierarchyOutgoingCallsParams -> CallHierarchyItem
  Totality: total
  Visibility: public export
item : CallHierarchyOutgoingCallsParams -> CallHierarchyItem
  Totality: total
  Visibility: public export
record CallHierarchyOutgoingCall : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#callHierarchy_outgoingCalls

  Totality: total
  Visibility: public export
  Constructor: 
MkCallHierarchyOutgoingCall : CallHierarchyItem -> List Range -> CallHierarchyOutgoingCall

  Projections:
  
.fromRanges : CallHierarchyOutgoingCall -> List Range
  
.to : CallHierarchyOutgoingCall -> CallHierarchyItem

  Hints:
  
FromJSON CallHierarchyOutgoingCall
  
ToJSON CallHierarchyOutgoingCall
.to : CallHierarchyOutgoingCall -> CallHierarchyItem
  Totality: total
  Visibility: public export
to : CallHierarchyOutgoingCall -> CallHierarchyItem
  Totality: total
  Visibility: public export
.fromRanges : CallHierarchyOutgoingCall -> List Range
  Totality: total
  Visibility: public export
fromRanges : CallHierarchyOutgoingCall -> List Range
  Totality: total
  Visibility: public export