Safe Haskell | None |
---|---|
Language | GHC2021 |
Language.LSP.Protocol.Message
Synopsis
- data ResponseError = ResponseError {
- _code :: LSPErrorCodes |? ErrorCodes
- _message :: Text
- _xdata :: Maybe Value
- data TResponseError (m :: Method f 'Request) = TResponseError {
- _code :: LSPErrorCodes |? ErrorCodes
- _message :: Text
- _xdata :: Maybe (ErrorData m)
- data RequestMessage = RequestMessage {}
- data ResponseMessage = ResponseMessage {}
- data TRequestMessage (m :: Method f 'Request) = TRequestMessage {}
- data TResponseMessage (m :: Method f 'Request) = TResponseMessage {
- _jsonrpc :: Text
- _id :: Maybe (LspId m)
- _result :: Either ResponseError (MessageResult m)
- data NotificationMessage = NotificationMessage {}
- data TNotificationMessage (m :: Method f 'Notification) = TNotificationMessage {}
- addNullField :: String -> Value -> Value
- toUntypedResponseError :: forall {f :: MessageDirection} (m :: Method f 'Request). ToJSON (ErrorData m) => TResponseError m -> ResponseError
- data TCustomMessage (s :: Symbol) (f :: MessageDirection) (t :: MessageKind) where
- ReqMess :: forall (s :: Symbol) (f :: MessageDirection). TRequestMessage ('Method_CustomMethod s :: Method f 'Request) -> TCustomMessage s f 'Request
- NotMess :: forall (s :: Symbol) (f :: MessageDirection). TNotificationMessage ('Method_CustomMethod s :: Method f 'Notification) -> TCustomMessage s f 'Notification
- type family TMessage (m :: Method f t) where ...
- type TClientMessage (m :: Method 'ClientToServer t) = TMessage m
- type TServerMessage (m :: Method 'ServerToClient t) = TMessage m
- data LspId (m :: Method f 'Request)
- data SomeLspId where
- data MessageDirection
- data MessageKind
- data SMessageDirection (f :: MessageDirection) where
- data SMessageKind (f :: MessageKind) where
- SNotification :: SMessageKind 'Notification
- SRequest :: SMessageKind 'Request
- SBothTypes :: forall (f :: MessageKind). SMessageKind f
- runEq :: forall (t1 :: MessageKind) (t2 :: MessageKind) (f :: MessageDirection) (m1 :: Method f t1) (m2 :: Method f t2). t1 ~ t2 => (SMethod m1 -> SMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2))) -> SMethod m1 -> SMethod m2 -> Maybe (m1 :~~: m2)
- data FromServerMessage' (a :: Method 'ClientToServer 'Request -> Type) where
- FromServerMess :: forall (t :: MessageKind) (m :: Method 'ServerToClient t) (a :: Method 'ClientToServer 'Request -> Type). SMethod m -> TMessage m -> FromServerMessage' a
- FromServerRsp :: forall (m :: Method 'ClientToServer 'Request) (a :: Method 'ClientToServer 'Request -> Type). a m -> TResponseMessage m -> FromServerMessage' a
- type FromServerMessage = FromServerMessage' (SMethod :: Method 'ClientToServer 'Request -> Type)
- serverMethodJSON :: forall {t :: MessageKind} (m :: Method 'ServerToClient t) x. SServerMethod m -> (ToJSON (TServerMessage m) => x) -> x
- clientResponseJSON :: forall (m :: Method 'ClientToServer 'Request) x. SClientMethod m -> (HasJSON (TResponseMessage m) => x) -> x
- 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 :: Method 'ServerToClient 'Request -> Type) where
- FromClientMess :: forall (t :: MessageKind) (m :: Method 'ClientToServer t) (a :: Method 'ServerToClient 'Request -> Type). SMethod m -> TMessage m -> FromClientMessage' a
- FromClientRsp :: forall (m :: Method 'ServerToClient 'Request) (a :: Method 'ServerToClient 'Request -> Type). a m -> TResponseMessage m -> FromClientMessage' a
- type FromClientMessage = FromClientMessage' (SMethod :: Method 'ServerToClient 'Request -> Type)
- clientMethodJSON :: forall {t :: MessageKind} (m :: Method 'ClientToServer t) x. SClientMethod m -> (ToJSON (TClientMessage m) => x) -> x
- serverResponseJSON :: forall (m :: Method 'ServerToClient 'Request) x. SServerMethod m -> (HasJSON (TResponseMessage m) => x) -> x
- 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 :: MessageDirection) (a :: Method f 'Request -> Type) = forall (m :: Method f 'Request). LspId m -> Maybe (SMethod m, a m)
- parseServerMessage :: forall (a :: Method 'ClientToServer 'Request -> Type). LookupFunc 'ClientToServer a -> Value -> Parser (FromServerMessage' a)
- splitServerMethod :: forall {t :: MessageKind} (m :: Method 'ServerToClient t). SServerMethod m -> ServerNotOrReq m
- data ServerNotOrReq (m :: Method 'ServerToClient t) where
- IsServerNot :: forall (m1 :: Method 'ServerToClient 'Notification). (HasJSON (TServerMessage m1), TMessage m1 ~ TNotificationMessage m1) => ServerNotOrReq m1
- IsServerReq :: forall (m1 :: Method 'ServerToClient 'Request). (HasJSON (TServerMessage m1), HasJSON (TResponseMessage m1), TMessage m1 ~ TRequestMessage m1) => ServerNotOrReq m1
- IsServerEither :: forall {t :: MessageKind} (s :: Symbol). ServerNotOrReq ('Method_CustomMethod s :: Method 'ServerToClient t)
- parseClientMessage :: forall (a :: Method 'ServerToClient 'Request -> Type). LookupFunc 'ServerToClient a -> Value -> Parser (FromClientMessage' a)
- splitClientMethod :: forall {t :: MessageKind} (m :: Method 'ClientToServer t). SClientMethod m -> ClientNotOrReq m
- data ClientNotOrReq (m :: Method 'ClientToServer t) where
- IsClientNot :: forall (m1 :: Method 'ClientToServer 'Notification). (HasJSON (TClientMessage m1), TMessage m1 ~ TNotificationMessage m1) => ClientNotOrReq m1
- IsClientReq :: forall (m1 :: Method 'ClientToServer 'Request). (HasJSON (TClientMessage m1), HasJSON (TResponseMessage m1), TMessage m1 ~ TRequestMessage m1) => ClientNotOrReq m1
- IsClientEither :: forall {t :: MessageKind} (s :: Symbol). ClientNotOrReq ('Method_CustomMethod s :: Method 'ClientToServer t)
- type HasJSON a = (ToJSON a, FromJSON a, Eq a)
- data CustomEq (m1 :: Method f t1) (m2 :: Method f t2) where
- CustomEq :: forall (f :: MessageDirection) (t1 :: MessageKind) (m1 :: Method f t1) (s :: Symbol) (t2 :: MessageKind) (m2 :: Method f t2). (m1 ~ ('Method_CustomMethod s :: Method f t1), m2 ~ ('Method_CustomMethod s :: Method f t2)) => {..} -> CustomEq m1 m2
- mEqServer :: forall {t1 :: MessageKind} {t2 :: MessageKind} (m1 :: Method 'ServerToClient t1) (m2 :: Method 'ServerToClient t2). SServerMethod m1 -> SServerMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2))
- mEqClient :: forall {t1 :: MessageKind} {t2 :: MessageKind} (m1 :: Method 'ClientToServer t1) (m2 :: Method 'ClientToServer t2). SClientMethod m1 -> SClientMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2))
- data Method (f :: MessageDirection) (t :: MessageKind) 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 :: forall (f :: MessageDirection). Method f 'Notification
- Method_Progress :: forall (f :: MessageDirection). Method f 'Notification
- Method_CustomMethod :: forall (f :: MessageDirection) (t :: MessageKind). Symbol -> Method f t
- data SMethod (m :: Method f t) 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 :: forall {f :: MessageDirection}. SMethod ('Method_CancelRequest :: Method f 'Notification)
- SMethod_Progress :: forall {f :: MessageDirection}. SMethod ('Method_Progress :: Method f 'Notification)
- SMethod_CustomMethod :: forall {f :: MessageDirection} {t :: MessageKind} (s :: Symbol). KnownSymbol s => Proxy s -> SMethod ('Method_CustomMethod s :: 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 SomeMethod where
- SomeMethod :: forall {f :: MessageDirection} {t :: MessageKind} (m :: Method f t). SMethod m -> SomeMethod
- someMethodToMethodString :: SomeMethod -> String
- methodStringToSomeMethod :: String -> SomeMethod
- messageDirection :: forall (f :: MessageDirection) (t :: MessageKind) (m :: Method f t). SMethod m -> SMessageDirection f
- messageKind :: forall (f :: MessageDirection) (t :: MessageKind) (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 = SomeClientMethod (SMethod m)
- data SomeServerMethod = SomeServerMethod (SMethod m)
- someClientMethod :: forall {f :: MessageDirection} {t :: MessageKind} (m :: Method f t). SMethod m -> Maybe SomeClientMethod
- someServerMethod :: forall {f :: MessageDirection} {t :: MessageKind} (m :: Method f t). SMethod m -> Maybe SomeServerMethod
- data TRegistration (m :: Method 'ClientToServer t) = TRegistration {
- _id :: Text
- _method :: SClientMethod m
- _registerOptions :: !(Maybe (RegistrationOptions m))
- regHelper :: forall {f :: MessageDirection} {t :: MessageKind} (m :: Method f t) x. SMethod m -> ((Show (RegistrationOptions m), ToJSON (RegistrationOptions m), FromJSON (RegistrationOptions m)) => x) -> x
- data TUnregistration (m :: Method 'ClientToServer t) = TUnregistration {}
- data SomeRegistration = SomeRegistration (TRegistration m)
- toUntypedRegistration :: forall {t :: MessageKind} (m :: Method 'ClientToServer t). TRegistration m -> Registration
- toSomeRegistration :: Registration -> Maybe SomeRegistration
- data SomeUnregistration = SomeUnregistration (TUnregistration m)
- toUntypedUnregistration :: forall {t :: MessageKind} (m :: Method 'ClientToServer t). TUnregistration m -> Unregistration
- toSomeUnregistration :: Unregistration -> Maybe SomeUnregistration
Messages
LSP protocol message types and metadata
data ResponseError #
Response error type as defined in the spec.
Constructors
ResponseError | |
Fields
|
Instances
data TResponseError (m :: Method f 'Request) #
Constructors
TResponseError | |
Fields
|
Instances
FromJSON (ErrorData m) => FromJSON (TResponseError m) # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods parseJSON :: Value -> Parser (TResponseError m) # parseJSONList :: Value -> Parser [TResponseError m] # omittedField :: Maybe (TResponseError m) # | |||||
ToJSON (ErrorData m) => ToJSON (TResponseError m) # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods toJSON :: TResponseError m -> Value # toEncoding :: TResponseError m -> Encoding # toJSONList :: [TResponseError m] -> Value # toEncodingList :: [TResponseError m] -> Encoding # omitField :: TResponseError m -> Bool # | |||||
Generic (TResponseError m) # | |||||
Defined in Language.LSP.Protocol.Message.Types Associated Types
Methods from :: TResponseError m -> Rep (TResponseError m) x # to :: Rep (TResponseError m) x -> TResponseError m # | |||||
Show (ErrorData m) => Show (TResponseError m) # | |||||
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) # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods (==) :: TResponseError m -> TResponseError m -> Bool # (/=) :: TResponseError m -> TResponseError m -> Bool # | |||||
ToJSON (ErrorData m) => Pretty (TResponseError m) # | |||||
Defined in Language.LSP.Protocol.Message.Types | |||||
a ~ Maybe (ErrorData m) => HasXdata (TResponseError m) a # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods xdata :: Lens' (TResponseError m) a # | |||||
HasMessage (TResponseError m) Text # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods message :: Lens' (TResponseError m) Text # | |||||
HasCode (TResponseError m) (LSPErrorCodes |? ErrorCodes) # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods code :: Lens' (TResponseError m) (LSPErrorCodes |? ErrorCodes) # | |||||
type Rep (TResponseError m) # | |||||
Defined in Language.LSP.Protocol.Message.Types type Rep (TResponseError m) = D1 ('MetaData "TResponseError" "Language.LSP.Protocol.Message.Types" "lsp-types-2.2.0.0-8Xein21J7hgLjsXepwEL9j" '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)))))) |
data RequestMessage #
Request message type as defined in the spec.
Constructors
RequestMessage | |
Instances
FromJSON RequestMessage # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods parseJSON :: Value -> Parser RequestMessage # parseJSONList :: Value -> Parser [RequestMessage] # | |||||
ToJSON RequestMessage # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods toJSON :: RequestMessage -> Value # toEncoding :: RequestMessage -> Encoding # toJSONList :: [RequestMessage] -> Value # toEncodingList :: [RequestMessage] -> Encoding # omitField :: RequestMessage -> Bool # | |||||
Generic RequestMessage # | |||||
Defined in Language.LSP.Protocol.Message.Types Associated Types
Methods from :: RequestMessage -> Rep RequestMessage x # to :: Rep RequestMessage x -> RequestMessage # | |||||
Show RequestMessage # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods showsPrec :: Int -> RequestMessage -> ShowS # show :: RequestMessage -> String # showList :: [RequestMessage] -> ShowS # | |||||
Eq RequestMessage # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods (==) :: RequestMessage -> RequestMessage -> Bool # (/=) :: RequestMessage -> RequestMessage -> Bool # | |||||
Pretty RequestMessage # | |||||
Defined in Language.LSP.Protocol.Message.Types | |||||
HasJsonrpc RequestMessage Text # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods | |||||
HasMethod RequestMessage Text # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods | |||||
HasParams RequestMessage (Maybe Value) # | |||||
Defined in Language.LSP.Protocol.Message.Lens | |||||
HasId RequestMessage (Int32 |? Text) # | |||||
Defined in Language.LSP.Protocol.Message.Lens | |||||
type Rep RequestMessage # | |||||
Defined in Language.LSP.Protocol.Message.Types type Rep RequestMessage = D1 ('MetaData "RequestMessage" "Language.LSP.Protocol.Message.Types" "lsp-types-2.2.0.0-8Xein21J7hgLjsXepwEL9j" '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 ResponseMessage #
Response message type as defined in the spec.
Constructors
ResponseMessage | |
Instances
FromJSON ResponseMessage # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods parseJSON :: Value -> Parser ResponseMessage # parseJSONList :: Value -> Parser [ResponseMessage] # | |||||
ToJSON ResponseMessage # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods toJSON :: ResponseMessage -> Value # toEncoding :: ResponseMessage -> Encoding # toJSONList :: [ResponseMessage] -> Value # toEncodingList :: [ResponseMessage] -> Encoding # omitField :: ResponseMessage -> Bool # | |||||
Generic ResponseMessage # | |||||
Defined in Language.LSP.Protocol.Message.Types Associated Types
Methods from :: ResponseMessage -> Rep ResponseMessage x # to :: Rep ResponseMessage x -> ResponseMessage # | |||||
Show ResponseMessage # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods showsPrec :: Int -> ResponseMessage -> ShowS # show :: ResponseMessage -> String # showList :: [ResponseMessage] -> ShowS # | |||||
Eq ResponseMessage # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods (==) :: ResponseMessage -> ResponseMessage -> Bool # (/=) :: ResponseMessage -> ResponseMessage -> Bool # | |||||
Pretty ResponseMessage # | |||||
Defined in Language.LSP.Protocol.Message.Types | |||||
HasJsonrpc ResponseMessage Text # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods | |||||
HasError ResponseMessage (Maybe ResponseError) # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods | |||||
HasResult ResponseMessage (Maybe Value) # | |||||
Defined in Language.LSP.Protocol.Message.Lens | |||||
HasId ResponseMessage (Int32 |? (Text |? Null)) # | |||||
Defined in Language.LSP.Protocol.Message.Lens | |||||
type Rep ResponseMessage # | |||||
Defined in Language.LSP.Protocol.Message.Types type Rep ResponseMessage = D1 ('MetaData "ResponseMessage" "Language.LSP.Protocol.Message.Types" "lsp-types-2.2.0.0-8Xein21J7hgLjsXepwEL9j" '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 TRequestMessage (m :: Method f 'Request) #
Typed request message, containing the correct parameter payload.
Constructors
TRequestMessage | |
Instances
(FromJSON (MessageParams m), FromJSON (SMethod m)) => FromJSON (TRequestMessage m) # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods parseJSON :: Value -> Parser (TRequestMessage m) # parseJSONList :: Value -> Parser [TRequestMessage m] # omittedField :: Maybe (TRequestMessage m) # | |||||
ToJSON (MessageParams m) => ToJSON (TRequestMessage m) # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods toJSON :: TRequestMessage m -> Value # toEncoding :: TRequestMessage m -> Encoding # toJSONList :: [TRequestMessage m] -> Value # toEncodingList :: [TRequestMessage m] -> Encoding # omitField :: TRequestMessage m -> Bool # | |||||
Generic (TRequestMessage m) # | |||||
Defined in Language.LSP.Protocol.Message.Types Associated Types
Methods from :: TRequestMessage m -> Rep (TRequestMessage m) x # to :: Rep (TRequestMessage m) x -> TRequestMessage m # | |||||
Show (MessageParams m) => Show (TRequestMessage m) # | |||||
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) # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods (==) :: TRequestMessage m -> TRequestMessage m -> Bool # (/=) :: TRequestMessage m -> TRequestMessage m -> Bool # | |||||
ToJSON (MessageParams m) => Pretty (TRequestMessage m) # | |||||
Defined in Language.LSP.Protocol.Message.Types | |||||
HasJsonrpc (TRequestMessage m) Text # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods jsonrpc :: Lens' (TRequestMessage m) Text # | |||||
a ~ MessageParams m => HasParams (TRequestMessage m) a # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods params :: Lens' (TRequestMessage m) a # | |||||
HasId (TRequestMessage m) (LspId m) # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods id :: Lens' (TRequestMessage m) (LspId m) # | |||||
HasMethod (TRequestMessage m) (SMethod m) # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods method :: Lens' (TRequestMessage m) (SMethod m) # | |||||
type Rep (TRequestMessage m) # | |||||
Defined in Language.LSP.Protocol.Message.Types type Rep (TRequestMessage m) = D1 ('MetaData "TRequestMessage" "Language.LSP.Protocol.Message.Types" "lsp-types-2.2.0.0-8Xein21J7hgLjsXepwEL9j" '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 TResponseMessage (m :: Method f 'Request) #
A typed response message with a correct result payload.
Constructors
TResponseMessage | |
Fields
|
Instances
(FromJSON (MessageResult a), FromJSON (ErrorData a)) => FromJSON (TResponseMessage a) # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods parseJSON :: Value -> Parser (TResponseMessage a) # parseJSONList :: Value -> Parser [TResponseMessage a] # omittedField :: Maybe (TResponseMessage a) # | |||||
(ToJSON (MessageResult m), ToJSON (ErrorData m)) => ToJSON (TResponseMessage m) # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods toJSON :: TResponseMessage m -> Value # toEncoding :: TResponseMessage m -> Encoding # toJSONList :: [TResponseMessage m] -> Value # toEncodingList :: [TResponseMessage m] -> Encoding # omitField :: TResponseMessage m -> Bool # | |||||
Generic (TResponseMessage m) # | |||||
Defined in Language.LSP.Protocol.Message.Types Associated Types
Methods from :: TResponseMessage m -> Rep (TResponseMessage m) x # to :: Rep (TResponseMessage m) x -> TResponseMessage m # | |||||
(Show (MessageResult m), Show (ErrorData m)) => Show (TResponseMessage m) # | |||||
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) # | |||||
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) # | |||||
Defined in Language.LSP.Protocol.Message.Types | |||||
HasJsonrpc (TResponseMessage m) Text # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods jsonrpc :: Lens' (TResponseMessage m) Text # | |||||
a ~ Either ResponseError (MessageResult m) => HasResult (TResponseMessage m) a # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods result :: Lens' (TResponseMessage m) a # | |||||
HasId (TResponseMessage m) (Maybe (LspId m)) # | |||||
Defined in Language.LSP.Protocol.Message.Lens | |||||
type Rep (TResponseMessage m) # | |||||
Defined in Language.LSP.Protocol.Message.Types type Rep (TResponseMessage m) = D1 ('MetaData "TResponseMessage" "Language.LSP.Protocol.Message.Types" "lsp-types-2.2.0.0-8Xein21J7hgLjsXepwEL9j" '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 NotificationMessage #
Notification message type as defined in the spec.
Instances
FromJSON NotificationMessage # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods parseJSON :: Value -> Parser NotificationMessage # parseJSONList :: Value -> Parser [NotificationMessage] # | |||||
ToJSON NotificationMessage # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods toJSON :: NotificationMessage -> Value # toEncoding :: NotificationMessage -> Encoding # toJSONList :: [NotificationMessage] -> Value # toEncodingList :: [NotificationMessage] -> Encoding # omitField :: NotificationMessage -> Bool # | |||||
Generic NotificationMessage # | |||||
Defined in Language.LSP.Protocol.Message.Types Associated Types
Methods from :: NotificationMessage -> Rep NotificationMessage x # to :: Rep NotificationMessage x -> NotificationMessage # | |||||
Show NotificationMessage # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods showsPrec :: Int -> NotificationMessage -> ShowS # show :: NotificationMessage -> String # showList :: [NotificationMessage] -> ShowS # | |||||
Eq NotificationMessage # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods (==) :: NotificationMessage -> NotificationMessage -> Bool # (/=) :: NotificationMessage -> NotificationMessage -> Bool # | |||||
Pretty NotificationMessage # | |||||
Defined in Language.LSP.Protocol.Message.Types | |||||
HasJsonrpc NotificationMessage Text # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods | |||||
HasMethod NotificationMessage Text # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods | |||||
HasParams NotificationMessage (Maybe Value) # | |||||
Defined in Language.LSP.Protocol.Message.Lens | |||||
type Rep NotificationMessage # | |||||
Defined in Language.LSP.Protocol.Message.Types type Rep NotificationMessage = D1 ('MetaData "NotificationMessage" "Language.LSP.Protocol.Message.Types" "lsp-types-2.2.0.0-8Xein21J7hgLjsXepwEL9j" '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 TNotificationMessage (m :: Method f 'Notification) #
Typed notification message, containing the correct parameter payload.
Constructors
TNotificationMessage | |
Instances
(FromJSON (MessageParams m), FromJSON (SMethod m)) => FromJSON (TNotificationMessage m) # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods parseJSON :: Value -> Parser (TNotificationMessage m) # parseJSONList :: Value -> Parser [TNotificationMessage m] # omittedField :: Maybe (TNotificationMessage m) # | |||||
ToJSON (MessageParams m) => ToJSON (TNotificationMessage m) # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods toJSON :: TNotificationMessage m -> Value # toEncoding :: TNotificationMessage m -> Encoding # toJSONList :: [TNotificationMessage m] -> Value # toEncodingList :: [TNotificationMessage m] -> Encoding # omitField :: TNotificationMessage m -> Bool # | |||||
Generic (TNotificationMessage m) # | |||||
Defined in Language.LSP.Protocol.Message.Types Associated Types
Methods from :: TNotificationMessage m -> Rep (TNotificationMessage m) x # to :: Rep (TNotificationMessage m) x -> TNotificationMessage m # | |||||
Show (MessageParams m) => Show (TNotificationMessage m) # | |||||
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) # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods (==) :: TNotificationMessage m -> TNotificationMessage m -> Bool # (/=) :: TNotificationMessage m -> TNotificationMessage m -> Bool # | |||||
ToJSON (MessageParams m) => Pretty (TNotificationMessage m) # | |||||
Defined in Language.LSP.Protocol.Message.Types Methods pretty :: TNotificationMessage m -> Doc ann # prettyList :: [TNotificationMessage m] -> Doc ann # | |||||
HasJsonrpc (TNotificationMessage m) Text # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods jsonrpc :: Lens' (TNotificationMessage m) Text # | |||||
a ~ MessageParams m => HasParams (TNotificationMessage m) a # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods params :: Lens' (TNotificationMessage m) a # | |||||
HasMethod (TNotificationMessage m) (SMethod m) # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods method :: Lens' (TNotificationMessage m) (SMethod m) # | |||||
type Rep (TNotificationMessage m) # | |||||
Defined in Language.LSP.Protocol.Message.Types type Rep (TNotificationMessage m) = D1 ('MetaData "TNotificationMessage" "Language.LSP.Protocol.Message.Types" "lsp-types-2.2.0.0-8Xein21J7hgLjsXepwEL9j" '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))))) |
addNullField :: String -> Value -> Value #
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
toUntypedResponseError :: forall {f :: MessageDirection} (m :: Method f 'Request). ToJSON (ErrorData m) => TResponseError m -> ResponseError #
data TCustomMessage (s :: Symbol) (f :: MessageDirection) (t :: MessageKind) where #
A typed custom message. A special data type is needed to distinguish between notifications and requests, since a CustomMethod can be both!
Constructors
ReqMess :: forall (s :: Symbol) (f :: MessageDirection). TRequestMessage ('Method_CustomMethod s :: Method f 'Request) -> TCustomMessage s f 'Request | |
NotMess :: forall (s :: Symbol) (f :: MessageDirection). TNotificationMessage ('Method_CustomMethod s :: Method f 'Notification) -> TCustomMessage s f 'Notification |
Instances
KnownSymbol s => FromJSON (TCustomMessage s f 'Notification) # | |
Defined in Language.LSP.Protocol.Message.Types Methods parseJSON :: Value -> Parser (TCustomMessage s f 'Notification) # parseJSONList :: Value -> Parser [TCustomMessage s f 'Notification] # omittedField :: Maybe (TCustomMessage s f 'Notification) # | |
KnownSymbol s => FromJSON (TCustomMessage s f 'Request) # | |
Defined in Language.LSP.Protocol.Message.Types Methods parseJSON :: Value -> Parser (TCustomMessage s f 'Request) # parseJSONList :: Value -> Parser [TCustomMessage s f 'Request] # omittedField :: Maybe (TCustomMessage s f 'Request) # | |
ToJSON (TCustomMessage s f t) # | |
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 # omitField :: TCustomMessage s f t -> Bool # | |
Show (TCustomMessage s f t) # | |
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) # | |
Defined in Language.LSP.Protocol.Message.Types |
type family TMessage (m :: Method f t) where ... #
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 #
type TServerMessage (m :: Method 'ServerToClient t) = TMessage m #
data LspId (m :: Method f 'Request) #
Id used for a request, Can be either a String or an Int
Instances
FromJSON (LspId m) # | |||||
Defined in Language.LSP.Protocol.Message.LspId | |||||
ToJSON (LspId m) # | |||||
Generic (LspId m) # | |||||
Defined in Language.LSP.Protocol.Message.LspId Associated Types
| |||||
Read (LspId m) # | |||||
Show (LspId m) # | |||||
Eq (LspId m) # | |||||
Ord (LspId m) # | |||||
Defined in Language.LSP.Protocol.Message.LspId | |||||
Hashable (LspId m) # | |||||
Defined in Language.LSP.Protocol.Message.LspId | |||||
Pretty (LspId m) # | |||||
Defined in Language.LSP.Protocol.Message.LspId | |||||
IxOrd (LspId :: Method f 'Request -> Type) # | |||||
HasId (TResponseMessage m) (Maybe (LspId m)) # | |||||
Defined in Language.LSP.Protocol.Message.Lens | |||||
HasId (TRequestMessage m) (LspId m) # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods id :: Lens' (TRequestMessage m) (LspId m) # | |||||
type Rep (LspId m) # | |||||
Defined in Language.LSP.Protocol.Message.LspId type Rep (LspId m) = D1 ('MetaData "LspId" "Language.LSP.Protocol.Message.LspId" "lsp-types-2.2.0.0-8Xein21J7hgLjsXepwEL9j" '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) # | |||||
Constructors
SomeLspId :: forall {f :: MessageDirection} (m :: Method f 'Request). !(LspId m) -> SomeLspId |
Instances
Show SomeLspId # | |
Eq SomeLspId # | |
Ord SomeLspId # | |
Defined in Language.LSP.Protocol.Message.LspId | |
Hashable SomeLspId # | |
Defined in Language.LSP.Protocol.Message.LspId |
data MessageDirection #
Which direction messages are sent in.
Constructors
ServerToClient | |
ClientToServer |
data SMessageDirection (f :: MessageDirection) where #
Singleton type for MessageDirection
.
Constructors
SClientToServer :: SMessageDirection 'ClientToServer | |
SServerToClient :: SMessageDirection 'ServerToClient | |
SBothDirections :: forall (f :: MessageDirection). SMessageDirection f |
data SMessageKind (f :: MessageKind) where #
Singleton type for MessageKind
.
Constructors
SNotification :: SMessageKind 'Notification | |
SRequest :: SMessageKind 'Request | |
SBothTypes :: forall (f :: MessageKind). SMessageKind f |
Parsing LSP messages
runEq :: forall (t1 :: MessageKind) (t2 :: MessageKind) (f :: MessageDirection) (m1 :: Method f t1) (m2 :: Method f t2). t1 ~ t2 => (SMethod m1 -> SMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2))) -> SMethod m1 -> SMethod m2 -> Maybe (m1 :~~: m2) #
data FromServerMessage' (a :: Method 'ClientToServer 'Request -> Type) where #
Constructors
FromServerMess :: forall (t :: MessageKind) (m :: Method 'ServerToClient t) (a :: Method 'ClientToServer 'Request -> Type). SMethod m -> TMessage m -> FromServerMessage' a | |
FromServerRsp :: forall (m :: Method 'ClientToServer 'Request) (a :: Method 'ClientToServer 'Request -> Type). a m -> TResponseMessage m -> FromServerMessage' a |
Instances
ToJSON FromServerMessage # | |
Defined in Language.LSP.Protocol.Message.Parsing Methods toJSON :: FromServerMessage -> Value # toEncoding :: FromServerMessage -> Encoding # toJSONList :: [FromServerMessage] -> Value # toEncodingList :: [FromServerMessage] -> Encoding # omitField :: FromServerMessage -> Bool # | |
Show FromServerMessage # | |
Defined in Language.LSP.Protocol.Message.Parsing Methods showsPrec :: Int -> FromServerMessage -> ShowS # show :: FromServerMessage -> String # showList :: [FromServerMessage] -> ShowS # | |
Eq FromServerMessage # | |
Defined in Language.LSP.Protocol.Message.Parsing Methods (==) :: FromServerMessage -> FromServerMessage -> Bool # (/=) :: FromServerMessage -> FromServerMessage -> Bool # |
type FromServerMessage = FromServerMessage' (SMethod :: Method 'ClientToServer 'Request -> Type) #
serverMethodJSON :: forall {t :: MessageKind} (m :: Method 'ServerToClient t) x. SServerMethod m -> (ToJSON (TServerMessage m) => x) -> x #
clientResponseJSON :: forall (m :: Method 'ClientToServer 'Request) x. SClientMethod m -> (HasJSON (TResponseMessage m) => x) -> x #
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 :: Method 'ServerToClient 'Request -> Type) where #
Constructors
FromClientMess :: forall (t :: MessageKind) (m :: Method 'ClientToServer t) (a :: Method 'ServerToClient 'Request -> Type). SMethod m -> TMessage m -> FromClientMessage' a | |
FromClientRsp :: forall (m :: Method 'ServerToClient 'Request) (a :: Method 'ServerToClient 'Request -> Type). a m -> TResponseMessage m -> FromClientMessage' a |
Instances
ToJSON FromClientMessage # | |
Defined in Language.LSP.Protocol.Message.Parsing Methods toJSON :: FromClientMessage -> Value # toEncoding :: FromClientMessage -> Encoding # toJSONList :: [FromClientMessage] -> Value # toEncodingList :: [FromClientMessage] -> Encoding # omitField :: FromClientMessage -> Bool # |
type FromClientMessage = FromClientMessage' (SMethod :: Method 'ServerToClient 'Request -> Type) #
clientMethodJSON :: forall {t :: MessageKind} (m :: Method 'ClientToServer t) x. SClientMethod m -> (ToJSON (TClientMessage m) => x) -> x #
serverResponseJSON :: forall (m :: Method 'ServerToClient 'Request) x. SServerMethod m -> (HasJSON (TResponseMessage m) => x) -> x #
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 :: MessageDirection) (a :: Method f 'Request -> Type) = forall (m :: Method f 'Request). LspId m -> Maybe (SMethod m, a m) #
parseServerMessage :: forall (a :: Method 'ClientToServer 'Request -> Type). LookupFunc 'ClientToServer a -> Value -> Parser (FromServerMessage' a) #
splitServerMethod :: forall {t :: MessageKind} (m :: Method 'ServerToClient t). SServerMethod m -> ServerNotOrReq m #
data ServerNotOrReq (m :: Method 'ServerToClient t) where #
Constructors
IsServerNot :: forall (m1 :: Method 'ServerToClient 'Notification). (HasJSON (TServerMessage m1), TMessage m1 ~ TNotificationMessage m1) => ServerNotOrReq m1 | |
IsServerReq :: forall (m1 :: Method 'ServerToClient 'Request). (HasJSON (TServerMessage m1), HasJSON (TResponseMessage m1), TMessage m1 ~ TRequestMessage m1) => ServerNotOrReq m1 | |
IsServerEither :: forall {t :: MessageKind} (s :: Symbol). ServerNotOrReq ('Method_CustomMethod s :: Method 'ServerToClient t) |
parseClientMessage :: forall (a :: Method 'ServerToClient 'Request -> Type). LookupFunc 'ServerToClient a -> Value -> Parser (FromClientMessage' a) #
splitClientMethod :: forall {t :: MessageKind} (m :: Method 'ClientToServer t). SClientMethod m -> ClientNotOrReq m #
data ClientNotOrReq (m :: Method 'ClientToServer t) where #
Constructors
IsClientNot :: forall (m1 :: Method 'ClientToServer 'Notification). (HasJSON (TClientMessage m1), TMessage m1 ~ TNotificationMessage m1) => ClientNotOrReq m1 | |
IsClientReq :: forall (m1 :: Method 'ClientToServer 'Request). (HasJSON (TClientMessage m1), HasJSON (TResponseMessage m1), TMessage m1 ~ TRequestMessage m1) => ClientNotOrReq m1 | |
IsClientEither :: forall {t :: MessageKind} (s :: Symbol). ClientNotOrReq ('Method_CustomMethod s :: Method 'ClientToServer t) |
data CustomEq (m1 :: Method f t1) (m2 :: Method f t2) where #
Given a witness that two custom methods are of the same type, produce a witness that the methods are the same
Constructors
CustomEq | |
Fields
|
mEqServer :: forall {t1 :: MessageKind} {t2 :: MessageKind} (m1 :: Method 'ServerToClient t1) (m2 :: Method 'ServerToClient t2). SServerMethod m1 -> SServerMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2)) #
Heterogeneous equality on singleton server methods
mEqClient :: forall {t1 :: MessageKind} {t2 :: MessageKind} (m1 :: Method 'ClientToServer t1) (m2 :: Method 'ClientToServer t2). SClientMethod m1 -> SClientMethod m2 -> Maybe (Either (CustomEq m1 m2) (m1 :~~: m2)) #
Heterogeneous equality on singleton client methods
Methods
Main LSP method types and functions
data Method (f :: MessageDirection) (t :: MessageKind) where #
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 :: forall (f :: MessageDirection). Method f 'Notification | |
Method_Progress :: forall (f :: MessageDirection). Method f 'Notification | |
Method_CustomMethod :: forall (f :: MessageDirection) (t :: MessageKind). Symbol -> Method f t |
data SMethod (m :: Method f t) where #
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 :: forall {f :: MessageDirection}. SMethod ('Method_CancelRequest :: Method f 'Notification) | |
SMethod_Progress :: forall {f :: MessageDirection}. SMethod ('Method_Progress :: Method f 'Notification) | |
SMethod_CustomMethod :: forall {f :: MessageDirection} {t :: MessageKind} (s :: Symbol). KnownSymbol s => Proxy s -> SMethod ('Method_CustomMethod s :: Method f t) |
Instances
ToJSON FromClientMessage # | |
Defined in Language.LSP.Protocol.Message.Parsing Methods toJSON :: FromClientMessage -> Value # toEncoding :: FromClientMessage -> Encoding # toJSONList :: [FromClientMessage] -> Value # toEncodingList :: [FromClientMessage] -> Encoding # omitField :: FromClientMessage -> Bool # | |
ToJSON FromServerMessage # | |
Defined in Language.LSP.Protocol.Message.Parsing Methods toJSON :: FromServerMessage -> Value # toEncoding :: FromServerMessage -> Encoding # toJSONList :: [FromServerMessage] -> Value # toEncodingList :: [FromServerMessage] -> Encoding # omitField :: FromServerMessage -> Bool # | |
Show FromServerMessage # | |
Defined in Language.LSP.Protocol.Message.Parsing Methods showsPrec :: Int -> FromServerMessage -> ShowS # show :: FromServerMessage -> String # showList :: [FromServerMessage] -> ShowS # | |
Eq FromServerMessage # | |
Defined in Language.LSP.Protocol.Message.Parsing Methods (==) :: FromServerMessage -> FromServerMessage -> Bool # (/=) :: FromServerMessage -> FromServerMessage -> Bool # | |
HasMethod (TRegistration m) (SClientMethod m) # | |
Defined in Language.LSP.Protocol.Message.Lens Methods method :: Lens' (TRegistration m) (SClientMethod m) # | |
GCompare (SMethod :: Method f t -> Type) # | |
GEq (SMethod :: Method f t -> Type) # | |
HasMethod (TUnregistration m) (SMethod m) # | |
Defined in Language.LSP.Protocol.Message.Lens Methods method :: Lens' (TUnregistration m) (SMethod m) # | |
HasMethod (TNotificationMessage m) (SMethod m) # | |
Defined in Language.LSP.Protocol.Message.Lens Methods method :: Lens' (TNotificationMessage m) (SMethod m) # | |
HasMethod (TRequestMessage m) (SMethod m) # | |
Defined in Language.LSP.Protocol.Message.Lens Methods method :: Lens' (TRequestMessage m) (SMethod m) # | |
FromJSON (SMethod 'Method_Exit) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_Exit) # parseJSONList :: Value -> Parser [SMethod 'Method_Exit] # omittedField :: Maybe (SMethod 'Method_Exit) # | |
FromJSON (SMethod 'Method_Initialized) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_Initialized) # parseJSONList :: Value -> Parser [SMethod 'Method_Initialized] # | |
FromJSON (SMethod 'Method_NotebookDocumentDidChange) # | |
Defined in Language.LSP.Protocol.Message.Method | |
FromJSON (SMethod 'Method_NotebookDocumentDidClose) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_NotebookDocumentDidClose) # parseJSONList :: Value -> Parser [SMethod 'Method_NotebookDocumentDidClose] # omittedField :: Maybe (SMethod 'Method_NotebookDocumentDidClose) # | |
FromJSON (SMethod 'Method_NotebookDocumentDidOpen) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_NotebookDocumentDidOpen) # parseJSONList :: Value -> Parser [SMethod 'Method_NotebookDocumentDidOpen] # omittedField :: Maybe (SMethod 'Method_NotebookDocumentDidOpen) # | |
FromJSON (SMethod 'Method_NotebookDocumentDidSave) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_NotebookDocumentDidSave) # parseJSONList :: Value -> Parser [SMethod 'Method_NotebookDocumentDidSave] # omittedField :: Maybe (SMethod 'Method_NotebookDocumentDidSave) # | |
FromJSON (SMethod 'Method_SetTrace) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_SetTrace) # parseJSONList :: Value -> Parser [SMethod 'Method_SetTrace] # omittedField :: Maybe (SMethod 'Method_SetTrace) # | |
FromJSON (SMethod 'Method_TextDocumentDidChange) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDidChange) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentDidChange] # omittedField :: Maybe (SMethod 'Method_TextDocumentDidChange) # | |
FromJSON (SMethod 'Method_TextDocumentDidClose) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDidClose) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentDidClose] # omittedField :: Maybe (SMethod 'Method_TextDocumentDidClose) # | |
FromJSON (SMethod 'Method_TextDocumentDidOpen) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDidOpen) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentDidOpen] # omittedField :: Maybe (SMethod 'Method_TextDocumentDidOpen) # | |
FromJSON (SMethod 'Method_TextDocumentDidSave) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDidSave) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentDidSave] # omittedField :: Maybe (SMethod 'Method_TextDocumentDidSave) # | |
FromJSON (SMethod 'Method_TextDocumentWillSave) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentWillSave) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentWillSave] # omittedField :: Maybe (SMethod 'Method_TextDocumentWillSave) # | |
FromJSON (SMethod 'Method_WindowWorkDoneProgressCancel) # | |
Defined in Language.LSP.Protocol.Message.Method | |
FromJSON (SMethod 'Method_WorkspaceDidChangeConfiguration) # | |
FromJSON (SMethod 'Method_WorkspaceDidChangeWatchedFiles) # | |
FromJSON (SMethod 'Method_WorkspaceDidChangeWorkspaceFolders) # | |
Defined in Language.LSP.Protocol.Message.Method | |
FromJSON (SMethod 'Method_WorkspaceDidCreateFiles) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceDidCreateFiles) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceDidCreateFiles] # omittedField :: Maybe (SMethod 'Method_WorkspaceDidCreateFiles) # | |
FromJSON (SMethod 'Method_WorkspaceDidDeleteFiles) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceDidDeleteFiles) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceDidDeleteFiles] # omittedField :: Maybe (SMethod 'Method_WorkspaceDidDeleteFiles) # | |
FromJSON (SMethod 'Method_WorkspaceDidRenameFiles) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceDidRenameFiles) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceDidRenameFiles] # omittedField :: Maybe (SMethod 'Method_WorkspaceDidRenameFiles) # | |
FromJSON (SMethod 'Method_CallHierarchyIncomingCalls) # | |
Defined in Language.LSP.Protocol.Message.Method | |
FromJSON (SMethod 'Method_CallHierarchyOutgoingCalls) # | |
Defined in Language.LSP.Protocol.Message.Method | |
FromJSON (SMethod 'Method_CodeActionResolve) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_CodeActionResolve) # parseJSONList :: Value -> Parser [SMethod 'Method_CodeActionResolve] # | |
FromJSON (SMethod 'Method_CodeLensResolve) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_CodeLensResolve) # parseJSONList :: Value -> Parser [SMethod 'Method_CodeLensResolve] # | |
FromJSON (SMethod 'Method_CompletionItemResolve) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_CompletionItemResolve) # parseJSONList :: Value -> Parser [SMethod 'Method_CompletionItemResolve] # omittedField :: Maybe (SMethod 'Method_CompletionItemResolve) # | |
FromJSON (SMethod 'Method_DocumentLinkResolve) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_DocumentLinkResolve) # parseJSONList :: Value -> Parser [SMethod 'Method_DocumentLinkResolve] # omittedField :: Maybe (SMethod 'Method_DocumentLinkResolve) # | |
FromJSON (SMethod 'Method_Initialize) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_Initialize) # parseJSONList :: Value -> Parser [SMethod 'Method_Initialize] # | |
FromJSON (SMethod 'Method_InlayHintResolve) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_InlayHintResolve) # parseJSONList :: Value -> Parser [SMethod 'Method_InlayHintResolve] # | |
FromJSON (SMethod 'Method_Shutdown) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_Shutdown) # parseJSONList :: Value -> Parser [SMethod 'Method_Shutdown] # omittedField :: Maybe (SMethod 'Method_Shutdown) # | |
FromJSON (SMethod 'Method_TextDocumentCodeAction) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentCodeAction) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentCodeAction] # omittedField :: Maybe (SMethod 'Method_TextDocumentCodeAction) # | |
FromJSON (SMethod 'Method_TextDocumentCodeLens) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentCodeLens) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentCodeLens] # omittedField :: Maybe (SMethod 'Method_TextDocumentCodeLens) # | |
FromJSON (SMethod 'Method_TextDocumentColorPresentation) # | |
FromJSON (SMethod 'Method_TextDocumentCompletion) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentCompletion) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentCompletion] # omittedField :: Maybe (SMethod 'Method_TextDocumentCompletion) # | |
FromJSON (SMethod 'Method_TextDocumentDeclaration) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDeclaration) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentDeclaration] # omittedField :: Maybe (SMethod 'Method_TextDocumentDeclaration) # | |
FromJSON (SMethod 'Method_TextDocumentDefinition) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDefinition) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentDefinition] # omittedField :: Maybe (SMethod 'Method_TextDocumentDefinition) # | |
FromJSON (SMethod 'Method_TextDocumentDiagnostic) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDiagnostic) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentDiagnostic] # omittedField :: Maybe (SMethod 'Method_TextDocumentDiagnostic) # | |
FromJSON (SMethod 'Method_TextDocumentDocumentColor) # | |
Defined in Language.LSP.Protocol.Message.Method | |
FromJSON (SMethod 'Method_TextDocumentDocumentHighlight) # | |
FromJSON (SMethod 'Method_TextDocumentDocumentLink) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDocumentLink) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentDocumentLink] # omittedField :: Maybe (SMethod 'Method_TextDocumentDocumentLink) # | |
FromJSON (SMethod 'Method_TextDocumentDocumentSymbol) # | |
Defined in Language.LSP.Protocol.Message.Method | |
FromJSON (SMethod 'Method_TextDocumentFoldingRange) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentFoldingRange) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentFoldingRange] # omittedField :: Maybe (SMethod 'Method_TextDocumentFoldingRange) # | |
FromJSON (SMethod 'Method_TextDocumentFormatting) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentFormatting) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentFormatting] # omittedField :: Maybe (SMethod 'Method_TextDocumentFormatting) # | |
FromJSON (SMethod 'Method_TextDocumentHover) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentHover) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentHover] # | |
FromJSON (SMethod 'Method_TextDocumentImplementation) # | |
Defined in Language.LSP.Protocol.Message.Method | |
FromJSON (SMethod 'Method_TextDocumentInlayHint) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentInlayHint) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentInlayHint] # omittedField :: Maybe (SMethod 'Method_TextDocumentInlayHint) # | |
FromJSON (SMethod 'Method_TextDocumentInlineValue) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentInlineValue) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentInlineValue] # omittedField :: Maybe (SMethod 'Method_TextDocumentInlineValue) # | |
FromJSON (SMethod 'Method_TextDocumentLinkedEditingRange) # | |
FromJSON (SMethod 'Method_TextDocumentMoniker) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentMoniker) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentMoniker] # omittedField :: Maybe (SMethod 'Method_TextDocumentMoniker) # | |
FromJSON (SMethod 'Method_TextDocumentOnTypeFormatting) # | |
Defined in Language.LSP.Protocol.Message.Method | |
FromJSON (SMethod 'Method_TextDocumentPrepareCallHierarchy) # | |
FromJSON (SMethod 'Method_TextDocumentPrepareRename) # | |
Defined in Language.LSP.Protocol.Message.Method | |
FromJSON (SMethod 'Method_TextDocumentPrepareTypeHierarchy) # | |
FromJSON (SMethod 'Method_TextDocumentRangeFormatting) # | |
Defined in Language.LSP.Protocol.Message.Method | |
FromJSON (SMethod 'Method_TextDocumentReferences) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentReferences) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentReferences] # omittedField :: Maybe (SMethod 'Method_TextDocumentReferences) # | |
FromJSON (SMethod 'Method_TextDocumentRename) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentRename) # parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentRename] # omittedField :: Maybe (SMethod 'Method_TextDocumentRename) # | |
FromJSON (SMethod 'Method_TextDocumentSelectionRange) # | |
Defined in Language.LSP.Protocol.Message.Method | |
FromJSON (SMethod 'Method_TextDocumentSemanticTokensFull) # | |
FromJSON (SMethod 'Method_TextDocumentSemanticTokensFullDelta) # | |
Defined in Language.LSP.Protocol.Message.Method | |
FromJSON (SMethod 'Method_TextDocumentSemanticTokensRange) # | |
FromJSON (SMethod 'Method_TextDocumentSignatureHelp) # | |
Defined in Language.LSP.Protocol.Message.Method | |
FromJSON (SMethod 'Method_TextDocumentTypeDefinition) # | |
Defined in Language.LSP.Protocol.Message.Method | |
FromJSON (SMethod 'Method_TextDocumentWillSaveWaitUntil) # | |
FromJSON (SMethod 'Method_TypeHierarchySubtypes) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TypeHierarchySubtypes) # parseJSONList :: Value -> Parser [SMethod 'Method_TypeHierarchySubtypes] # omittedField :: Maybe (SMethod 'Method_TypeHierarchySubtypes) # | |
FromJSON (SMethod 'Method_TypeHierarchySupertypes) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TypeHierarchySupertypes) # parseJSONList :: Value -> Parser [SMethod 'Method_TypeHierarchySupertypes] # omittedField :: Maybe (SMethod 'Method_TypeHierarchySupertypes) # | |
FromJSON (SMethod 'Method_WorkspaceDiagnostic) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceDiagnostic) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceDiagnostic] # omittedField :: Maybe (SMethod 'Method_WorkspaceDiagnostic) # | |
FromJSON (SMethod 'Method_WorkspaceExecuteCommand) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceExecuteCommand) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceExecuteCommand] # omittedField :: Maybe (SMethod 'Method_WorkspaceExecuteCommand) # | |
FromJSON (SMethod 'Method_WorkspaceSymbol) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceSymbol) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceSymbol] # | |
FromJSON (SMethod 'Method_WorkspaceSymbolResolve) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceSymbolResolve) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceSymbolResolve] # omittedField :: Maybe (SMethod 'Method_WorkspaceSymbolResolve) # | |
FromJSON (SMethod 'Method_WorkspaceWillCreateFiles) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceWillCreateFiles) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceWillCreateFiles] # omittedField :: Maybe (SMethod 'Method_WorkspaceWillCreateFiles) # | |
FromJSON (SMethod 'Method_WorkspaceWillDeleteFiles) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceWillDeleteFiles) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceWillDeleteFiles] # omittedField :: Maybe (SMethod 'Method_WorkspaceWillDeleteFiles) # | |
FromJSON (SMethod 'Method_WorkspaceWillRenameFiles) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceWillRenameFiles) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceWillRenameFiles] # omittedField :: Maybe (SMethod 'Method_WorkspaceWillRenameFiles) # | |
FromJSON (SMethod 'Method_LogTrace) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_LogTrace) # parseJSONList :: Value -> Parser [SMethod 'Method_LogTrace] # omittedField :: Maybe (SMethod 'Method_LogTrace) # | |
FromJSON (SMethod 'Method_TelemetryEvent) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_TelemetryEvent) # parseJSONList :: Value -> Parser [SMethod 'Method_TelemetryEvent] # | |
FromJSON (SMethod 'Method_TextDocumentPublishDiagnostics) # | |
FromJSON (SMethod 'Method_WindowLogMessage) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WindowLogMessage) # parseJSONList :: Value -> Parser [SMethod 'Method_WindowLogMessage] # | |
FromJSON (SMethod 'Method_WindowShowMessage) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WindowShowMessage) # parseJSONList :: Value -> Parser [SMethod 'Method_WindowShowMessage] # | |
FromJSON (SMethod 'Method_ClientRegisterCapability) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_ClientRegisterCapability) # parseJSONList :: Value -> Parser [SMethod 'Method_ClientRegisterCapability] # omittedField :: Maybe (SMethod 'Method_ClientRegisterCapability) # | |
FromJSON (SMethod 'Method_ClientUnregisterCapability) # | |
Defined in Language.LSP.Protocol.Message.Method | |
FromJSON (SMethod 'Method_WindowShowDocument) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WindowShowDocument) # parseJSONList :: Value -> Parser [SMethod 'Method_WindowShowDocument] # omittedField :: Maybe (SMethod 'Method_WindowShowDocument) # | |
FromJSON (SMethod 'Method_WindowShowMessageRequest) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WindowShowMessageRequest) # parseJSONList :: Value -> Parser [SMethod 'Method_WindowShowMessageRequest] # omittedField :: Maybe (SMethod 'Method_WindowShowMessageRequest) # | |
FromJSON (SMethod 'Method_WindowWorkDoneProgressCreate) # | |
Defined in Language.LSP.Protocol.Message.Method | |
FromJSON (SMethod 'Method_WorkspaceApplyEdit) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceApplyEdit) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceApplyEdit] # omittedField :: Maybe (SMethod 'Method_WorkspaceApplyEdit) # | |
FromJSON (SMethod 'Method_WorkspaceCodeLensRefresh) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceCodeLensRefresh) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceCodeLensRefresh] # omittedField :: Maybe (SMethod 'Method_WorkspaceCodeLensRefresh) # | |
FromJSON (SMethod 'Method_WorkspaceConfiguration) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceConfiguration) # parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceConfiguration] # omittedField :: Maybe (SMethod 'Method_WorkspaceConfiguration) # | |
FromJSON (SMethod 'Method_WorkspaceDiagnosticRefresh) # | |
Defined in Language.LSP.Protocol.Message.Method | |
FromJSON (SMethod 'Method_WorkspaceInlayHintRefresh) # | |
Defined in Language.LSP.Protocol.Message.Method | |
FromJSON (SMethod 'Method_WorkspaceInlineValueRefresh) # | |
Defined in Language.LSP.Protocol.Message.Method | |
FromJSON (SMethod 'Method_WorkspaceSemanticTokensRefresh) # | |
FromJSON (SMethod 'Method_WorkspaceWorkspaceFolders) # | |
Defined in Language.LSP.Protocol.Message.Method | |
FromJSON (SMethod ('Method_CancelRequest :: Method f 'Notification)) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod ('Method_CancelRequest :: Method f 'Notification)) # parseJSONList :: Value -> Parser [SMethod ('Method_CancelRequest :: Method f 'Notification)] # omittedField :: Maybe (SMethod ('Method_CancelRequest :: Method f 'Notification)) # | |
FromJSON (SMethod ('Method_Progress :: Method f 'Notification)) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod ('Method_Progress :: Method f 'Notification)) # parseJSONList :: Value -> Parser [SMethod ('Method_Progress :: Method f 'Notification)] # omittedField :: Maybe (SMethod ('Method_Progress :: Method f 'Notification)) # | |
KnownSymbol s => FromJSON (SMethod ('Method_CustomMethod s :: Method f t)) # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser (SMethod ('Method_CustomMethod s :: Method f t)) # parseJSONList :: Value -> Parser [SMethod ('Method_CustomMethod s :: Method f t)] # omittedField :: Maybe (SMethod ('Method_CustomMethod s :: Method f t)) # | |
ToJSON (SMethod m) # | |
Show (SMethod m) # | |
Eq (SMethod m) # | |
Ord (SMethod m) # | |
Defined in Language.LSP.Protocol.Message.Method | |
Pretty (SMethod m) # | |
Defined in Language.LSP.Protocol.Message.Method |
type family MessageParams (m :: Method f t) where ... #
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 :: Method f 'Notification) = CancelParams | |
MessageParams ('Method_Progress :: Method f 'Notification) = ProgressParams | |
MessageParams ('Method_CustomMethod s :: Method f t) = Value |
type family MessageResult (m :: Method f t) where ... #
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 :: Method f t) = Value |
type family ErrorData (m :: Method f t) where ... #
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 :: Method f t) = Value |
type family RegistrationOptions (m :: Method f t) where ... #
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 :: Row Type))) | |
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 = NotebookDocumentSyncRegistrationOptions | |
RegistrationOptions 'Method_NotebookDocumentDidChange = NotebookDocumentSyncRegistrationOptions | |
RegistrationOptions 'Method_NotebookDocumentDidSave = NotebookDocumentSyncRegistrationOptions | |
RegistrationOptions 'Method_NotebookDocumentDidClose = NotebookDocumentSyncRegistrationOptions | |
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 :: Method f 'Notification) = Maybe Void | |
RegistrationOptions ('Method_Progress :: Method f 'Notification) = Maybe Void | |
RegistrationOptions ('Method_CustomMethod s :: Method f t) = Void |
data SomeMethod where #
A method which isn't statically known.
Constructors
SomeMethod :: forall {f :: MessageDirection} {t :: MessageKind} (m :: Method f t). SMethod m -> SomeMethod |
Instances
FromJSON SomeMethod # | |
Defined in Language.LSP.Protocol.Message.Method | |
ToJSON SomeMethod # | |
Defined in Language.LSP.Protocol.Message.Method Methods toJSON :: SomeMethod -> Value # toEncoding :: SomeMethod -> Encoding # toJSONList :: [SomeMethod] -> Value # toEncodingList :: [SomeMethod] -> Encoding # omitField :: SomeMethod -> Bool # | |
Show SomeMethod # | |
Defined in Language.LSP.Protocol.Message.Method Methods showsPrec :: Int -> SomeMethod -> ShowS # show :: SomeMethod -> String # showList :: [SomeMethod] -> ShowS # | |
Eq SomeMethod # | |
Defined in Language.LSP.Protocol.Message.Method | |
Ord SomeMethod # | |
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 # | |
Defined in Language.LSP.Protocol.Message.Method |
someMethodToMethodString :: SomeMethod -> String #
Turn a SomeMethod
into its LSP method string.
methodStringToSomeMethod :: String -> SomeMethod #
Turn a LSP method string into a SomeMethod
.
messageDirection :: forall (f :: MessageDirection) (t :: MessageKind) (m :: Method f t). SMethod m -> SMessageDirection f #
Get a singleton witness for the message direction of a SMethod
.
messageKind :: forall (f :: MessageDirection) (t :: MessageKind) (m :: Method f t). SMethod m -> SMessageKind t #
Get a singleton witness for the message kind of a SMethod
.
Helpers for working with methods
isOptionalMethod :: SomeMethod -> Bool #
Is this an "optional" method which servers and clients are allowed to ignore?
type SClientMethod (m :: Method 'ClientToServer t) = SMethod m #
type SServerMethod (m :: Method 'ServerToClient t) = SMethod m #
data SomeClientMethod #
Constructors
SomeClientMethod (SMethod m) |
Instances
FromJSON SomeClientMethod # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser SomeClientMethod # parseJSONList :: Value -> Parser [SomeClientMethod] # | |
ToJSON SomeClientMethod # | |
Defined in Language.LSP.Protocol.Message.Method Methods toJSON :: SomeClientMethod -> Value # toEncoding :: SomeClientMethod -> Encoding # toJSONList :: [SomeClientMethod] -> Value # toEncodingList :: [SomeClientMethod] -> Encoding # omitField :: SomeClientMethod -> Bool # | |
Show SomeClientMethod # | |
Defined in Language.LSP.Protocol.Message.Method Methods showsPrec :: Int -> SomeClientMethod -> ShowS # show :: SomeClientMethod -> String # showList :: [SomeClientMethod] -> ShowS # | |
Pretty SomeClientMethod # | |
Defined in Language.LSP.Protocol.Message.Method |
data SomeServerMethod #
Constructors
SomeServerMethod (SMethod m) |
Instances
FromJSON SomeServerMethod # | |
Defined in Language.LSP.Protocol.Message.Method Methods parseJSON :: Value -> Parser SomeServerMethod # parseJSONList :: Value -> Parser [SomeServerMethod] # | |
ToJSON SomeServerMethod # | |
Defined in Language.LSP.Protocol.Message.Method Methods toJSON :: SomeServerMethod -> Value # toEncoding :: SomeServerMethod -> Encoding # toJSONList :: [SomeServerMethod] -> Value # toEncodingList :: [SomeServerMethod] -> Encoding # omitField :: SomeServerMethod -> Bool # | |
Show SomeServerMethod # | |
Defined in Language.LSP.Protocol.Message.Method Methods showsPrec :: Int -> SomeServerMethod -> ShowS # show :: SomeServerMethod -> String # showList :: [SomeServerMethod] -> ShowS # | |
Pretty SomeServerMethod # | |
Defined in Language.LSP.Protocol.Message.Method |
someClientMethod :: forall {f :: MessageDirection} {t :: MessageKind} (m :: Method f t). SMethod m -> Maybe SomeClientMethod #
someServerMethod :: forall {f :: MessageDirection} {t :: MessageKind} (m :: Method f t). SMethod m -> Maybe SomeServerMethod #
LSP registrations
data TRegistration (m :: Method 'ClientToServer t) #
Typed registration type, with correct options.
Constructors
TRegistration | |
Fields
|
Instances
ToJSON (TRegistration m) # | |||||
Defined in Language.LSP.Protocol.Message.Registration Methods toJSON :: TRegistration m -> Value # toEncoding :: TRegistration m -> Encoding # toJSONList :: [TRegistration m] -> Value # toEncodingList :: [TRegistration m] -> Encoding # omitField :: TRegistration m -> Bool # | |||||
Generic (TRegistration m) # | |||||
Defined in Language.LSP.Protocol.Message.Registration Associated Types
Methods from :: TRegistration m -> Rep (TRegistration m) x # to :: Rep (TRegistration m) x -> TRegistration m # | |||||
Show (RegistrationOptions m) => Show (TRegistration m) # | |||||
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) # | |||||
Defined in Language.LSP.Protocol.Message.Registration Methods (==) :: TRegistration m -> TRegistration m -> Bool # (/=) :: TRegistration m -> TRegistration m -> Bool # | |||||
Pretty (TRegistration m) # | |||||
Defined in Language.LSP.Protocol.Message.Registration | |||||
HasId (TRegistration m) Text # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods id :: Lens' (TRegistration m) Text # | |||||
a ~ Maybe (RegistrationOptions m) => HasRegisterOptions (TRegistration m) a # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods registerOptions :: Lens' (TRegistration m) a # | |||||
HasMethod (TRegistration m) (SClientMethod m) # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods method :: Lens' (TRegistration m) (SClientMethod m) # | |||||
type Rep (TRegistration m) # | |||||
Defined in Language.LSP.Protocol.Message.Registration type Rep (TRegistration m) = D1 ('MetaData "TRegistration" "Language.LSP.Protocol.Message.Registration" "lsp-types-2.2.0.0-8Xein21J7hgLjsXepwEL9j" '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 {f :: MessageDirection} {t :: MessageKind} (m :: Method f t) x. SMethod m -> ((Show (RegistrationOptions m), ToJSON (RegistrationOptions m), FromJSON (RegistrationOptions m)) => x) -> x #
data TUnregistration (m :: Method 'ClientToServer t) #
Typed unregistration type.
Constructors
TUnregistration | |
Instances
ToJSON (TUnregistration m) # | |||||
Defined in Language.LSP.Protocol.Message.Registration Methods toJSON :: TUnregistration m -> Value # toEncoding :: TUnregistration m -> Encoding # toJSONList :: [TUnregistration m] -> Value # toEncodingList :: [TUnregistration m] -> Encoding # omitField :: TUnregistration m -> Bool # | |||||
Generic (TUnregistration m) # | |||||
Defined in Language.LSP.Protocol.Message.Registration Associated Types
Methods from :: TUnregistration m -> Rep (TUnregistration m) x # to :: Rep (TUnregistration m) x -> TUnregistration m # | |||||
Show (TUnregistration m) # | |||||
Defined in Language.LSP.Protocol.Message.Registration Methods showsPrec :: Int -> TUnregistration m -> ShowS # show :: TUnregistration m -> String # showList :: [TUnregistration m] -> ShowS # | |||||
Eq (TUnregistration m) # | |||||
Defined in Language.LSP.Protocol.Message.Registration Methods (==) :: TUnregistration m -> TUnregistration m -> Bool # (/=) :: TUnregistration m -> TUnregistration m -> Bool # | |||||
Pretty (TUnregistration m) # | |||||
Defined in Language.LSP.Protocol.Message.Registration | |||||
HasId (TUnregistration m) Text # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods id :: Lens' (TUnregistration m) Text # | |||||
HasMethod (TUnregistration m) (SMethod m) # | |||||
Defined in Language.LSP.Protocol.Message.Lens Methods method :: Lens' (TUnregistration m) (SMethod m) # | |||||
type Rep (TUnregistration m) # | |||||
Defined in Language.LSP.Protocol.Message.Registration type Rep (TUnregistration m) = D1 ('MetaData "TUnregistration" "Language.LSP.Protocol.Message.Registration" "lsp-types-2.2.0.0-8Xein21J7hgLjsXepwEL9j" '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 SomeRegistration #
Constructors
SomeRegistration (TRegistration m) |
Instances
FromJSON SomeRegistration # | |
Defined in Language.LSP.Protocol.Message.Registration Methods parseJSON :: Value -> Parser SomeRegistration # parseJSONList :: Value -> Parser [SomeRegistration] # | |
ToJSON SomeRegistration # | |
Defined in Language.LSP.Protocol.Message.Registration Methods toJSON :: SomeRegistration -> Value # toEncoding :: SomeRegistration -> Encoding # toJSONList :: [SomeRegistration] -> Value # toEncodingList :: [SomeRegistration] -> Encoding # omitField :: SomeRegistration -> Bool # | |
Show SomeRegistration # | |
Defined in Language.LSP.Protocol.Message.Registration Methods showsPrec :: Int -> SomeRegistration -> ShowS # show :: SomeRegistration -> String # showList :: [SomeRegistration] -> ShowS # | |
Pretty SomeRegistration # | |
Defined in Language.LSP.Protocol.Message.Registration |
toUntypedRegistration :: forall {t :: MessageKind} (m :: Method 'ClientToServer t). TRegistration m -> Registration #
data SomeUnregistration #
Constructors
SomeUnregistration (TUnregistration m) |
Instances
FromJSON SomeUnregistration # | |
Defined in Language.LSP.Protocol.Message.Registration Methods parseJSON :: Value -> Parser SomeUnregistration # parseJSONList :: Value -> Parser [SomeUnregistration] # | |
ToJSON SomeUnregistration # | |
Defined in Language.LSP.Protocol.Message.Registration Methods toJSON :: SomeUnregistration -> Value # toEncoding :: SomeUnregistration -> Encoding # toJSONList :: [SomeUnregistration] -> Value # toEncodingList :: [SomeUnregistration] -> Encoding # omitField :: SomeUnregistration -> Bool # | |
Pretty SomeUnregistration # | |
Defined in Language.LSP.Protocol.Message.Registration |
toUntypedUnregistration :: forall {t :: MessageKind} (m :: Method 'ClientToServer t). TUnregistration m -> Unregistration #