lsp-types-2.2.0.0: Haskell library for the Microsoft Language Server Protocol, data types
Safe HaskellNone
LanguageGHC2021

Language.LSP.Protocol.Message

Synopsis

Messages

LSP protocol message types and metadata

data ResponseError #

Response error type as defined in the spec.

Instances

Instances details
FromJSON ResponseError # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

ToJSON ResponseError # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Generic ResponseError # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Associated Types

type Rep ResponseError 
Instance details

Defined in Language.LSP.Protocol.Message.Types

type Rep ResponseError = D1 ('MetaData "ResponseError" "Language.LSP.Protocol.Message.Types" "lsp-types-2.2.0.0-8Xein21J7hgLjsXepwEL9j" 'False) (C1 ('MetaCons "ResponseError" 'PrefixI 'True) (S1 ('MetaSel ('Just "_code") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (LSPErrorCodes |? ErrorCodes)) :*: (S1 ('MetaSel ('Just "_message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "_xdata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Value)))))
Show ResponseError # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Eq ResponseError # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Pretty ResponseError # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Methods

pretty :: ResponseError -> Doc ann #

prettyList :: [ResponseError] -> Doc ann #

HasMessage ResponseError Text # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

HasError ResponseMessage (Maybe ResponseError) # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

HasXdata ResponseError (Maybe Value) # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

HasCode ResponseError (LSPErrorCodes |? ErrorCodes) # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

type Rep ResponseError # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

type Rep ResponseError = D1 ('MetaData "ResponseError" "Language.LSP.Protocol.Message.Types" "lsp-types-2.2.0.0-8Xein21J7hgLjsXepwEL9j" 'False) (C1 ('MetaCons "ResponseError" 'PrefixI 'True) (S1 ('MetaSel ('Just "_code") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (LSPErrorCodes |? ErrorCodes)) :*: (S1 ('MetaSel ('Just "_message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "_xdata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Value)))))

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

Instances

Instances details
FromJSON (ErrorData m) => FromJSON (TResponseError m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

ToJSON (ErrorData m) => ToJSON (TResponseError m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Generic (TResponseError m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Associated Types

type Rep (TResponseError m) 
Instance details

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))))))
Show (ErrorData m) => Show (TResponseError m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Eq (ErrorData m) => Eq (TResponseError m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

ToJSON (ErrorData m) => Pretty (TResponseError m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Methods

pretty :: TResponseError m -> Doc ann #

prettyList :: [TResponseError m] -> Doc ann #

a ~ Maybe (ErrorData m) => HasXdata (TResponseError m) a # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

Methods

xdata :: Lens' (TResponseError m) a #

HasMessage (TResponseError m) Text # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

HasCode (TResponseError m) (LSPErrorCodes |? ErrorCodes) # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

type Rep (TResponseError m) # 
Instance details

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

Instances details
FromJSON RequestMessage # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

ToJSON RequestMessage # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Generic RequestMessage # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Associated Types

type Rep RequestMessage 
Instance details

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)))))
Show RequestMessage # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Eq RequestMessage # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Pretty RequestMessage # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Methods

pretty :: RequestMessage -> Doc ann #

prettyList :: [RequestMessage] -> Doc ann #

HasJsonrpc RequestMessage Text # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

HasMethod RequestMessage Text # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

HasParams RequestMessage (Maybe Value) # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

HasId RequestMessage (Int32 |? Text) # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

type Rep RequestMessage # 
Instance details

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.

Instances

Instances details
FromJSON ResponseMessage # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

ToJSON ResponseMessage # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Generic ResponseMessage # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Associated Types

type Rep ResponseMessage 
Instance details

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)))))
Show ResponseMessage # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Eq ResponseMessage # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Pretty ResponseMessage # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

HasJsonrpc ResponseMessage Text # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

HasError ResponseMessage (Maybe ResponseError) # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

HasResult ResponseMessage (Maybe Value) # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

HasId ResponseMessage (Int32 |? (Text |? Null)) # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

type Rep ResponseMessage # 
Instance details

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 

Fields

Instances

Instances details
(FromJSON (MessageParams m), FromJSON (SMethod m)) => FromJSON (TRequestMessage m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

ToJSON (MessageParams m) => ToJSON (TRequestMessage m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Generic (TRequestMessage m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Associated Types

type Rep (TRequestMessage m) 
Instance details

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)))))
Show (MessageParams m) => Show (TRequestMessage m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Eq (MessageParams m) => Eq (TRequestMessage m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

ToJSON (MessageParams m) => Pretty (TRequestMessage m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Methods

pretty :: TRequestMessage m -> Doc ann #

prettyList :: [TRequestMessage m] -> Doc ann #

HasJsonrpc (TRequestMessage m) Text # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

a ~ MessageParams m => HasParams (TRequestMessage m) a # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

Methods

params :: Lens' (TRequestMessage m) a #

HasId (TRequestMessage m) (LspId m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

Methods

id :: Lens' (TRequestMessage m) (LspId m) #

HasMethod (TRequestMessage m) (SMethod m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

type Rep (TRequestMessage m) # 
Instance details

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.

Instances

Instances details
(FromJSON (MessageResult a), FromJSON (ErrorData a)) => FromJSON (TResponseMessage a) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

(ToJSON (MessageResult m), ToJSON (ErrorData m)) => ToJSON (TResponseMessage m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Generic (TResponseMessage m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Associated Types

type Rep (TResponseMessage m) 
Instance details

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))))))
(Show (MessageResult m), Show (ErrorData m)) => Show (TResponseMessage m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

(Eq (MessageResult m), Eq (ErrorData m)) => Eq (TResponseMessage m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

(ToJSON (MessageResult m), ToJSON (ErrorData m)) => Pretty (TResponseMessage m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Methods

pretty :: TResponseMessage m -> Doc ann #

prettyList :: [TResponseMessage m] -> Doc ann #

HasJsonrpc (TResponseMessage m) Text # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

a ~ Either ResponseError (MessageResult m) => HasResult (TResponseMessage m) a # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

Methods

result :: Lens' (TResponseMessage m) a #

HasId (TResponseMessage m) (Maybe (LspId m)) # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

Methods

id :: Lens' (TResponseMessage m) (Maybe (LspId m)) #

type Rep (TResponseMessage m) # 
Instance details

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

Instances details
FromJSON NotificationMessage # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

ToJSON NotificationMessage # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Generic NotificationMessage # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Associated Types

type Rep NotificationMessage 
Instance details

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)))))
Show NotificationMessage # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Eq NotificationMessage # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Pretty NotificationMessage # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

HasJsonrpc NotificationMessage Text # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

HasMethod NotificationMessage Text # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

HasParams NotificationMessage (Maybe Value) # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

type Rep NotificationMessage # 
Instance details

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.

Instances

Instances details
(FromJSON (MessageParams m), FromJSON (SMethod m)) => FromJSON (TNotificationMessage m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

ToJSON (MessageParams m) => ToJSON (TNotificationMessage m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Generic (TNotificationMessage m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Associated Types

type Rep (TNotificationMessage m) 
Instance details

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)))))
Show (MessageParams m) => Show (TNotificationMessage m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

Eq (MessageParams m) => Eq (TNotificationMessage m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

ToJSON (MessageParams m) => Pretty (TNotificationMessage m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Types

HasJsonrpc (TNotificationMessage m) Text # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

a ~ MessageParams m => HasParams (TNotificationMessage m) a # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

HasMethod (TNotificationMessage m) (SMethod m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

type Rep (TNotificationMessage m) # 
Instance details

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

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!

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

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

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

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

Constructors

IdInt !Int32 
IdString !Text 

Instances

Instances details
FromJSON (LspId m) # 
Instance details

Defined in Language.LSP.Protocol.Message.LspId

ToJSON (LspId m) # 
Instance details

Defined in Language.LSP.Protocol.Message.LspId

Generic (LspId m) # 
Instance details

Defined in Language.LSP.Protocol.Message.LspId

Associated Types

type Rep (LspId m) 
Instance details

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)))

Methods

from :: LspId m -> Rep (LspId m) x #

to :: Rep (LspId m) x -> LspId m #

Read (LspId m) # 
Instance details

Defined in Language.LSP.Protocol.Message.LspId

Show (LspId m) # 
Instance details

Defined in Language.LSP.Protocol.Message.LspId

Methods

showsPrec :: Int -> LspId m -> ShowS #

show :: LspId m -> String #

showList :: [LspId m] -> ShowS #

Eq (LspId m) # 
Instance details

Defined in Language.LSP.Protocol.Message.LspId

Methods

(==) :: LspId m -> LspId m -> Bool #

(/=) :: LspId m -> LspId m -> Bool #

Ord (LspId m) # 
Instance details

Defined in Language.LSP.Protocol.Message.LspId

Methods

compare :: LspId m -> LspId m -> Ordering #

(<) :: LspId m -> LspId m -> Bool #

(<=) :: LspId m -> LspId m -> Bool #

(>) :: LspId m -> LspId m -> Bool #

(>=) :: LspId m -> LspId m -> Bool #

max :: LspId m -> LspId m -> LspId m #

min :: LspId m -> LspId m -> LspId m #

Hashable (LspId m) # 
Instance details

Defined in Language.LSP.Protocol.Message.LspId

Methods

hashWithSalt :: Int -> LspId m -> Int #

hash :: LspId m -> Int #

Pretty (LspId m) # 
Instance details

Defined in Language.LSP.Protocol.Message.LspId

Methods

pretty :: LspId m -> Doc ann #

prettyList :: [LspId m] -> Doc ann #

IxOrd (LspId :: Method f 'Request -> Type) # 
Instance details

Defined in Language.LSP.Protocol.Message.LspId

Associated Types

type Base (LspId :: Method f 'Request -> Type) 
Instance details

Defined in Language.LSP.Protocol.Message.LspId

Methods

toBase :: forall (a :: Method f 'Request). LspId a -> Base (LspId :: Method f 'Request -> Type) #

HasId (TResponseMessage m) (Maybe (LspId m)) # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

Methods

id :: Lens' (TResponseMessage m) (Maybe (LspId m)) #

HasId (TRequestMessage m) (LspId m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

Methods

id :: Lens' (TRequestMessage m) (LspId m) #

type Rep (LspId m) # 
Instance details

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) # 
Instance details

Defined in Language.LSP.Protocol.Message.LspId

data SomeLspId where #

Constructors

SomeLspId :: forall {f :: MessageDirection} (m :: Method f 'Request). !(LspId m) -> SomeLspId 

data MessageDirection #

Which direction messages are sent in.

data MessageKind #

What kind of message is sent.

Constructors

Notification 
Request 

data SMessageKind (f :: MessageKind) where #

Singleton type for MessageKind.

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) #

serverMethodJSON :: forall {t :: MessageKind} (m :: Method 'ServerToClient t) x. SServerMethod m -> (ToJSON (TServerMessage m) => x) -> x #

clientMethodJSON :: forall {t :: MessageKind} (m :: Method 'ClientToServer t) x. SClientMethod m -> (ToJSON (TClientMessage m) => x) -> x #

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

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

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 

Instances

Instances details
IxOrd (LspId :: Method f 'Request -> Type) # 
Instance details

Defined in Language.LSP.Protocol.Message.LspId

Associated Types

type Base (LspId :: Method f 'Request -> Type) 
Instance details

Defined in Language.LSP.Protocol.Message.LspId

Methods

toBase :: forall (a :: Method f 'Request). LspId a -> Base (LspId :: Method f 'Request -> Type) #

GCompare (SMethod :: Method f t -> Type) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

Methods

gcompare :: forall (a :: Method f t) (b :: Method f t). SMethod a -> SMethod b -> GOrdering a b #

GEq (SMethod :: Method f t -> Type) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

Methods

geq :: forall (a :: Method f t) (b :: Method f t). SMethod a -> SMethod b -> Maybe (a :~: b) #

type Base (LspId :: Method f 'Request -> Type) # 
Instance details

Defined in Language.LSP.Protocol.Message.LspId

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

Instances details
ToJSON FromClientMessage # 
Instance details

Defined in Language.LSP.Protocol.Message.Parsing

ToJSON FromServerMessage # 
Instance details

Defined in Language.LSP.Protocol.Message.Parsing

Show FromServerMessage # 
Instance details

Defined in Language.LSP.Protocol.Message.Parsing

Eq FromServerMessage # 
Instance details

Defined in Language.LSP.Protocol.Message.Parsing

HasMethod (TRegistration m) (SClientMethod m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

GCompare (SMethod :: Method f t -> Type) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

Methods

gcompare :: forall (a :: Method f t) (b :: Method f t). SMethod a -> SMethod b -> GOrdering a b #

GEq (SMethod :: Method f t -> Type) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

Methods

geq :: forall (a :: Method f t) (b :: Method f t). SMethod a -> SMethod b -> Maybe (a :~: b) #

HasMethod (TUnregistration m) (SMethod m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

HasMethod (TNotificationMessage m) (SMethod m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

HasMethod (TRequestMessage m) (SMethod m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

FromJSON (SMethod 'Method_Exit) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_Initialized) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_NotebookDocumentDidChange) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_NotebookDocumentDidClose) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_NotebookDocumentDidOpen) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_NotebookDocumentDidSave) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_SetTrace) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentDidChange) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentDidClose) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentDidOpen) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentDidSave) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentWillSave) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WindowWorkDoneProgressCancel) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WorkspaceDidChangeConfiguration) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WorkspaceDidChangeWatchedFiles) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WorkspaceDidChangeWorkspaceFolders) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WorkspaceDidCreateFiles) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WorkspaceDidDeleteFiles) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WorkspaceDidRenameFiles) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_CallHierarchyIncomingCalls) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_CallHierarchyOutgoingCalls) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_CodeActionResolve) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_CodeLensResolve) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_CompletionItemResolve) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_DocumentLinkResolve) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_Initialize) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_InlayHintResolve) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_Shutdown) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentCodeAction) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentCodeLens) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentColorPresentation) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentCompletion) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentDeclaration) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentDefinition) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentDiagnostic) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentDocumentColor) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentDocumentHighlight) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentDocumentLink) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentDocumentSymbol) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentFoldingRange) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentFormatting) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentHover) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentImplementation) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentInlayHint) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentInlineValue) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentLinkedEditingRange) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentMoniker) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentOnTypeFormatting) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentPrepareCallHierarchy) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentPrepareRename) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentPrepareTypeHierarchy) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentRangeFormatting) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentReferences) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentRename) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentSelectionRange) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentSemanticTokensFull) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentSemanticTokensFullDelta) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentSemanticTokensRange) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentSignatureHelp) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentTypeDefinition) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentWillSaveWaitUntil) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TypeHierarchySubtypes) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TypeHierarchySupertypes) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WorkspaceDiagnostic) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WorkspaceExecuteCommand) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WorkspaceSymbol) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WorkspaceSymbolResolve) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WorkspaceWillCreateFiles) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WorkspaceWillDeleteFiles) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WorkspaceWillRenameFiles) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_LogTrace) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TelemetryEvent) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_TextDocumentPublishDiagnostics) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WindowLogMessage) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WindowShowMessage) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_ClientRegisterCapability) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_ClientUnregisterCapability) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WindowShowDocument) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WindowShowMessageRequest) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WindowWorkDoneProgressCreate) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WorkspaceApplyEdit) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WorkspaceCodeLensRefresh) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WorkspaceConfiguration) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WorkspaceDiagnosticRefresh) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WorkspaceInlayHintRefresh) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WorkspaceInlineValueRefresh) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WorkspaceSemanticTokensRefresh) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod 'Method_WorkspaceWorkspaceFolders) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod ('Method_CancelRequest :: Method f 'Notification)) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

FromJSON (SMethod ('Method_Progress :: Method f 'Notification)) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

KnownSymbol s => FromJSON (SMethod ('Method_CustomMethod s :: Method f t)) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

ToJSON (SMethod m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

Show (SMethod m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

Methods

showsPrec :: Int -> SMethod m -> ShowS #

show :: SMethod m -> String #

showList :: [SMethod m] -> ShowS #

Eq (SMethod m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

Methods

(==) :: SMethod m -> SMethod m -> Bool #

(/=) :: SMethod m -> SMethod m -> Bool #

Ord (SMethod m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

Methods

compare :: SMethod m -> SMethod m -> Ordering #

(<) :: SMethod m -> SMethod m -> Bool #

(<=) :: SMethod m -> SMethod m -> Bool #

(>) :: SMethod m -> SMethod m -> Bool #

(>=) :: SMethod m -> SMethod m -> Bool #

max :: SMethod m -> SMethod m -> SMethod m #

min :: SMethod m -> SMethod m -> SMethod m #

Pretty (SMethod m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Method

Methods

pretty :: SMethod m -> Doc ann #

prettyList :: [SMethod m] -> Doc ann #

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 

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?

LSP registrations

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

Typed registration type, with correct options.

Constructors

TRegistration 

Fields

Instances

Instances details
ToJSON (TRegistration m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Registration

Generic (TRegistration m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Registration

Associated Types

type Rep (TRegistration m) 
Instance details

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))))))
Show (RegistrationOptions m) => Show (TRegistration m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Registration

Eq (RegistrationOptions m) => Eq (TRegistration m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Registration

Pretty (TRegistration m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Registration

Methods

pretty :: TRegistration m -> Doc ann #

prettyList :: [TRegistration m] -> Doc ann #

HasId (TRegistration m) Text # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

Methods

id :: Lens' (TRegistration m) Text #

a ~ Maybe (RegistrationOptions m) => HasRegisterOptions (TRegistration m) a # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

HasMethod (TRegistration m) (SClientMethod m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

type Rep (TRegistration m) # 
Instance details

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))))))

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

Typed unregistration type.

Constructors

TUnregistration 

Fields

  • _id :: Text

    The id used to unregister the request or notification. Usually an id provided during the register request.

  • _method :: SMethod m

    The method / capability to unregister for.

Instances

Instances details
ToJSON (TUnregistration m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Registration

Generic (TUnregistration m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Registration

Associated Types

type Rep (TUnregistration m) 
Instance details

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))))
Show (TUnregistration m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Registration

Eq (TUnregistration m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Registration

Pretty (TUnregistration m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Registration

Methods

pretty :: TUnregistration m -> Doc ann #

prettyList :: [TUnregistration m] -> Doc ann #

HasId (TUnregistration m) Text # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

Methods

id :: Lens' (TUnregistration m) Text #

HasMethod (TUnregistration m) (SMethod m) # 
Instance details

Defined in Language.LSP.Protocol.Message.Lens

type Rep (TUnregistration m) # 
Instance details

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))))