{-# 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
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"