Language.LSP.Protocol.Message

Messages

LSP protocol message types and metadata

data NotificationMessage

Notification message type as defined in the spec.

Constructors

NotificationMessage

Fields

• _jsonrpc :: Text
• _method :: Text
• _params :: Maybe Value

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

Generic NotificationMessage

Defined in Language.LSP.Protocol.Message.Types

Associated Types

type Rep NotificationMessage :: Type -> Type

Methods

from :: NotificationMessage -> Rep NotificationMessage x

to :: Rep NotificationMessage x -> NotificationMessage

Show NotificationMessage

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

Methods

pretty :: NotificationMessage -> Doc ann

prettyList :: [NotificationMessage] -> Doc ann

HasMethod NotificationMessage Text

Defined in Language.LSP.Protocol.Message.Lens

Methods

method :: Lens' NotificationMessage Text

HasJsonrpc NotificationMessage Text

Defined in Language.LSP.Protocol.Message.Lens

Methods

jsonrpc :: Lens' NotificationMessage Text

HasParams NotificationMessage (Maybe Value)

Defined in Language.LSP.Protocol.Message.Lens

Methods

params :: Lens' NotificationMessage (Maybe Value)

type Rep NotificationMessage

Defined in Language.LSP.Protocol.Message.Types

type Rep NotificationMessage = D1 ('MetaData "NotificationMessage" "Language.LSP.Protocol.Message.Types" "lsp-types-2.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "NotificationMessage" 'PrefixI 'True) (S1 ('MetaSel ('Just "_jsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel ('Just "_method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "_params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Value)))))

data RequestMessage

Request message type as defined in the spec.

Constructors

RequestMessage

Fields

• _jsonrpc :: Text
• _id :: Int32 |? Text
• _method :: Text
• _params :: Maybe Value

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

Generic RequestMessage

Defined in Language.LSP.Protocol.Message.Types

Associated Types

type Rep RequestMessage :: Type -> Type

Methods

from :: RequestMessage -> Rep RequestMessage x

to :: Rep RequestMessage x -> RequestMessage

Show RequestMessage

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

Methods

pretty :: RequestMessage -> Doc ann

prettyList :: [RequestMessage] -> Doc ann

HasMethod RequestMessage Text

Defined in Language.LSP.Protocol.Message.Lens

Methods

method :: Lens' RequestMessage Text

HasJsonrpc RequestMessage Text

Defined in Language.LSP.Protocol.Message.Lens

Methods

jsonrpc :: Lens' RequestMessage Text

HasParams RequestMessage (Maybe Value)

Defined in Language.LSP.Protocol.Message.Lens

Methods

params :: Lens' RequestMessage (Maybe Value)

HasId RequestMessage (Int32 |? Text)

Defined in Language.LSP.Protocol.Message.Lens

Methods

id :: Lens' RequestMessage (Int32 |? Text)

type Rep RequestMessage

Defined in Language.LSP.Protocol.Message.Types

type Rep RequestMessage = D1 ('MetaData "RequestMessage" "Language.LSP.Protocol.Message.Types" "lsp-types-2.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "RequestMessage" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_jsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Int32 |? Text))) :*: (S1 ('MetaSel ('Just "_method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "_params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Value)))))

data ResponseError

Response error type as defined in the spec.

Constructors

ResponseError

Fields

• _code :: LSPErrorCodes |? ErrorCodes
• _message :: Text
• _xdata :: Maybe Value

Instances

FromJSON ResponseError

Defined in Language.LSP.Protocol.Message.Types

Methods

parseJSON :: Value -> Parser ResponseError

parseJSONList :: Value -> Parser [ResponseError]

ToJSON ResponseError

Defined in Language.LSP.Protocol.Message.Types

Methods

toJSON :: ResponseError -> Value

toEncoding :: ResponseError -> Encoding

toJSONList :: [ResponseError] -> Value

toEncodingList :: [ResponseError] -> Encoding

Generic ResponseError

Defined in Language.LSP.Protocol.Message.Types

Associated Types

type Rep ResponseError :: Type -> Type

Methods

from :: ResponseError -> Rep ResponseError x

to :: Rep ResponseError x -> ResponseError

Show ResponseError

Defined in Language.LSP.Protocol.Message.Types

Methods

showsPrec :: Int -> ResponseError -> ShowS

show :: ResponseError -> String

showList :: [ResponseError] -> ShowS

Eq ResponseError

Defined in Language.LSP.Protocol.Message.Types

Methods

(==) :: ResponseError -> ResponseError -> Bool

(/=) :: ResponseError -> ResponseError -> Bool

Pretty ResponseError

Defined in Language.LSP.Protocol.Message.Types

Methods

pretty :: ResponseError -> Doc ann

prettyList :: [ResponseError] -> Doc ann

HasMessage ResponseError Text

Defined in Language.LSP.Protocol.Message.Lens

Methods

message :: Lens' ResponseError Text

HasError ResponseMessage (Maybe ResponseError)

Defined in Language.LSP.Protocol.Message.Lens

Methods

error :: Lens' ResponseMessage (Maybe ResponseError)

HasXdata ResponseError (Maybe Value)

Defined in Language.LSP.Protocol.Message.Lens

Methods

xdata :: Lens' ResponseError (Maybe Value)

HasCode ResponseError (LSPErrorCodes |? ErrorCodes)

Defined in Language.LSP.Protocol.Message.Lens

Methods

code :: Lens' ResponseError (LSPErrorCodes |? ErrorCodes)

type Rep ResponseError

Defined in Language.LSP.Protocol.Message.Types

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

data ResponseMessage

Response message type as defined in the spec.

Constructors

ResponseMessage

Fields

• _jsonrpc :: Text
• _id :: Int32 |? (Text |? Null)
• _result :: Maybe Value
• _error :: Maybe ResponseError

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

Generic ResponseMessage

Defined in Language.LSP.Protocol.Message.Types

Associated Types

type Rep ResponseMessage :: Type -> Type

Methods

from :: ResponseMessage -> Rep ResponseMessage x

to :: Rep ResponseMessage x -> ResponseMessage

Show ResponseMessage

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

Methods

pretty :: ResponseMessage -> Doc ann

prettyList :: [ResponseMessage] -> Doc ann

HasJsonrpc ResponseMessage Text

Defined in Language.LSP.Protocol.Message.Lens

Methods

jsonrpc :: Lens' ResponseMessage Text

HasError ResponseMessage (Maybe ResponseError)

Defined in Language.LSP.Protocol.Message.Lens

Methods

error :: Lens' ResponseMessage (Maybe ResponseError)

HasResult ResponseMessage (Maybe Value)

Defined in Language.LSP.Protocol.Message.Lens

Methods

result :: Lens' ResponseMessage (Maybe Value)

HasId ResponseMessage (Int32 |? (Text |? Null))

Defined in Language.LSP.Protocol.Message.Lens

Methods

id :: Lens' ResponseMessage (Int32 |? (Text |? Null))

type Rep ResponseMessage

Defined in Language.LSP.Protocol.Message.Types

type Rep ResponseMessage = D1 ('MetaData "ResponseMessage" "Language.LSP.Protocol.Message.Types" "lsp-types-2.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "ResponseMessage" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_jsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Int32 |? (Text |? Null)))) :*: (S1 ('MetaSel ('Just "_result") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Value)) :*: S1 ('MetaSel ('Just "_error") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ResponseError)))))

data TNotificationMessage (m :: Method f Notification)

Typed notification message, containing the correct parameter payload.

Constructors

TNotificationMessage

Fields

• _jsonrpc :: Text
• _method :: SMethod m
• _params :: MessageParams m

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]

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

Generic (TNotificationMessage m)

Defined in Language.LSP.Protocol.Message.Types

Associated Types

type Rep (TNotificationMessage m) :: Type -> Type

Methods

from :: TNotificationMessage m -> Rep (TNotificationMessage m) x

to :: Rep (TNotificationMessage m) x -> TNotificationMessage m

Show (MessageParams m) => Show (TNotificationMessage m)

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.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "TNotificationMessage" 'PrefixI 'True) (S1 ('MetaSel ('Just "_jsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel ('Just "_method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (SMethod m)) :*: S1 ('MetaSel ('Just "_params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (MessageParams m)))))

data TRequestMessage (m :: Method f Request)

Typed request message, containing the correct parameter payload.

Constructors

TRequestMessage

Fields

• _jsonrpc :: Text
• _id :: LspId m
• _method :: SMethod m
• _params :: MessageParams m

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]

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

Generic (TRequestMessage m)

Defined in Language.LSP.Protocol.Message.Types

Associated Types

type Rep (TRequestMessage m) :: Type -> Type

Methods

from :: TRequestMessage m -> Rep (TRequestMessage m) x

to :: Rep (TRequestMessage m) x -> TRequestMessage m

Show (MessageParams m) => Show (TRequestMessage m)

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

Methods

pretty :: TRequestMessage m -> Doc ann

prettyList :: [TRequestMessage m] -> Doc ann

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.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "TRequestMessage" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_jsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (LspId m))) :*: (S1 ('MetaSel ('Just "_method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (SMethod m)) :*: S1 ('MetaSel ('Just "_params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (MessageParams m)))))

data TResponseError (m :: Method f Request)

Constructors

TResponseError

Fields

• _code :: LSPErrorCodes |? ErrorCodes
• _message :: Text
• _xdata :: Maybe (ErrorData m)

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]

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

Generic (TResponseError m)

Defined in Language.LSP.Protocol.Message.Types

Associated Types

type Rep (TResponseError m) :: Type -> Type

Methods

from :: TResponseError m -> Rep (TResponseError m) x

to :: Rep (TResponseError m) x -> TResponseError m

Show (ErrorData m) => Show (TResponseError m)

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

Methods

pretty :: TResponseError m -> Doc ann

prettyList :: [TResponseError m] -> Doc ann

HasMessage (TResponseError m) Text

Defined in Language.LSP.Protocol.Message.Lens

Methods

message :: Lens' (TResponseError m) Text

a ~ Maybe (ErrorData m) => HasXdata (TResponseError m) a

Defined in Language.LSP.Protocol.Message.Lens

Methods

xdata :: Lens' (TResponseError m) a

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.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "TResponseError" 'PrefixI 'True) (S1 ('MetaSel ('Just "_code") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (LSPErrorCodes |? ErrorCodes)) :*: (S1 ('MetaSel ('Just "_message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "_xdata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (ErrorData m))))))

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

data TResponseMessage (m :: Method f Request)

A typed response message with a correct result payload.

Constructors

TResponseMessage

Fields

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

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]

(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

Generic (TResponseMessage m)

Defined in Language.LSP.Protocol.Message.Types

Associated Types

type Rep (TResponseMessage m) :: Type -> Type

Methods

from :: TResponseMessage m -> Rep (TResponseMessage m) x

to :: Rep (TResponseMessage m) x -> TResponseMessage m

(Show (MessageResult m), Show (ErrorData m)) => Show (TResponseMessage m)

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

Methods

pretty :: TResponseMessage m -> Doc ann

prettyList :: [TResponseMessage m] -> Doc ann

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

Methods

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

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.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "TResponseMessage" 'PrefixI 'True) (S1 ('MetaSel ('Just "_jsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel ('Just "_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (LspId m))) :*: S1 ('MetaSel ('Just "_result") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Either ResponseError (MessageResult m))))))

data TCustomMessage s f t where

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

Constructors

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

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

Instances

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]

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]

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

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

Methods

pretty :: TCustomMessage s f t -> Doc ann

prettyList :: [TCustomMessage s f t] -> Doc ann

type family TMessage m 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

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 LspId (m :: Method f Request)

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

Constructors

IdInt !Int32

IdString !Text

Instances

FromJSON (LspId m)

Defined in Language.LSP.Protocol.Message.LspId

Methods

parseJSON :: Value -> Parser (LspId m)

parseJSONList :: Value -> Parser [LspId m]

ToJSON (LspId m)

Defined in Language.LSP.Protocol.Message.LspId

Methods

toJSON :: LspId m -> Value

toEncoding :: LspId m -> Encoding

toJSONList :: [LspId m] -> Value

toEncodingList :: [LspId m] -> Encoding

Generic (LspId m)

Defined in Language.LSP.Protocol.Message.LspId

Associated Types

type Rep (LspId m) :: Type -> Type

Methods

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

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

Read (LspId m)

Defined in Language.LSP.Protocol.Message.LspId

Methods

readsPrec :: Int -> ReadS (LspId m)

readList :: ReadS [LspId m]

readPrec :: ReadPrec (LspId m)

readListPrec :: ReadPrec [LspId m]

Show (LspId m)

Defined in Language.LSP.Protocol.Message.LspId

Methods

showsPrec :: Int -> LspId m -> ShowS

show :: LspId m -> String

showList :: [LspId m] -> ShowS

Eq (LspId m)

Defined in Language.LSP.Protocol.Message.LspId

Methods

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

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

Ord (LspId m)

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)

Defined in Language.LSP.Protocol.Message.LspId

Methods

hashWithSalt :: Int -> LspId m -> Int

hash :: LspId m -> Int

Pretty (LspId m)

Defined in Language.LSP.Protocol.Message.LspId

Methods

pretty :: LspId m -> Doc ann

prettyList :: [LspId m] -> Doc ann

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

Defined in Language.LSP.Protocol.Message.LspId

Associated Types

type Base LspId

Methods

toBase :: forall (a :: k). LspId a -> Base LspId

HasId (TResponseMessage m) (Maybe (LspId m))

Defined in Language.LSP.Protocol.Message.Lens

Methods

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

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.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "IdInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int32)) :+: C1 ('MetaCons "IdString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))

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

Defined in Language.LSP.Protocol.Message.LspId

type Base (LspId :: Method f 'Request -> Type) = SomeLspId

data SomeLspId where

Constructors

SomeLspId :: !(LspId m) -> SomeLspId

Instances

Show SomeLspId

Defined in Language.LSP.Protocol.Message.LspId

Methods

showsPrec :: Int -> SomeLspId -> ShowS

show :: SomeLspId -> String

showList :: [SomeLspId] -> ShowS

Eq SomeLspId

Defined in Language.LSP.Protocol.Message.LspId

Methods

(==) :: SomeLspId -> SomeLspId -> Bool

(/=) :: SomeLspId -> SomeLspId -> Bool

Ord SomeLspId

Defined in Language.LSP.Protocol.Message.LspId

Methods

compare :: SomeLspId -> SomeLspId -> Ordering

(<) :: SomeLspId -> SomeLspId -> Bool

(<=) :: SomeLspId -> SomeLspId -> Bool

(>) :: SomeLspId -> SomeLspId -> Bool

(>=) :: SomeLspId -> SomeLspId -> Bool

max :: SomeLspId -> SomeLspId -> SomeLspId

min :: SomeLspId -> SomeLspId -> SomeLspId

Hashable SomeLspId

Defined in Language.LSP.Protocol.Message.LspId

Methods

hashWithSalt :: Int -> SomeLspId -> Int

hash :: SomeLspId -> Int

data MessageDirection

Which direction messages are sent in.

Constructors

ServerToClient

ClientToServer

data MessageKind

What kind of message is sent.

Constructors

Notification

Request

data SMessageDirection (f :: MessageDirection) where

Singleton type for MessageDirection.

Constructors

SClientToServer :: SMessageDirection ClientToServer

SServerToClient :: SMessageDirection ServerToClient

SBothDirections :: SMessageDirection f

data SMessageKind (f :: MessageKind) where

Singleton type for MessageKind.

Constructors

SNotification :: SMessageKind Notification

SRequest :: SMessageKind Request

SBothTypes :: SMessageKind f

Parsing LSP messages

data FromServerMessage' a where

Constructors

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

FromServerRsp :: forall (m :: Method ClientToServer Request) a. a m -> TResponseMessage m -> FromServerMessage' a

Instances

ToJSON FromServerMessage

Defined in Language.LSP.Protocol.Message.Parsing

Methods

toJSON :: FromServerMessage -> Value

toEncoding :: FromServerMessage -> Encoding

toJSONList :: [FromServerMessage] -> Value

toEncodingList :: [FromServerMessage] -> Encoding

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

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

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

data FromClientMessage' a where

Constructors

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

FromClientRsp :: forall (m :: Method ServerToClient Request) a. a m -> TResponseMessage m -> FromClientMessage' a

Instances

ToJSON FromClientMessage

Defined in Language.LSP.Protocol.Message.Parsing

Methods

toJSON :: FromClientMessage -> Value

toEncoding :: FromClientMessage -> Encoding

toJSONList :: [FromClientMessage] -> Value

toEncodingList :: [FromClientMessage] -> Encoding

type FromClientMessage = FromClientMessage' SMethod

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

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

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

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

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

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

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

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

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

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

data ClientNotOrReq m where

Constructors

IsClientNot :: (HasJSON (TClientMessage m), TMessage m ~ TNotificationMessage m) => ClientNotOrReq (m :: Method ClientToServer Notification)

IsClientReq :: forall (m :: Method ClientToServer Request). (HasJSON (TClientMessage m), HasJSON (TResponseMessage m), TMessage m ~ TRequestMessage m) => ClientNotOrReq m

IsClientEither :: ClientNotOrReq (Method_CustomMethod s)

data ServerNotOrReq m where

Constructors

IsServerNot :: (HasJSON (TServerMessage m), TMessage m ~ TNotificationMessage m) => ServerNotOrReq (m :: Method ServerToClient Notification)

IsServerReq :: forall (m :: Method ServerToClient Request). (HasJSON (TServerMessage m), HasJSON (TResponseMessage m), TMessage m ~ TRequestMessage m) => ServerNotOrReq m

IsServerEither :: ServerNotOrReq (Method_CustomMethod s)

splitClientMethod :: SClientMethod m -> ClientNotOrReq m

splitServerMethod :: SServerMethod m -> ServerNotOrReq m

data CustomEq m1 m2 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

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

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

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

Heterogeneous equality on singleton server methods

mEqClient :: 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 t 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 :: Method f Notification

Method_Progress :: Method f Notification

Method_CustomMethod :: Symbol -> Method f t

Instances

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

Defined in Language.LSP.Protocol.Message.LspId

Associated Types

type Base LspId

Methods

toBase :: forall (a :: k). LspId a -> Base LspId

GCompare (SMethod :: Method f t -> Type)

Defined in Language.LSP.Protocol.Message.Method

Methods

gcompare :: forall (a :: k) (b :: k). SMethod a -> SMethod b -> GOrdering a b

GEq (SMethod :: Method f t -> Type)

Defined in Language.LSP.Protocol.Message.Method

Methods

geq :: forall (a :: k) (b :: k). SMethod a -> SMethod b -> Maybe (a :~: b)

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

Defined in Language.LSP.Protocol.Message.LspId

type Base (LspId :: Method f 'Request -> Type) = SomeLspId

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 = CancelParams

MessageParams Method_Progress = ProgressParams

MessageParams (Method_CustomMethod s) = 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) = 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) = 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))

RegistrationOptions Method_TextDocumentFoldingRange = FoldingRangeRegistrationOptions

RegistrationOptions Method_TextDocumentDeclaration = DeclarationRegistrationOptions

RegistrationOptions Method_TextDocumentSelectionRange = SelectionRangeRegistrationOptions

RegistrationOptions Method_WindowWorkDoneProgressCreate = Maybe Void

RegistrationOptions Method_TextDocumentPrepareCallHierarchy = CallHierarchyRegistrationOptions

RegistrationOptions Method_CallHierarchyIncomingCalls = Maybe Void

RegistrationOptions Method_CallHierarchyOutgoingCalls = Maybe Void

RegistrationOptions Method_TextDocumentSemanticTokensFull = SemanticTokensRegistrationOptions

RegistrationOptions Method_TextDocumentSemanticTokensFullDelta = SemanticTokensRegistrationOptions

RegistrationOptions Method_TextDocumentSemanticTokensRange = Maybe Void

RegistrationOptions Method_WorkspaceSemanticTokensRefresh = Maybe Void

RegistrationOptions Method_WindowShowDocument = Maybe Void

RegistrationOptions Method_TextDocumentLinkedEditingRange = LinkedEditingRangeRegistrationOptions

RegistrationOptions Method_WorkspaceWillCreateFiles = FileOperationRegistrationOptions

RegistrationOptions Method_WorkspaceWillRenameFiles = FileOperationRegistrationOptions

RegistrationOptions Method_WorkspaceWillDeleteFiles = FileOperationRegistrationOptions

RegistrationOptions Method_TextDocumentMoniker = MonikerRegistrationOptions

RegistrationOptions Method_TextDocumentPrepareTypeHierarchy = TypeHierarchyRegistrationOptions

RegistrationOptions Method_TypeHierarchySupertypes = Maybe Void

RegistrationOptions Method_TypeHierarchySubtypes = Maybe Void

RegistrationOptions Method_TextDocumentInlineValue = InlineValueRegistrationOptions

RegistrationOptions Method_WorkspaceInlineValueRefresh = Maybe Void

RegistrationOptions Method_TextDocumentInlayHint = InlayHintRegistrationOptions

RegistrationOptions Method_InlayHintResolve = Maybe Void

RegistrationOptions Method_WorkspaceInlayHintRefresh = Maybe Void

RegistrationOptions Method_TextDocumentDiagnostic = DiagnosticRegistrationOptions

RegistrationOptions Method_WorkspaceDiagnostic = Maybe Void

RegistrationOptions Method_WorkspaceDiagnosticRefresh = Maybe Void

RegistrationOptions Method_ClientRegisterCapability = Maybe Void

RegistrationOptions Method_ClientUnregisterCapability = Maybe Void

RegistrationOptions Method_Initialize = Maybe Void

RegistrationOptions Method_Shutdown = Maybe Void

RegistrationOptions Method_WindowShowMessageRequest = Maybe Void

RegistrationOptions Method_TextDocumentWillSaveWaitUntil = TextDocumentRegistrationOptions

RegistrationOptions Method_TextDocumentCompletion = CompletionRegistrationOptions

RegistrationOptions Method_CompletionItemResolve = Maybe Void

RegistrationOptions Method_TextDocumentHover = HoverRegistrationOptions

RegistrationOptions Method_TextDocumentSignatureHelp = SignatureHelpRegistrationOptions

RegistrationOptions Method_TextDocumentDefinition = DefinitionRegistrationOptions

RegistrationOptions Method_TextDocumentReferences = ReferenceRegistrationOptions

RegistrationOptions Method_TextDocumentDocumentHighlight = DocumentHighlightRegistrationOptions

RegistrationOptions Method_TextDocumentDocumentSymbol = DocumentSymbolRegistrationOptions

RegistrationOptions Method_TextDocumentCodeAction = CodeActionRegistrationOptions

RegistrationOptions Method_CodeActionResolve = Maybe Void

RegistrationOptions Method_WorkspaceSymbol = WorkspaceSymbolRegistrationOptions

RegistrationOptions Method_WorkspaceSymbolResolve = Maybe Void

RegistrationOptions Method_TextDocumentCodeLens = CodeLensRegistrationOptions

RegistrationOptions Method_CodeLensResolve = Maybe Void

RegistrationOptions Method_WorkspaceCodeLensRefresh = Maybe Void

RegistrationOptions Method_TextDocumentDocumentLink = DocumentLinkRegistrationOptions

RegistrationOptions Method_DocumentLinkResolve = Maybe Void

RegistrationOptions Method_TextDocumentFormatting = DocumentFormattingRegistrationOptions

RegistrationOptions Method_TextDocumentRangeFormatting = DocumentRangeFormattingRegistrationOptions

RegistrationOptions Method_TextDocumentOnTypeFormatting = DocumentOnTypeFormattingRegistrationOptions

RegistrationOptions Method_TextDocumentRename = RenameRegistrationOptions

RegistrationOptions Method_TextDocumentPrepareRename = Maybe Void

RegistrationOptions Method_WorkspaceExecuteCommand = ExecuteCommandRegistrationOptions

RegistrationOptions Method_WorkspaceApplyEdit = Maybe Void

RegistrationOptions Method_WorkspaceDidChangeWorkspaceFolders = Maybe Void

RegistrationOptions Method_WindowWorkDoneProgressCancel = Maybe Void

RegistrationOptions Method_WorkspaceDidCreateFiles = FileOperationRegistrationOptions

RegistrationOptions Method_WorkspaceDidRenameFiles = FileOperationRegistrationOptions

RegistrationOptions Method_WorkspaceDidDeleteFiles = FileOperationRegistrationOptions

RegistrationOptions Method_NotebookDocumentDidOpen = Maybe Void

RegistrationOptions Method_NotebookDocumentDidChange = Maybe Void

RegistrationOptions Method_NotebookDocumentDidSave = Maybe Void

RegistrationOptions Method_NotebookDocumentDidClose = Maybe Void

RegistrationOptions Method_Initialized = Maybe Void

RegistrationOptions Method_Exit = Maybe Void

RegistrationOptions Method_WorkspaceDidChangeConfiguration = DidChangeConfigurationRegistrationOptions

RegistrationOptions Method_WindowShowMessage = Maybe Void

RegistrationOptions Method_WindowLogMessage = Maybe Void

RegistrationOptions Method_TelemetryEvent = Maybe Void

RegistrationOptions Method_TextDocumentDidOpen = TextDocumentRegistrationOptions

RegistrationOptions Method_TextDocumentDidChange = TextDocumentChangeRegistrationOptions

RegistrationOptions Method_TextDocumentDidClose = TextDocumentRegistrationOptions

RegistrationOptions Method_TextDocumentDidSave = TextDocumentSaveRegistrationOptions

RegistrationOptions Method_TextDocumentWillSave = TextDocumentRegistrationOptions

RegistrationOptions Method_WorkspaceDidChangeWatchedFiles = DidChangeWatchedFilesRegistrationOptions

RegistrationOptions Method_TextDocumentPublishDiagnostics = Maybe Void

RegistrationOptions Method_SetTrace = Maybe Void

RegistrationOptions Method_LogTrace = Maybe Void

RegistrationOptions Method_CancelRequest = Maybe Void

RegistrationOptions Method_Progress = Maybe Void

RegistrationOptions (Method_CustomMethod s) = Void

data SMethod m where

A singleton type for Method.

Constructors

SMethod_TextDocumentImplementation :: SMethod Method_TextDocumentImplementation

SMethod_TextDocumentTypeDefinition :: SMethod Method_TextDocumentTypeDefinition

SMethod_WorkspaceWorkspaceFolders :: SMethod Method_WorkspaceWorkspaceFolders

SMethod_WorkspaceConfiguration :: SMethod Method_WorkspaceConfiguration

SMethod_TextDocumentDocumentColor :: SMethod Method_TextDocumentDocumentColor

SMethod_TextDocumentColorPresentation :: SMethod Method_TextDocumentColorPresentation

SMethod_TextDocumentFoldingRange :: SMethod Method_TextDocumentFoldingRange

SMethod_TextDocumentDeclaration :: SMethod Method_TextDocumentDeclaration

SMethod_TextDocumentSelectionRange :: SMethod Method_TextDocumentSelectionRange

SMethod_WindowWorkDoneProgressCreate :: SMethod Method_WindowWorkDoneProgressCreate

SMethod_TextDocumentPrepareCallHierarchy :: SMethod Method_TextDocumentPrepareCallHierarchy

SMethod_CallHierarchyIncomingCalls :: SMethod Method_CallHierarchyIncomingCalls

SMethod_CallHierarchyOutgoingCalls :: SMethod Method_CallHierarchyOutgoingCalls

SMethod_TextDocumentSemanticTokensFull :: SMethod Method_TextDocumentSemanticTokensFull

SMethod_TextDocumentSemanticTokensFullDelta :: SMethod Method_TextDocumentSemanticTokensFullDelta

SMethod_TextDocumentSemanticTokensRange :: SMethod Method_TextDocumentSemanticTokensRange

SMethod_WorkspaceSemanticTokensRefresh :: SMethod Method_WorkspaceSemanticTokensRefresh

SMethod_WindowShowDocument :: SMethod Method_WindowShowDocument

SMethod_TextDocumentLinkedEditingRange :: SMethod Method_TextDocumentLinkedEditingRange

SMethod_WorkspaceWillCreateFiles :: SMethod Method_WorkspaceWillCreateFiles

SMethod_WorkspaceWillRenameFiles :: SMethod Method_WorkspaceWillRenameFiles

SMethod_WorkspaceWillDeleteFiles :: SMethod Method_WorkspaceWillDeleteFiles

SMethod_TextDocumentMoniker :: SMethod Method_TextDocumentMoniker

SMethod_TextDocumentPrepareTypeHierarchy :: SMethod Method_TextDocumentPrepareTypeHierarchy

SMethod_TypeHierarchySupertypes :: SMethod Method_TypeHierarchySupertypes

SMethod_TypeHierarchySubtypes :: SMethod Method_TypeHierarchySubtypes

SMethod_TextDocumentInlineValue :: SMethod Method_TextDocumentInlineValue

SMethod_WorkspaceInlineValueRefresh :: SMethod Method_WorkspaceInlineValueRefresh

SMethod_TextDocumentInlayHint :: SMethod Method_TextDocumentInlayHint

SMethod_InlayHintResolve :: SMethod Method_InlayHintResolve

SMethod_WorkspaceInlayHintRefresh :: SMethod Method_WorkspaceInlayHintRefresh

SMethod_TextDocumentDiagnostic :: SMethod Method_TextDocumentDiagnostic

SMethod_WorkspaceDiagnostic :: SMethod Method_WorkspaceDiagnostic

SMethod_WorkspaceDiagnosticRefresh :: SMethod Method_WorkspaceDiagnosticRefresh

SMethod_ClientRegisterCapability :: SMethod Method_ClientRegisterCapability

SMethod_ClientUnregisterCapability :: SMethod Method_ClientUnregisterCapability

SMethod_Initialize :: SMethod Method_Initialize

SMethod_Shutdown :: SMethod Method_Shutdown

SMethod_WindowShowMessageRequest :: SMethod Method_WindowShowMessageRequest

SMethod_TextDocumentWillSaveWaitUntil :: SMethod Method_TextDocumentWillSaveWaitUntil

SMethod_TextDocumentCompletion :: SMethod Method_TextDocumentCompletion

SMethod_CompletionItemResolve :: SMethod Method_CompletionItemResolve

SMethod_TextDocumentHover :: SMethod Method_TextDocumentHover

SMethod_TextDocumentSignatureHelp :: SMethod Method_TextDocumentSignatureHelp

SMethod_TextDocumentDefinition :: SMethod Method_TextDocumentDefinition

SMethod_TextDocumentReferences :: SMethod Method_TextDocumentReferences

SMethod_TextDocumentDocumentHighlight :: SMethod Method_TextDocumentDocumentHighlight

SMethod_TextDocumentDocumentSymbol :: SMethod Method_TextDocumentDocumentSymbol

SMethod_TextDocumentCodeAction :: SMethod Method_TextDocumentCodeAction

SMethod_CodeActionResolve :: SMethod Method_CodeActionResolve

SMethod_WorkspaceSymbol :: SMethod Method_WorkspaceSymbol

SMethod_WorkspaceSymbolResolve :: SMethod Method_WorkspaceSymbolResolve

SMethod_TextDocumentCodeLens :: SMethod Method_TextDocumentCodeLens

SMethod_CodeLensResolve :: SMethod Method_CodeLensResolve

SMethod_WorkspaceCodeLensRefresh :: SMethod Method_WorkspaceCodeLensRefresh

SMethod_TextDocumentDocumentLink :: SMethod Method_TextDocumentDocumentLink

SMethod_DocumentLinkResolve :: SMethod Method_DocumentLinkResolve

SMethod_TextDocumentFormatting :: SMethod Method_TextDocumentFormatting

SMethod_TextDocumentRangeFormatting :: SMethod Method_TextDocumentRangeFormatting

SMethod_TextDocumentOnTypeFormatting :: SMethod Method_TextDocumentOnTypeFormatting

SMethod_TextDocumentRename :: SMethod Method_TextDocumentRename

SMethod_TextDocumentPrepareRename :: SMethod Method_TextDocumentPrepareRename

SMethod_WorkspaceExecuteCommand :: SMethod Method_WorkspaceExecuteCommand

SMethod_WorkspaceApplyEdit :: SMethod Method_WorkspaceApplyEdit

SMethod_WorkspaceDidChangeWorkspaceFolders :: SMethod Method_WorkspaceDidChangeWorkspaceFolders

SMethod_WindowWorkDoneProgressCancel :: SMethod Method_WindowWorkDoneProgressCancel

SMethod_WorkspaceDidCreateFiles :: SMethod Method_WorkspaceDidCreateFiles

SMethod_WorkspaceDidRenameFiles :: SMethod Method_WorkspaceDidRenameFiles

SMethod_WorkspaceDidDeleteFiles :: SMethod Method_WorkspaceDidDeleteFiles

SMethod_NotebookDocumentDidOpen :: SMethod Method_NotebookDocumentDidOpen

SMethod_NotebookDocumentDidChange :: SMethod Method_NotebookDocumentDidChange

SMethod_NotebookDocumentDidSave :: SMethod Method_NotebookDocumentDidSave

SMethod_NotebookDocumentDidClose :: SMethod Method_NotebookDocumentDidClose

SMethod_Initialized :: SMethod Method_Initialized

SMethod_Exit :: SMethod Method_Exit

SMethod_WorkspaceDidChangeConfiguration :: SMethod Method_WorkspaceDidChangeConfiguration

SMethod_WindowShowMessage :: SMethod Method_WindowShowMessage

SMethod_WindowLogMessage :: SMethod Method_WindowLogMessage

SMethod_TelemetryEvent :: SMethod Method_TelemetryEvent

SMethod_TextDocumentDidOpen :: SMethod Method_TextDocumentDidOpen

SMethod_TextDocumentDidChange :: SMethod Method_TextDocumentDidChange

SMethod_TextDocumentDidClose :: SMethod Method_TextDocumentDidClose

SMethod_TextDocumentDidSave :: SMethod Method_TextDocumentDidSave

SMethod_TextDocumentWillSave :: SMethod Method_TextDocumentWillSave

SMethod_WorkspaceDidChangeWatchedFiles :: SMethod Method_WorkspaceDidChangeWatchedFiles

SMethod_TextDocumentPublishDiagnostics :: SMethod Method_TextDocumentPublishDiagnostics

SMethod_SetTrace :: SMethod Method_SetTrace

SMethod_LogTrace :: SMethod Method_LogTrace

SMethod_CancelRequest :: SMethod Method_CancelRequest

SMethod_Progress :: SMethod Method_Progress

SMethod_CustomMethod :: forall s. KnownSymbol s => Proxy s -> SMethod (Method_CustomMethod s)

Instances

ToJSON FromClientMessage

Defined in Language.LSP.Protocol.Message.Parsing

Methods

toJSON :: FromClientMessage -> Value

toEncoding :: FromClientMessage -> Encoding

toJSONList :: [FromClientMessage] -> Value

toEncodingList :: [FromClientMessage] -> Encoding

ToJSON FromServerMessage

Defined in Language.LSP.Protocol.Message.Parsing

Methods

toJSON :: FromServerMessage -> Value

toEncoding :: FromServerMessage -> Encoding

toJSONList :: [FromServerMessage] -> Value

toEncodingList :: [FromServerMessage] -> Encoding

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)

Defined in Language.LSP.Protocol.Message.Method

Methods

gcompare :: forall (a :: k) (b :: k). SMethod a -> SMethod b -> GOrdering a b

GEq (SMethod :: Method f t -> Type)

Defined in Language.LSP.Protocol.Message.Method

Methods

geq :: forall (a :: k) (b :: k). SMethod a -> SMethod b -> Maybe (a :~: b)

HasMethod (TUnregistration m) (SMethod m)

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]

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

Methods

parseJSON :: Value -> Parser (SMethod 'Method_NotebookDocumentDidChange)

parseJSONList :: Value -> Parser [SMethod 'Method_NotebookDocumentDidChange]

FromJSON (SMethod 'Method_NotebookDocumentDidClose)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_NotebookDocumentDidClose)

parseJSONList :: Value -> Parser [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]

FromJSON (SMethod 'Method_NotebookDocumentDidSave)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_NotebookDocumentDidSave)

parseJSONList :: Value -> Parser [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]

FromJSON (SMethod 'Method_TextDocumentDidChange)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDidChange)

parseJSONList :: Value -> Parser [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]

FromJSON (SMethod 'Method_TextDocumentDidOpen)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDidOpen)

parseJSONList :: Value -> Parser [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]

FromJSON (SMethod 'Method_TextDocumentWillSave)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentWillSave)

parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentWillSave]

FromJSON (SMethod 'Method_WindowWorkDoneProgressCancel)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_WindowWorkDoneProgressCancel)

parseJSONList :: Value -> Parser [SMethod 'Method_WindowWorkDoneProgressCancel]

FromJSON (SMethod 'Method_WorkspaceDidChangeConfiguration)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceDidChangeConfiguration)

parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceDidChangeConfiguration]

FromJSON (SMethod 'Method_WorkspaceDidChangeWatchedFiles)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceDidChangeWatchedFiles)

parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceDidChangeWatchedFiles]

FromJSON (SMethod 'Method_WorkspaceDidChangeWorkspaceFolders)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceDidChangeWorkspaceFolders)

parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceDidChangeWorkspaceFolders]

FromJSON (SMethod 'Method_WorkspaceDidCreateFiles)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceDidCreateFiles)

parseJSONList :: Value -> Parser [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]

FromJSON (SMethod 'Method_WorkspaceDidRenameFiles)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceDidRenameFiles)

parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceDidRenameFiles]

FromJSON (SMethod 'Method_CallHierarchyIncomingCalls)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_CallHierarchyIncomingCalls)

parseJSONList :: Value -> Parser [SMethod 'Method_CallHierarchyIncomingCalls]

FromJSON (SMethod 'Method_CallHierarchyOutgoingCalls)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_CallHierarchyOutgoingCalls)

parseJSONList :: Value -> Parser [SMethod 'Method_CallHierarchyOutgoingCalls]

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]

FromJSON (SMethod 'Method_DocumentLinkResolve)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_DocumentLinkResolve)

parseJSONList :: Value -> Parser [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]

FromJSON (SMethod 'Method_TextDocumentCodeAction)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentCodeAction)

parseJSONList :: Value -> Parser [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]

FromJSON (SMethod 'Method_TextDocumentColorPresentation)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentColorPresentation)

parseJSONList :: Value -> Parser [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]

FromJSON (SMethod 'Method_TextDocumentDeclaration)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDeclaration)

parseJSONList :: Value -> Parser [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]

FromJSON (SMethod 'Method_TextDocumentDiagnostic)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDiagnostic)

parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentDiagnostic]

FromJSON (SMethod 'Method_TextDocumentDocumentColor)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDocumentColor)

parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentDocumentColor]

FromJSON (SMethod 'Method_TextDocumentDocumentHighlight)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDocumentHighlight)

parseJSONList :: Value -> Parser [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]

FromJSON (SMethod 'Method_TextDocumentDocumentSymbol)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentDocumentSymbol)

parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentDocumentSymbol]

FromJSON (SMethod 'Method_TextDocumentFoldingRange)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentFoldingRange)

parseJSONList :: Value -> Parser [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]

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

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentImplementation)

parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentImplementation]

FromJSON (SMethod 'Method_TextDocumentInlayHint)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentInlayHint)

parseJSONList :: Value -> Parser [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]

FromJSON (SMethod 'Method_TextDocumentLinkedEditingRange)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentLinkedEditingRange)

parseJSONList :: Value -> Parser [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]

FromJSON (SMethod 'Method_TextDocumentOnTypeFormatting)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentOnTypeFormatting)

parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentOnTypeFormatting]

FromJSON (SMethod 'Method_TextDocumentPrepareCallHierarchy)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentPrepareCallHierarchy)

parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentPrepareCallHierarchy]

FromJSON (SMethod 'Method_TextDocumentPrepareRename)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentPrepareRename)

parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentPrepareRename]

FromJSON (SMethod 'Method_TextDocumentPrepareTypeHierarchy)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentPrepareTypeHierarchy)

parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentPrepareTypeHierarchy]

FromJSON (SMethod 'Method_TextDocumentRangeFormatting)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentRangeFormatting)

parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentRangeFormatting]

FromJSON (SMethod 'Method_TextDocumentReferences)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentReferences)

parseJSONList :: Value -> Parser [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]

FromJSON (SMethod 'Method_TextDocumentSelectionRange)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentSelectionRange)

parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentSelectionRange]

FromJSON (SMethod 'Method_TextDocumentSemanticTokensFull)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentSemanticTokensFull)

parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentSemanticTokensFull]

FromJSON (SMethod 'Method_TextDocumentSemanticTokensFullDelta)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentSemanticTokensFullDelta)

parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentSemanticTokensFullDelta]

FromJSON (SMethod 'Method_TextDocumentSemanticTokensRange)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentSemanticTokensRange)

parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentSemanticTokensRange]

FromJSON (SMethod 'Method_TextDocumentSignatureHelp)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentSignatureHelp)

parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentSignatureHelp]

FromJSON (SMethod 'Method_TextDocumentTypeDefinition)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentTypeDefinition)

parseJSONList :: Value -> Parser [SMethod 'Method_TextDocumentTypeDefinition]

FromJSON (SMethod 'Method_TextDocumentWillSaveWaitUntil)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentWillSaveWaitUntil)

parseJSONList :: Value -> Parser [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]

FromJSON (SMethod 'Method_TypeHierarchySupertypes)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TypeHierarchySupertypes)

parseJSONList :: Value -> Parser [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]

FromJSON (SMethod 'Method_WorkspaceExecuteCommand)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceExecuteCommand)

parseJSONList :: Value -> Parser [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]

FromJSON (SMethod 'Method_WorkspaceWillCreateFiles)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceWillCreateFiles)

parseJSONList :: Value -> Parser [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]

FromJSON (SMethod 'Method_WorkspaceWillRenameFiles)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceWillRenameFiles)

parseJSONList :: Value -> Parser [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]

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)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_TextDocumentPublishDiagnostics)

parseJSONList :: Value -> Parser [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]

FromJSON (SMethod 'Method_ClientUnregisterCapability)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_ClientUnregisterCapability)

parseJSONList :: Value -> Parser [SMethod 'Method_ClientUnregisterCapability]

FromJSON (SMethod 'Method_WindowShowDocument)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_WindowShowDocument)

parseJSONList :: Value -> Parser [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]

FromJSON (SMethod 'Method_WindowWorkDoneProgressCreate)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_WindowWorkDoneProgressCreate)

parseJSONList :: Value -> Parser [SMethod 'Method_WindowWorkDoneProgressCreate]

FromJSON (SMethod 'Method_WorkspaceApplyEdit)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceApplyEdit)

parseJSONList :: Value -> Parser [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]

FromJSON (SMethod 'Method_WorkspaceConfiguration)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceConfiguration)

parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceConfiguration]

FromJSON (SMethod 'Method_WorkspaceDiagnosticRefresh)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceDiagnosticRefresh)

parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceDiagnosticRefresh]

FromJSON (SMethod 'Method_WorkspaceInlayHintRefresh)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceInlayHintRefresh)

parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceInlayHintRefresh]

FromJSON (SMethod 'Method_WorkspaceInlineValueRefresh)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceInlineValueRefresh)

parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceInlineValueRefresh]

FromJSON (SMethod 'Method_WorkspaceSemanticTokensRefresh)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceSemanticTokensRefresh)

parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceSemanticTokensRefresh]

FromJSON (SMethod 'Method_WorkspaceWorkspaceFolders)

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_WorkspaceWorkspaceFolders)

parseJSONList :: Value -> Parser [SMethod 'Method_WorkspaceWorkspaceFolders]

FromJSON (SMethod ('Method_CancelRequest :: Method f 'Notification))

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_CancelRequest)

parseJSONList :: Value -> Parser [SMethod 'Method_CancelRequest]

FromJSON (SMethod ('Method_Progress :: Method f 'Notification))

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod 'Method_Progress)

parseJSONList :: Value -> Parser [SMethod 'Method_Progress]

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

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser (SMethod ('Method_CustomMethod s))

parseJSONList :: Value -> Parser [SMethod ('Method_CustomMethod s)]

ToJSON (SMethod m)

Defined in Language.LSP.Protocol.Message.Method

Methods

toJSON :: SMethod m -> Value

toEncoding :: SMethod m -> Encoding

toJSONList :: [SMethod m] -> Value

toEncodingList :: [SMethod m] -> Encoding

Show (SMethod m)

Defined in Language.LSP.Protocol.Message.Method

Methods

showsPrec :: Int -> SMethod m -> ShowS

show :: SMethod m -> String

showList :: [SMethod m] -> ShowS

Eq (SMethod m)

Defined in Language.LSP.Protocol.Message.Method

Methods

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

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

Ord (SMethod m)

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)

Defined in Language.LSP.Protocol.Message.Method

Methods

pretty :: SMethod m -> Doc ann

prettyList :: [SMethod m] -> Doc ann

data SomeMethod where

A method which isn't statically known.

Constructors

SomeMethod :: forall m. SMethod m -> SomeMethod

Instances

FromJSON SomeMethod

Defined in Language.LSP.Protocol.Message.Method

Methods

parseJSON :: Value -> Parser SomeMethod

parseJSONList :: Value -> Parser [SomeMethod]

ToJSON SomeMethod

Defined in Language.LSP.Protocol.Message.Method

Methods

toJSON :: SomeMethod -> Value

toEncoding :: SomeMethod -> Encoding

toJSONList :: [SomeMethod] -> Value

toEncodingList :: [SomeMethod] -> Encoding

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

Methods

(==) :: SomeMethod -> SomeMethod -> Bool

(/=) :: SomeMethod -> SomeMethod -> Bool

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

Methods

pretty :: SomeMethod -> Doc ann

prettyList :: [SomeMethod] -> Doc ann

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 t (m :: Method f t). SMethod m -> SMessageDirection f

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

messageKind :: forall f t (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

forall t (m :: Method ClientToServer t). 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

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

Methods

pretty :: SomeClientMethod -> Doc ann

prettyList :: [SomeClientMethod] -> Doc ann

data SomeServerMethod

Constructors

forall t (m :: Method ServerToClient t). 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

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

Methods

pretty :: SomeServerMethod -> Doc ann

prettyList :: [SomeServerMethod] -> Doc ann

someClientMethod :: SMethod m -> Maybe SomeClientMethod

someServerMethod :: SMethod m -> Maybe SomeServerMethod

LSP registrations

data TRegistration (m :: Method ClientToServer t)

Typed registration type, with correct options.

Constructors

TRegistration

Fields

• _id :: Text

  The id used to register the request. The id can be used to deregister the request again.

• _method :: SClientMethod m

  The method / capability to register for.

• _registerOptions :: !(Maybe (RegistrationOptions m))

  Options necessary for the registration. Make this strict to aid the pattern matching exhaustiveness checker

Instances

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

Generic (TRegistration m)

Defined in Language.LSP.Protocol.Message.Registration

Associated Types

type Rep (TRegistration m) :: Type -> Type

Methods

from :: TRegistration m -> Rep (TRegistration m) x

to :: Rep (TRegistration m) x -> TRegistration m

Show (RegistrationOptions m) => Show (TRegistration m)

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

Methods

pretty :: TRegistration m -> Doc ann

prettyList :: [TRegistration m] -> Doc ann

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.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "TRegistration" 'PrefixI 'True) (S1 ('MetaSel ('Just "_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel ('Just "_method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (SClientMethod m)) :*: S1 ('MetaSel ('Just "_registerOptions") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe (RegistrationOptions m))))))

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

data SomeRegistration

Constructors

forall t (m :: Method ClientToServer t). 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

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

Methods

pretty :: SomeRegistration -> Doc ann

prettyList :: [SomeRegistration] -> Doc ann

toUntypedRegistration :: TRegistration m -> Registration

toSomeRegistration :: Registration -> Maybe SomeRegistration

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

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

Generic (TUnregistration m)

Defined in Language.LSP.Protocol.Message.Registration

Associated Types

type Rep (TUnregistration m) :: Type -> Type

Methods

from :: TUnregistration m -> Rep (TUnregistration m) x

to :: Rep (TUnregistration m) x -> TUnregistration m

Show (TUnregistration m)

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

Methods

pretty :: TUnregistration m -> Doc ann

prettyList :: [TUnregistration m] -> Doc ann

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.1.0.0-E6LpiIP9GXTHLRuc6Lzh7K" 'False) (C1 ('MetaCons "TUnregistration" 'PrefixI 'True) (S1 ('MetaSel ('Just "_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "_method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (SMethod m))))

data SomeUnregistration

Constructors

forall t (m :: Method ClientToServer t). 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

Pretty SomeUnregistration

Defined in Language.LSP.Protocol.Message.Registration

Methods

pretty :: SomeUnregistration -> Doc ann

prettyList :: [SomeUnregistration] -> Doc ann

toUntypedUnregistration :: TUnregistration m -> Unregistration

toSomeUnregistration :: Unregistration -> Maybe SomeUnregistration