{- ORMOLU_DISABLE -}
{- HLINT ignore -}
-- THIS IS A GENERATED FILE, DO NOT EDIT

{-# 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.Aeson as Aeson
import qualified Data.Row.Hashable as Hashable
import qualified Language.LSP.Protocol.Internal.Types.ClientDiagnosticsTagOptions
import qualified Language.LSP.Protocol.Types.Common

{-|
The publish diagnostic client capabilities.
-}
data PublishDiagnosticsClientCapabilities = PublishDiagnosticsClientCapabilities 
  { {-|
  Whether the clients accepts diagnostics with related information.
  -}
  PublishDiagnosticsClientCapabilities -> Maybe Bool
_relatedInformation :: (Maybe Bool)
  , {-|
  Client supports the tag property to provide meta data about a diagnostic.
  Clients supporting tags have to handle unknown tags gracefully.

  @since 3.15.0
  -}
  PublishDiagnosticsClientCapabilities
-> Maybe ClientDiagnosticsTagOptions
_tagSupport :: (Maybe Language.LSP.Protocol.Internal.Types.ClientDiagnosticsTagOptions.ClientDiagnosticsTagOptions)
  , {-|
  Whether the client interprets the version property of the
  `textDocument/publishDiagnostics` notification's parameter.

  @since 3.15.0
  -}
  PublishDiagnosticsClientCapabilities -> Maybe Bool
_versionSupport :: (Maybe Bool)
  , {-|
  Client supports a codeDescription property

  @since 3.16.0
  -}
  PublishDiagnosticsClientCapabilities -> Maybe Bool
_codeDescriptionSupport :: (Maybe Bool)
  , {-|
  Whether code action supports the `data` property which is
  preserved between a `textDocument/publishDiagnostics` and
  `textDocument/codeAction` request.

  @since 3.16.0
  -}
  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 ClientDiagnosticsTagOptions
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 ClientDiagnosticsTagOptions -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe ClientDiagnosticsTagOptions
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 ClientDiagnosticsTagOptions
-> Maybe Bool
-> Maybe Bool
-> Maybe Bool
-> PublishDiagnosticsClientCapabilities
PublishDiagnosticsClientCapabilities (Maybe Bool
 -> Maybe ClientDiagnosticsTagOptions
 -> Maybe Bool
 -> Maybe Bool
 -> Maybe Bool
 -> PublishDiagnosticsClientCapabilities)
-> Parser (Maybe Bool)
-> Parser
     (Maybe ClientDiagnosticsTagOptions
      -> 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 ClientDiagnosticsTagOptions
   -> Maybe Bool
   -> Maybe Bool
   -> Maybe Bool
   -> PublishDiagnosticsClientCapabilities)
-> Parser (Maybe ClientDiagnosticsTagOptions)
-> 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 ClientDiagnosticsTagOptions)
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"