{- 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.DiagnosticServerCancellationData 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

{-|
Cancellation data returned from a diagnostic request.

@since 3.17.0
-}
data DiagnosticServerCancellationData = DiagnosticServerCancellationData 
  { {-|

  -}
  DiagnosticServerCancellationData -> Bool
_retriggerRequest :: Bool
  }
  deriving stock (Int -> DiagnosticServerCancellationData -> ShowS
[DiagnosticServerCancellationData] -> ShowS
DiagnosticServerCancellationData -> String
(Int -> DiagnosticServerCancellationData -> ShowS)
-> (DiagnosticServerCancellationData -> String)
-> ([DiagnosticServerCancellationData] -> ShowS)
-> Show DiagnosticServerCancellationData
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> DiagnosticServerCancellationData -> ShowS
showsPrec :: Int -> DiagnosticServerCancellationData -> ShowS
$cshow :: DiagnosticServerCancellationData -> String
show :: DiagnosticServerCancellationData -> String
$cshowList :: [DiagnosticServerCancellationData] -> ShowS
showList :: [DiagnosticServerCancellationData] -> ShowS
Show, DiagnosticServerCancellationData
-> DiagnosticServerCancellationData -> Bool
(DiagnosticServerCancellationData
 -> DiagnosticServerCancellationData -> Bool)
-> (DiagnosticServerCancellationData
    -> DiagnosticServerCancellationData -> Bool)
-> Eq DiagnosticServerCancellationData
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: DiagnosticServerCancellationData
-> DiagnosticServerCancellationData -> Bool
== :: DiagnosticServerCancellationData
-> DiagnosticServerCancellationData -> Bool
$c/= :: DiagnosticServerCancellationData
-> DiagnosticServerCancellationData -> Bool
/= :: DiagnosticServerCancellationData
-> DiagnosticServerCancellationData -> Bool
Eq, Eq DiagnosticServerCancellationData
Eq DiagnosticServerCancellationData =>
(DiagnosticServerCancellationData
 -> DiagnosticServerCancellationData -> Ordering)
-> (DiagnosticServerCancellationData
    -> DiagnosticServerCancellationData -> Bool)
-> (DiagnosticServerCancellationData
    -> DiagnosticServerCancellationData -> Bool)
-> (DiagnosticServerCancellationData
    -> DiagnosticServerCancellationData -> Bool)
-> (DiagnosticServerCancellationData
    -> DiagnosticServerCancellationData -> Bool)
-> (DiagnosticServerCancellationData
    -> DiagnosticServerCancellationData
    -> DiagnosticServerCancellationData)
-> (DiagnosticServerCancellationData
    -> DiagnosticServerCancellationData
    -> DiagnosticServerCancellationData)
-> Ord DiagnosticServerCancellationData
DiagnosticServerCancellationData
-> DiagnosticServerCancellationData -> Bool
DiagnosticServerCancellationData
-> DiagnosticServerCancellationData -> Ordering
DiagnosticServerCancellationData
-> DiagnosticServerCancellationData
-> DiagnosticServerCancellationData
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 :: DiagnosticServerCancellationData
-> DiagnosticServerCancellationData -> Ordering
compare :: DiagnosticServerCancellationData
-> DiagnosticServerCancellationData -> Ordering
$c< :: DiagnosticServerCancellationData
-> DiagnosticServerCancellationData -> Bool
< :: DiagnosticServerCancellationData
-> DiagnosticServerCancellationData -> Bool
$c<= :: DiagnosticServerCancellationData
-> DiagnosticServerCancellationData -> Bool
<= :: DiagnosticServerCancellationData
-> DiagnosticServerCancellationData -> Bool
$c> :: DiagnosticServerCancellationData
-> DiagnosticServerCancellationData -> Bool
> :: DiagnosticServerCancellationData
-> DiagnosticServerCancellationData -> Bool
$c>= :: DiagnosticServerCancellationData
-> DiagnosticServerCancellationData -> Bool
>= :: DiagnosticServerCancellationData
-> DiagnosticServerCancellationData -> Bool
$cmax :: DiagnosticServerCancellationData
-> DiagnosticServerCancellationData
-> DiagnosticServerCancellationData
max :: DiagnosticServerCancellationData
-> DiagnosticServerCancellationData
-> DiagnosticServerCancellationData
$cmin :: DiagnosticServerCancellationData
-> DiagnosticServerCancellationData
-> DiagnosticServerCancellationData
min :: DiagnosticServerCancellationData
-> DiagnosticServerCancellationData
-> DiagnosticServerCancellationData
Ord, (forall x.
 DiagnosticServerCancellationData
 -> Rep DiagnosticServerCancellationData x)
-> (forall x.
    Rep DiagnosticServerCancellationData x
    -> DiagnosticServerCancellationData)
-> Generic DiagnosticServerCancellationData
forall x.
Rep DiagnosticServerCancellationData x
-> DiagnosticServerCancellationData
forall x.
DiagnosticServerCancellationData
-> Rep DiagnosticServerCancellationData x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x.
DiagnosticServerCancellationData
-> Rep DiagnosticServerCancellationData x
from :: forall x.
DiagnosticServerCancellationData
-> Rep DiagnosticServerCancellationData x
$cto :: forall x.
Rep DiagnosticServerCancellationData x
-> DiagnosticServerCancellationData
to :: forall x.
Rep DiagnosticServerCancellationData x
-> DiagnosticServerCancellationData
Generic)
  deriving anyclass (DiagnosticServerCancellationData -> ()
(DiagnosticServerCancellationData -> ())
-> NFData DiagnosticServerCancellationData
forall a. (a -> ()) -> NFData a
$crnf :: DiagnosticServerCancellationData -> ()
rnf :: DiagnosticServerCancellationData -> ()
NFData, Eq DiagnosticServerCancellationData
Eq DiagnosticServerCancellationData =>
(Int -> DiagnosticServerCancellationData -> Int)
-> (DiagnosticServerCancellationData -> Int)
-> Hashable DiagnosticServerCancellationData
Int -> DiagnosticServerCancellationData -> Int
DiagnosticServerCancellationData -> Int
forall a. Eq a => (Int -> a -> Int) -> (a -> Int) -> Hashable a
$chashWithSalt :: Int -> DiagnosticServerCancellationData -> Int
hashWithSalt :: Int -> DiagnosticServerCancellationData -> Int
$chash :: DiagnosticServerCancellationData -> Int
hash :: DiagnosticServerCancellationData -> Int
Hashable)
  deriving (forall ann. DiagnosticServerCancellationData -> Doc ann)
-> (forall ann. [DiagnosticServerCancellationData] -> Doc ann)
-> Pretty DiagnosticServerCancellationData
forall ann. [DiagnosticServerCancellationData] -> Doc ann
forall ann. DiagnosticServerCancellationData -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
$cpretty :: forall ann. DiagnosticServerCancellationData -> Doc ann
pretty :: forall ann. DiagnosticServerCancellationData -> Doc ann
$cprettyList :: forall ann. [DiagnosticServerCancellationData] -> Doc ann
prettyList :: forall ann. [DiagnosticServerCancellationData] -> Doc ann
Pretty via (ViaJSON DiagnosticServerCancellationData)

instance Aeson.ToJSON DiagnosticServerCancellationData where
  toJSON :: DiagnosticServerCancellationData -> Value
toJSON (DiagnosticServerCancellationData 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
$  [[Key
"retriggerRequest" Key -> Bool -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= Bool
arg0]]

instance Aeson.FromJSON DiagnosticServerCancellationData where
  parseJSON :: Value -> Parser DiagnosticServerCancellationData
parseJSON = String
-> (Object -> Parser DiagnosticServerCancellationData)
-> Value
-> Parser DiagnosticServerCancellationData
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"DiagnosticServerCancellationData" ((Object -> Parser DiagnosticServerCancellationData)
 -> Value -> Parser DiagnosticServerCancellationData)
-> (Object -> Parser DiagnosticServerCancellationData)
-> Value
-> Parser DiagnosticServerCancellationData
forall a b. (a -> b) -> a -> b
$ \Object
arg -> Bool -> DiagnosticServerCancellationData
DiagnosticServerCancellationData (Bool -> DiagnosticServerCancellationData)
-> Parser Bool -> Parser DiagnosticServerCancellationData
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Object
arg Object -> Key -> Parser Bool
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"retriggerRequest"