{-# OPTIONS_GHC -Wno-unused-imports #-}
{-# OPTIONS_GHC -Wno-unused-matches #-}
{-# OPTIONS_GHC -Wno-deprecations #-}
module Language.LSP.Protocol.Internal.Types.DocumentDiagnosticParams where
import Control.DeepSeq
import Data.Hashable
import GHC.Generics
import Language.LSP.Protocol.Utils.Misc
import Prettyprinter
import qualified Data.Aeson as Aeson
import qualified Data.Row.Aeson as Aeson
import qualified Data.Row.Hashable as Hashable
import qualified Data.Text
import qualified Language.LSP.Protocol.Internal.Types.ProgressToken
import qualified Language.LSP.Protocol.Internal.Types.TextDocumentIdentifier
import qualified Language.LSP.Protocol.Types.Common
data DocumentDiagnosticParams = DocumentDiagnosticParams
{
DocumentDiagnosticParams -> Maybe ProgressToken
_workDoneToken :: (Maybe Language.LSP.Protocol.Internal.Types.ProgressToken.ProgressToken)
,
DocumentDiagnosticParams -> Maybe ProgressToken
_partialResultToken :: (Maybe Language.LSP.Protocol.Internal.Types.ProgressToken.ProgressToken)
,
DocumentDiagnosticParams -> TextDocumentIdentifier
_textDocument :: Language.LSP.Protocol.Internal.Types.TextDocumentIdentifier.TextDocumentIdentifier
,
DocumentDiagnosticParams -> Maybe Text
_identifier :: (Maybe Data.Text.Text)
,
DocumentDiagnosticParams -> Maybe Text
_previousResultId :: (Maybe Data.Text.Text)
}
deriving stock (Int -> DocumentDiagnosticParams -> ShowS
[DocumentDiagnosticParams] -> ShowS
DocumentDiagnosticParams -> String
(Int -> DocumentDiagnosticParams -> ShowS)
-> (DocumentDiagnosticParams -> String)
-> ([DocumentDiagnosticParams] -> ShowS)
-> Show DocumentDiagnosticParams
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> DocumentDiagnosticParams -> ShowS
showsPrec :: Int -> DocumentDiagnosticParams -> ShowS
$cshow :: DocumentDiagnosticParams -> String
show :: DocumentDiagnosticParams -> String
$cshowList :: [DocumentDiagnosticParams] -> ShowS
showList :: [DocumentDiagnosticParams] -> ShowS
Show, DocumentDiagnosticParams -> DocumentDiagnosticParams -> Bool
(DocumentDiagnosticParams -> DocumentDiagnosticParams -> Bool)
-> (DocumentDiagnosticParams -> DocumentDiagnosticParams -> Bool)
-> Eq DocumentDiagnosticParams
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: DocumentDiagnosticParams -> DocumentDiagnosticParams -> Bool
== :: DocumentDiagnosticParams -> DocumentDiagnosticParams -> Bool
$c/= :: DocumentDiagnosticParams -> DocumentDiagnosticParams -> Bool
/= :: DocumentDiagnosticParams -> DocumentDiagnosticParams -> Bool
Eq, Eq DocumentDiagnosticParams
Eq DocumentDiagnosticParams =>
(DocumentDiagnosticParams -> DocumentDiagnosticParams -> Ordering)
-> (DocumentDiagnosticParams -> DocumentDiagnosticParams -> Bool)
-> (DocumentDiagnosticParams -> DocumentDiagnosticParams -> Bool)
-> (DocumentDiagnosticParams -> DocumentDiagnosticParams -> Bool)
-> (DocumentDiagnosticParams -> DocumentDiagnosticParams -> Bool)
-> (DocumentDiagnosticParams
-> DocumentDiagnosticParams -> DocumentDiagnosticParams)
-> (DocumentDiagnosticParams
-> DocumentDiagnosticParams -> DocumentDiagnosticParams)
-> Ord DocumentDiagnosticParams
DocumentDiagnosticParams -> DocumentDiagnosticParams -> Bool
DocumentDiagnosticParams -> DocumentDiagnosticParams -> Ordering
DocumentDiagnosticParams
-> DocumentDiagnosticParams -> DocumentDiagnosticParams
forall a.
Eq a =>
(a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
$ccompare :: DocumentDiagnosticParams -> DocumentDiagnosticParams -> Ordering
compare :: DocumentDiagnosticParams -> DocumentDiagnosticParams -> Ordering
$c< :: DocumentDiagnosticParams -> DocumentDiagnosticParams -> Bool
< :: DocumentDiagnosticParams -> DocumentDiagnosticParams -> Bool
$c<= :: DocumentDiagnosticParams -> DocumentDiagnosticParams -> Bool
<= :: DocumentDiagnosticParams -> DocumentDiagnosticParams -> Bool
$c> :: DocumentDiagnosticParams -> DocumentDiagnosticParams -> Bool
> :: DocumentDiagnosticParams -> DocumentDiagnosticParams -> Bool
$c>= :: DocumentDiagnosticParams -> DocumentDiagnosticParams -> Bool
>= :: DocumentDiagnosticParams -> DocumentDiagnosticParams -> Bool
$cmax :: DocumentDiagnosticParams
-> DocumentDiagnosticParams -> DocumentDiagnosticParams
max :: DocumentDiagnosticParams
-> DocumentDiagnosticParams -> DocumentDiagnosticParams
$cmin :: DocumentDiagnosticParams
-> DocumentDiagnosticParams -> DocumentDiagnosticParams
min :: DocumentDiagnosticParams
-> DocumentDiagnosticParams -> DocumentDiagnosticParams
Ord, (forall x.
DocumentDiagnosticParams -> Rep DocumentDiagnosticParams x)
-> (forall x.
Rep DocumentDiagnosticParams x -> DocumentDiagnosticParams)
-> Generic DocumentDiagnosticParams
forall x.
Rep DocumentDiagnosticParams x -> DocumentDiagnosticParams
forall x.
DocumentDiagnosticParams -> Rep DocumentDiagnosticParams x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x.
DocumentDiagnosticParams -> Rep DocumentDiagnosticParams x
from :: forall x.
DocumentDiagnosticParams -> Rep DocumentDiagnosticParams x
$cto :: forall x.
Rep DocumentDiagnosticParams x -> DocumentDiagnosticParams
to :: forall x.
Rep DocumentDiagnosticParams x -> DocumentDiagnosticParams
Generic)
deriving anyclass (DocumentDiagnosticParams -> ()
(DocumentDiagnosticParams -> ()) -> NFData DocumentDiagnosticParams
forall a. (a -> ()) -> NFData a
$crnf :: DocumentDiagnosticParams -> ()
rnf :: DocumentDiagnosticParams -> ()
NFData, Eq DocumentDiagnosticParams
Eq DocumentDiagnosticParams =>
(Int -> DocumentDiagnosticParams -> Int)
-> (DocumentDiagnosticParams -> Int)
-> Hashable DocumentDiagnosticParams
Int -> DocumentDiagnosticParams -> Int
DocumentDiagnosticParams -> Int
forall a. Eq a => (Int -> a -> Int) -> (a -> Int) -> Hashable a
$chashWithSalt :: Int -> DocumentDiagnosticParams -> Int
hashWithSalt :: Int -> DocumentDiagnosticParams -> Int
$chash :: DocumentDiagnosticParams -> Int
hash :: DocumentDiagnosticParams -> Int
Hashable)
deriving (forall ann. DocumentDiagnosticParams -> Doc ann)
-> (forall ann. [DocumentDiagnosticParams] -> Doc ann)
-> Pretty DocumentDiagnosticParams
forall ann. [DocumentDiagnosticParams] -> Doc ann
forall ann. DocumentDiagnosticParams -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
$cpretty :: forall ann. DocumentDiagnosticParams -> Doc ann
pretty :: forall ann. DocumentDiagnosticParams -> Doc ann
$cprettyList :: forall ann. [DocumentDiagnosticParams] -> Doc ann
prettyList :: forall ann. [DocumentDiagnosticParams] -> Doc ann
Pretty via (ViaJSON DocumentDiagnosticParams)
instance Aeson.ToJSON DocumentDiagnosticParams where
toJSON :: DocumentDiagnosticParams -> Value
toJSON (DocumentDiagnosticParams Maybe ProgressToken
arg0 Maybe ProgressToken
arg1 TextDocumentIdentifier
arg2 Maybe Text
arg3 Maybe Text
arg4) = [Pair] -> Value
Aeson.object ([Pair] -> Value) -> [Pair] -> Value
forall a b. (a -> b) -> a -> b
$ [[Pair]] -> [Pair]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat ([[Pair]] -> [Pair]) -> [[Pair]] -> [Pair]
forall a b. (a -> b) -> a -> b
$ [String
"workDoneToken" String -> Maybe ProgressToken -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe ProgressToken
arg0
,String
"partialResultToken" String -> Maybe ProgressToken -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe ProgressToken
arg1
,[Key
"textDocument" Key -> TextDocumentIdentifier -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= TextDocumentIdentifier
arg2]
,String
"identifier" String -> Maybe Text -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Text
arg3
,String
"previousResultId" String -> Maybe Text -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Text
arg4]
instance Aeson.FromJSON DocumentDiagnosticParams where
parseJSON :: Value -> Parser DocumentDiagnosticParams
parseJSON = String
-> (Object -> Parser DocumentDiagnosticParams)
-> Value
-> Parser DocumentDiagnosticParams
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"DocumentDiagnosticParams" ((Object -> Parser DocumentDiagnosticParams)
-> Value -> Parser DocumentDiagnosticParams)
-> (Object -> Parser DocumentDiagnosticParams)
-> Value
-> Parser DocumentDiagnosticParams
forall a b. (a -> b) -> a -> b
$ \Object
arg -> Maybe ProgressToken
-> Maybe ProgressToken
-> TextDocumentIdentifier
-> Maybe Text
-> Maybe Text
-> DocumentDiagnosticParams
DocumentDiagnosticParams (Maybe ProgressToken
-> Maybe ProgressToken
-> TextDocumentIdentifier
-> Maybe Text
-> Maybe Text
-> DocumentDiagnosticParams)
-> Parser (Maybe ProgressToken)
-> Parser
(Maybe ProgressToken
-> TextDocumentIdentifier
-> Maybe Text
-> Maybe Text
-> DocumentDiagnosticParams)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Object
arg Object -> Key -> Parser (Maybe ProgressToken)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"workDoneToken" Parser
(Maybe ProgressToken
-> TextDocumentIdentifier
-> Maybe Text
-> Maybe Text
-> DocumentDiagnosticParams)
-> Parser (Maybe ProgressToken)
-> Parser
(TextDocumentIdentifier
-> Maybe Text -> Maybe Text -> DocumentDiagnosticParams)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg Object -> Key -> Parser (Maybe ProgressToken)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"partialResultToken" Parser
(TextDocumentIdentifier
-> Maybe Text -> Maybe Text -> DocumentDiagnosticParams)
-> Parser TextDocumentIdentifier
-> Parser (Maybe Text -> Maybe Text -> DocumentDiagnosticParams)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg Object -> Key -> Parser TextDocumentIdentifier
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"textDocument" Parser (Maybe Text -> Maybe Text -> DocumentDiagnosticParams)
-> Parser (Maybe Text)
-> Parser (Maybe Text -> DocumentDiagnosticParams)
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg Object -> Key -> Parser (Maybe Text)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"identifier" Parser (Maybe Text -> DocumentDiagnosticParams)
-> Parser (Maybe Text) -> Parser DocumentDiagnosticParams
forall a b. Parser (a -> b) -> Parser a -> Parser b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg Object -> Key -> Parser (Maybe Text)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"previousResultId"