{- 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.DiagnosticWorkspaceClientCapabilities 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.Types.Common

{-|
Workspace client capabilities specific to diagnostic pull requests.

@since 3.17.0
-}
data DiagnosticWorkspaceClientCapabilities = DiagnosticWorkspaceClientCapabilities 
  { {-|
  Whether the client implementation supports a refresh request sent from
  the server to the client.

  Note that this event is global and will force the client to refresh all
  pulled diagnostics currently shown. It should be used with absolute care and
  is useful for situation where a server for example detects a project wide
  change that requires such a calculation.
  -}
  DiagnosticWorkspaceClientCapabilities -> Maybe Bool
_refreshSupport :: (Maybe Bool)
  }
  deriving stock (Int -> DiagnosticWorkspaceClientCapabilities -> ShowS
[DiagnosticWorkspaceClientCapabilities] -> ShowS
DiagnosticWorkspaceClientCapabilities -> String
(Int -> DiagnosticWorkspaceClientCapabilities -> ShowS)
-> (DiagnosticWorkspaceClientCapabilities -> String)
-> ([DiagnosticWorkspaceClientCapabilities] -> ShowS)
-> Show DiagnosticWorkspaceClientCapabilities
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> DiagnosticWorkspaceClientCapabilities -> ShowS
showsPrec :: Int -> DiagnosticWorkspaceClientCapabilities -> ShowS
$cshow :: DiagnosticWorkspaceClientCapabilities -> String
show :: DiagnosticWorkspaceClientCapabilities -> String
$cshowList :: [DiagnosticWorkspaceClientCapabilities] -> ShowS
showList :: [DiagnosticWorkspaceClientCapabilities] -> ShowS
Show, DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities -> Bool
(DiagnosticWorkspaceClientCapabilities
 -> DiagnosticWorkspaceClientCapabilities -> Bool)
-> (DiagnosticWorkspaceClientCapabilities
    -> DiagnosticWorkspaceClientCapabilities -> Bool)
-> Eq DiagnosticWorkspaceClientCapabilities
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities -> Bool
== :: DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities -> Bool
$c/= :: DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities -> Bool
/= :: DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities -> Bool
Eq, Eq DiagnosticWorkspaceClientCapabilities
Eq DiagnosticWorkspaceClientCapabilities =>
(DiagnosticWorkspaceClientCapabilities
 -> DiagnosticWorkspaceClientCapabilities -> Ordering)
-> (DiagnosticWorkspaceClientCapabilities
    -> DiagnosticWorkspaceClientCapabilities -> Bool)
-> (DiagnosticWorkspaceClientCapabilities
    -> DiagnosticWorkspaceClientCapabilities -> Bool)
-> (DiagnosticWorkspaceClientCapabilities
    -> DiagnosticWorkspaceClientCapabilities -> Bool)
-> (DiagnosticWorkspaceClientCapabilities
    -> DiagnosticWorkspaceClientCapabilities -> Bool)
-> (DiagnosticWorkspaceClientCapabilities
    -> DiagnosticWorkspaceClientCapabilities
    -> DiagnosticWorkspaceClientCapabilities)
-> (DiagnosticWorkspaceClientCapabilities
    -> DiagnosticWorkspaceClientCapabilities
    -> DiagnosticWorkspaceClientCapabilities)
-> Ord DiagnosticWorkspaceClientCapabilities
DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities -> Bool
DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities -> Ordering
DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities
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 :: DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities -> Ordering
compare :: DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities -> Ordering
$c< :: DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities -> Bool
< :: DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities -> Bool
$c<= :: DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities -> Bool
<= :: DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities -> Bool
$c> :: DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities -> Bool
> :: DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities -> Bool
$c>= :: DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities -> Bool
>= :: DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities -> Bool
$cmax :: DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities
max :: DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities
$cmin :: DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities
min :: DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities
-> DiagnosticWorkspaceClientCapabilities
Ord, (forall x.
 DiagnosticWorkspaceClientCapabilities
 -> Rep DiagnosticWorkspaceClientCapabilities x)
-> (forall x.
    Rep DiagnosticWorkspaceClientCapabilities x
    -> DiagnosticWorkspaceClientCapabilities)
-> Generic DiagnosticWorkspaceClientCapabilities
forall x.
Rep DiagnosticWorkspaceClientCapabilities x
-> DiagnosticWorkspaceClientCapabilities
forall x.
DiagnosticWorkspaceClientCapabilities
-> Rep DiagnosticWorkspaceClientCapabilities x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x.
DiagnosticWorkspaceClientCapabilities
-> Rep DiagnosticWorkspaceClientCapabilities x
from :: forall x.
DiagnosticWorkspaceClientCapabilities
-> Rep DiagnosticWorkspaceClientCapabilities x
$cto :: forall x.
Rep DiagnosticWorkspaceClientCapabilities x
-> DiagnosticWorkspaceClientCapabilities
to :: forall x.
Rep DiagnosticWorkspaceClientCapabilities x
-> DiagnosticWorkspaceClientCapabilities
Generic)
  deriving anyclass (DiagnosticWorkspaceClientCapabilities -> ()
(DiagnosticWorkspaceClientCapabilities -> ())
-> NFData DiagnosticWorkspaceClientCapabilities
forall a. (a -> ()) -> NFData a
$crnf :: DiagnosticWorkspaceClientCapabilities -> ()
rnf :: DiagnosticWorkspaceClientCapabilities -> ()
NFData, Eq DiagnosticWorkspaceClientCapabilities
Eq DiagnosticWorkspaceClientCapabilities =>
(Int -> DiagnosticWorkspaceClientCapabilities -> Int)
-> (DiagnosticWorkspaceClientCapabilities -> Int)
-> Hashable DiagnosticWorkspaceClientCapabilities
Int -> DiagnosticWorkspaceClientCapabilities -> Int
DiagnosticWorkspaceClientCapabilities -> Int
forall a. Eq a => (Int -> a -> Int) -> (a -> Int) -> Hashable a
$chashWithSalt :: Int -> DiagnosticWorkspaceClientCapabilities -> Int
hashWithSalt :: Int -> DiagnosticWorkspaceClientCapabilities -> Int
$chash :: DiagnosticWorkspaceClientCapabilities -> Int
hash :: DiagnosticWorkspaceClientCapabilities -> Int
Hashable)
  deriving (forall ann. DiagnosticWorkspaceClientCapabilities -> Doc ann)
-> (forall ann. [DiagnosticWorkspaceClientCapabilities] -> Doc ann)
-> Pretty DiagnosticWorkspaceClientCapabilities
forall ann. [DiagnosticWorkspaceClientCapabilities] -> Doc ann
forall ann. DiagnosticWorkspaceClientCapabilities -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
$cpretty :: forall ann. DiagnosticWorkspaceClientCapabilities -> Doc ann
pretty :: forall ann. DiagnosticWorkspaceClientCapabilities -> Doc ann
$cprettyList :: forall ann. [DiagnosticWorkspaceClientCapabilities] -> Doc ann
prettyList :: forall ann. [DiagnosticWorkspaceClientCapabilities] -> Doc ann
Pretty via (ViaJSON DiagnosticWorkspaceClientCapabilities)

instance Aeson.ToJSON DiagnosticWorkspaceClientCapabilities where
  toJSON :: DiagnosticWorkspaceClientCapabilities -> Value
toJSON (DiagnosticWorkspaceClientCapabilities Maybe Bool
arg0) = [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
"refreshSupport" 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]

instance Aeson.FromJSON DiagnosticWorkspaceClientCapabilities where
  parseJSON :: Value -> Parser DiagnosticWorkspaceClientCapabilities
parseJSON = String
-> (Object -> Parser DiagnosticWorkspaceClientCapabilities)
-> Value
-> Parser DiagnosticWorkspaceClientCapabilities
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"DiagnosticWorkspaceClientCapabilities" ((Object -> Parser DiagnosticWorkspaceClientCapabilities)
 -> Value -> Parser DiagnosticWorkspaceClientCapabilities)
-> (Object -> Parser DiagnosticWorkspaceClientCapabilities)
-> Value
-> Parser DiagnosticWorkspaceClientCapabilities
forall a b. (a -> b) -> a -> b
$ \Object
arg -> Maybe Bool -> DiagnosticWorkspaceClientCapabilities
DiagnosticWorkspaceClientCapabilities (Maybe Bool -> DiagnosticWorkspaceClientCapabilities)
-> Parser (Maybe Bool)
-> Parser DiagnosticWorkspaceClientCapabilities
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
"refreshSupport"