haskell-lsp-types-0.2.1.0: Haskell library for the Microsoft Language Server Protocol, data types

Safe HaskellNone
LanguageHaskell2010

Language.Haskell.LSP.TH.DataTypesJSON

Synopsis

Documentation

newtype List a Source #

This data type is used to host a FromJSON instance for the encoding used by elisp, where an empty list shows up as "null"

Constructors

List [a] 

Instances

Functor List Source # 

Methods

fmap :: (a -> b) -> List a -> List b #

(<$) :: a -> List b -> List a #

Foldable List Source # 

Methods

fold :: Monoid m => List m -> m #

foldMap :: Monoid m => (a -> m) -> List a -> m #

foldr :: (a -> b -> b) -> b -> List a -> b #

foldr' :: (a -> b -> b) -> b -> List a -> b #

foldl :: (b -> a -> b) -> b -> List a -> b #

foldl' :: (b -> a -> b) -> b -> List a -> b #

foldr1 :: (a -> a -> a) -> List a -> a #

foldl1 :: (a -> a -> a) -> List a -> a #

toList :: List a -> [a] #

null :: List a -> Bool #

length :: List a -> Int #

elem :: Eq a => a -> List a -> Bool #

maximum :: Ord a => List a -> a #

minimum :: Ord a => List a -> a #

sum :: Num a => List a -> a #

product :: Num a => List a -> a #

Traversable List Source # 

Methods

traverse :: Applicative f => (a -> f b) -> List a -> f (List b) #

sequenceA :: Applicative f => List (f a) -> f (List a) #

mapM :: Monad m => (a -> m b) -> List a -> m (List b) #

sequence :: Monad m => List (m a) -> m (List a) #

HasRelatedInformation Diagnostic (List DiagnosticRelatedInformation) Source # 
HasArguments ExecuteCommandParams (Maybe (List Value)) Source # 
HasEdits TextDocumentEdit (List TextEdit) Source # 
HasDocumentChanges WorkspaceEdit (Maybe (List TextDocumentEdit)) Source # 
HasChanges WorkspaceEdit (Maybe WorkspaceEditMap) Source # 
HasChanges DidChangeWatchedFilesParams (List FileEvent) Source # 
HasTriggerCharacters CompletionRegistrationOptions (Maybe (List String)) Source # 
HasTriggerCharacters SignatureHelpRegistrationOptions (Maybe (List String)) Source # 
HasCommands ExecuteCommandOptions (List Text) Source # 
HasCommands ExecuteCommandRegistrationOptions (List Text) Source # 
HasRegistrations RegistrationParams (List Registration) Source # 
HasDocumentSelector TextDocumentRegistrationOptions (Maybe DocumentSelector) Source # 
HasDocumentSelector TextDocumentChangeRegistrationOptions (Maybe DocumentSelector) Source # 
HasDocumentSelector CompletionRegistrationOptions (Maybe DocumentSelector) Source # 
HasDocumentSelector SignatureHelpRegistrationOptions (Maybe DocumentSelector) Source # 
HasDocumentSelector CodeLensRegistrationOptions (Maybe DocumentSelector) Source # 
HasUnregistrations UnregistrationParams (List Unregistration) Source # 
HasContentChanges DidChangeTextDocumentParams (List TextDocumentContentChangeEvent) Source # 
HasDiagnostics PublishDiagnosticsParams (List Diagnostic) Source # 
HasDiagnostics CodeActionContext (List Diagnostic) Source # 
HasAdditionalTextEdits CompletionItem (Maybe (List TextEdit)) Source # 
HasItems CompletionListType (List CompletionItem) Source # 
HasContents Hover (List MarkedString) Source # 
HasSignatures SignatureHelp (List SignatureInformation) Source # 
Eq a => Eq (List a) Source # 

Methods

(==) :: List a -> List a -> Bool #

(/=) :: List a -> List a -> Bool #

Ord a => Ord (List a) Source # 

Methods

compare :: List a -> List a -> Ordering #

(<) :: List a -> List a -> Bool #

(<=) :: List a -> List a -> Bool #

(>) :: List a -> List a -> Bool #

(>=) :: List a -> List a -> Bool #

max :: List a -> List a -> List a #

min :: List a -> List a -> List a #

Read a => Read (List a) Source # 
Show a => Show (List a) Source # 

Methods

showsPrec :: Int -> List a -> ShowS #

show :: List a -> String #

showList :: [List a] -> ShowS #

Monoid (List a) Source # 

Methods

mempty :: List a #

mappend :: List a -> List a -> List a #

mconcat :: [List a] -> List a #

ToJSON a => ToJSON (List a) Source # 
FromJSON a => FromJSON (List a) Source # 

newtype Uri Source #

Constructors

Uri 

Fields

Instances

Eq Uri Source # 

Methods

(==) :: Uri -> Uri -> Bool #

(/=) :: Uri -> Uri -> Bool #

Ord Uri Source # 

Methods

compare :: Uri -> Uri -> Ordering #

(<) :: Uri -> Uri -> Bool #

(<=) :: Uri -> Uri -> Bool #

(>) :: Uri -> Uri -> Bool #

(>=) :: Uri -> Uri -> Bool #

max :: Uri -> Uri -> Uri #

min :: Uri -> Uri -> Uri #

Read Uri Source # 
Show Uri Source # 

Methods

showsPrec :: Int -> Uri -> ShowS #

show :: Uri -> String #

showList :: [Uri] -> ShowS #

Hashable Uri Source # 

Methods

hashWithSalt :: Int -> Uri -> Int #

hash :: Uri -> Int #

ToJSON Uri Source # 
ToJSONKey Uri Source # 
FromJSON Uri Source # 
FromJSONKey Uri Source # 
HasUri Location Uri Source # 
HasUri VersionedTextDocumentIdentifier Uri Source # 
HasUri TextDocumentIdentifier Uri Source # 
HasUri TextDocumentItem Uri Source # 
HasUri FileEvent Uri Source # 
HasUri PublishDiagnosticsParams Uri Source # 
HasChanges WorkspaceEdit (Maybe WorkspaceEditMap) Source # 
HasRootUri InitializeParams (Maybe Uri) Source # 

data LspIdRsp Source #

Id used for a response, Can be either a String or an Int, or Null. If a request doesn't provide a result value the receiver of a request still needs to return a response message to conform to the JSON RPC specification. The result property of the ResponseMessage should be set to null in this case to signal a successful request.

data ClientMethod Source #

data RequestMessage m req resp Source #

Constructors

RequestMessage 

Fields

Instances

(Eq req, Eq m) => Eq (RequestMessage m req resp) Source # 

Methods

(==) :: RequestMessage m req resp -> RequestMessage m req resp -> Bool #

(/=) :: RequestMessage m req resp -> RequestMessage m req resp -> Bool #

(Read req, Read m) => Read (RequestMessage m req resp) Source # 

Methods

readsPrec :: Int -> ReadS (RequestMessage m req resp) #

readList :: ReadS [RequestMessage m req resp] #

readPrec :: ReadPrec (RequestMessage m req resp) #

readListPrec :: ReadPrec [RequestMessage m req resp] #

(Show req, Show m) => Show (RequestMessage m req resp) Source # 

Methods

showsPrec :: Int -> RequestMessage m req resp -> ShowS #

show :: RequestMessage m req resp -> String #

showList :: [RequestMessage m req resp] -> ShowS #

(ToJSON m, ToJSON req, ToJSON resp) => ToJSON (RequestMessage m req resp) Source # 

Methods

toJSON :: RequestMessage m req resp -> Value #

toEncoding :: RequestMessage m req resp -> Encoding #

toJSONList :: [RequestMessage m req resp] -> Value #

toEncodingList :: [RequestMessage m req resp] -> Encoding #

(FromJSON m, FromJSON req, FromJSON resp) => FromJSON (RequestMessage m req resp) Source # 

Methods

parseJSON :: Value -> Parser (RequestMessage m req resp) #

parseJSONList :: Value -> Parser [RequestMessage m req resp] #

HasParams (RequestMessage m req resp) req Source # 

Methods

params :: Lens' (RequestMessage m req resp) req Source #

HasMethod (RequestMessage m req resp) m Source # 

Methods

method :: Lens' (RequestMessage m req resp) m Source #

HasJsonrpc (RequestMessage m req resp) Text Source # 

Methods

jsonrpc :: Lens' (RequestMessage m req resp) Text Source #

HasId (RequestMessage m req resp) LspId Source # 

Methods

id :: Lens' (RequestMessage m req resp) LspId Source #

class HasJsonrpc s a | s -> a where Source #

Minimal complete definition

jsonrpc

Methods

jsonrpc :: Lens' s a Source #

class HasParams s a | s -> a where Source #

Minimal complete definition

params

Methods

params :: Lens' s a Source #

class HasCode s a | s -> a where Source #

Minimal complete definition

code

Methods

code :: Lens' s a Source #

data ResponseMessage a Source #

class HasError s a | s -> a where Source #

Minimal complete definition

error

Methods

error :: Lens' s a Source #

class HasResult s a | s -> a where Source #

Minimal complete definition

result

Methods

result :: Lens' s a Source #

data NotificationMessage m a Source #

Constructors

NotificationMessage 

Fields

data Position Source #

Constructors

Position 

Fields

Instances

Eq Position Source # 
Ord Position Source # 
Read Position Source # 
Show Position Source # 
ToJSON Position Source # 
FromJSON Position Source # 
HasLine Position Int Source # 
HasCharacter Position Int Source # 
HasStart Range Position Source # 
HasEnd Range Position Source # 
HasPosition TextDocumentPositionParams Position Source # 
HasPosition ReferenceParams Position Source # 
HasPosition DocumentOnTypeFormattingParams Position Source # 
HasPosition RenameParams Position Source # 

class HasCharacter s a | s -> a where Source #

Minimal complete definition

character

Methods

character :: Lens' s a Source #

class HasLine s a | s -> a where Source #

Minimal complete definition

line

Methods

line :: Lens' s a Source #

data Range Source #

Constructors

Range 

Fields

Instances

Eq Range Source # 

Methods

(==) :: Range -> Range -> Bool #

(/=) :: Range -> Range -> Bool #

Ord Range Source # 

Methods

compare :: Range -> Range -> Ordering #

(<) :: Range -> Range -> Bool #

(<=) :: Range -> Range -> Bool #

(>) :: Range -> Range -> Bool #

(>=) :: Range -> Range -> Bool #

max :: Range -> Range -> Range #

min :: Range -> Range -> Range #

Read Range Source # 
Show Range Source # 

Methods

showsPrec :: Int -> Range -> ShowS #

show :: Range -> String #

showList :: [Range] -> ShowS #

ToJSON Range Source # 
FromJSON Range Source # 
HasStart Range Position Source # 
HasEnd Range Position Source # 
HasRange Location Range Source # 
HasRange Diagnostic Range Source # 
HasRange TextEdit Range Source # 
HasRange DocumentHighlight Range Source # 
HasRange CodeActionParams Range Source # 
HasRange CodeLens Range Source # 
HasRange DocumentLink Range Source # 
HasRange DocumentRangeFormattingParams Range Source # 
HasRange TextDocumentContentChangeEvent (Maybe Range) Source # 
HasRange Hover (Maybe Range) Source # 

class HasEnd s a | s -> a where Source #

Minimal complete definition

end

Methods

end :: Lens' s a Source #

class HasStart s a | s -> a where Source #

Minimal complete definition

start

Methods

start :: Lens' s a Source #

data DiagnosticSeverity Source #

Constructors

DsError

Error = 1,

DsWarning

Warning = 2,

DsInfo

Info = 3,

DsHint

Hint = 4

Instances

Eq DiagnosticSeverity Source # 
Ord DiagnosticSeverity Source # 
Read DiagnosticSeverity Source # 
Show DiagnosticSeverity Source # 
ToJSON DiagnosticSeverity Source # 
FromJSON DiagnosticSeverity Source # 
HasSeverity Diagnostic (Maybe DiagnosticSeverity) Source # 

data DiagnosticRelatedInformation Source #

Instances

Eq DiagnosticRelatedInformation Source # 
Ord DiagnosticRelatedInformation Source # 
Read DiagnosticRelatedInformation Source # 
Show DiagnosticRelatedInformation Source # 
ToJSON DiagnosticRelatedInformation Source # 
FromJSON DiagnosticRelatedInformation Source # 
HasMessage DiagnosticRelatedInformation Text Source # 
HasLocation DiagnosticRelatedInformation Location Source # 
HasRelatedInformation Diagnostic (List DiagnosticRelatedInformation) Source # 

data Diagnostic Source #

Instances

Eq Diagnostic Source # 
Ord Diagnostic Source # 
Read Diagnostic Source # 
Show Diagnostic Source # 
ToJSON Diagnostic Source # 
FromJSON Diagnostic Source # 
HasMessage Diagnostic Text Source # 
HasRange Diagnostic Range Source # 
HasCode Diagnostic (Maybe Text) Source # 
HasSource Diagnostic (Maybe DiagnosticSource) Source # 
HasSeverity Diagnostic (Maybe DiagnosticSeverity) Source # 
HasRelatedInformation Diagnostic (List DiagnosticRelatedInformation) Source # 
HasDiagnostics PublishDiagnosticsParams (List Diagnostic) Source # 
HasDiagnostics CodeActionContext (List Diagnostic) Source # 

class HasSeverity s a | s -> a where Source #

Minimal complete definition

severity

Methods

severity :: Lens' s a Source #

class HasSource s a | s -> a where Source #

Minimal complete definition

source

Methods

source :: Lens' s a Source #

class HasTitle s a | s -> a where Source #

Minimal complete definition

title

Methods

title :: Lens' s a Source #

class HasNewText s a | s -> a where Source #

Minimal complete definition

newText

Methods

newText :: Lens' s a Source #

data VersionedTextDocumentIdentifier Source #

Instances

Eq VersionedTextDocumentIdentifier Source # 
Read VersionedTextDocumentIdentifier Source # 
Show VersionedTextDocumentIdentifier Source # 
ToJSON VersionedTextDocumentIdentifier Source # 
FromJSON VersionedTextDocumentIdentifier Source # 
HasUri VersionedTextDocumentIdentifier Uri Source # 
HasVersion VersionedTextDocumentIdentifier TextDocumentVersion Source # 
HasTextDocument TextDocumentEdit VersionedTextDocumentIdentifier Source # 
HasTextDocument DidChangeTextDocumentParams VersionedTextDocumentIdentifier Source # 

class HasEdits s a | s -> a where Source #

Minimal complete definition

edits

Methods

edits :: Lens' s a Source #

class HasTextDocument s a | s -> a where Source #

Minimal complete definition

textDocument

Methods

textDocument :: Lens' s a Source #

Instances

HasTextDocument TextDocumentEdit VersionedTextDocumentIdentifier Source # 
HasTextDocument TextDocumentPositionParams TextDocumentIdentifier Source # 
HasTextDocument DidOpenTextDocumentParams TextDocumentItem Source # 
HasTextDocument DidChangeTextDocumentParams VersionedTextDocumentIdentifier Source # 
HasTextDocument WillSaveTextDocumentParams TextDocumentIdentifier Source # 
HasTextDocument DidSaveTextDocumentParams TextDocumentIdentifier Source # 
HasTextDocument DidCloseTextDocumentParams TextDocumentIdentifier Source # 
HasTextDocument ReferenceParams TextDocumentIdentifier Source # 
HasTextDocument DocumentSymbolParams TextDocumentIdentifier Source # 
HasTextDocument CodeActionParams TextDocumentIdentifier Source # 
HasTextDocument CodeLensParams TextDocumentIdentifier Source # 
HasTextDocument DocumentLinkParams TextDocumentIdentifier Source # 
HasTextDocument DocumentFormattingParams TextDocumentIdentifier Source # 
HasTextDocument DocumentRangeFormattingParams TextDocumentIdentifier Source # 
HasTextDocument DocumentOnTypeFormattingParams TextDocumentIdentifier Source # 
HasTextDocument RenameParams TextDocumentIdentifier Source # 

data WorkspaceEdit Source #

data TextDocumentIdentifier Source #

Constructors

TextDocumentIdentifier 

Fields

Instances

Eq TextDocumentIdentifier Source # 
Read TextDocumentIdentifier Source # 
Show TextDocumentIdentifier Source # 
ToJSON TextDocumentIdentifier Source # 
FromJSON TextDocumentIdentifier Source # 
HasUri TextDocumentIdentifier Uri Source # 
HasTextDocument TextDocumentPositionParams TextDocumentIdentifier Source # 
HasTextDocument WillSaveTextDocumentParams TextDocumentIdentifier Source # 
HasTextDocument DidSaveTextDocumentParams TextDocumentIdentifier Source # 
HasTextDocument DidCloseTextDocumentParams TextDocumentIdentifier Source # 
HasTextDocument ReferenceParams TextDocumentIdentifier Source # 
HasTextDocument DocumentSymbolParams TextDocumentIdentifier Source # 
HasTextDocument CodeActionParams TextDocumentIdentifier Source # 
HasTextDocument CodeLensParams TextDocumentIdentifier Source # 
HasTextDocument DocumentLinkParams TextDocumentIdentifier Source # 
HasTextDocument DocumentFormattingParams TextDocumentIdentifier Source # 
HasTextDocument DocumentRangeFormattingParams TextDocumentIdentifier Source # 
HasTextDocument DocumentOnTypeFormattingParams TextDocumentIdentifier Source # 
HasTextDocument RenameParams TextDocumentIdentifier Source # 

data TextDocumentItem Source #

Constructors

TextDocumentItem 

Fields

class HasLanguageId s a | s -> a where Source #

Minimal complete definition

languageId

Methods

languageId :: Lens' s a Source #

data TextDocumentPositionParams Source #

data DocumentFilter Source #

Constructors

DocumentFilter 

Instances

Eq DocumentFilter Source # 
Read DocumentFilter Source # 
Show DocumentFilter Source # 
ToJSON DocumentFilter Source # 
FromJSON DocumentFilter Source # 
HasScheme DocumentFilter Text Source # 
HasLanguage DocumentFilter Text Source # 
HasPattern DocumentFilter (Maybe Text) Source # 
HasDocumentSelector TextDocumentRegistrationOptions (Maybe DocumentSelector) Source # 
HasDocumentSelector TextDocumentChangeRegistrationOptions (Maybe DocumentSelector) Source # 
HasDocumentSelector CompletionRegistrationOptions (Maybe DocumentSelector) Source # 
HasDocumentSelector SignatureHelpRegistrationOptions (Maybe DocumentSelector) Source # 
HasDocumentSelector CodeLensRegistrationOptions (Maybe DocumentSelector) Source # 

class HasPattern s a | s -> a where Source #

Minimal complete definition

pattern

Methods

pattern :: Lens' s a Source #

class HasScheme s a | s -> a where Source #

Minimal complete definition

scheme

Methods

scheme :: Lens' s a Source #

data InitializeParams Source #

Instances

Eq InitializeParams Source # 
Read InitializeParams Source # 
Show InitializeParams Source # 
ToJSON InitializeParams Source # 
FromJSON InitializeParams Source # 
HasCapabilities InitializeParams ClientCapabilities Source # 
HasTrace InitializeParams (Maybe Trace) Source # 
HasRootUri InitializeParams (Maybe Uri) Source # 
HasRootPath InitializeParams (Maybe Text) Source # 
HasProcessId InitializeParams (Maybe Int) Source # 
HasInitializationOptions InitializeParams (Maybe Value) Source # 

class HasProcessId s a | s -> a where Source #

Minimal complete definition

processId

Methods

processId :: Lens' s a Source #

class HasRootPath s a | s -> a where Source #

Minimal complete definition

rootPath

Methods

rootPath :: Lens' s a Source #

class HasRootUri s a | s -> a where Source #

Minimal complete definition

rootUri

Methods

rootUri :: Lens' s a Source #

class HasTrace s a | s -> a where Source #

Minimal complete definition

trace

Methods

trace :: Lens' s a Source #

class HasRetry s a | s -> a where Source #

Minimal complete definition

retry

Methods

retry :: Lens' s a Source #

Instances

HasRetry InitializeError Bool Source #

Note: Omitting this parameter from the capabilities is effectively a fourth state, where DidSave events are generated without sending document contents.

data CompletionOptions Source #

data DocumentOnTypeFormattingOptions Source #

Instances

Eq DocumentOnTypeFormattingOptions Source # 
Read DocumentOnTypeFormattingOptions Source # 
Show DocumentOnTypeFormattingOptions Source # 
ToJSON DocumentOnTypeFormattingOptions Source # 
FromJSON DocumentOnTypeFormattingOptions Source # 
HasFirstTriggerCharacter DocumentOnTypeFormattingOptions Text Source # 
HasMoreTriggerCharacter DocumentOnTypeFormattingOptions (Maybe [String]) Source # 
HasDocumentOnTypeFormattingProvider InitializeResponseCapabilitiesInner (Maybe DocumentOnTypeFormattingOptions) Source # 

class HasIncludeText s a | s -> a where Source #

Minimal complete definition

includeText

Methods

includeText :: Lens' s a Source #

data TextDocumentSyncOptions Source #

Constructors

TextDocumentSyncOptions 

Fields

Instances

Eq TextDocumentSyncOptions Source # 
Read TextDocumentSyncOptions Source # 
Show TextDocumentSyncOptions Source # 
ToJSON TextDocumentSyncOptions Source # 
FromJSON TextDocumentSyncOptions Source # 
HasWillSaveWaitUntil TextDocumentSyncOptions (Maybe Bool) Source # 
HasWillSave TextDocumentSyncOptions (Maybe Bool) Source # 
HasSave TextDocumentSyncOptions (Maybe SaveOptions) Source # 
HasOpenClose TextDocumentSyncOptions (Maybe Bool) Source # 
HasChange TextDocumentSyncOptions (Maybe TextDocumentSyncKind) Source # 
HasTextDocumentSync InitializeResponseCapabilitiesInner (Maybe TextDocumentSyncOptions) Source # 

class HasOpenClose s a | s -> a where Source #

Minimal complete definition

openClose

Methods

openClose :: Lens' s a Source #

class HasSave s a | s -> a where Source #

Minimal complete definition

save

Methods

save :: Lens' s a Source #

class HasWillSave s a | s -> a where Source #

Minimal complete definition

willSave

Methods

willSave :: Lens' s a Source #

data InitializeResponseCapabilitiesInner Source #

Instances

Eq InitializeResponseCapabilitiesInner Source # 
Read InitializeResponseCapabilitiesInner Source # 
Show InitializeResponseCapabilitiesInner Source # 
ToJSON InitializeResponseCapabilitiesInner Source # 
FromJSON InitializeResponseCapabilitiesInner Source # 
HasCapabilities InitializeResponseCapabilities InitializeResponseCapabilitiesInner Source # 
HasWorkspaceSymbolProvider InitializeResponseCapabilitiesInner (Maybe Bool) Source # 
HasTextDocumentSync InitializeResponseCapabilitiesInner (Maybe TextDocumentSyncOptions) Source # 
HasSignatureHelpProvider InitializeResponseCapabilitiesInner (Maybe SignatureHelpOptions) Source # 
HasRenameProvider InitializeResponseCapabilitiesInner (Maybe Bool) Source # 
HasReferencesProvider InitializeResponseCapabilitiesInner (Maybe Bool) Source # 
HasHoverProvider InitializeResponseCapabilitiesInner (Maybe Bool) Source # 
HasExperimental InitializeResponseCapabilitiesInner (Maybe Value) Source # 
HasExecuteCommandProvider InitializeResponseCapabilitiesInner (Maybe ExecuteCommandOptions) Source # 
HasDocumentSymbolProvider InitializeResponseCapabilitiesInner (Maybe Bool) Source # 
HasDocumentRangeFormattingProvider InitializeResponseCapabilitiesInner (Maybe Bool) Source # 
HasDocumentOnTypeFormattingProvider InitializeResponseCapabilitiesInner (Maybe DocumentOnTypeFormattingOptions) Source # 
HasDocumentLinkProvider InitializeResponseCapabilitiesInner (Maybe DocumentLinkOptions) Source # 
HasDocumentHighlightProvider InitializeResponseCapabilitiesInner (Maybe Bool) Source # 
HasDocumentFormattingProvider InitializeResponseCapabilitiesInner (Maybe Bool) Source # 
HasDefinitionProvider InitializeResponseCapabilitiesInner (Maybe Bool) Source # 
HasCompletionProvider InitializeResponseCapabilitiesInner (Maybe CompletionOptions) Source # 
HasCodeLensProvider InitializeResponseCapabilitiesInner (Maybe CodeLensOptions) Source # 
HasCodeActionProvider InitializeResponseCapabilitiesInner (Maybe Bool) Source # 

class HasCodeActionProvider s a | s -> a where