Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.LSP.Protocol.Message

Contents

Messages
- LSP protocol message types and metadata
- Parsing LSP messages
Methods
- Main LSP method types and functions
- Helpers for working with methods
LSP registrations

Synopsis

data NotificationMessage = NotificationMessage {
- _jsonrpc :: Text
- _method :: Text
- _params :: Maybe Value
}
data RequestMessage = RequestMessage {
- _jsonrpc :: Text
- _id :: Int32 |? Text
- _method :: Text
- _params :: Maybe Value
}
data ResponseError = ResponseError {
- _code :: LSPErrorCodes |? ErrorCodes
- _message :: Text
- _xdata :: Maybe Value
}
data ResponseMessage = ResponseMessage {
- _jsonrpc :: Text
- _id :: Int32 |? (Text |? Null)
- _result :: Maybe Value
- _error :: Maybe ResponseError
}
data TNotificationMessage (m :: Method f Notification) = TNotificationMessage {
- _jsonrpc :: Text
- _method :: SMethod m
- _params :: MessageParams m
}
data TRequestMessage (m :: Method f Request) = TRequestMessage {
- _jsonrpc :: Text
- _id :: LspId m
- _method :: SMethod m
- _params :: MessageParams m
}
data TResponseError (m :: Method f Request) = TResponseError {
- _code :: LSPErrorCodes |? ErrorCodes
- _message :: Text
- _xdata :: Maybe (ErrorData m)
}
toUntypedResponseError :: ToJSON (ErrorData m) => TResponseError m -> ResponseError
data TResponseMessage (m :: Method f Request) = TResponseMessage {
- _jsonrpc :: Text
- _id :: Maybe (LspId m)
- _result :: Either ResponseError (MessageResult m)
}
data TCustomMessage s f t where
- ReqMess :: TRequestMessage (Method_CustomMethod s :: Method f Request) -> TCustomMessage s f Request
- NotMess :: TNotificationMessage (Method_CustomMethod s :: Method f Notification) -> TCustomMessage s f Notification
type family TMessage m where ...
type TClientMessage (m :: Method ClientToServer t) = TMessage m
type TServerMessage (m :: Method ServerToClient t) = TMessage m
addNullField :: String -> Value -> Value
data LspId (m :: Method f Request)
- = IdInt !Int32
- | IdString !Text
data SomeLspId where
- SomeLspId :: !(LspId m) -> SomeLspId
data MessageDirection
- = ServerToClient
- | ClientToServer
data MessageKind
- = Notification
- | Request
data SMessageDirection (f :: MessageDirection) where
- SClientToServer :: SMessageDirection ClientToServer
- SServerToClient :: SMessageDirection ServerToClient
- SBothDirections :: SMessageDirection f
data SMessageKind (f :: MessageKind) where
- SNotification :: SMessageKind Notification
- SRequest :: SMessageKind Request
- SBothTypes :: SMessageKind f
data FromServerMessage' a where
- FromServerMess :: forall t (m :: Method ServerToClient t) a. SMethod m -> TMessage m -> FromServerMessage' a
- FromServerRsp :: forall (m :: Method ClientToServer Request) a. a m -> TResponseMessage m -> FromServerMessage' a
type FromServerMessage = FromServerMessage' SMethod
fromServerNot :: forall (m :: Method ServerToClient Notification). TMessage m ~ TNotificationMessage m => TNotificationMessage m -> FromServerMessage
fromServerReq :: forall (m :: Method ServerToClient Request). TMessage m ~ TRequestMessage m => TRequestMessage m -> FromServerMessage
data FromClientMessage' a where
- FromClientMess :: forall t (m :: Method ClientToServer t) a. SMethod m -> TMessage m -> FromClientMessage' a
- FromClientRsp :: forall (m :: Method ServerToClient Request) a. a m -> TResponseMessage m -> FromClientMessage' a
type FromClientMessage = FromClientMessage' SMethod
fromClientNot :: forall (m :: Method ClientToServer Notification). TMessage m ~ TNotificationMessage m => TNotificationMessage m -> FromClientMessage
fromClientReq :: forall (m :: Method ClientToServer Request). TMessage m ~ TRequestMessage m => TRequestMessage m -> FromClientMessage
type LookupFunc f a = forall (m :: Method f Request). LspId m -> Maybe (SMethod m, a m)
parseServerMessage :: LookupFunc ClientToServer a -> Value -> Parser (FromServerMessage' a)
parseClientMessage :: LookupFunc ServerToClient a -> Value -> Parser (FromClientMessage' a)
clientResponseJSON :: SClientMethod m -> (HasJSON (TResponseMessage m) => x) -> x
serverResponseJSON :: SServerMethod m -> (HasJSON (TResponseMessage m) => x) -> x
clientMethodJSON :: SClientMethod m -> (ToJSON (TClientMessage m) => x) -> x
serverMethodJSON :: SServerMethod m -> (ToJSON (TServerMessage m) => x) -> x
type HasJSON a = (ToJSON a, FromJSON a, Eq a)
data ClientNotOrReq m where
- IsClientNot :: (HasJSON (TClientMessage m), TMessage m ~ TNotificationMessage m) => ClientNotOrReq (m :: Method ClientToServer Notification)
- IsClientReq :: forall (m :: Method ClientToServer Request). (HasJSON (TClientMessage m), HasJSON (TResponseMessage m), TMessage m ~ TRequestMessage m) => ClientNotOrReq m
- IsClientEither :: ClientNotOrReq (Method_CustomMethod s)
data ServerNotOrReq m where
- IsServerNot :: (HasJSON (TServerMessage m), TMessage m ~ TNotificationMessage m) => ServerNotOrReq (m :: Method ServerToClient Notification)
- IsServerReq :: forall (m :: Method ServerToClient Request). (HasJSON (TServerMessage m), HasJSON (TResponseMessage m), TMessage m ~ TRequestMessage m) => ServerNotOrReq m
- IsServerEither :: ServerNotOrReq (Method_CustomMethod s)
splitClientMethod :: SClientMethod m -> ClientNotOrReq m
splitServerMethod :: SServerMethod m -> ServerNotOrReq m
data CustomEq m1 m2 where
- CustomEq :: (m1 ~ (Method_CustomMethod s :: Method f t1), m2 ~ (Method_CustomMethod s :: Method f t2)) => {..} -> CustomEq m1 m2
runEq :: t1 ~ t2 => (SMethod m1 -> SMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2))) -> SMethod (m1 :: Method f t1) -> SMethod (m2 :: Method f t2) -> Maybe (m1 :~~: m2)
mEqServer :: SServerMethod m1 -> SServerMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2))
mEqClient :: SClientMethod m1 -> SClientMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2))
data Method f t where
- Method_TextDocumentImplementation :: Method ClientToServer Request
- Method_TextDocumentTypeDefinition :: Method ClientToServer Request
- Method_WorkspaceWorkspaceFolders :: Method ServerToClient Request
- Method_WorkspaceConfiguration :: Method ServerToClient Request
- Method_TextDocumentDocumentColor :: Method ClientToServer Request
- Method_TextDocumentColorPresentation :: Method ClientToServer Request
- Method_TextDocumentFoldingRange :: Method ClientToServer Request
- Method_TextDocumentDeclaration :: Method ClientToServer Request
- Method_TextDocumentSelectionRange :: Method ClientToServer Request
- Method_WindowWorkDoneProgressCreate :: Method ServerToClient Request
- Method_TextDocumentPrepareCallHierarchy :: Method ClientToServer Request
- Method_CallHierarchyIncomingCalls :: Method ClientToServer Request
- Method_CallHierarchyOutgoingCalls :: Method ClientToServer Request
- Method_TextDocumentSemanticTokensFull :: Method ClientToServer Request
- Method_TextDocumentSemanticTokensFullDelta :: Method ClientToServer Request
- Method_TextDocumentSemanticTokensRange :: Method ClientToServer Request
- Method_WorkspaceSemanticTokensRefresh :: Method ServerToClient Request
- Method_WindowShowDocument :: Method ServerToClient Request
- Method_TextDocumentLinkedEditingRange :: Method ClientToServer Request
- Method_WorkspaceWillCreateFiles :: Method ClientToServer Request
- Method_WorkspaceWillRenameFiles :: Method ClientToServer Request
- Method_WorkspaceWillDeleteFiles :: Method ClientToServer Request
- Method_TextDocumentMoniker :: Method ClientToServer Request
- Method_TextDocumentPrepareTypeHierarchy :: Method ClientToServer Request
- Method_TypeHierarchySupertypes :: Method ClientToServer Request
- Method_TypeHierarchySubtypes :: Method ClientToServer Request
- Method_TextDocumentInlineValue :: Method ClientToServer Request
- Method_WorkspaceInlineValueRefresh :: Method ServerToClient Request
- Method_TextDocumentInlayHint :: Method ClientToServer Request
- Method_InlayHintResolve :: Method ClientToServer Request
- Method_WorkspaceInlayHintRefresh :: Method ServerToClient Request
- Method_TextDocumentDiagnostic :: Method ClientToServer Request
- Method_WorkspaceDiagnostic :: Method ClientToServer Request
- Method_WorkspaceDiagnosticRefresh :: Method ServerToClient Request
- Method_ClientRegisterCapability :: Method ServerToClient Request
- Method_ClientUnregisterCapability :: Method ServerToClient Request
- Method_Initialize :: Method ClientToServer Request
- Method_Shutdown :: Method ClientToServer Request
- Method_WindowShowMessageRequest :: Method ServerToClient Request
- Method_TextDocumentWillSaveWaitUntil :: Method ClientToServer Request
- Method_TextDocumentCompletion :: Method ClientToServer Request
- Method_CompletionItemResolve :: Method ClientToServer Request
- Method_TextDocumentHover :: Method ClientToServer Request
- Method_TextDocumentSignatureHelp :: Method ClientToServer Request
- Method_TextDocumentDefinition :: Method ClientToServer Request
- Method_TextDocumentReferences :: Method ClientToServer Request
- Method_TextDocumentDocumentHighlight :: Method ClientToServer Request
- Method_TextDocumentDocumentSymbol :: Method ClientToServer Request
- Method_TextDocumentCodeAction :: Method ClientToServer Request
- Method_CodeActionResolve :: Method ClientToServer Request
- Method_WorkspaceSymbol :: Method ClientToServer Request
- Method_WorkspaceSymbolResolve :: Method ClientToServer Request
- Method_TextDocumentCodeLens :: Method ClientToServer Request
- Method_CodeLensResolve :: Method ClientToServer Request
- Method_WorkspaceCodeLensRefresh :: Method ServerToClient Request
- Method_TextDocumentDocumentLink :: Method ClientToServer Request
- Method_DocumentLinkResolve :: Method ClientToServer Request
- Method_TextDocumentFormatting :: Method ClientToServer Request
- Method_TextDocumentRangeFormatting :: Method ClientToServer Request
- Method_TextDocumentOnTypeFormatting :: Method ClientToServer Request
- Method_TextDocumentRename :: Method ClientToServer Request
- Method_TextDocumentPrepareRename :: Method ClientToServer Request
- Method_WorkspaceExecuteCommand :: Method ClientToServer Request
- Method_WorkspaceApplyEdit :: Method ServerToClient Request
- Method_WorkspaceDidChangeWorkspaceFolders :: Method ClientToServer Notification
- Method_WindowWorkDoneProgressCancel :: Method ClientToServer Notification
- Method_WorkspaceDidCreateFiles :: Method ClientToServer Notification
- Method_WorkspaceDidRenameFiles :: Method ClientToServer Notification
- Method_WorkspaceDidDeleteFiles :: Method ClientToServer Notification
- Method_NotebookDocumentDidOpen :: Method ClientToServer Notification
- Method_NotebookDocumentDidChange :: Method ClientToServer Notification
- Method_NotebookDocumentDidSave :: Method ClientToServer Notification
- Method_NotebookDocumentDidClose :: Method ClientToServer Notification
- Method_Initialized :: Method ClientToServer Notification
- Method_Exit :: Method ClientToServer Notification
- Method_WorkspaceDidChangeConfiguration :: Method ClientToServer Notification
- Method_WindowShowMessage :: Method ServerToClient Notification
- Method_WindowLogMessage :: Method ServerToClient Notification
- Method_TelemetryEvent :: Method ServerToClient Notification
- Method_TextDocumentDidOpen :: Method ClientToServer Notification
- Method_TextDocumentDidChange :: Method ClientToServer Notification
- Method_TextDocumentDidClose :: Method ClientToServer Notification
- Method_TextDocumentDidSave :: Method ClientToServer Notification
- Method_TextDocumentWillSave :: Method ClientToServer Notification
- Method_WorkspaceDidChangeWatchedFiles :: Method ClientToServer Notification
- Method_TextDocumentPublishDiagnostics :: Method ServerToClient Notification
- Method_SetTrace :: Method ClientToServer Notification
- Method_LogTrace :: Method ServerToClient Notification
- Method_CancelRequest :: Method f Notification
- Method_Progress :: Method f Notification
- Method_CustomMethod :: Symbol -> Method f t
type family MessageParams (m :: Method f t) where ...
type family MessageResult (m :: Method f t) where ...
type family ErrorData (m :: Method f t) where ...
type family RegistrationOptions (m :: Method f t) where ...
data SMethod m where
- SMethod_TextDocumentImplementation :: SMethod Method_TextDocumentImplementation
- SMethod_TextDocumentTypeDefinition :: SMethod Method_TextDocumentTypeDefinition
- SMethod_WorkspaceWorkspaceFolders :: SMethod Method_WorkspaceWorkspaceFolders
- SMethod_WorkspaceConfiguration :: SMethod Method_WorkspaceConfiguration
- SMethod_TextDocumentDocumentColor :: SMethod Method_TextDocumentDocumentColor
- SMethod_TextDocumentColorPresentation :: SMethod Method_TextDocumentColorPresentation
- SMethod_TextDocumentFoldingRange :: SMethod Method_TextDocumentFoldingRange
- SMethod_TextDocumentDeclaration :: SMethod Method_TextDocumentDeclaration
- SMethod_TextDocumentSelectionRange :: SMethod Method_TextDocumentSelectionRange
- SMethod_WindowWorkDoneProgressCreate :: SMethod Method_WindowWorkDoneProgressCreate
- SMethod_TextDocumentPrepareCallHierarchy :: SMethod Method_TextDocumentPrepareCallHierarchy
- SMethod_CallHierarchyIncomingCalls :: SMethod Method_CallHierarchyIncomingCalls
- SMethod_CallHierarchyOutgoingCalls :: SMethod Method_CallHierarchyOutgoingCalls
- SMethod_TextDocumentSemanticTokensFull :: SMethod Method_TextDocumentSemanticTokensFull
- SMethod_TextDocumentSemanticTokensFullDelta :: SMethod Method_TextDocumentSemanticTokensFullDelta
- SMethod_TextDocumentSemanticTokensRange :: SMethod Method_TextDocumentSemanticTokensRange
- SMethod_WorkspaceSemanticTokensRefresh :: SMethod Method_WorkspaceSemanticTokensRefresh
- SMethod_WindowShowDocument :: SMethod Method_WindowShowDocument
- SMethod_TextDocumentLinkedEditingRange :: SMethod Method_TextDocumentLinkedEditingRange
- SMethod_WorkspaceWillCreateFiles :: SMethod Method_WorkspaceWillCreateFiles
- SMethod_WorkspaceWillRenameFiles :: SMethod Method_WorkspaceWillRenameFiles
- SMethod_WorkspaceWillDeleteFiles :: SMethod Method_WorkspaceWillDeleteFiles
- SMethod_TextDocumentMoniker :: SMethod Method_TextDocumentMoniker
- SMethod_TextDocumentPrepareTypeHierarchy :: SMethod Method_TextDocumentPrepareTypeHierarchy
- SMethod_TypeHierarchySupertypes :: SMethod Method_TypeHierarchySupertypes
- SMethod_TypeHierarchySubtypes :: SMethod Method_TypeHierarchySubtypes
- SMethod_TextDocumentInlineValue :: SMethod Method_TextDocumentInlineValue
- SMethod_WorkspaceInlineValueRefresh :: SMethod Method_WorkspaceInlineValueRefresh
- SMethod_TextDocumentInlayHint :: SMethod Method_TextDocumentInlayHint
- SMethod_InlayHintResolve :: SMethod Method_InlayHintResolve
- SMethod_WorkspaceInlayHintRefresh :: SMethod Method_WorkspaceInlayHintRefresh
- SMethod_TextDocumentDiagnostic :: SMethod Method_TextDocumentDiagnostic
- SMethod_WorkspaceDiagnostic :: SMethod Method_WorkspaceDiagnostic
- SMethod_WorkspaceDiagnosticRefresh :: SMethod Method_WorkspaceDiagnosticRefresh
- SMethod_ClientRegisterCapability :: SMethod Method_ClientRegisterCapability
- SMethod_ClientUnregisterCapability :: SMethod Method_ClientUnregisterCapability
- SMethod_Initialize :: SMethod Method_Initialize
- SMethod_Shutdown :: SMethod Method_Shutdown
- SMethod_WindowShowMessageRequest :: SMethod Method_WindowShowMessageRequest
- SMethod_TextDocumentWillSaveWaitUntil :: SMethod Method_TextDocumentWillSaveWaitUntil
- SMethod_TextDocumentCompletion :: SMethod Method_TextDocumentCompletion
- SMethod_CompletionItemResolve :: SMethod Method_CompletionItemResolve
- SMethod_TextDocumentHover :: SMethod Method_TextDocumentHover
- SMethod_TextDocumentSignatureHelp :: SMethod Method_TextDocumentSignatureHelp
- SMethod_TextDocumentDefinition :: SMethod Method_TextDocumentDefinition
- SMethod_TextDocumentReferences :: SMethod Method_TextDocumentReferences
- SMethod_TextDocumentDocumentHighlight :: SMethod Method_TextDocumentDocumentHighlight
- SMethod_TextDocumentDocumentSymbol :: SMethod Method_TextDocumentDocumentSymbol
- SMethod_TextDocumentCodeAction :: SMethod Method_TextDocumentCodeAction
- SMethod_CodeActionResolve :: SMethod Method_CodeActionResolve
- SMethod_WorkspaceSymbol :: SMethod Method_WorkspaceSymbol
- SMethod_WorkspaceSymbolResolve :: SMethod Method_WorkspaceSymbolResolve
- SMethod_TextDocumentCodeLens :: SMethod Method_TextDocumentCodeLens
- SMethod_CodeLensResolve :: SMethod Method_CodeLensResolve
- SMethod_WorkspaceCodeLensRefresh :: SMethod Method_WorkspaceCodeLensRefresh
- SMethod_TextDocumentDocumentLink :: SMethod Method_TextDocumentDocumentLink
- SMethod_DocumentLinkResolve :: SMethod Method_DocumentLinkResolve
- SMethod_TextDocumentFormatting :: SMethod Method_TextDocumentFormatting
- SMethod_TextDocumentRangeFormatting :: SMethod Method_TextDocumentRangeFormatting
- SMethod_TextDocumentOnTypeFormatting :: SMethod Method_TextDocumentOnTypeFormatting
- SMethod_TextDocumentRename :: SMethod Method_TextDocumentRename
- SMethod_TextDocumentPrepareRename :: SMethod Method_TextDocumentPrepareRename
- SMethod_WorkspaceExecuteCommand :: SMethod Method_WorkspaceExecuteCommand
- SMethod_WorkspaceApplyEdit :: SMethod Method_WorkspaceApplyEdit
- SMethod_WorkspaceDidChangeWorkspaceFolders :: SMethod Method_WorkspaceDidChangeWorkspaceFolders
- SMethod_WindowWorkDoneProgressCancel :: SMethod Method_WindowWorkDoneProgressCancel
- SMethod_WorkspaceDidCreateFiles :: SMethod Method_WorkspaceDidCreateFiles
- SMethod_WorkspaceDidRenameFiles :: SMethod Method_WorkspaceDidRenameFiles
- SMethod_WorkspaceDidDeleteFiles :: SMethod Method_WorkspaceDidDeleteFiles
- SMethod_NotebookDocumentDidOpen :: SMethod Method_NotebookDocumentDidOpen
- SMethod_NotebookDocumentDidChange :: SMethod Method_NotebookDocumentDidChange
- SMethod_NotebookDocumentDidSave :: SMethod Method_NotebookDocumentDidSave
- SMethod_NotebookDocumentDidClose :: SMethod Method_NotebookDocumentDidClose
- SMethod_Initialized :: SMethod Method_Initialized
- SMethod_Exit :: SMethod Method_Exit
- SMethod_WorkspaceDidChangeConfiguration :: SMethod Method_WorkspaceDidChangeConfiguration
- SMethod_WindowShowMessage :: SMethod Method_WindowShowMessage
- SMethod_WindowLogMessage :: SMethod Method_WindowLogMessage
- SMethod_TelemetryEvent :: SMethod Method_TelemetryEvent
- SMethod_TextDocumentDidOpen :: SMethod Method_TextDocumentDidOpen
- SMethod_TextDocumentDidChange :: SMethod Method_TextDocumentDidChange
- SMethod_TextDocumentDidClose :: SMethod Method_TextDocumentDidClose
- SMethod_TextDocumentDidSave :: SMethod Method_TextDocumentDidSave
- SMethod_TextDocumentWillSave :: SMethod Method_TextDocumentWillSave
- SMethod_WorkspaceDidChangeWatchedFiles :: SMethod Method_WorkspaceDidChangeWatchedFiles
- SMethod_TextDocumentPublishDiagnostics :: SMethod Method_TextDocumentPublishDiagnostics
- SMethod_SetTrace :: SMethod Method_SetTrace
- SMethod_LogTrace :: SMethod Method_LogTrace
- SMethod_CancelRequest :: SMethod Method_CancelRequest
- SMethod_Progress :: SMethod Method_Progress
- SMethod_CustomMethod :: forall s. KnownSymbol s => Proxy s -> SMethod (Method_CustomMethod s)
data SomeMethod where
- SomeMethod :: forall m. SMethod m -> SomeMethod
someMethodToMethodString :: SomeMethod -> String
methodStringToSomeMethod :: String -> SomeMethod
messageDirection :: forall f t (m :: Method f t). SMethod m -> SMessageDirection f
messageKind :: forall f t (m :: Method f t). SMethod m -> SMessageKind t
isOptionalMethod :: SomeMethod -> Bool
type SClientMethod (m :: Method ClientToServer t) = SMethod m
type SServerMethod (m :: Method ServerToClient t) = SMethod m
data SomeClientMethod = forall t (m :: Method ClientToServer t). SomeClientMethod (SMethod m)
data SomeServerMethod = forall t (m :: Method ServerToClient t). SomeServerMethod (SMethod m)
someClientMethod :: SMethod m -> Maybe SomeClientMethod
someServerMethod :: SMethod m -> Maybe SomeServerMethod
data TRegistration (m :: Method ClientToServer t) = TRegistration {
- _id :: Text
- _method :: SClientMethod m
- _registerOptions :: !(Maybe (RegistrationOptions m))
}
regHelper :: forall m x. SMethod m -> (Show (RegistrationOptions m) => ToJSON (RegistrationOptions m) => FromJSON (RegistrationOptions m) => x) -> x
data SomeRegistration = forall t (m :: Method ClientToServer t). SomeRegistration (TRegistration m)
toUntypedRegistration :: TRegistration m -> Registration
toSomeRegistration :: Registration -> Maybe SomeRegistration
data TUnregistration (m :: Method ClientToServer t) = TUnregistration {
- _id :: Text
- _method :: SMethod m
}
data SomeUnregistration = forall t (m :: Method ClientToServer t). SomeUnregistration (TUnregistration m)
toUntypedUnregistration :: TUnregistration m -> Unregistration
toSomeUnregistration :: Unregistration -> Maybe SomeUnregistration

Messages

LSP protocol message types and metadata

data NotificationMessage Source #

Notification message type as defined in the spec.

Constructors

NotificationMessage
Fields _jsonrpc :: Text _method :: Text _params :: Maybe Value

Instances

Instances details

FromJSON NotificationMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods parseJSON :: Value -> Parser NotificationMessage # parseJSONList :: Value -> Parser [NotificationMessage] #
ToJSON NotificationMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods toJSON :: NotificationMessage -> Value # toEncoding :: NotificationMessage -> Encoding # toJSONList :: [NotificationMessage] -> Value # toEncodingList :: [NotificationMessage] -> Encoding #
Generic NotificationMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Associated Types type Rep NotificationMessage :: Type -> Type # Methods from :: NotificationMessage -> Rep NotificationMessage x # to :: Rep NotificationMessage x -> NotificationMessage #
Show NotificationMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods showsPrec :: Int -> NotificationMessage -> ShowS # show :: NotificationMessage -> String # showList :: [NotificationMessage] -> ShowS #
Eq NotificationMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods (==) :: NotificationMessage -> NotificationMessage -> Bool # (/=) :: NotificationMessage -> NotificationMessage -> Bool #
Pretty NotificationMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods pretty :: NotificationMessage -> Doc ann # prettyList :: [NotificationMessage] -> Doc ann #
HasMethod NotificationMessage Text Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods method :: Lens' NotificationMessage Text Source #
HasJsonrpc NotificationMessage Text Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods jsonrpc :: Lens' NotificationMessage Text Source #
HasParams NotificationMessage (Maybe Value) Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods params :: Lens' NotificationMessage (Maybe Value) Source #
type Rep NotificationMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Types type Rep NotificationMessage = D1 ('MetaData "NotificationMessage" "Language.LSP.Protocol.Message.Types" "lsp-types-2.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "NotificationMessage" 'PrefixI 'True) (S1 ('MetaSel ('Just "_jsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: (S1 ('MetaSel ('Just "_method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: S1 ('MetaSel ('Just "_params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Value)))))

data RequestMessage Source #

Request message type as defined in the spec.

Constructors

RequestMessage
Fields _jsonrpc :: Text _id :: Int32 \|? Text _method :: Text _params :: Maybe Value

Instances

Instances details

FromJSON RequestMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods parseJSON :: Value -> Parser RequestMessage # parseJSONList :: Value -> Parser [RequestMessage] #
ToJSON RequestMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods toJSON :: RequestMessage -> Value # toEncoding :: RequestMessage -> Encoding # toJSONList :: [RequestMessage] -> Value # toEncodingList :: [RequestMessage] -> Encoding #
Generic RequestMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Associated Types type Rep RequestMessage :: Type -> Type # Methods from :: RequestMessage -> Rep RequestMessage x # to :: Rep RequestMessage x -> RequestMessage #
Show RequestMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods showsPrec :: Int -> RequestMessage -> ShowS # show :: RequestMessage -> String # showList :: [RequestMessage] -> ShowS #
Eq RequestMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods (==) :: RequestMessage -> RequestMessage -> Bool # (/=) :: RequestMessage -> RequestMessage -> Bool #
Pretty RequestMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods pretty :: RequestMessage -> Doc ann # prettyList :: [RequestMessage] -> Doc ann #
HasMethod RequestMessage Text Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods method :: Lens' RequestMessage Text Source #
HasJsonrpc RequestMessage Text Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods jsonrpc :: Lens' RequestMessage Text Source #
HasParams RequestMessage (Maybe Value) Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods params :: Lens' RequestMessage (Maybe Value) Source #
HasId RequestMessage (Int32 \|? Text) Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods id :: Lens' RequestMessage (Int32 \|? Text) Source #
type Rep RequestMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Types type Rep RequestMessage = D1 ('MetaData "RequestMessage" "Language.LSP.Protocol.Message.Types" "lsp-types-2.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "RequestMessage" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_jsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: S1 ('MetaSel ('Just "_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Int32 \|? Text))) :: (S1 ('MetaSel ('Just "_method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "_params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Value)))))

data ResponseError Source #

Response error type as defined in the spec.

Constructors

ResponseError
Fields _code :: LSPErrorCodes \|? ErrorCodes _message :: Text _xdata :: Maybe Value

Instances

Instances details

FromJSON ResponseError Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods parseJSON :: Value -> Parser ResponseError # parseJSONList :: Value -> Parser [ResponseError] #
ToJSON ResponseError Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods toJSON :: ResponseError -> Value # toEncoding :: ResponseError -> Encoding # toJSONList :: [ResponseError] -> Value # toEncodingList :: [ResponseError] -> Encoding #
Generic ResponseError Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Associated Types type Rep ResponseError :: Type -> Type # Methods from :: ResponseError -> Rep ResponseError x # to :: Rep ResponseError x -> ResponseError #
Show ResponseError Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods showsPrec :: Int -> ResponseError -> ShowS # show :: ResponseError -> String # showList :: [ResponseError] -> ShowS #
Eq ResponseError Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods (==) :: ResponseError -> ResponseError -> Bool # (/=) :: ResponseError -> ResponseError -> Bool #
Pretty ResponseError Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods pretty :: ResponseError -> Doc ann # prettyList :: [ResponseError] -> Doc ann #
HasMessage ResponseError Text Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods message :: Lens' ResponseError Text Source #
HasError ResponseMessage (Maybe ResponseError) Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods error :: Lens' ResponseMessage (Maybe ResponseError) Source #
HasXdata ResponseError (Maybe Value) Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods xdata :: Lens' ResponseError (Maybe Value) Source #
HasCode ResponseError (LSPErrorCodes \|? ErrorCodes) Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods code :: Lens' ResponseError (LSPErrorCodes \|? ErrorCodes) Source #
type Rep ResponseError Source #
Instance details Defined in Language.LSP.Protocol.Message.Types type Rep ResponseError = D1 ('MetaData "ResponseError" "Language.LSP.Protocol.Message.Types" "lsp-types-2.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "ResponseError" 'PrefixI 'True) (S1 ('MetaSel ('Just "_code") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (LSPErrorCodes \|? ErrorCodes)) :: (S1 ('MetaSel ('Just "_message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: S1 ('MetaSel ('Just "_xdata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Value)))))

data ResponseMessage Source #

Response message type as defined in the spec.

Constructors

ResponseMessage
Fields _jsonrpc :: Text _id :: Int32 \|? (Text \|? Null) _result :: Maybe Value _error :: Maybe ResponseError

Instances

Instances details

FromJSON ResponseMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods parseJSON :: Value -> Parser ResponseMessage # parseJSONList :: Value -> Parser [ResponseMessage] #
ToJSON ResponseMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods toJSON :: ResponseMessage -> Value # toEncoding :: ResponseMessage -> Encoding # toJSONList :: [ResponseMessage] -> Value # toEncodingList :: [ResponseMessage] -> Encoding #
Generic ResponseMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Associated Types type Rep ResponseMessage :: Type -> Type # Methods from :: ResponseMessage -> Rep ResponseMessage x # to :: Rep ResponseMessage x -> ResponseMessage #
Show ResponseMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods showsPrec :: Int -> ResponseMessage -> ShowS # show :: ResponseMessage -> String # showList :: [ResponseMessage] -> ShowS #
Eq ResponseMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods (==) :: ResponseMessage -> ResponseMessage -> Bool # (/=) :: ResponseMessage -> ResponseMessage -> Bool #
Pretty ResponseMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods pretty :: ResponseMessage -> Doc ann # prettyList :: [ResponseMessage] -> Doc ann #
HasJsonrpc ResponseMessage Text Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods jsonrpc :: Lens' ResponseMessage Text Source #
HasError ResponseMessage (Maybe ResponseError) Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods error :: Lens' ResponseMessage (Maybe ResponseError) Source #
HasResult ResponseMessage (Maybe Value) Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods result :: Lens' ResponseMessage (Maybe Value) Source #
HasId ResponseMessage (Int32 \|? (Text \|? Null)) Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods id :: Lens' ResponseMessage (Int32 \|? (Text \|? Null)) Source #
type Rep ResponseMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Types type Rep ResponseMessage = D1 ('MetaData "ResponseMessage" "Language.LSP.Protocol.Message.Types" "lsp-types-2.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "ResponseMessage" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_jsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: S1 ('MetaSel ('Just "_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Int32 \|? (Text \|? Null)))) :: (S1 ('MetaSel ('Just "_result") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Value)) :*: S1 ('MetaSel ('Just "_error") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ResponseError)))))

data TNotificationMessage (m :: Method f Notification) Source #

Typed notification message, containing the correct parameter payload.

Constructors

TNotificationMessage
Fields _jsonrpc :: Text _method :: SMethod m _params :: MessageParams m

Instances

Instances details

(FromJSON (MessageParams m), FromJSON (SMethod m)) => FromJSON (TNotificationMessage m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods parseJSON :: Value -> Parser (TNotificationMessage m) # parseJSONList :: Value -> Parser [TNotificationMessage m] #
ToJSON (MessageParams m) => ToJSON (TNotificationMessage m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods toJSON :: TNotificationMessage m -> Value # toEncoding :: TNotificationMessage m -> Encoding # toJSONList :: [TNotificationMessage m] -> Value # toEncodingList :: [TNotificationMessage m] -> Encoding #
Generic (TNotificationMessage m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Associated Types type Rep (TNotificationMessage m) :: Type -> Type # Methods from :: TNotificationMessage m -> Rep (TNotificationMessage m) x # to :: Rep (TNotificationMessage m) x -> TNotificationMessage m #
Show (MessageParams m) => Show (TNotificationMessage m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods showsPrec :: Int -> TNotificationMessage m -> ShowS # show :: TNotificationMessage m -> String # showList :: [TNotificationMessage m] -> ShowS #
Eq (MessageParams m) => Eq (TNotificationMessage m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods (==) :: TNotificationMessage m -> TNotificationMessage m -> Bool # (/=) :: TNotificationMessage m -> TNotificationMessage m -> Bool #
ToJSON (MessageParams m) => Pretty (TNotificationMessage m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods pretty :: TNotificationMessage m -> Doc ann # prettyList :: [TNotificationMessage m] -> Doc ann #
HasJsonrpc (TNotificationMessage m) Text Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods jsonrpc :: Lens' (TNotificationMessage m) Text Source #
a ~ MessageParams m => HasParams (TNotificationMessage m) a Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods params :: Lens' (TNotificationMessage m) a Source #
HasMethod (TNotificationMessage m) (SMethod m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods method :: Lens' (TNotificationMessage m) (SMethod m) Source #
type Rep (TNotificationMessage m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types type Rep (TNotificationMessage m) = D1 ('MetaData "TNotificationMessage" "Language.LSP.Protocol.Message.Types" "lsp-types-2.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "TNotificationMessage" 'PrefixI 'True) (S1 ('MetaSel ('Just "_jsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: (S1 ('MetaSel ('Just "_method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (SMethod m)) :: S1 ('MetaSel ('Just "_params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (MessageParams m)))))

data TRequestMessage (m :: Method f Request) Source #

Typed request message, containing the correct parameter payload.

Constructors

TRequestMessage
Fields _jsonrpc :: Text _id :: LspId m _method :: SMethod m _params :: MessageParams m

Instances

Instances details

(FromJSON (MessageParams m), FromJSON (SMethod m)) => FromJSON (TRequestMessage m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods parseJSON :: Value -> Parser (TRequestMessage m) # parseJSONList :: Value -> Parser [TRequestMessage m] #
ToJSON (MessageParams m) => ToJSON (TRequestMessage m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods toJSON :: TRequestMessage m -> Value # toEncoding :: TRequestMessage m -> Encoding # toJSONList :: [TRequestMessage m] -> Value # toEncodingList :: [TRequestMessage m] -> Encoding #
Generic (TRequestMessage m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Associated Types type Rep (TRequestMessage m) :: Type -> Type # Methods from :: TRequestMessage m -> Rep (TRequestMessage m) x # to :: Rep (TRequestMessage m) x -> TRequestMessage m #
Show (MessageParams m) => Show (TRequestMessage m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods showsPrec :: Int -> TRequestMessage m -> ShowS # show :: TRequestMessage m -> String # showList :: [TRequestMessage m] -> ShowS #
Eq (MessageParams m) => Eq (TRequestMessage m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods (==) :: TRequestMessage m -> TRequestMessage m -> Bool # (/=) :: TRequestMessage m -> TRequestMessage m -> Bool #
ToJSON (MessageParams m) => Pretty (TRequestMessage m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods pretty :: TRequestMessage m -> Doc ann # prettyList :: [TRequestMessage m] -> Doc ann #
HasJsonrpc (TRequestMessage m) Text Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods jsonrpc :: Lens' (TRequestMessage m) Text Source #
a ~ MessageParams m => HasParams (TRequestMessage m) a Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods params :: Lens' (TRequestMessage m) a Source #
HasId (TRequestMessage m) (LspId m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods id :: Lens' (TRequestMessage m) (LspId m) Source #
HasMethod (TRequestMessage m) (SMethod m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods method :: Lens' (TRequestMessage m) (SMethod m) Source #
type Rep (TRequestMessage m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types type Rep (TRequestMessage m) = D1 ('MetaData "TRequestMessage" "Language.LSP.Protocol.Message.Types" "lsp-types-2.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "TRequestMessage" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_jsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: S1 ('MetaSel ('Just "_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (LspId m))) :: (S1 ('MetaSel ('Just "_method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (SMethod m)) :*: S1 ('MetaSel ('Just "_params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (MessageParams m)))))

data TResponseError (m :: Method f Request) Source #

Constructors

TResponseError
Fields _code :: LSPErrorCodes \|? ErrorCodes _message :: Text _xdata :: Maybe (ErrorData m)

Instances

Instances details

FromJSON (ErrorData m) => FromJSON (TResponseError m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods parseJSON :: Value -> Parser (TResponseError m) # parseJSONList :: Value -> Parser [TResponseError m] #
ToJSON (ErrorData m) => ToJSON (TResponseError m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods toJSON :: TResponseError m -> Value # toEncoding :: TResponseError m -> Encoding # toJSONList :: [TResponseError m] -> Value # toEncodingList :: [TResponseError m] -> Encoding #
Generic (TResponseError m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Associated Types type Rep (TResponseError m) :: Type -> Type # Methods from :: TResponseError m -> Rep (TResponseError m) x # to :: Rep (TResponseError m) x -> TResponseError m #
Show (ErrorData m) => Show (TResponseError m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods showsPrec :: Int -> TResponseError m -> ShowS # show :: TResponseError m -> String # showList :: [TResponseError m] -> ShowS #
Eq (ErrorData m) => Eq (TResponseError m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods (==) :: TResponseError m -> TResponseError m -> Bool # (/=) :: TResponseError m -> TResponseError m -> Bool #
ToJSON (ErrorData m) => Pretty (TResponseError m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods pretty :: TResponseError m -> Doc ann # prettyList :: [TResponseError m] -> Doc ann #
HasMessage (TResponseError m) Text Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods message :: Lens' (TResponseError m) Text Source #
a ~ Maybe (ErrorData m) => HasXdata (TResponseError m) a Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods xdata :: Lens' (TResponseError m) a Source #
HasCode (TResponseError m) (LSPErrorCodes \|? ErrorCodes) Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods code :: Lens' (TResponseError m) (LSPErrorCodes \|? ErrorCodes) Source #
type Rep (TResponseError m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types type Rep (TResponseError m) = D1 ('MetaData "TResponseError" "Language.LSP.Protocol.Message.Types" "lsp-types-2.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "TResponseError" 'PrefixI 'True) (S1 ('MetaSel ('Just "_code") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (LSPErrorCodes \|? ErrorCodes)) :: (S1 ('MetaSel ('Just "_message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: S1 ('MetaSel ('Just "_xdata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (ErrorData m))))))

toUntypedResponseError :: ToJSON (ErrorData m) => TResponseError m -> ResponseError Source #

data TResponseMessage (m :: Method f Request) Source #

A typed response message with a correct result payload.

Constructors

TResponseMessage
Fields _jsonrpc :: Text _id :: Maybe (LspId m) _result :: Either ResponseError (MessageResult m)

Instances

Instances details

(FromJSON (MessageResult a), FromJSON (ErrorData a)) => FromJSON (TResponseMessage a) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods parseJSON :: Value -> Parser (TResponseMessage a) # parseJSONList :: Value -> Parser [TResponseMessage a] #
(ToJSON (MessageResult m), ToJSON (ErrorData m)) => ToJSON (TResponseMessage m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods toJSON :: TResponseMessage m -> Value # toEncoding :: TResponseMessage m -> Encoding # toJSONList :: [TResponseMessage m] -> Value # toEncodingList :: [TResponseMessage m] -> Encoding #
Generic (TResponseMessage m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Associated Types type Rep (TResponseMessage m) :: Type -> Type # Methods from :: TResponseMessage m -> Rep (TResponseMessage m) x # to :: Rep (TResponseMessage m) x -> TResponseMessage m #
(Show (MessageResult m), Show (ErrorData m)) => Show (TResponseMessage m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods showsPrec :: Int -> TResponseMessage m -> ShowS # show :: TResponseMessage m -> String # showList :: [TResponseMessage m] -> ShowS #
(Eq (MessageResult m), Eq (ErrorData m)) => Eq (TResponseMessage m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods (==) :: TResponseMessage m -> TResponseMessage m -> Bool # (/=) :: TResponseMessage m -> TResponseMessage m -> Bool #
(ToJSON (MessageResult m), ToJSON (ErrorData m)) => Pretty (TResponseMessage m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods pretty :: TResponseMessage m -> Doc ann # prettyList :: [TResponseMessage m] -> Doc ann #
HasJsonrpc (TResponseMessage m) Text Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods jsonrpc :: Lens' (TResponseMessage m) Text Source #
a ~ Either ResponseError (MessageResult m) => HasResult (TResponseMessage m) a Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods result :: Lens' (TResponseMessage m) a Source #
HasId (TResponseMessage m) (Maybe (LspId m)) Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods id :: Lens' (TResponseMessage m) (Maybe (LspId m)) Source #
type Rep (TResponseMessage m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types type Rep (TResponseMessage m) = D1 ('MetaData "TResponseMessage" "Language.LSP.Protocol.Message.Types" "lsp-types-2.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "TResponseMessage" 'PrefixI 'True) (S1 ('MetaSel ('Just "_jsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: (S1 ('MetaSel ('Just "_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (LspId m))) :: S1 ('MetaSel ('Just "_result") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Either ResponseError (MessageResult m))))))

data TCustomMessage s f t where Source #

A typed custom message. A special data type is needed to distinguish between notifications and requests, since a CustomMethod can be both!

Constructors

ReqMess :: TRequestMessage (Method_CustomMethod s :: Method f Request) -> TCustomMessage s f Request
NotMess :: TNotificationMessage (Method_CustomMethod s :: Method f Notification) -> TCustomMessage s f Notification

Instances

Instances details

KnownSymbol s => FromJSON (TCustomMessage s f 'Notification) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods parseJSON :: Value -> Parser (TCustomMessage s f 'Notification) # parseJSONList :: Value -> Parser [TCustomMessage s f 'Notification] #
KnownSymbol s => FromJSON (TCustomMessage s f 'Request) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods parseJSON :: Value -> Parser (TCustomMessage s f 'Request) # parseJSONList :: Value -> Parser [TCustomMessage s f 'Request] #
ToJSON (TCustomMessage s f t) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods toJSON :: TCustomMessage s f t -> Value # toEncoding :: TCustomMessage s f t -> Encoding # toJSONList :: [TCustomMessage s f t] -> Value # toEncodingList :: [TCustomMessage s f t] -> Encoding #
Show (TCustomMessage s f t) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods showsPrec :: Int -> TCustomMessage s f t -> ShowS # show :: TCustomMessage s f t -> String # showList :: [TCustomMessage s f t] -> ShowS #
KnownSymbol s => Pretty (TCustomMessage s f t) Source #
Instance details Defined in Language.LSP.Protocol.Message.Types Methods pretty :: TCustomMessage s f t -> Doc ann # prettyList :: [TCustomMessage s f t] -> Doc ann #

type family TMessage m where ... Source #

Map a method to the Request/Notification type with the correct payload.

Equations

TMessage (Method_CustomMethod s :: Method f t) = TCustomMessage s f t
TMessage (m :: Method f Request) = TRequestMessage m
TMessage (m :: Method f Notification) = TNotificationMessage m

type TClientMessage (m :: Method ClientToServer t) = TMessage m Source #

type TServerMessage (m :: Method ServerToClient t) = TMessage m Source #

addNullField :: String -> Value -> Value Source #

Replace a missing field in an object with a null field, to simplify parsing This is a hack to allow other types than Maybe to work like Maybe in allowing the field to be missing. See also this issue: https://github.com/haskell/aeson/issues/646

data LspId (m :: Method f Request) Source #

Id used for a request, Can be either a String or an Int

Constructors

IdInt !Int32
IdString !Text

Instances

Instances details

FromJSON (LspId m) Source #
Instance details Defined in Language.LSP.Protocol.Message.LspId Methods parseJSON :: Value -> Parser (LspId m) # parseJSONList :: Value -> Parser [LspId m] #
ToJSON (LspId m) Source #
Instance details Defined in Language.LSP.Protocol.Message.LspId Methods toJSON :: LspId m -> Value # toEncoding :: LspId m -> Encoding # toJSONList :: [LspId m] -> Value # toEncodingList :: [LspId m] -> Encoding #
Generic (LspId m) Source #
Instance details Defined in Language.LSP.Protocol.Message.LspId Associated Types type Rep (LspId m) :: Type -> Type # Methods from :: LspId m -> Rep (LspId m) x # to :: Rep (LspId m) x -> LspId m #
Read (LspId m) Source #
Instance details Defined in Language.LSP.Protocol.Message.LspId Methods readsPrec :: Int -> ReadS (LspId m) # readList :: ReadS [LspId m] # readPrec :: ReadPrec (LspId m) # readListPrec :: ReadPrec [LspId m] #
Show (LspId m) Source #
Instance details Defined in Language.LSP.Protocol.Message.LspId Methods showsPrec :: Int -> LspId m -> ShowS # show :: LspId m -> String # showList :: [LspId m] -> ShowS #
Eq (LspId m) Source #
Instance details Defined in Language.LSP.Protocol.Message.LspId Methods (==) :: LspId m -> LspId m -> Bool # (/=) :: LspId m -> LspId m -> Bool #
Ord (LspId m) Source #
Instance details Defined in Language.LSP.Protocol.Message.LspId Methods compare :: LspId m -> LspId m -> Ordering # (<) :: LspId m -> LspId m -> Bool # (<=) :: LspId m -> LspId m -> Bool # (>) :: LspId m -> LspId m -> Bool # (>=) :: LspId m -> LspId m -> Bool # max :: LspId m -> LspId m -> LspId m # min :: LspId m -> LspId m -> LspId m #
Hashable (LspId m) Source #
Instance details Defined in Language.LSP.Protocol.Message.LspId Methods hashWithSalt :: Int -> LspId m -> Int # hash :: LspId m -> Int #
Pretty (LspId m) Source #
Instance details Defined in Language.LSP.Protocol.Message.LspId Methods pretty :: LspId m -> Doc ann # prettyList :: [LspId m] -> Doc ann #
IxOrd (LspId :: Method f 'Request -> Type) Source #
Instance details Defined in Language.LSP.Protocol.Message.LspId Associated Types type Base LspId Source # Methods toBase :: forall (a :: k). LspId a -> Base LspId Source #
HasId (TResponseMessage m) (Maybe (LspId m)) Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods id :: Lens' (TResponseMessage m) (Maybe (LspId m)) Source #
HasId (TRequestMessage m) (LspId m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods id :: Lens' (TRequestMessage m) (LspId m) Source #
type Rep (LspId m) Source #
Instance details Defined in Language.LSP.Protocol.Message.LspId type Rep (LspId m) = D1 ('MetaData "LspId" "Language.LSP.Protocol.Message.LspId" "lsp-types-2.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "IdInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int32)) :+: C1 ('MetaCons "IdString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))
type Base (LspId :: Method f 'Request -> Type) Source #
Instance details Defined in Language.LSP.Protocol.Message.LspId type Base (LspId :: Method f 'Request -> Type) = SomeLspId

data SomeLspId where Source #

Constructors

SomeLspId :: !(LspId m) -> SomeLspId

Instances

Instances details

Show SomeLspId Source #
Instance details Defined in Language.LSP.Protocol.Message.LspId Methods showsPrec :: Int -> SomeLspId -> ShowS # show :: SomeLspId -> String # showList :: [SomeLspId] -> ShowS #
Eq SomeLspId Source #
Instance details Defined in Language.LSP.Protocol.Message.LspId Methods (==) :: SomeLspId -> SomeLspId -> Bool # (/=) :: SomeLspId -> SomeLspId -> Bool #
Ord SomeLspId Source #
Instance details Defined in Language.LSP.Protocol.Message.LspId Methods compare :: SomeLspId -> SomeLspId -> Ordering # (<) :: SomeLspId -> SomeLspId -> Bool # (<=) :: SomeLspId -> SomeLspId -> Bool # (>) :: SomeLspId -> SomeLspId -> Bool # (>=) :: SomeLspId -> SomeLspId -> Bool # max :: SomeLspId -> SomeLspId -> SomeLspId # min :: SomeLspId -> SomeLspId -> SomeLspId #
Hashable SomeLspId Source #
Instance details Defined in Language.LSP.Protocol.Message.LspId Methods hashWithSalt :: Int -> SomeLspId -> Int # hash :: SomeLspId -> Int #

data MessageDirection Source #

Which direction messages are sent in.

Constructors

ServerToClient
ClientToServer

data MessageKind Source #

What kind of message is sent.

Constructors

Notification
Request

data SMessageDirection (f :: MessageDirection) where Source #

Singleton type for MessageDirection.

Constructors

SClientToServer :: SMessageDirection ClientToServer
SServerToClient :: SMessageDirection ServerToClient
SBothDirections :: SMessageDirection f

data SMessageKind (f :: MessageKind) where Source #

Singleton type for MessageKind.

Constructors

SNotification :: SMessageKind Notification
SRequest :: SMessageKind Request
SBothTypes :: SMessageKind f

Parsing LSP messages

data FromServerMessage' a where Source #

Constructors

FromServerMess :: forall t (m :: Method ServerToClient t) a. SMethod m -> TMessage m -> FromServerMessage' a
FromServerRsp :: forall (m :: Method ClientToServer Request) a. a m -> TResponseMessage m -> FromServerMessage' a

Instances

Instances details

ToJSON FromServerMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Parsing Methods toJSON :: FromServerMessage -> Value # toEncoding :: FromServerMessage -> Encoding # toJSONList :: [FromServerMessage] -> Value # toEncodingList :: [FromServerMessage] -> Encoding #
Show FromServerMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Parsing Methods showsPrec :: Int -> FromServerMessage -> ShowS # show :: FromServerMessage -> String # showList :: [FromServerMessage] -> ShowS #
Eq FromServerMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Parsing Methods (==) :: FromServerMessage -> FromServerMessage -> Bool # (/=) :: FromServerMessage -> FromServerMessage -> Bool #

type FromServerMessage = FromServerMessage' SMethod Source #

fromServerNot :: forall (m :: Method ServerToClient Notification). TMessage m ~ TNotificationMessage m => TNotificationMessage m -> FromServerMessage Source #

fromServerReq :: forall (m :: Method ServerToClient Request). TMessage m ~ TRequestMessage m => TRequestMessage m -> FromServerMessage Source #

data FromClientMessage' a where Source #

Constructors

FromClientMess :: forall t (m :: Method ClientToServer t) a. SMethod m -> TMessage m -> FromClientMessage' a
FromClientRsp :: forall (m :: Method ServerToClient Request) a. a m -> TResponseMessage m -> FromClientMessage' a

Instances

Instances details

ToJSON FromClientMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Parsing Methods toJSON :: FromClientMessage -> Value # toEncoding :: FromClientMessage -> Encoding # toJSONList :: [FromClientMessage] -> Value # toEncodingList :: [FromClientMessage] -> Encoding #

type FromClientMessage = FromClientMessage' SMethod Source #

fromClientNot :: forall (m :: Method ClientToServer Notification). TMessage m ~ TNotificationMessage m => TNotificationMessage m -> FromClientMessage Source #

fromClientReq :: forall (m :: Method ClientToServer Request). TMessage m ~ TRequestMessage m => TRequestMessage m -> FromClientMessage Source #

type LookupFunc f a = forall (m :: Method f Request). LspId m -> Maybe (SMethod m, a m) Source #

parseServerMessage :: LookupFunc ClientToServer a -> Value -> Parser (FromServerMessage' a) Source #

parseClientMessage :: LookupFunc ServerToClient a -> Value -> Parser (FromClientMessage' a) Source #

clientResponseJSON :: SClientMethod m -> (HasJSON (TResponseMessage m) => x) -> x Source #

serverResponseJSON :: SServerMethod m -> (HasJSON (TResponseMessage m) => x) -> x Source #

clientMethodJSON :: SClientMethod m -> (ToJSON (TClientMessage m) => x) -> x Source #

serverMethodJSON :: SServerMethod m -> (ToJSON (TServerMessage m) => x) -> x Source #

type HasJSON a = (ToJSON a, FromJSON a, Eq a) Source #

data ClientNotOrReq m where Source #

Constructors

IsClientNot :: (HasJSON (TClientMessage m), TMessage m ~ TNotificationMessage m) => ClientNotOrReq (m :: Method ClientToServer Notification)
IsClientReq :: forall (m :: Method ClientToServer Request). (HasJSON (TClientMessage m), HasJSON (TResponseMessage m), TMessage m ~ TRequestMessage m) => ClientNotOrReq m
IsClientEither :: ClientNotOrReq (Method_CustomMethod s)

data ServerNotOrReq m where Source #

Constructors

IsServerNot :: (HasJSON (TServerMessage m), TMessage m ~ TNotificationMessage m) => ServerNotOrReq (m :: Method ServerToClient Notification)
IsServerReq :: forall (m :: Method ServerToClient Request). (HasJSON (TServerMessage m), HasJSON (TResponseMessage m), TMessage m ~ TRequestMessage m) => ServerNotOrReq m
IsServerEither :: ServerNotOrReq (Method_CustomMethod s)

splitClientMethod :: SClientMethod m -> ClientNotOrReq m Source #

splitServerMethod :: SServerMethod m -> ServerNotOrReq m Source #

data CustomEq m1 m2 where Source #

Given a witness that two custom methods are of the same type, produce a witness that the methods are the same

Constructors

CustomEq
Fields :: (m1 ~ (Method_CustomMethod s :: Method f t1), m2 ~ (Method_CustomMethod s :: Method f t2)) => { runCustomEq :: t1 ~ t2 => m1 :~~: m2 } -> CustomEq m1 m2

runEq :: t1 ~ t2 => (SMethod m1 -> SMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2))) -> SMethod (m1 :: Method f t1) -> SMethod (m2 :: Method f t2) -> Maybe (m1 :~~: m2) Source #

mEqServer :: SServerMethod m1 -> SServerMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2)) Source #

Heterogeneous equality on singleton server methods

mEqClient :: SClientMethod m1 -> SClientMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2)) Source #

Heterogeneous equality on singleton client methods

Methods

Main LSP method types and functions

data Method f t where Source #

A type representing a LSP method (or class of methods), intended to be used mostly at the type level.

Constructors

Method_TextDocumentImplementation :: Method ClientToServer Request
Method_TextDocumentTypeDefinition :: Method ClientToServer Request
Method_WorkspaceWorkspaceFolders :: Method ServerToClient Request
Method_WorkspaceConfiguration :: Method ServerToClient Request
Method_TextDocumentDocumentColor :: Method ClientToServer Request
Method_TextDocumentColorPresentation :: Method ClientToServer Request
Method_TextDocumentFoldingRange :: Method ClientToServer Request
Method_TextDocumentDeclaration :: Method ClientToServer Request
Method_TextDocumentSelectionRange :: Method ClientToServer Request
Method_WindowWorkDoneProgressCreate :: Method ServerToClient Request
Method_TextDocumentPrepareCallHierarchy :: Method ClientToServer Request
Method_CallHierarchyIncomingCalls :: Method ClientToServer Request
Method_CallHierarchyOutgoingCalls :: Method ClientToServer Request
Method_TextDocumentSemanticTokensFull :: Method ClientToServer Request
Method_TextDocumentSemanticTokensFullDelta :: Method ClientToServer Request
Method_TextDocumentSemanticTokensRange :: Method ClientToServer Request
Method_WorkspaceSemanticTokensRefresh :: Method ServerToClient Request
Method_WindowShowDocument :: Method ServerToClient Request
Method_TextDocumentLinkedEditingRange :: Method ClientToServer Request
Method_WorkspaceWillCreateFiles :: Method ClientToServer Request
Method_WorkspaceWillRenameFiles :: Method ClientToServer Request
Method_WorkspaceWillDeleteFiles :: Method ClientToServer Request
Method_TextDocumentMoniker :: Method ClientToServer Request
Method_TextDocumentPrepareTypeHierarchy :: Method ClientToServer Request
Method_TypeHierarchySupertypes :: Method ClientToServer Request
Method_TypeHierarchySubtypes :: Method ClientToServer Request
Method_TextDocumentInlineValue :: Method ClientToServer Request
Method_WorkspaceInlineValueRefresh :: Method ServerToClient Request
Method_TextDocumentInlayHint :: Method ClientToServer Request
Method_InlayHintResolve :: Method ClientToServer Request
Method_WorkspaceInlayHintRefresh :: Method ServerToClient Request
Method_TextDocumentDiagnostic :: Method ClientToServer Request
Method_WorkspaceDiagnostic :: Method ClientToServer Request
Method_WorkspaceDiagnosticRefresh :: Method ServerToClient Request
Method_ClientRegisterCapability :: Method ServerToClient Request
Method_ClientUnregisterCapability :: Method ServerToClient Request
Method_Initialize :: Method ClientToServer Request
Method_Shutdown :: Method ClientToServer Request
Method_WindowShowMessageRequest :: Method ServerToClient Request
Method_TextDocumentWillSaveWaitUntil :: Method ClientToServer Request
Method_TextDocumentCompletion :: Method ClientToServer Request
Method_CompletionItemResolve :: Method ClientToServer Request
Method_TextDocumentHover :: Method ClientToServer Request
Method_TextDocumentSignatureHelp :: Method ClientToServer Request
Method_TextDocumentDefinition :: Method ClientToServer Request
Method_TextDocumentReferences :: Method ClientToServer Request
Method_TextDocumentDocumentHighlight :: Method ClientToServer Request
Method_TextDocumentDocumentSymbol :: Method ClientToServer Request
Method_TextDocumentCodeAction :: Method ClientToServer Request
Method_CodeActionResolve :: Method ClientToServer Request
Method_WorkspaceSymbol :: Method ClientToServer Request
Method_WorkspaceSymbolResolve :: Method ClientToServer Request
Method_TextDocumentCodeLens :: Method ClientToServer Request
Method_CodeLensResolve :: Method ClientToServer Request
Method_WorkspaceCodeLensRefresh :: Method ServerToClient Request
Method_TextDocumentDocumentLink :: Method ClientToServer Request
Method_DocumentLinkResolve :: Method ClientToServer Request
Method_TextDocumentFormatting :: Method ClientToServer Request
Method_TextDocumentRangeFormatting :: Method ClientToServer Request
Method_TextDocumentOnTypeFormatting :: Method ClientToServer Request
Method_TextDocumentRename :: Method ClientToServer Request
Method_TextDocumentPrepareRename :: Method ClientToServer Request
Method_WorkspaceExecuteCommand :: Method ClientToServer Request
Method_WorkspaceApplyEdit :: Method ServerToClient Request
Method_WorkspaceDidChangeWorkspaceFolders :: Method ClientToServer Notification
Method_WindowWorkDoneProgressCancel :: Method ClientToServer Notification
Method_WorkspaceDidCreateFiles :: Method ClientToServer Notification
Method_WorkspaceDidRenameFiles :: Method ClientToServer Notification
Method_WorkspaceDidDeleteFiles :: Method ClientToServer Notification
Method_NotebookDocumentDidOpen :: Method ClientToServer Notification
Method_NotebookDocumentDidChange :: Method ClientToServer Notification
Method_NotebookDocumentDidSave :: Method ClientToServer Notification
Method_NotebookDocumentDidClose :: Method ClientToServer Notification
Method_Initialized :: Method ClientToServer Notification
Method_Exit :: Method ClientToServer Notification
Method_WorkspaceDidChangeConfiguration :: Method ClientToServer Notification
Method_WindowShowMessage :: Method ServerToClient Notification
Method_WindowLogMessage :: Method ServerToClient Notification
Method_TelemetryEvent :: Method ServerToClient Notification
Method_TextDocumentDidOpen :: Method ClientToServer Notification
Method_TextDocumentDidChange :: Method ClientToServer Notification
Method_TextDocumentDidClose :: Method ClientToServer Notification
Method_TextDocumentDidSave :: Method ClientToServer Notification
Method_TextDocumentWillSave :: Method ClientToServer Notification
Method_WorkspaceDidChangeWatchedFiles :: Method ClientToServer Notification
Method_TextDocumentPublishDiagnostics :: Method ServerToClient Notification
Method_SetTrace :: Method ClientToServer Notification
Method_LogTrace :: Method ServerToClient Notification
Method_CancelRequest :: Method f Notification
Method_Progress :: Method f Notification
Method_CustomMethod :: Symbol -> Method f t

Instances

Instances details

IxOrd (LspId :: Method f 'Request -> Type) Source #
Instance details Defined in Language.LSP.Protocol.Message.LspId Associated Types type Base LspId Source # Methods toBase :: forall (a :: k). LspId a -> Base LspId Source #
GCompare (SMethod :: Method f t -> Type) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods gcompare :: forall (a :: k) (b :: k). SMethod a -> SMethod b -> GOrdering a b #
GEq (SMethod :: Method f t -> Type) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods geq :: forall (a :: k) (b :: k). SMethod a -> SMethod b -> Maybe (a :~: b) #
type Base (LspId :: Method f 'Request -> Type) Source #
Instance details Defined in Language.LSP.Protocol.Message.LspId type Base (LspId :: Method f 'Request -> Type) = SomeLspId

type family MessageParams (m :: Method f t) where ... Source #

Maps a LSP method to its parameter type.

Equations

MessageParams Method_TextDocumentImplementation = ImplementationParams
MessageParams Method_TextDocumentTypeDefinition = TypeDefinitionParams
MessageParams Method_WorkspaceWorkspaceFolders = Maybe Void
MessageParams Method_WorkspaceConfiguration = ConfigurationParams
MessageParams Method_TextDocumentDocumentColor = DocumentColorParams
MessageParams Method_TextDocumentColorPresentation = ColorPresentationParams
MessageParams Method_TextDocumentFoldingRange = FoldingRangeParams
MessageParams Method_TextDocumentDeclaration = DeclarationParams
MessageParams Method_TextDocumentSelectionRange = SelectionRangeParams
MessageParams Method_WindowWorkDoneProgressCreate = WorkDoneProgressCreateParams
MessageParams Method_TextDocumentPrepareCallHierarchy = CallHierarchyPrepareParams
MessageParams Method_CallHierarchyIncomingCalls = CallHierarchyIncomingCallsParams
MessageParams Method_CallHierarchyOutgoingCalls = CallHierarchyOutgoingCallsParams
MessageParams Method_TextDocumentSemanticTokensFull = SemanticTokensParams
MessageParams Method_TextDocumentSemanticTokensFullDelta = SemanticTokensDeltaParams
MessageParams Method_TextDocumentSemanticTokensRange = SemanticTokensRangeParams
MessageParams Method_WorkspaceSemanticTokensRefresh = Maybe Void
MessageParams Method_WindowShowDocument = ShowDocumentParams
MessageParams Method_TextDocumentLinkedEditingRange = LinkedEditingRangeParams
MessageParams Method_WorkspaceWillCreateFiles = CreateFilesParams
MessageParams Method_WorkspaceWillRenameFiles = RenameFilesParams
MessageParams Method_WorkspaceWillDeleteFiles = DeleteFilesParams
MessageParams Method_TextDocumentMoniker = MonikerParams
MessageParams Method_TextDocumentPrepareTypeHierarchy = TypeHierarchyPrepareParams
MessageParams Method_TypeHierarchySupertypes = TypeHierarchySupertypesParams
MessageParams Method_TypeHierarchySubtypes = TypeHierarchySubtypesParams
MessageParams Method_TextDocumentInlineValue = InlineValueParams
MessageParams Method_WorkspaceInlineValueRefresh = Maybe Void
MessageParams Method_TextDocumentInlayHint = InlayHintParams
MessageParams Method_InlayHintResolve = InlayHint
MessageParams Method_WorkspaceInlayHintRefresh = Maybe Void
MessageParams Method_TextDocumentDiagnostic = DocumentDiagnosticParams
MessageParams Method_WorkspaceDiagnostic = WorkspaceDiagnosticParams
MessageParams Method_WorkspaceDiagnosticRefresh = Maybe Void
MessageParams Method_ClientRegisterCapability = RegistrationParams
MessageParams Method_ClientUnregisterCapability = UnregistrationParams
MessageParams Method_Initialize = InitializeParams
MessageParams Method_Shutdown = Maybe Void
MessageParams Method_WindowShowMessageRequest = ShowMessageRequestParams
MessageParams Method_TextDocumentWillSaveWaitUntil = WillSaveTextDocumentParams
MessageParams Method_TextDocumentCompletion = CompletionParams
MessageParams Method_CompletionItemResolve = CompletionItem
MessageParams Method_TextDocumentHover = HoverParams
MessageParams Method_TextDocumentSignatureHelp = SignatureHelpParams
MessageParams Method_TextDocumentDefinition = DefinitionParams
MessageParams Method_TextDocumentReferences = ReferenceParams
MessageParams Method_TextDocumentDocumentHighlight = DocumentHighlightParams
MessageParams Method_TextDocumentDocumentSymbol = DocumentSymbolParams
MessageParams Method_TextDocumentCodeAction = CodeActionParams
MessageParams Method_CodeActionResolve = CodeAction
MessageParams Method_WorkspaceSymbol = WorkspaceSymbolParams
MessageParams Method_WorkspaceSymbolResolve = WorkspaceSymbol
MessageParams Method_TextDocumentCodeLens = CodeLensParams
MessageParams Method_CodeLensResolve = CodeLens
MessageParams Method_WorkspaceCodeLensRefresh = Maybe Void
MessageParams Method_TextDocumentDocumentLink = DocumentLinkParams
MessageParams Method_DocumentLinkResolve = DocumentLink
MessageParams Method_TextDocumentFormatting = DocumentFormattingParams
MessageParams Method_TextDocumentRangeFormatting = DocumentRangeFormattingParams
MessageParams Method_TextDocumentOnTypeFormatting = DocumentOnTypeFormattingParams
MessageParams Method_TextDocumentRename = RenameParams
MessageParams Method_TextDocumentPrepareRename = PrepareRenameParams
MessageParams Method_WorkspaceExecuteCommand = ExecuteCommandParams
MessageParams Method_WorkspaceApplyEdit = ApplyWorkspaceEditParams
MessageParams Method_WorkspaceDidChangeWorkspaceFolders = DidChangeWorkspaceFoldersParams
MessageParams Method_WindowWorkDoneProgressCancel = WorkDoneProgressCancelParams
MessageParams Method_WorkspaceDidCreateFiles = CreateFilesParams
MessageParams Method_WorkspaceDidRenameFiles = RenameFilesParams
MessageParams Method_WorkspaceDidDeleteFiles = DeleteFilesParams
MessageParams Method_NotebookDocumentDidOpen = DidOpenNotebookDocumentParams
MessageParams Method_NotebookDocumentDidChange = DidChangeNotebookDocumentParams
MessageParams Method_NotebookDocumentDidSave = DidSaveNotebookDocumentParams
MessageParams Method_NotebookDocumentDidClose = DidCloseNotebookDocumentParams
MessageParams Method_Initialized = InitializedParams
MessageParams Method_Exit = Maybe Void
MessageParams Method_WorkspaceDidChangeConfiguration = DidChangeConfigurationParams
MessageParams Method_WindowShowMessage = ShowMessageParams
MessageParams Method_WindowLogMessage = LogMessageParams
MessageParams Method_TelemetryEvent = Value
MessageParams Method_TextDocumentDidOpen = DidOpenTextDocumentParams
MessageParams Method_TextDocumentDidChange = DidChangeTextDocumentParams
MessageParams Method_TextDocumentDidClose = DidCloseTextDocumentParams
MessageParams Method_TextDocumentDidSave = DidSaveTextDocumentParams
MessageParams Method_TextDocumentWillSave = WillSaveTextDocumentParams
MessageParams Method_WorkspaceDidChangeWatchedFiles = DidChangeWatchedFilesParams
MessageParams Method_TextDocumentPublishDiagnostics = PublishDiagnosticsParams
MessageParams Method_SetTrace = SetTraceParams
MessageParams Method_LogTrace = LogTraceParams
MessageParams Method_CancelRequest = CancelParams
MessageParams Method_Progress = ProgressParams
MessageParams (Method_CustomMethod s) = Value

type family MessageResult (m :: Method f t) where ... Source #

Maps a LSP method to its result type.

Equations

MessageResult Method_TextDocumentImplementation = Definition \|? ([DefinitionLink] \|? Null)
MessageResult Method_TextDocumentTypeDefinition = Definition \|? ([DefinitionLink] \|? Null)
MessageResult Method_WorkspaceWorkspaceFolders = [WorkspaceFolder] \|? Null
MessageResult Method_WorkspaceConfiguration = [Value]
MessageResult Method_TextDocumentDocumentColor = [ColorInformation]
MessageResult Method_TextDocumentColorPresentation = [ColorPresentation]
MessageResult Method_TextDocumentFoldingRange = [FoldingRange] \|? Null
MessageResult Method_TextDocumentDeclaration = Declaration \|? ([DeclarationLink] \|? Null)
MessageResult Method_TextDocumentSelectionRange = [SelectionRange] \|? Null
MessageResult Method_WindowWorkDoneProgressCreate = Null
MessageResult Method_TextDocumentPrepareCallHierarchy = [CallHierarchyItem] \|? Null
MessageResult Method_CallHierarchyIncomingCalls = [CallHierarchyIncomingCall] \|? Null
MessageResult Method_CallHierarchyOutgoingCalls = [CallHierarchyOutgoingCall] \|? Null
MessageResult Method_TextDocumentSemanticTokensFull = SemanticTokens \|? Null
MessageResult Method_TextDocumentSemanticTokensFullDelta = SemanticTokens \|? (SemanticTokensDelta \|? Null)
MessageResult Method_TextDocumentSemanticTokensRange = SemanticTokens \|? Null
MessageResult Method_WorkspaceSemanticTokensRefresh = Null
MessageResult Method_WindowShowDocument = ShowDocumentResult
MessageResult Method_TextDocumentLinkedEditingRange = LinkedEditingRanges \|? Null
MessageResult Method_WorkspaceWillCreateFiles = WorkspaceEdit \|? Null
MessageResult Method_WorkspaceWillRenameFiles = WorkspaceEdit \|? Null
MessageResult Method_WorkspaceWillDeleteFiles = WorkspaceEdit \|? Null
MessageResult Method_TextDocumentMoniker = [Moniker] \|? Null
MessageResult Method_TextDocumentPrepareTypeHierarchy = [TypeHierarchyItem] \|? Null
MessageResult Method_TypeHierarchySupertypes = [TypeHierarchyItem] \|? Null
MessageResult Method_TypeHierarchySubtypes = [TypeHierarchyItem] \|? Null
MessageResult Method_TextDocumentInlineValue = [InlineValue] \|? Null
MessageResult Method_WorkspaceInlineValueRefresh = Null
MessageResult Method_TextDocumentInlayHint = [InlayHint] \|? Null
MessageResult Method_InlayHintResolve = InlayHint
MessageResult Method_WorkspaceInlayHintRefresh = Null
MessageResult Method_TextDocumentDiagnostic = DocumentDiagnosticReport
MessageResult Method_WorkspaceDiagnostic = WorkspaceDiagnosticReport
MessageResult Method_WorkspaceDiagnosticRefresh = Null
MessageResult Method_ClientRegisterCapability = Null
MessageResult Method_ClientUnregisterCapability = Null
MessageResult Method_Initialize = InitializeResult
MessageResult Method_Shutdown = Null
MessageResult Method_WindowShowMessageRequest = MessageActionItem \|? Null
MessageResult Method_TextDocumentWillSaveWaitUntil = [TextEdit] \|? Null
MessageResult Method_TextDocumentCompletion = [CompletionItem] \|? (CompletionList \|? Null)
MessageResult Method_CompletionItemResolve = CompletionItem
MessageResult Method_TextDocumentHover = Hover \|? Null
MessageResult Method_TextDocumentSignatureHelp = SignatureHelp \|? Null
MessageResult Method_TextDocumentDefinition = Definition \|? ([DefinitionLink] \|? Null)
MessageResult Method_TextDocumentReferences = [Location] \|? Null
MessageResult Method_TextDocumentDocumentHighlight = [DocumentHighlight] \|? Null
MessageResult Method_TextDocumentDocumentSymbol = [SymbolInformation] \|? ([DocumentSymbol] \|? Null)
MessageResult Method_TextDocumentCodeAction = [Command \|? CodeAction] \|? Null
MessageResult Method_CodeActionResolve = CodeAction
MessageResult Method_WorkspaceSymbol = [SymbolInformation] \|? ([WorkspaceSymbol] \|? Null)
MessageResult Method_WorkspaceSymbolResolve = WorkspaceSymbol
MessageResult Method_TextDocumentCodeLens = [CodeLens] \|? Null
MessageResult Method_CodeLensResolve = CodeLens
MessageResult Method_WorkspaceCodeLensRefresh = Null
MessageResult Method_TextDocumentDocumentLink = [DocumentLink] \|? Null
MessageResult Method_DocumentLinkResolve = DocumentLink
MessageResult Method_TextDocumentFormatting = [TextEdit] \|? Null
MessageResult Method_TextDocumentRangeFormatting = [TextEdit] \|? Null
MessageResult Method_TextDocumentOnTypeFormatting = [TextEdit] \|? Null
MessageResult Method_TextDocumentRename = WorkspaceEdit \|? Null
MessageResult Method_TextDocumentPrepareRename = PrepareRenameResult \|? Null
MessageResult Method_WorkspaceExecuteCommand = Value \|? Null
MessageResult Method_WorkspaceApplyEdit = ApplyWorkspaceEditResult
MessageResult (Method_CustomMethod s) = Value

type family ErrorData (m :: Method f t) where ... Source #

Maps a LSP method to its error data type.

Equations

ErrorData Method_TextDocumentImplementation = Maybe Void
ErrorData Method_TextDocumentTypeDefinition = Maybe Void
ErrorData Method_WorkspaceWorkspaceFolders = Maybe Void
ErrorData Method_WorkspaceConfiguration = Maybe Void
ErrorData Method_TextDocumentDocumentColor = Maybe Void
ErrorData Method_TextDocumentColorPresentation = Maybe Void
ErrorData Method_TextDocumentFoldingRange = Maybe Void
ErrorData Method_TextDocumentDeclaration = Maybe Void
ErrorData Method_TextDocumentSelectionRange = Maybe Void
ErrorData Method_WindowWorkDoneProgressCreate = Maybe Void
ErrorData Method_TextDocumentPrepareCallHierarchy = Maybe Void
ErrorData Method_CallHierarchyIncomingCalls = Maybe Void
ErrorData Method_CallHierarchyOutgoingCalls = Maybe Void
ErrorData Method_TextDocumentSemanticTokensFull = Maybe Void
ErrorData Method_TextDocumentSemanticTokensFullDelta = Maybe Void
ErrorData Method_TextDocumentSemanticTokensRange = Maybe Void
ErrorData Method_WorkspaceSemanticTokensRefresh = Maybe Void
ErrorData Method_WindowShowDocument = Maybe Void
ErrorData Method_TextDocumentLinkedEditingRange = Maybe Void
ErrorData Method_WorkspaceWillCreateFiles = Maybe Void
ErrorData Method_WorkspaceWillRenameFiles = Maybe Void
ErrorData Method_WorkspaceWillDeleteFiles = Maybe Void
ErrorData Method_TextDocumentMoniker = Maybe Void
ErrorData Method_TextDocumentPrepareTypeHierarchy = Maybe Void
ErrorData Method_TypeHierarchySupertypes = Maybe Void
ErrorData Method_TypeHierarchySubtypes = Maybe Void
ErrorData Method_TextDocumentInlineValue = Maybe Void
ErrorData Method_WorkspaceInlineValueRefresh = Maybe Void
ErrorData Method_TextDocumentInlayHint = Maybe Void
ErrorData Method_InlayHintResolve = Maybe Void
ErrorData Method_WorkspaceInlayHintRefresh = Maybe Void
ErrorData Method_TextDocumentDiagnostic = DiagnosticServerCancellationData
ErrorData Method_WorkspaceDiagnostic = DiagnosticServerCancellationData
ErrorData Method_WorkspaceDiagnosticRefresh = Maybe Void
ErrorData Method_ClientRegisterCapability = Maybe Void
ErrorData Method_ClientUnregisterCapability = Maybe Void
ErrorData Method_Initialize = InitializeError
ErrorData Method_Shutdown = Maybe Void
ErrorData Method_WindowShowMessageRequest = Maybe Void
ErrorData Method_TextDocumentWillSaveWaitUntil = Maybe Void
ErrorData Method_TextDocumentCompletion = Maybe Void
ErrorData Method_CompletionItemResolve = Maybe Void
ErrorData Method_TextDocumentHover = Maybe Void
ErrorData Method_TextDocumentSignatureHelp = Maybe Void
ErrorData Method_TextDocumentDefinition = Maybe Void
ErrorData Method_TextDocumentReferences = Maybe Void
ErrorData Method_TextDocumentDocumentHighlight = Maybe Void
ErrorData Method_TextDocumentDocumentSymbol = Maybe Void
ErrorData Method_TextDocumentCodeAction = Maybe Void
ErrorData Method_CodeActionResolve = Maybe Void
ErrorData Method_WorkspaceSymbol = Maybe Void
ErrorData Method_WorkspaceSymbolResolve = Maybe Void
ErrorData Method_TextDocumentCodeLens = Maybe Void
ErrorData Method_CodeLensResolve = Maybe Void
ErrorData Method_WorkspaceCodeLensRefresh = Maybe Void
ErrorData Method_TextDocumentDocumentLink = Maybe Void
ErrorData Method_DocumentLinkResolve = Maybe Void
ErrorData Method_TextDocumentFormatting = Maybe Void
ErrorData Method_TextDocumentRangeFormatting = Maybe Void
ErrorData Method_TextDocumentOnTypeFormatting = Maybe Void
ErrorData Method_TextDocumentRename = Maybe Void
ErrorData Method_TextDocumentPrepareRename = Maybe Void
ErrorData Method_WorkspaceExecuteCommand = Maybe Void
ErrorData Method_WorkspaceApplyEdit = Maybe Void
ErrorData (Method_CustomMethod s) = Value

type family RegistrationOptions (m :: Method f t) where ... Source #

Maps a LSP method to its registration options type.

Equations

RegistrationOptions Method_TextDocumentImplementation = ImplementationRegistrationOptions
RegistrationOptions Method_TextDocumentTypeDefinition = TypeDefinitionRegistrationOptions
RegistrationOptions Method_WorkspaceWorkspaceFolders = Maybe Void
RegistrationOptions Method_WorkspaceConfiguration = Maybe Void
RegistrationOptions Method_TextDocumentDocumentColor = DocumentColorRegistrationOptions
RegistrationOptions Method_TextDocumentColorPresentation = Rec (("workDoneProgress" .== Maybe Bool) .+ (("documentSelector" .== (DocumentSelector \|? Null)) .+ Empty))
RegistrationOptions Method_TextDocumentFoldingRange = FoldingRangeRegistrationOptions
RegistrationOptions Method_TextDocumentDeclaration = DeclarationRegistrationOptions
RegistrationOptions Method_TextDocumentSelectionRange = SelectionRangeRegistrationOptions
RegistrationOptions Method_WindowWorkDoneProgressCreate = Maybe Void
RegistrationOptions Method_TextDocumentPrepareCallHierarchy = CallHierarchyRegistrationOptions
RegistrationOptions Method_CallHierarchyIncomingCalls = Maybe Void
RegistrationOptions Method_CallHierarchyOutgoingCalls = Maybe Void
RegistrationOptions Method_TextDocumentSemanticTokensFull = SemanticTokensRegistrationOptions
RegistrationOptions Method_TextDocumentSemanticTokensFullDelta = SemanticTokensRegistrationOptions
RegistrationOptions Method_TextDocumentSemanticTokensRange = Maybe Void
RegistrationOptions Method_WorkspaceSemanticTokensRefresh = Maybe Void
RegistrationOptions Method_WindowShowDocument = Maybe Void
RegistrationOptions Method_TextDocumentLinkedEditingRange = LinkedEditingRangeRegistrationOptions
RegistrationOptions Method_WorkspaceWillCreateFiles = FileOperationRegistrationOptions
RegistrationOptions Method_WorkspaceWillRenameFiles = FileOperationRegistrationOptions
RegistrationOptions Method_WorkspaceWillDeleteFiles = FileOperationRegistrationOptions
RegistrationOptions Method_TextDocumentMoniker = MonikerRegistrationOptions
RegistrationOptions Method_TextDocumentPrepareTypeHierarchy = TypeHierarchyRegistrationOptions
RegistrationOptions Method_TypeHierarchySupertypes = Maybe Void
RegistrationOptions Method_TypeHierarchySubtypes = Maybe Void
RegistrationOptions Method_TextDocumentInlineValue = InlineValueRegistrationOptions
RegistrationOptions Method_WorkspaceInlineValueRefresh = Maybe Void
RegistrationOptions Method_TextDocumentInlayHint = InlayHintRegistrationOptions
RegistrationOptions Method_InlayHintResolve = Maybe Void
RegistrationOptions Method_WorkspaceInlayHintRefresh = Maybe Void
RegistrationOptions Method_TextDocumentDiagnostic = DiagnosticRegistrationOptions
RegistrationOptions Method_WorkspaceDiagnostic = Maybe Void
RegistrationOptions Method_WorkspaceDiagnosticRefresh = Maybe Void
RegistrationOptions Method_ClientRegisterCapability = Maybe Void
RegistrationOptions Method_ClientUnregisterCapability = Maybe Void
RegistrationOptions Method_Initialize = Maybe Void
RegistrationOptions Method_Shutdown = Maybe Void
RegistrationOptions Method_WindowShowMessageRequest = Maybe Void
RegistrationOptions Method_TextDocumentWillSaveWaitUntil = TextDocumentRegistrationOptions
RegistrationOptions Method_TextDocumentCompletion = CompletionRegistrationOptions
RegistrationOptions Method_CompletionItemResolve = Maybe Void
RegistrationOptions Method_TextDocumentHover = HoverRegistrationOptions
RegistrationOptions Method_TextDocumentSignatureHelp = SignatureHelpRegistrationOptions
RegistrationOptions Method_TextDocumentDefinition = DefinitionRegistrationOptions
RegistrationOptions Method_TextDocumentReferences = ReferenceRegistrationOptions
RegistrationOptions Method_TextDocumentDocumentHighlight = DocumentHighlightRegistrationOptions
RegistrationOptions Method_TextDocumentDocumentSymbol = DocumentSymbolRegistrationOptions
RegistrationOptions Method_TextDocumentCodeAction = CodeActionRegistrationOptions
RegistrationOptions Method_CodeActionResolve = Maybe Void
RegistrationOptions Method_WorkspaceSymbol = WorkspaceSymbolRegistrationOptions
RegistrationOptions Method_WorkspaceSymbolResolve = Maybe Void
RegistrationOptions Method_TextDocumentCodeLens = CodeLensRegistrationOptions
RegistrationOptions Method_CodeLensResolve = Maybe Void
RegistrationOptions Method_WorkspaceCodeLensRefresh = Maybe Void
RegistrationOptions Method_TextDocumentDocumentLink = DocumentLinkRegistrationOptions
RegistrationOptions Method_DocumentLinkResolve = Maybe Void
RegistrationOptions Method_TextDocumentFormatting = DocumentFormattingRegistrationOptions
RegistrationOptions Method_TextDocumentRangeFormatting = DocumentRangeFormattingRegistrationOptions
RegistrationOptions Method_TextDocumentOnTypeFormatting = DocumentOnTypeFormattingRegistrationOptions
RegistrationOptions Method_TextDocumentRename = RenameRegistrationOptions
RegistrationOptions Method_TextDocumentPrepareRename = Maybe Void
RegistrationOptions Method_WorkspaceExecuteCommand = ExecuteCommandRegistrationOptions
RegistrationOptions Method_WorkspaceApplyEdit = Maybe Void
RegistrationOptions Method_WorkspaceDidChangeWorkspaceFolders = Maybe Void
RegistrationOptions Method_WindowWorkDoneProgressCancel = Maybe Void
RegistrationOptions Method_WorkspaceDidCreateFiles = FileOperationRegistrationOptions
RegistrationOptions Method_WorkspaceDidRenameFiles = FileOperationRegistrationOptions
RegistrationOptions Method_WorkspaceDidDeleteFiles = FileOperationRegistrationOptions
RegistrationOptions Method_NotebookDocumentDidOpen = Maybe Void
RegistrationOptions Method_NotebookDocumentDidChange = Maybe Void
RegistrationOptions Method_NotebookDocumentDidSave = Maybe Void
RegistrationOptions Method_NotebookDocumentDidClose = Maybe Void
RegistrationOptions Method_Initialized = Maybe Void
RegistrationOptions Method_Exit = Maybe Void
RegistrationOptions Method_WorkspaceDidChangeConfiguration = DidChangeConfigurationRegistrationOptions
RegistrationOptions Method_WindowShowMessage = Maybe Void
RegistrationOptions Method_WindowLogMessage = Maybe Void
RegistrationOptions Method_TelemetryEvent = Maybe Void
RegistrationOptions Method_TextDocumentDidOpen = TextDocumentRegistrationOptions
RegistrationOptions Method_TextDocumentDidChange = TextDocumentChangeRegistrationOptions
RegistrationOptions Method_TextDocumentDidClose = TextDocumentRegistrationOptions
RegistrationOptions Method_TextDocumentDidSave = TextDocumentSaveRegistrationOptions
RegistrationOptions Method_TextDocumentWillSave = TextDocumentRegistrationOptions
RegistrationOptions Method_WorkspaceDidChangeWatchedFiles = DidChangeWatchedFilesRegistrationOptions
RegistrationOptions Method_TextDocumentPublishDiagnostics = Maybe Void
RegistrationOptions Method_SetTrace = Maybe Void
RegistrationOptions Method_LogTrace = Maybe Void
RegistrationOptions Method_CancelRequest = Maybe Void
RegistrationOptions Method_Progress = Maybe Void
RegistrationOptions (Method_CustomMethod s) = Void

data SMethod m where Source #

A singleton type for Method.

Constructors

SMethod_TextDocumentImplementation :: SMethod Method_TextDocumentImplementation
SMethod_TextDocumentTypeDefinition :: SMethod Method_TextDocumentTypeDefinition
SMethod_WorkspaceWorkspaceFolders :: SMethod Method_WorkspaceWorkspaceFolders
SMethod_WorkspaceConfiguration :: SMethod Method_WorkspaceConfiguration
SMethod_TextDocumentDocumentColor :: SMethod Method_TextDocumentDocumentColor
SMethod_TextDocumentColorPresentation :: SMethod Method_TextDocumentColorPresentation
SMethod_TextDocumentFoldingRange :: SMethod Method_TextDocumentFoldingRange
SMethod_TextDocumentDeclaration :: SMethod Method_TextDocumentDeclaration
SMethod_TextDocumentSelectionRange :: SMethod Method_TextDocumentSelectionRange
SMethod_WindowWorkDoneProgressCreate :: SMethod Method_WindowWorkDoneProgressCreate
SMethod_TextDocumentPrepareCallHierarchy :: SMethod Method_TextDocumentPrepareCallHierarchy
SMethod_CallHierarchyIncomingCalls :: SMethod Method_CallHierarchyIncomingCalls
SMethod_CallHierarchyOutgoingCalls :: SMethod Method_CallHierarchyOutgoingCalls
SMethod_TextDocumentSemanticTokensFull :: SMethod Method_TextDocumentSemanticTokensFull
SMethod_TextDocumentSemanticTokensFullDelta :: SMethod Method_TextDocumentSemanticTokensFullDelta
SMethod_TextDocumentSemanticTokensRange :: SMethod Method_TextDocumentSemanticTokensRange
SMethod_WorkspaceSemanticTokensRefresh :: SMethod Method_WorkspaceSemanticTokensRefresh
SMethod_WindowShowDocument :: SMethod Method_WindowShowDocument
SMethod_TextDocumentLinkedEditingRange :: SMethod Method_TextDocumentLinkedEditingRange
SMethod_WorkspaceWillCreateFiles :: SMethod Method_WorkspaceWillCreateFiles
SMethod_WorkspaceWillRenameFiles :: SMethod Method_WorkspaceWillRenameFiles
SMethod_WorkspaceWillDeleteFiles :: SMethod Method_WorkspaceWillDeleteFiles
SMethod_TextDocumentMoniker :: SMethod Method_TextDocumentMoniker
SMethod_TextDocumentPrepareTypeHierarchy :: SMethod Method_TextDocumentPrepareTypeHierarchy
SMethod_TypeHierarchySupertypes :: SMethod Method_TypeHierarchySupertypes
SMethod_TypeHierarchySubtypes :: SMethod Method_TypeHierarchySubtypes
SMethod_TextDocumentInlineValue :: SMethod Method_TextDocumentInlineValue
SMethod_WorkspaceInlineValueRefresh :: SMethod Method_WorkspaceInlineValueRefresh
SMethod_TextDocumentInlayHint :: SMethod Method_TextDocumentInlayHint
SMethod_InlayHintResolve :: SMethod Method_InlayHintResolve
SMethod_WorkspaceInlayHintRefresh :: SMethod Method_WorkspaceInlayHintRefresh
SMethod_TextDocumentDiagnostic :: SMethod Method_TextDocumentDiagnostic
SMethod_WorkspaceDiagnostic :: SMethod Method_WorkspaceDiagnostic
SMethod_WorkspaceDiagnosticRefresh :: SMethod Method_WorkspaceDiagnosticRefresh
SMethod_ClientRegisterCapability :: SMethod Method_ClientRegisterCapability
SMethod_ClientUnregisterCapability :: SMethod Method_ClientUnregisterCapability
SMethod_Initialize :: SMethod Method_Initialize
SMethod_Shutdown :: SMethod Method_Shutdown
SMethod_WindowShowMessageRequest :: SMethod Method_WindowShowMessageRequest
SMethod_TextDocumentWillSaveWaitUntil :: SMethod Method_TextDocumentWillSaveWaitUntil
SMethod_TextDocumentCompletion :: SMethod Method_TextDocumentCompletion
SMethod_CompletionItemResolve :: SMethod Method_CompletionItemResolve
SMethod_TextDocumentHover :: SMethod Method_TextDocumentHover
SMethod_TextDocumentSignatureHelp :: SMethod Method_TextDocumentSignatureHelp
SMethod_TextDocumentDefinition :: SMethod Method_TextDocumentDefinition
SMethod_TextDocumentReferences :: SMethod Method_TextDocumentReferences
SMethod_TextDocumentDocumentHighlight :: SMethod Method_TextDocumentDocumentHighlight
SMethod_TextDocumentDocumentSymbol :: SMethod Method_TextDocumentDocumentSymbol
SMethod_TextDocumentCodeAction :: SMethod Method_TextDocumentCodeAction
SMethod_CodeActionResolve :: SMethod Method_CodeActionResolve
SMethod_WorkspaceSymbol :: SMethod Method_WorkspaceSymbol
SMethod_WorkspaceSymbolResolve :: SMethod Method_WorkspaceSymbolResolve
SMethod_TextDocumentCodeLens :: SMethod Method_TextDocumentCodeLens
SMethod_CodeLensResolve :: SMethod Method_CodeLensResolve
SMethod_WorkspaceCodeLensRefresh :: SMethod Method_WorkspaceCodeLensRefresh
SMethod_TextDocumentDocumentLink :: SMethod Method_TextDocumentDocumentLink
SMethod_DocumentLinkResolve :: SMethod Method_DocumentLinkResolve
SMethod_TextDocumentFormatting :: SMethod Method_TextDocumentFormatting
SMethod_TextDocumentRangeFormatting :: SMethod Method_TextDocumentRangeFormatting
SMethod_TextDocumentOnTypeFormatting :: SMethod Method_TextDocumentOnTypeFormatting
SMethod_TextDocumentRename :: SMethod Method_TextDocumentRename
SMethod_TextDocumentPrepareRename :: SMethod Method_TextDocumentPrepareRename
SMethod_WorkspaceExecuteCommand :: SMethod Method_WorkspaceExecuteCommand
SMethod_WorkspaceApplyEdit :: SMethod Method_WorkspaceApplyEdit
SMethod_WorkspaceDidChangeWorkspaceFolders :: SMethod Method_WorkspaceDidChangeWorkspaceFolders
SMethod_WindowWorkDoneProgressCancel :: SMethod Method_WindowWorkDoneProgressCancel
SMethod_WorkspaceDidCreateFiles :: SMethod Method_WorkspaceDidCreateFiles
SMethod_WorkspaceDidRenameFiles :: SMethod Method_WorkspaceDidRenameFiles
SMethod_WorkspaceDidDeleteFiles :: SMethod Method_WorkspaceDidDeleteFiles
SMethod_NotebookDocumentDidOpen :: SMethod Method_NotebookDocumentDidOpen
SMethod_NotebookDocumentDidChange :: SMethod Method_NotebookDocumentDidChange
SMethod_NotebookDocumentDidSave :: SMethod Method_NotebookDocumentDidSave
SMethod_NotebookDocumentDidClose :: SMethod Method_NotebookDocumentDidClose
SMethod_Initialized :: SMethod Method_Initialized
SMethod_Exit :: SMethod Method_Exit
SMethod_WorkspaceDidChangeConfiguration :: SMethod Method_WorkspaceDidChangeConfiguration
SMethod_WindowShowMessage :: SMethod Method_WindowShowMessage
SMethod_WindowLogMessage :: SMethod Method_WindowLogMessage
SMethod_TelemetryEvent :: SMethod Method_TelemetryEvent
SMethod_TextDocumentDidOpen :: SMethod Method_TextDocumentDidOpen
SMethod_TextDocumentDidChange :: SMethod Method_TextDocumentDidChange
SMethod_TextDocumentDidClose :: SMethod Method_TextDocumentDidClose
SMethod_TextDocumentDidSave :: SMethod Method_TextDocumentDidSave
SMethod_TextDocumentWillSave :: SMethod Method_TextDocumentWillSave
SMethod_WorkspaceDidChangeWatchedFiles :: SMethod Method_WorkspaceDidChangeWatchedFiles
SMethod_TextDocumentPublishDiagnostics :: SMethod Method_TextDocumentPublishDiagnostics
SMethod_SetTrace :: SMethod Method_SetTrace
SMethod_LogTrace :: SMethod Method_LogTrace
SMethod_CancelRequest :: SMethod Method_CancelRequest
SMethod_Progress :: SMethod Method_Progress
SMethod_CustomMethod :: forall s. KnownSymbol s => Proxy s -> SMethod (Method_CustomMethod s)

Instances

Instances details

ToJSON FromClientMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Parsing Methods toJSON :: FromClientMessage -> Value # toEncoding :: FromClientMessage -> Encoding # toJSONList :: [FromClientMessage] -> Value # toEncodingList :: [FromClientMessage] -> Encoding #
ToJSON FromServerMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Parsing Methods toJSON :: FromServerMessage -> Value # toEncoding :: FromServerMessage -> Encoding # toJSONList :: [FromServerMessage] -> Value # toEncodingList :: [FromServerMessage] -> Encoding #
Show FromServerMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Parsing Methods showsPrec :: Int -> FromServerMessage -> ShowS # show :: FromServerMessage -> String # showList :: [FromServerMessage] -> ShowS #
Eq FromServerMessage Source #
Instance details Defined in Language.LSP.Protocol.Message.Parsing Methods (==) :: FromServerMessage -> FromServerMessage -> Bool # (/=) :: FromServerMessage -> FromServerMessage -> Bool #
HasMethod (TRegistration m) (SClientMethod m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods method :: Lens' (TRegistration m) (SClientMethod m) Source #
GCompare (SMethod :: Method f t -> Type) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods gcompare :: forall (a :: k) (b :: k). SMethod a -> SMethod b -> GOrdering a b #
GEq (SMethod :: Method f t -> Type) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods geq :: forall (a :: k) (b :: k). SMethod a -> SMethod b -> Maybe (a :~: b) #
HasMethod (TUnregistration m) (SMethod m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods method :: Lens' (TUnregistration m) (SMethod m) Source #
HasMethod (TNotificationMessage m) (SMethod m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods method :: Lens' (TNotificationMessage m) (SMethod m) Source #
HasMethod (TRequestMessage m) (SMethod m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods method :: Lens' (TRequestMessage m) (SMethod m) Source #
FromJSON (SMethod 'Method_Exit) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_Exit) # parseJSONList :: Value -> Parser [SMethod 'Method_Exit] #
FromJSON (SMethod 'Method_Initialized) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_Initialized) # parseJSONList :: Value -> Parser [SMethod 'Method_Initialized] #
FromJSON (SMethod 'Method_NotebookDocumentDidChange) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_NotebookDocumentDidChange) # parseJSONList :: Value -> Parser [SMethod 'Method_NotebookDocumentDidChange] #
FromJSON (SMethod 'Method_NotebookDocumentDidClose) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_NotebookDocumentDidClose) # parseJSONList :: Value -> Parser [SMethod 'Method_NotebookDocumentDidClose] #
FromJSON (SMethod 'Method_NotebookDocumentDidOpen) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_NotebookDocumentDidOpen) # parseJSONList :: Value -> Parser [SMethod 'Method_NotebookDocumentDidOpen] #
FromJSON (SMethod 'Method_NotebookDocumentDidSave) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_NotebookDocumentDidSave) # parseJSONList :: Value -> Parser [SMethod 'Method_NotebookDocumentDidSave] #
FromJSON (SMethod 'Method_SetTrace) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_SetTrace) # parseJSONList :: Value -> Parser [SMethod 'Method_SetTrace] #
FromJSON (SMethod 'Method_TextDocumentDidChange) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDidChange) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentDidChange] #
FromJSON (SMethod 'Method_TextDocumentDidClose) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDidClose) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentDidClose] #
FromJSON (SMethod 'Method_TextDocumentDidOpen) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDidOpen) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentDidOpen] #
FromJSON (SMethod 'Method_TextDocumentDidSave) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDidSave) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentDidSave] #
FromJSON (SMethod 'Method_TextDocumentWillSave) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentWillSave) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentWillSave] #
FromJSON (SMethod 'Method_WindowWorkDoneProgressCancel) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WindowWorkDoneProgressCancel) # parseJSONList :: Value -> Parser [SMethod 'Method_WindowWorkDoneProgressCancel] #
FromJSON (SMethod 'Method_WorkspaceDidChangeConfiguration) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceDidChangeConfiguration) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceDidChangeConfiguration] #
FromJSON (SMethod 'Method_WorkspaceDidChangeWatchedFiles) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceDidChangeWatchedFiles) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceDidChangeWatchedFiles] #
FromJSON (SMethod 'Method_WorkspaceDidChangeWorkspaceFolders) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceDidChangeWorkspaceFolders) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceDidChangeWorkspaceFolders] #
FromJSON (SMethod 'Method_WorkspaceDidCreateFiles) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceDidCreateFiles) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceDidCreateFiles] #
FromJSON (SMethod 'Method_WorkspaceDidDeleteFiles) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceDidDeleteFiles) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceDidDeleteFiles] #
FromJSON (SMethod 'Method_WorkspaceDidRenameFiles) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceDidRenameFiles) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceDidRenameFiles] #
FromJSON (SMethod 'Method_CallHierarchyIncomingCalls) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_CallHierarchyIncomingCalls) # parseJSONList :: Value -> Parser [SMethod 'Method_CallHierarchyIncomingCalls] #
FromJSON (SMethod 'Method_CallHierarchyOutgoingCalls) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_CallHierarchyOutgoingCalls) # parseJSONList :: Value -> Parser [SMethod 'Method_CallHierarchyOutgoingCalls] #
FromJSON (SMethod 'Method_CodeActionResolve) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_CodeActionResolve) # parseJSONList :: Value -> Parser [SMethod 'Method_CodeActionResolve] #
FromJSON (SMethod 'Method_CodeLensResolve) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_CodeLensResolve) # parseJSONList :: Value -> Parser [SMethod 'Method_CodeLensResolve] #
FromJSON (SMethod 'Method_CompletionItemResolve) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_CompletionItemResolve) # parseJSONList :: Value -> Parser [SMethod 'Method_CompletionItemResolve] #
FromJSON (SMethod 'Method_DocumentLinkResolve) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_DocumentLinkResolve) # parseJSONList :: Value -> Parser [SMethod 'Method_DocumentLinkResolve] #
FromJSON (SMethod 'Method_Initialize) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_Initialize) # parseJSONList :: Value -> Parser [SMethod 'Method_Initialize] #
FromJSON (SMethod 'Method_InlayHintResolve) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_InlayHintResolve) # parseJSONList :: Value -> Parser [SMethod 'Method_InlayHintResolve] #
FromJSON (SMethod 'Method_Shutdown) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_Shutdown) # parseJSONList :: Value -> Parser [SMethod 'Method_Shutdown] #
FromJSON (SMethod 'Method_TextDocumentCodeAction) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentCodeAction) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentCodeAction] #
FromJSON (SMethod 'Method_TextDocumentCodeLens) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentCodeLens) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentCodeLens] #
FromJSON (SMethod 'Method_TextDocumentColorPresentation) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentColorPresentation) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentColorPresentation] #
FromJSON (SMethod 'Method_TextDocumentCompletion) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentCompletion) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentCompletion] #
FromJSON (SMethod 'Method_TextDocumentDeclaration) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDeclaration) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentDeclaration] #
FromJSON (SMethod 'Method_TextDocumentDefinition) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDefinition) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentDefinition] #
FromJSON (SMethod 'Method_TextDocumentDiagnostic) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDiagnostic) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentDiagnostic] #
FromJSON (SMethod 'Method_TextDocumentDocumentColor) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDocumentColor) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentDocumentColor] #
FromJSON (SMethod 'Method_TextDocumentDocumentHighlight) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDocumentHighlight) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentDocumentHighlight] #
FromJSON (SMethod 'Method_TextDocumentDocumentLink) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDocumentLink) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentDocumentLink] #
FromJSON (SMethod 'Method_TextDocumentDocumentSymbol) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDocumentSymbol) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentDocumentSymbol] #
FromJSON (SMethod 'Method_TextDocumentFoldingRange) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentFoldingRange) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentFoldingRange] #
FromJSON (SMethod 'Method_TextDocumentFormatting) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentFormatting) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentFormatting] #
FromJSON (SMethod 'Method_TextDocumentHover) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentHover) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentHover] #
FromJSON (SMethod 'Method_TextDocumentImplementation) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentImplementation) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentImplementation] #
FromJSON (SMethod 'Method_TextDocumentInlayHint) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentInlayHint) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentInlayHint] #
FromJSON (SMethod 'Method_TextDocumentInlineValue) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentInlineValue) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentInlineValue] #
FromJSON (SMethod 'Method_TextDocumentLinkedEditingRange) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentLinkedEditingRange) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentLinkedEditingRange] #
FromJSON (SMethod 'Method_TextDocumentMoniker) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentMoniker) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentMoniker] #
FromJSON (SMethod 'Method_TextDocumentOnTypeFormatting) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentOnTypeFormatting) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentOnTypeFormatting] #
FromJSON (SMethod 'Method_TextDocumentPrepareCallHierarchy) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentPrepareCallHierarchy) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentPrepareCallHierarchy] #
FromJSON (SMethod 'Method_TextDocumentPrepareRename) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentPrepareRename) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentPrepareRename] #
FromJSON (SMethod 'Method_TextDocumentPrepareTypeHierarchy) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentPrepareTypeHierarchy) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentPrepareTypeHierarchy] #
FromJSON (SMethod 'Method_TextDocumentRangeFormatting) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentRangeFormatting) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentRangeFormatting] #
FromJSON (SMethod 'Method_TextDocumentReferences) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentReferences) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentReferences] #
FromJSON (SMethod 'Method_TextDocumentRename) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentRename) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentRename] #
FromJSON (SMethod 'Method_TextDocumentSelectionRange) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentSelectionRange) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentSelectionRange] #
FromJSON (SMethod 'Method_TextDocumentSemanticTokensFull) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentSemanticTokensFull) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentSemanticTokensFull] #
FromJSON (SMethod 'Method_TextDocumentSemanticTokensFullDelta) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentSemanticTokensFullDelta) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentSemanticTokensFullDelta] #
FromJSON (SMethod 'Method_TextDocumentSemanticTokensRange) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentSemanticTokensRange) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentSemanticTokensRange] #
FromJSON (SMethod 'Method_TextDocumentSignatureHelp) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentSignatureHelp) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentSignatureHelp] #
FromJSON (SMethod 'Method_TextDocumentTypeDefinition) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentTypeDefinition) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentTypeDefinition] #
FromJSON (SMethod 'Method_TextDocumentWillSaveWaitUntil) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentWillSaveWaitUntil) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentWillSaveWaitUntil] #
FromJSON (SMethod 'Method_TypeHierarchySubtypes) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TypeHierarchySubtypes) # parseJSONList :: Value -> Parser [SMethod 'Method_TypeHierarchySubtypes] #
FromJSON (SMethod 'Method_TypeHierarchySupertypes) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TypeHierarchySupertypes) # parseJSONList :: Value -> Parser [SMethod 'Method_TypeHierarchySupertypes] #
FromJSON (SMethod 'Method_WorkspaceDiagnostic) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceDiagnostic) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceDiagnostic] #
FromJSON (SMethod 'Method_WorkspaceExecuteCommand) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceExecuteCommand) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceExecuteCommand] #
FromJSON (SMethod 'Method_WorkspaceSymbol) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceSymbol) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceSymbol] #
FromJSON (SMethod 'Method_WorkspaceSymbolResolve) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceSymbolResolve) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceSymbolResolve] #
FromJSON (SMethod 'Method_WorkspaceWillCreateFiles) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceWillCreateFiles) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceWillCreateFiles] #
FromJSON (SMethod 'Method_WorkspaceWillDeleteFiles) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceWillDeleteFiles) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceWillDeleteFiles] #
FromJSON (SMethod 'Method_WorkspaceWillRenameFiles) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceWillRenameFiles) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceWillRenameFiles] #
FromJSON (SMethod 'Method_LogTrace) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_LogTrace) # parseJSONList :: Value -> Parser [SMethod 'Method_LogTrace] #
FromJSON (SMethod 'Method_TelemetryEvent) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TelemetryEvent) # parseJSONList :: Value -> Parser [SMethod 'Method_TelemetryEvent] #
FromJSON (SMethod 'Method_TextDocumentPublishDiagnostics) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentPublishDiagnostics) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentPublishDiagnostics] #
FromJSON (SMethod 'Method_WindowLogMessage) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WindowLogMessage) # parseJSONList :: Value -> Parser [SMethod 'Method_WindowLogMessage] #
FromJSON (SMethod 'Method_WindowShowMessage) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WindowShowMessage) # parseJSONList :: Value -> Parser [SMethod 'Method_WindowShowMessage] #
FromJSON (SMethod 'Method_ClientRegisterCapability) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_ClientRegisterCapability) # parseJSONList :: Value -> Parser [SMethod 'Method_ClientRegisterCapability] #
FromJSON (SMethod 'Method_ClientUnregisterCapability) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_ClientUnregisterCapability) # parseJSONList :: Value -> Parser [SMethod 'Method_ClientUnregisterCapability] #
FromJSON (SMethod 'Method_WindowShowDocument) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WindowShowDocument) # parseJSONList :: Value -> Parser [SMethod 'Method_WindowShowDocument] #
FromJSON (SMethod 'Method_WindowShowMessageRequest) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WindowShowMessageRequest) # parseJSONList :: Value -> Parser [SMethod 'Method_WindowShowMessageRequest] #
FromJSON (SMethod 'Method_WindowWorkDoneProgressCreate) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WindowWorkDoneProgressCreate) # parseJSONList :: Value -> Parser [SMethod 'Method_WindowWorkDoneProgressCreate] #
FromJSON (SMethod 'Method_WorkspaceApplyEdit) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceApplyEdit) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceApplyEdit] #
FromJSON (SMethod 'Method_WorkspaceCodeLensRefresh) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceCodeLensRefresh) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceCodeLensRefresh] #
FromJSON (SMethod 'Method_WorkspaceConfiguration) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceConfiguration) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceConfiguration] #
FromJSON (SMethod 'Method_WorkspaceDiagnosticRefresh) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceDiagnosticRefresh) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceDiagnosticRefresh] #
FromJSON (SMethod 'Method_WorkspaceInlayHintRefresh) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceInlayHintRefresh) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceInlayHintRefresh] #
FromJSON (SMethod 'Method_WorkspaceInlineValueRefresh) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceInlineValueRefresh) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceInlineValueRefresh] #
FromJSON (SMethod 'Method_WorkspaceSemanticTokensRefresh) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceSemanticTokensRefresh) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceSemanticTokensRefresh] #
FromJSON (SMethod 'Method_WorkspaceWorkspaceFolders) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceWorkspaceFolders) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceWorkspaceFolders] #
FromJSON (SMethod ('Method_CancelRequest :: Method f 'Notification)) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_CancelRequest) # parseJSONList :: Value -> Parser [SMethod 'Method_CancelRequest] #
FromJSON (SMethod ('Method_Progress :: Method f 'Notification)) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_Progress) # parseJSONList :: Value -> Parser [SMethod 'Method_Progress] #
KnownSymbol s => FromJSON (SMethod ('Method_CustomMethod s :: Method f t)) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod ('Method_CustomMethod s)) # parseJSONList :: Value -> Parser [SMethod ('Method_CustomMethod s)] #
ToJSON (SMethod m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods toJSON :: SMethod m -> Value # toEncoding :: SMethod m -> Encoding # toJSONList :: [SMethod m] -> Value # toEncodingList :: [SMethod m] -> Encoding #
Show (SMethod m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods showsPrec :: Int -> SMethod m -> ShowS # show :: SMethod m -> String # showList :: [SMethod m] -> ShowS #
Eq (SMethod m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods (==) :: SMethod m -> SMethod m -> Bool # (/=) :: SMethod m -> SMethod m -> Bool #
Ord (SMethod m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods compare :: SMethod m -> SMethod m -> Ordering # (<) :: SMethod m -> SMethod m -> Bool # (<=) :: SMethod m -> SMethod m -> Bool # (>) :: SMethod m -> SMethod m -> Bool # (>=) :: SMethod m -> SMethod m -> Bool # max :: SMethod m -> SMethod m -> SMethod m # min :: SMethod m -> SMethod m -> SMethod m #
Pretty (SMethod m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods pretty :: SMethod m -> Doc ann # prettyList :: [SMethod m] -> Doc ann #

data SomeMethod where Source #

A method which isn't statically known.

Constructors

SomeMethod :: forall m. SMethod m -> SomeMethod

Instances

Instances details

FromJSON SomeMethod Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser SomeMethod # parseJSONList :: Value -> Parser [SomeMethod] #
ToJSON SomeMethod Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods toJSON :: SomeMethod -> Value # toEncoding :: SomeMethod -> Encoding # toJSONList :: [SomeMethod] -> Value # toEncodingList :: [SomeMethod] -> Encoding #
Show SomeMethod Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods showsPrec :: Int -> SomeMethod -> ShowS # show :: SomeMethod -> String # showList :: [SomeMethod] -> ShowS #
Eq SomeMethod Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods (==) :: SomeMethod -> SomeMethod -> Bool # (/=) :: SomeMethod -> SomeMethod -> Bool #
Ord SomeMethod Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods compare :: SomeMethod -> SomeMethod -> Ordering # (<) :: SomeMethod -> SomeMethod -> Bool # (<=) :: SomeMethod -> SomeMethod -> Bool # (>) :: SomeMethod -> SomeMethod -> Bool # (>=) :: SomeMethod -> SomeMethod -> Bool # max :: SomeMethod -> SomeMethod -> SomeMethod # min :: SomeMethod -> SomeMethod -> SomeMethod #
Pretty SomeMethod Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods pretty :: SomeMethod -> Doc ann # prettyList :: [SomeMethod] -> Doc ann #

someMethodToMethodString :: SomeMethod -> String Source #

Turn a SomeMethod into its LSP method string.

methodStringToSomeMethod :: String -> SomeMethod Source #

Turn a LSP method string into a SomeMethod.

messageDirection :: forall f t (m :: Method f t). SMethod m -> SMessageDirection f Source #

Get a singleton witness for the message direction of a SMethod.

messageKind :: forall f t (m :: Method f t). SMethod m -> SMessageKind t Source #

Get a singleton witness for the message kind of a SMethod.

Helpers for working with methods

isOptionalMethod :: SomeMethod -> Bool Source #

Is this an "optional" method which servers and clients are allowed to ignore?

type SClientMethod (m :: Method ClientToServer t) = SMethod m Source #

type SServerMethod (m :: Method ServerToClient t) = SMethod m Source #

data SomeClientMethod Source #

Constructors

forall t (m :: Method ClientToServer t). SomeClientMethod (SMethod m)

Instances

Instances details

FromJSON SomeClientMethod Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser SomeClientMethod # parseJSONList :: Value -> Parser [SomeClientMethod] #
ToJSON SomeClientMethod Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods toJSON :: SomeClientMethod -> Value # toEncoding :: SomeClientMethod -> Encoding # toJSONList :: [SomeClientMethod] -> Value # toEncodingList :: [SomeClientMethod] -> Encoding #
Show SomeClientMethod Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods showsPrec :: Int -> SomeClientMethod -> ShowS # show :: SomeClientMethod -> String # showList :: [SomeClientMethod] -> ShowS #
Pretty SomeClientMethod Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods pretty :: SomeClientMethod -> Doc ann # prettyList :: [SomeClientMethod] -> Doc ann #

data SomeServerMethod Source #

Constructors

forall t (m :: Method ServerToClient t). SomeServerMethod (SMethod m)

Instances

Instances details

FromJSON SomeServerMethod Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser SomeServerMethod # parseJSONList :: Value -> Parser [SomeServerMethod] #
ToJSON SomeServerMethod Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods toJSON :: SomeServerMethod -> Value # toEncoding :: SomeServerMethod -> Encoding # toJSONList :: [SomeServerMethod] -> Value # toEncodingList :: [SomeServerMethod] -> Encoding #
Show SomeServerMethod Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods showsPrec :: Int -> SomeServerMethod -> ShowS # show :: SomeServerMethod -> String # showList :: [SomeServerMethod] -> ShowS #
Pretty SomeServerMethod Source #
Instance details Defined in Language.LSP.Protocol.Message.Method Methods pretty :: SomeServerMethod -> Doc ann # prettyList :: [SomeServerMethod] -> Doc ann #

someClientMethod :: SMethod m -> Maybe SomeClientMethod Source #

someServerMethod :: SMethod m -> Maybe SomeServerMethod Source #

LSP registrations

data TRegistration (m :: Method ClientToServer t) Source #

Typed registration type, with correct options.

Constructors

TRegistration
Fields _id :: Text The id used to register the request. The id can be used to deregister the request again. _method :: SClientMethod m The method / capability to register for. _registerOptions :: !(Maybe (RegistrationOptions m)) Options necessary for the registration. Make this strict to aid the pattern matching exhaustiveness checker

Instances

Instances details

ToJSON (TRegistration m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Registration Methods toJSON :: TRegistration m -> Value # toEncoding :: TRegistration m -> Encoding # toJSONList :: [TRegistration m] -> Value # toEncodingList :: [TRegistration m] -> Encoding #
Generic (TRegistration m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Registration Associated Types type Rep (TRegistration m) :: Type -> Type # Methods from :: TRegistration m -> Rep (TRegistration m) x # to :: Rep (TRegistration m) x -> TRegistration m #
Show (RegistrationOptions m) => Show (TRegistration m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Registration Methods showsPrec :: Int -> TRegistration m -> ShowS # show :: TRegistration m -> String # showList :: [TRegistration m] -> ShowS #
Eq (RegistrationOptions m) => Eq (TRegistration m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Registration Methods (==) :: TRegistration m -> TRegistration m -> Bool # (/=) :: TRegistration m -> TRegistration m -> Bool #
Pretty (TRegistration m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Registration Methods pretty :: TRegistration m -> Doc ann # prettyList :: [TRegistration m] -> Doc ann #
HasId (TRegistration m) Text Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods id :: Lens' (TRegistration m) Text Source #
a ~ Maybe (RegistrationOptions m) => HasRegisterOptions (TRegistration m) a Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods registerOptions :: Lens' (TRegistration m) a Source #
HasMethod (TRegistration m) (SClientMethod m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods method :: Lens' (TRegistration m) (SClientMethod m) Source #
type Rep (TRegistration m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Registration type Rep (TRegistration m) = D1 ('MetaData "TRegistration" "Language.LSP.Protocol.Message.Registration" "lsp-types-2.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "TRegistration" 'PrefixI 'True) (S1 ('MetaSel ('Just "_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: (S1 ('MetaSel ('Just "_method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (SClientMethod m)) :: S1 ('MetaSel ('Just "_registerOptions") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe (RegistrationOptions m))))))

regHelper :: forall m x. SMethod m -> (Show (RegistrationOptions m) => ToJSON (RegistrationOptions m) => FromJSON (RegistrationOptions m) => x) -> x Source #

data SomeRegistration Source #

Constructors

forall t (m :: Method ClientToServer t). SomeRegistration (TRegistration m)

Instances

Instances details

FromJSON SomeRegistration Source #
Instance details Defined in Language.LSP.Protocol.Message.Registration Methods parseJSON :: Value -> Parser SomeRegistration # parseJSONList :: Value -> Parser [SomeRegistration] #
ToJSON SomeRegistration Source #
Instance details Defined in Language.LSP.Protocol.Message.Registration Methods toJSON :: SomeRegistration -> Value # toEncoding :: SomeRegistration -> Encoding # toJSONList :: [SomeRegistration] -> Value # toEncodingList :: [SomeRegistration] -> Encoding #
Show SomeRegistration Source #
Instance details Defined in Language.LSP.Protocol.Message.Registration Methods showsPrec :: Int -> SomeRegistration -> ShowS # show :: SomeRegistration -> String # showList :: [SomeRegistration] -> ShowS #
Pretty SomeRegistration Source #
Instance details Defined in Language.LSP.Protocol.Message.Registration Methods pretty :: SomeRegistration -> Doc ann # prettyList :: [SomeRegistration] -> Doc ann #

toUntypedRegistration :: TRegistration m -> Registration Source #

toSomeRegistration :: Registration -> Maybe SomeRegistration Source #

data TUnregistration (m :: Method ClientToServer t) Source #

Typed unregistration type.

Constructors

TUnregistration
Fields _id :: Text The id used to unregister the request or notification. Usually an id provided during the register request. _method :: SMethod m The method / capability to unregister for.

Instances

Instances details

ToJSON (TUnregistration m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Registration Methods toJSON :: TUnregistration m -> Value # toEncoding :: TUnregistration m -> Encoding # toJSONList :: [TUnregistration m] -> Value # toEncodingList :: [TUnregistration m] -> Encoding #
Generic (TUnregistration m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Registration Associated Types type Rep (TUnregistration m) :: Type -> Type # Methods from :: TUnregistration m -> Rep (TUnregistration m) x # to :: Rep (TUnregistration m) x -> TUnregistration m #
Show (TUnregistration m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Registration Methods showsPrec :: Int -> TUnregistration m -> ShowS # show :: TUnregistration m -> String # showList :: [TUnregistration m] -> ShowS #
Eq (TUnregistration m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Registration Methods (==) :: TUnregistration m -> TUnregistration m -> Bool # (/=) :: TUnregistration m -> TUnregistration m -> Bool #
Pretty (TUnregistration m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Registration Methods pretty :: TUnregistration m -> Doc ann # prettyList :: [TUnregistration m] -> Doc ann #
HasId (TUnregistration m) Text Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods id :: Lens' (TUnregistration m) Text Source #
HasMethod (TUnregistration m) (SMethod m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Lens Methods method :: Lens' (TUnregistration m) (SMethod m) Source #
type Rep (TUnregistration m) Source #
Instance details Defined in Language.LSP.Protocol.Message.Registration type Rep (TUnregistration m) = D1 ('MetaData "TUnregistration" "Language.LSP.Protocol.Message.Registration" "lsp-types-2.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "TUnregistration" 'PrefixI 'True) (S1 ('MetaSel ('Just "_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "_method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (SMethod m))))

data SomeUnregistration Source #

Constructors

forall t (m :: Method ClientToServer t). SomeUnregistration (TUnregistration m)

Instances

Instances details

FromJSON SomeUnregistration Source #
Instance details Defined in Language.LSP.Protocol.Message.Registration Methods parseJSON :: Value -> Parser SomeUnregistration # parseJSONList :: Value -> Parser [SomeUnregistration] #
ToJSON SomeUnregistration Source #
Instance details Defined in Language.LSP.Protocol.Message.Registration Methods toJSON :: SomeUnregistration -> Value # toEncoding :: SomeUnregistration -> Encoding # toJSONList :: [SomeUnregistration] -> Value # toEncodingList :: [SomeUnregistration] -> Encoding #
Pretty SomeUnregistration Source #
Instance details Defined in Language.LSP.Protocol.Message.Registration Methods pretty :: SomeUnregistration -> Doc ann # prettyList :: [SomeUnregistration] -> Doc ann #

toUntypedUnregistration :: TUnregistration m -> Unregistration Source #

toSomeUnregistration :: Unregistration -> Maybe SomeUnregistration Source #

MessageResult Method_TextDocumentImplementation = Definition \|? ([DefinitionLink] \|? Null)
MessageResult Method_TextDocumentTypeDefinition = Definition \|? ([DefinitionLink] \|? Null)
MessageResult Method_WorkspaceWorkspaceFolders = [WorkspaceFolder] \|? Null
MessageResult Method_WorkspaceConfiguration = [Value]
MessageResult Method_TextDocumentDocumentColor = [ColorInformation]
MessageResult Method_TextDocumentColorPresentation = [ColorPresentation]
MessageResult Method_TextDocumentFoldingRange = [FoldingRange] \|? Null
MessageResult Method_TextDocumentDeclaration = Declaration \|? ([DeclarationLink] \|? Null)
MessageResult Method_TextDocumentSelectionRange = [SelectionRange] \|? Null
MessageResult Method_WindowWorkDoneProgressCreate = Null
MessageResult Method_TextDocumentPrepareCallHierarchy = [CallHierarchyItem] \|? Null
MessageResult Method_CallHierarchyIncomingCalls = [CallHierarchyIncomingCall] \|? Null
MessageResult Method_CallHierarchyOutgoingCalls = [CallHierarchyOutgoingCall] \|? Null
MessageResult Method_TextDocumentSemanticTokensFull = SemanticTokens \|? Null
MessageResult Method_TextDocumentSemanticTokensFullDelta = SemanticTokens \|? (SemanticTokensDelta \|? Null)
MessageResult Method_TextDocumentSemanticTokensRange = SemanticTokens \|? Null
MessageResult Method_WorkspaceSemanticTokensRefresh = Null
MessageResult Method_WindowShowDocument = ShowDocumentResult
MessageResult Method_TextDocumentLinkedEditingRange = LinkedEditingRanges \|? Null
MessageResult Method_WorkspaceWillCreateFiles = WorkspaceEdit \|? Null
MessageResult Method_WorkspaceWillRenameFiles = WorkspaceEdit \|? Null
MessageResult Method_WorkspaceWillDeleteFiles = WorkspaceEdit \|? Null
MessageResult Method_TextDocumentMoniker = [Moniker] \|? Null
MessageResult Method_TextDocumentPrepareTypeHierarchy = [TypeHierarchyItem] \|? Null
MessageResult Method_TypeHierarchySupertypes = [TypeHierarchyItem] \|? Null
MessageResult Method_TypeHierarchySubtypes = [TypeHierarchyItem] \|? Null
MessageResult Method_TextDocumentInlineValue = [InlineValue] \|? Null
MessageResult Method_WorkspaceInlineValueRefresh = Null
MessageResult Method_TextDocumentInlayHint = [InlayHint] \|? Null
MessageResult Method_InlayHintResolve = InlayHint
MessageResult Method_WorkspaceInlayHintRefresh = Null
MessageResult Method_TextDocumentDiagnostic = DocumentDiagnosticReport
MessageResult Method_WorkspaceDiagnostic = WorkspaceDiagnosticReport
MessageResult Method_WorkspaceDiagnosticRefresh = Null
MessageResult Method_ClientRegisterCapability = Null
MessageResult Method_ClientUnregisterCapability = Null
MessageResult Method_Initialize = InitializeResult
MessageResult Method_Shutdown = Null
MessageResult Method_WindowShowMessageRequest = MessageActionItem \|? Null
MessageResult Method_TextDocumentWillSaveWaitUntil = [TextEdit] \|? Null
MessageResult Method_TextDocumentCompletion = [CompletionItem] \|? (CompletionList \|? Null)
MessageResult Method_CompletionItemResolve = CompletionItem
MessageResult Method_TextDocumentHover = Hover \|? Null
MessageResult Method_TextDocumentSignatureHelp = SignatureHelp \|? Null
MessageResult Method_TextDocumentDefinition = Definition \|? ([DefinitionLink] \|? Null)
MessageResult Method_TextDocumentReferences = [Location] \|? Null
MessageResult Method_TextDocumentDocumentHighlight = [DocumentHighlight] \|? Null
MessageResult Method_TextDocumentDocumentSymbol = [SymbolInformation] \|? ([DocumentSymbol] \|? Null)
MessageResult Method_TextDocumentCodeAction = [Command \|? CodeAction] \|? Null
MessageResult Method_CodeActionResolve = CodeAction
MessageResult Method_WorkspaceSymbol = [SymbolInformation] \|? ([WorkspaceSymbol] \|? Null)
MessageResult Method_WorkspaceSymbolResolve = WorkspaceSymbol
MessageResult Method_TextDocumentCodeLens = [CodeLens] \|? Null
MessageResult Method_CodeLensResolve = CodeLens
MessageResult Method_WorkspaceCodeLensRefresh = Null
MessageResult Method_TextDocumentDocumentLink = [DocumentLink] \|? Null
MessageResult Method_DocumentLinkResolve = DocumentLink
MessageResult Method_TextDocumentFormatting = [TextEdit] \|? Null
MessageResult Method_TextDocumentRangeFormatting = [TextEdit] \|? Null
MessageResult Method_TextDocumentOnTypeFormatting = [TextEdit] \|? Null
MessageResult Method_TextDocumentRename = WorkspaceEdit \|? Null
MessageResult Method_TextDocumentPrepareRename = PrepareRenameResult \|? Null
MessageResult Method_WorkspaceExecuteCommand = Value \|? Null
MessageResult Method_WorkspaceApplyEdit = ApplyWorkspaceEditResult
MessageResult (Method_CustomMethod s) = Value