Idris2Doc : Language.LSP.Message.DocumentFormatting

Language.LSP.Message.DocumentFormatting

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

  Totality: total
  Visibility: public export
  Constructor: 
MkDocumentFormattingClientCapabilities : Maybe Bool -> DocumentFormattingClientCapabilities

  Projection: 
.dynamicRegistration : DocumentFormattingClientCapabilities -> Maybe Bool

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

  Totality: total
  Visibility: public export
  Constructor: 
MkDocumentFormattingOptions : Maybe Bool -> DocumentFormattingOptions

  Projection: 
.workDoneProgress : DocumentFormattingOptions -> Maybe Bool

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

  Totality: total
  Visibility: public export
  Constructor: 
MkDocumentFormattingRegistrationOptions : Maybe Bool -> OneOf [DocumentSelector, Null] -> DocumentFormattingRegistrationOptions

  Projections:
  
.documentSelector : DocumentFormattingRegistrationOptions -> OneOf [DocumentSelector, Null]
  
.workDoneProgress : DocumentFormattingRegistrationOptions -> Maybe Bool

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

  Totality: total
  Visibility: public export
  Constructor: 
MkFormattingOptions : Int -> Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> List (String, OneOf [Bool, Int, String]) -> FormattingOptions

  Projections:
  
.insertFinalNewline : FormattingOptions -> Maybe Bool
  
.insertSpaces : FormattingOptions -> Bool
  
.other : FormattingOptions -> List (String, OneOf [Bool, Int, String])
  
.tabSize : FormattingOptions -> Int
  
.trimFinalNewlines : FormattingOptions -> Maybe Bool
  
.trimTrailingWhitespace : FormattingOptions -> Maybe Bool

  Hints:
  
FromJSON FormattingOptions
  
ToJSON FormattingOptions
.tabSize : FormattingOptions -> Int
  Totality: total
  Visibility: public export
tabSize : FormattingOptions -> Int
  Totality: total
  Visibility: public export
.insertSpaces : FormattingOptions -> Bool
  Totality: total
  Visibility: public export
insertSpaces : FormattingOptions -> Bool
  Totality: total
  Visibility: public export
.trimTrailingWhitespace : FormattingOptions -> Maybe Bool
  Totality: total
  Visibility: public export
trimTrailingWhitespace : FormattingOptions -> Maybe Bool
  Totality: total
  Visibility: public export
.insertFinalNewline : FormattingOptions -> Maybe Bool
  Totality: total
  Visibility: public export
insertFinalNewline : FormattingOptions -> Maybe Bool
  Totality: total
  Visibility: public export
.trimFinalNewlines : FormattingOptions -> Maybe Bool
  Totality: total
  Visibility: public export
trimFinalNewlines : FormattingOptions -> Maybe Bool
  Totality: total
  Visibility: public export
.other : FormattingOptions -> List (String, OneOf [Bool, Int, String])
  Totality: total
  Visibility: public export
other : FormattingOptions -> List (String, OneOf [Bool, Int, String])
  Totality: total
  Visibility: public export
record DocumentFormattingParams : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_formatting

  Totality: total
  Visibility: public export
  Constructor: 
MkDocumentFormattingParams : Maybe ProgressToken -> TextDocumentIdentifier -> FormattingOptions -> DocumentFormattingParams

  Projections:
  
.options : DocumentFormattingParams -> FormattingOptions
  
.textDocument : DocumentFormattingParams -> TextDocumentIdentifier
  
.workDoneToken : DocumentFormattingParams -> Maybe ProgressToken

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

  Totality: total
  Visibility: public export
  Constructor: 
MkDocumentRangeFormattingClientCapabilities : Maybe Bool -> DocumentRangeFormattingClientCapabilities

  Projection: 
.dynamicRegistration : DocumentRangeFormattingClientCapabilities -> Maybe Bool

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

  Totality: total
  Visibility: public export
  Constructor: 
MkDocumentRangeFormattingOptions : Maybe Bool -> DocumentRangeFormattingOptions

  Projection: 
.workDoneProgress : DocumentRangeFormattingOptions -> Maybe Bool

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

  Totality: total
  Visibility: public export
  Constructor: 
MkDocumentRangeFormattingRegistrationOptions : Maybe Bool -> OneOf [DocumentSelector, Null] -> DocumentRangeFormattingRegistrationOptions

  Projections:
  
.documentSelector : DocumentRangeFormattingRegistrationOptions -> OneOf [DocumentSelector, Null]
  
.workDoneProgress : DocumentRangeFormattingRegistrationOptions -> Maybe Bool

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

  Totality: total
  Visibility: public export
  Constructor: 
MkDocumentRangeFormattingParams : Maybe ProgressToken -> TextDocumentIdentifier -> Range -> FormattingOptions -> DocumentRangeFormattingParams

  Projections:
  
.options : DocumentRangeFormattingParams -> FormattingOptions
  
.range : DocumentRangeFormattingParams -> Range
  
.textDocument : DocumentRangeFormattingParams -> TextDocumentIdentifier
  
.workDoneToken : DocumentRangeFormattingParams -> Maybe ProgressToken

  Hints:
  
FromJSON DocumentRangeFormattingParams
  
ToJSON DocumentRangeFormattingParams
.workDoneToken : DocumentRangeFormattingParams -> Maybe ProgressToken
  Totality: total
  Visibility: public export
workDoneToken : DocumentRangeFormattingParams -> Maybe ProgressToken
  Totality: total
  Visibility: public export
.textDocument : DocumentRangeFormattingParams -> TextDocumentIdentifier
  Totality: total
  Visibility: public export
textDocument : DocumentRangeFormattingParams -> TextDocumentIdentifier
  Totality: total
  Visibility: public export
.range : DocumentRangeFormattingParams -> Range
  Totality: total
  Visibility: public export
range : DocumentRangeFormattingParams -> Range
  Totality: total
  Visibility: public export
.options : DocumentRangeFormattingParams -> FormattingOptions
  Totality: total
  Visibility: public export
options : DocumentRangeFormattingParams -> FormattingOptions
  Totality: total
  Visibility: public export
record DocumentOnTypeFormattingClientCapabilities : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_onTypeFormatting

  Totality: total
  Visibility: public export
  Constructor: 
MkDocumentOnTypeFormattingClientCapabilities : Maybe Bool -> DocumentOnTypeFormattingClientCapabilities

  Projection: 
.dynamicRegistration : DocumentOnTypeFormattingClientCapabilities -> Maybe Bool

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

  Totality: total
  Visibility: public export
  Constructor: 
MkDocumentOnTypeFormattingOptions : Char -> Maybe (List Char) -> DocumentOnTypeFormattingOptions

  Projections:
  
.firstTriggerCharacter : DocumentOnTypeFormattingOptions -> Char
  
.moreTriggerCharacter : DocumentOnTypeFormattingOptions -> Maybe (List Char)

  Hints:
  
FromJSON DocumentOnTypeFormattingOptions
  
ToJSON DocumentOnTypeFormattingOptions
.firstTriggerCharacter : DocumentOnTypeFormattingOptions -> Char
  Totality: total
  Visibility: public export
firstTriggerCharacter : DocumentOnTypeFormattingOptions -> Char
  Totality: total
  Visibility: public export
.moreTriggerCharacter : DocumentOnTypeFormattingOptions -> Maybe (List Char)
  Totality: total
  Visibility: public export
moreTriggerCharacter : DocumentOnTypeFormattingOptions -> Maybe (List Char)
  Totality: total
  Visibility: public export
record DocumentOnTypeFormattingRegistrationOptions : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_onTypeFormatting

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

  Projections:
  
.documentSelector : DocumentOnTypeFormattingRegistrationOptions -> OneOf [DocumentSelector, Null]
  
.firstTriggerCharacter : DocumentOnTypeFormattingRegistrationOptions -> Char
  
.moreTriggerCharacter : DocumentOnTypeFormattingRegistrationOptions -> Maybe (List Char)

  Hints:
  
FromJSON DocumentOnTypeFormattingRegistrationOptions
  
ToJSON DocumentOnTypeFormattingRegistrationOptions
.firstTriggerCharacter : DocumentOnTypeFormattingRegistrationOptions -> Char
  Totality: total
  Visibility: public export
firstTriggerCharacter : DocumentOnTypeFormattingRegistrationOptions -> Char
  Totality: total
  Visibility: public export
.moreTriggerCharacter : DocumentOnTypeFormattingRegistrationOptions -> Maybe (List Char)
  Totality: total
  Visibility: public export
moreTriggerCharacter : DocumentOnTypeFormattingRegistrationOptions -> Maybe (List Char)
  Totality: total
  Visibility: public export
.documentSelector : DocumentOnTypeFormattingRegistrationOptions -> OneOf [DocumentSelector, Null]
  Totality: total
  Visibility: public export
documentSelector : DocumentOnTypeFormattingRegistrationOptions -> OneOf [DocumentSelector, Null]
  Totality: total
  Visibility: public export
record DocumentOnTypeFormattingParams : Type
  Refer to https://microsoft.github.io/language-server-protocol/specification.html#textDocument_onTypeFormatting

  Totality: total
  Visibility: public export
  Constructor: 
MkDocumentOnTypeFormattingParams : TextDocumentIdentifier -> Char -> FormattingOptions -> DocumentOnTypeFormattingParams

  Projections:
  
.ch : DocumentOnTypeFormattingParams -> Char
  
.options : DocumentOnTypeFormattingParams -> FormattingOptions
  
.textDocument : DocumentOnTypeFormattingParams -> TextDocumentIdentifier

  Hints:
  
FromJSON DocumentOnTypeFormattingParams
  
ToJSON DocumentOnTypeFormattingParams
.textDocument : DocumentOnTypeFormattingParams -> TextDocumentIdentifier
  Totality: total
  Visibility: public export
textDocument : DocumentOnTypeFormattingParams -> TextDocumentIdentifier
  Totality: total
  Visibility: public export
.ch : DocumentOnTypeFormattingParams -> Char
  Totality: total
  Visibility: public export
ch : DocumentOnTypeFormattingParams -> Char
  Totality: total
  Visibility: public export
.options : DocumentOnTypeFormattingParams -> FormattingOptions
  Totality: total
  Visibility: public export
options : DocumentOnTypeFormattingParams -> FormattingOptions
  Totality: total
  Visibility: public export