{-# OPTIONS_GHC -Wno-unused-imports #-}
{-# OPTIONS_GHC -Wno-unused-matches #-}
{-# OPTIONS_GHC -Wno-deprecations #-}
module Language.LSP.Protocol.Internal.Types.PublishDiagnosticsClientCapabilities 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 as Row
import qualified Data.Row.Aeson as Aeson
import qualified Data.Row.Hashable as Hashable
import qualified Language.LSP.Protocol.Internal.Types.DiagnosticTag
import qualified Language.LSP.Protocol.Types.Common
data PublishDiagnosticsClientCapabilities = PublishDiagnosticsClientCapabilities
{
PublishDiagnosticsClientCapabilities -> Maybe Bool
_relatedInformation :: (Maybe Bool)
,
PublishDiagnosticsClientCapabilities
-> Maybe (Rec (("valueSet" .== [DiagnosticTag]) .+ Empty))
_tagSupport :: (Maybe (Row.Rec ("valueSet" Row..== [Language.LSP.Protocol.Internal.Types.DiagnosticTag.DiagnosticTag] Row..+ Row.Empty)))
,
PublishDiagnosticsClientCapabilities -> Maybe Bool
_versionSupport :: (Maybe Bool)
,
PublishDiagnosticsClientCapabilities -> Maybe Bool
_codeDescriptionSupport :: (Maybe Bool)
,
PublishDiagnosticsClientCapabilities -> Maybe Bool
_dataSupport :: (Maybe Bool)
}
deriving stock (Int -> PublishDiagnosticsClientCapabilities -> ShowS
[PublishDiagnosticsClientCapabilities] -> ShowS
PublishDiagnosticsClientCapabilities -> String
(Int -> PublishDiagnosticsClientCapabilities -> ShowS)
-> (PublishDiagnosticsClientCapabilities -> String)
-> ([PublishDiagnosticsClientCapabilities] -> ShowS)
-> Show PublishDiagnosticsClientCapabilities
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> PublishDiagnosticsClientCapabilities -> ShowS
showsPrec :: Int -> PublishDiagnosticsClientCapabilities -> ShowS
$cshow :: PublishDiagnosticsClientCapabilities -> String
show :: PublishDiagnosticsClientCapabilities -> String
$cshowList :: [PublishDiagnosticsClientCapabilities] -> ShowS
showList :: [PublishDiagnosticsClientCapabilities] -> ShowS
Show, PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Bool
(PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Bool)
-> (PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Bool)
-> Eq PublishDiagnosticsClientCapabilities
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Bool
== :: PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Bool
$c/= :: PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Bool
/= :: PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Bool
Eq, Eq PublishDiagnosticsClientCapabilities
Eq PublishDiagnosticsClientCapabilities =>
(PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Ordering)
-> (PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Bool)
-> (PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Bool)
-> (PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Bool)
-> (PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Bool)
-> (PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities)
-> (PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities)
-> Ord PublishDiagnosticsClientCapabilities
PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Bool
PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Ordering
PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities
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 :: PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Ordering
compare :: PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Ordering
$c< :: PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Bool
< :: PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Bool
$c<= :: PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Bool
<= :: PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Bool
$c> :: PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Bool
> :: PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Bool
$c>= :: PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Bool
>= :: PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities -> Bool
$cmax :: PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities
max :: PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities
$cmin :: PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities
min :: PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities
-> PublishDiagnosticsClientCapabilities
Ord, (forall x.
PublishDiagnosticsClientCapabilities
-> Rep PublishDiagnosticsClientCapabilities x)
-> (forall x.
Rep PublishDiagnosticsClientCapabilities x
-> PublishDiagnosticsClientCapabilities)
-> Generic PublishDiagnosticsClientCapabilities
forall x.
Rep PublishDiagnosticsClientCapabilities x
-> PublishDiagnosticsClientCapabilities
forall x.
PublishDiagnosticsClientCapabilities
-> Rep PublishDiagnosticsClientCapabilities x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x.
PublishDiagnosticsClientCapabilities
-> Rep PublishDiagnosticsClientCapabilities x
from :: forall x.
PublishDiagnosticsClientCapabilities
-> Rep PublishDiagnosticsClientCapabilities x
$cto :: forall x.
Rep PublishDiagnosticsClientCapabilities x
-> PublishDiagnosticsClientCapabilities
to :: forall x.
Rep PublishDiagnosticsClientCapabilities x
-> PublishDiagnosticsClientCapabilities
Generic)
deriving anyclass (PublishDiagnosticsClientCapabilities -> ()
(PublishDiagnosticsClientCapabilities -> ())
-> NFData PublishDiagnosticsClientCapabilities
forall a. (a -> ()) -> NFData a
$crnf :: PublishDiagnosticsClientCapabilities -> ()
rnf :: PublishDiagnosticsClientCapabilities -> ()
NFData, Eq PublishDiagnosticsClientCapabilities
Eq PublishDiagnosticsClientCapabilities =>
(Int -> PublishDiagnosticsClientCapabilities -> Int)
-> (PublishDiagnosticsClientCapabilities -> Int)
-> Hashable PublishDiagnosticsClientCapabilities
Int -> PublishDiagnosticsClientCapabilities -> Int
PublishDiagnosticsClientCapabilities -> Int
forall a. Eq a => (Int -> a -> Int) -> (a -> Int) -> Hashable a
$chashWithSalt :: Int -> PublishDiagnosticsClientCapabilities -> Int
hashWithSalt :: Int -> PublishDiagnosticsClientCapabilities -> Int
$chash :: PublishDiagnosticsClientCapabilities -> Int
hash :: PublishDiagnosticsClientCapabilities -> Int
Hashable)
deriving (forall ann. PublishDiagnosticsClientCapabilities -> Doc ann)
-> (forall ann. [PublishDiagnosticsClientCapabilities] -> Doc ann)
-> Pretty PublishDiagnosticsClientCapabilities
forall ann. [PublishDiagnosticsClientCapabilities] -> Doc ann
forall ann. PublishDiagnosticsClientCapabilities -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
$cpretty :: forall ann. PublishDiagnosticsClientCapabilities -> Doc ann
pretty :: forall ann. PublishDiagnosticsClientCapabilities -> Doc ann
$cprettyList :: forall ann. [PublishDiagnosticsClientCapabilities] -> Doc ann
prettyList :: forall ann. [PublishDiagnosticsClientCapabilities] -> Doc ann
Pretty via (ViaJSON PublishDiagnosticsClientCapabilities)
instance Aeson.ToJSON PublishDiagnosticsClientCapabilities where
toJSON :: PublishDiagnosticsClientCapabilities -> Value
toJSON (PublishDiagnosticsClientCapabilities Maybe Bool
arg0 Maybe (Rec (("valueSet" .== [DiagnosticTag]) .+ Empty))
arg1 Maybe Bool
arg2 Maybe Bool
arg3 Maybe Bool
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
"relatedInformation" String -> Maybe Bool -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Bool
arg0
,String
"tagSupport" String
-> Maybe (Rec ('R '["valueSet" ':-> [DiagnosticTag]])) -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (Rec (("valueSet" .== [DiagnosticTag]) .+ Empty))
Maybe (Rec ('R '["valueSet" ':-> [DiagnosticTag]]))
arg1
,String
"versionSupport" String -> Maybe Bool -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Bool
arg2
,String
"codeDescriptionSupport" String -> Maybe Bool -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Bool
arg3
,String
"dataSupport" String -> Maybe Bool -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Bool
arg4]
instance Aeson.FromJSON PublishDiagnosticsClientCapabilities where
parseJSON :: Value -> Parser PublishDiagnosticsClientCapabilities
parseJSON = String
-> (Object -> Parser PublishDiagnosticsClientCapabilities)
-> Value
-> Parser PublishDiagnosticsClientCapabilities
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"PublishDiagnosticsClientCapabilities" ((Object -> Parser PublishDiagnosticsClientCapabilities)
-> Value -> Parser PublishDiagnosticsClientCapabilities)
-> (Object -> Parser PublishDiagnosticsClientCapabilities)
-> Value
-> Parser PublishDiagnosticsClientCapabilities
forall a b. (a -> b) -> a -> b
$ \Object
arg -> Maybe Bool
-> Maybe (Rec (("valueSet" .== [DiagnosticTag]) .+ Empty))
-> Maybe Bool
-> Maybe Bool
-> Maybe Bool
-> PublishDiagnosticsClientCapabilities
Maybe Bool
-> Maybe (Rec ('R '["valueSet" ':-> [DiagnosticTag]]))
-> Maybe Bool
-> Maybe Bool
-> Maybe Bool
-> PublishDiagnosticsClientCapabilities
PublishDiagnosticsClientCapabilities (Maybe Bool
-> Maybe (Rec ('R '["valueSet" ':-> [DiagnosticTag]]))
-> Maybe Bool
-> Maybe Bool
-> Maybe Bool
-> PublishDiagnosticsClientCapabilities)
-> Parser (Maybe Bool)
-> Parser
(Maybe (Rec ('R '["valueSet" ':-> [DiagnosticTag]]))
-> Maybe Bool
-> Maybe Bool
-> Maybe Bool
-> PublishDiagnosticsClientCapabilities)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Object
arg Object -> Key -> Parser (Maybe Bool)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"relatedInformation" Parser
(Maybe (Rec ('R '["valueSet" ':-> [DiagnosticTag]]))
-> Maybe Bool
-> Maybe Bool
-> Maybe Bool
-> PublishDiagnosticsClientCapabilities)
-> Parser (Maybe (Rec ('R '["valueSet" ':-> [DiagnosticTag]])))
-> Parser
(Maybe Bool
-> Maybe Bool
-> Maybe Bool
-> PublishDiagnosticsClientCapabilities)
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 (Rec ('R '["valueSet" ':-> [DiagnosticTag]])))
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"tagSupport" Parser
(Maybe Bool
-> Maybe Bool
-> Maybe Bool
-> PublishDiagnosticsClientCapabilities)
-> Parser (Maybe Bool)
-> Parser
(Maybe Bool -> Maybe Bool -> PublishDiagnosticsClientCapabilities)
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 Bool)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"versionSupport" Parser
(Maybe Bool -> Maybe Bool -> PublishDiagnosticsClientCapabilities)
-> Parser (Maybe Bool)
-> Parser (Maybe Bool -> PublishDiagnosticsClientCapabilities)
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 Bool)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"codeDescriptionSupport" Parser (Maybe Bool -> PublishDiagnosticsClientCapabilities)
-> Parser (Maybe Bool)
-> Parser PublishDiagnosticsClientCapabilities
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 Bool)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"dataSupport"