{- 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.WorkspaceDiagnosticParams 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 Data.Text
import qualified Language.LSP.Protocol.Internal.Types.PreviousResultId
import qualified Language.LSP.Protocol.Internal.Types.ProgressToken
import qualified Language.LSP.Protocol.Types.Common

{-|
Parameters of the workspace diagnostic request.

@since 3.17.0
-}
data WorkspaceDiagnosticParams = WorkspaceDiagnosticParams 
  { {-|
  An optional token that a server can use to report work done progress.
  -}
  WorkspaceDiagnosticParams -> Maybe ProgressToken
_workDoneToken :: (Maybe Language.LSP.Protocol.Internal.Types.ProgressToken.ProgressToken)
  , {-|
  An optional token that a server can use to report partial results (e.g. streaming) to
  the client.
  -}
  WorkspaceDiagnosticParams -> Maybe ProgressToken
_partialResultToken :: (Maybe Language.LSP.Protocol.Internal.Types.ProgressToken.ProgressToken)
  , {-|
  The additional identifier provided during registration.
  -}
  WorkspaceDiagnosticParams -> Maybe Text
_identifier :: (Maybe Data.Text.Text)
  , {-|
  The currently known diagnostic reports with their
  previous result ids.
  -}
  WorkspaceDiagnosticParams -> [PreviousResultId]
_previousResultIds :: [Language.LSP.Protocol.Internal.Types.PreviousResultId.PreviousResultId]
  }
  deriving stock (Int -> WorkspaceDiagnosticParams -> ShowS
[WorkspaceDiagnosticParams] -> ShowS
WorkspaceDiagnosticParams -> String
(Int -> WorkspaceDiagnosticParams -> ShowS)
-> (WorkspaceDiagnosticParams -> String)
-> ([WorkspaceDiagnosticParams] -> ShowS)
-> Show WorkspaceDiagnosticParams
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> WorkspaceDiagnosticParams -> ShowS
showsPrec :: Int -> WorkspaceDiagnosticParams -> ShowS
$cshow :: WorkspaceDiagnosticParams -> String
show :: WorkspaceDiagnosticParams -> String
$cshowList :: [WorkspaceDiagnosticParams] -> ShowS
showList :: [WorkspaceDiagnosticParams] -> ShowS
Show, WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Bool
(WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Bool)
-> (WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Bool)
-> Eq WorkspaceDiagnosticParams
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Bool
== :: WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Bool
$c/= :: WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Bool
/= :: WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Bool
Eq, Eq WorkspaceDiagnosticParams
Eq WorkspaceDiagnosticParams =>
(WorkspaceDiagnosticParams
 -> WorkspaceDiagnosticParams -> Ordering)
-> (WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Bool)
-> (WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Bool)
-> (WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Bool)
-> (WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Bool)
-> (WorkspaceDiagnosticParams
    -> WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams)
-> (WorkspaceDiagnosticParams
    -> WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams)
-> Ord WorkspaceDiagnosticParams
WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Bool
WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Ordering
WorkspaceDiagnosticParams
-> WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams
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 :: WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Ordering
compare :: WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Ordering
$c< :: WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Bool
< :: WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Bool
$c<= :: WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Bool
<= :: WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Bool
$c> :: WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Bool
> :: WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Bool
$c>= :: WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Bool
>= :: WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams -> Bool
$cmax :: WorkspaceDiagnosticParams
-> WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams
max :: WorkspaceDiagnosticParams
-> WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams
$cmin :: WorkspaceDiagnosticParams
-> WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams
min :: WorkspaceDiagnosticParams
-> WorkspaceDiagnosticParams -> WorkspaceDiagnosticParams
Ord, (forall x.
 WorkspaceDiagnosticParams -> Rep WorkspaceDiagnosticParams x)
-> (forall x.
    Rep WorkspaceDiagnosticParams x -> WorkspaceDiagnosticParams)
-> Generic WorkspaceDiagnosticParams
forall x.
Rep WorkspaceDiagnosticParams x -> WorkspaceDiagnosticParams
forall x.
WorkspaceDiagnosticParams -> Rep WorkspaceDiagnosticParams x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x.
WorkspaceDiagnosticParams -> Rep WorkspaceDiagnosticParams x
from :: forall x.
WorkspaceDiagnosticParams -> Rep WorkspaceDiagnosticParams x
$cto :: forall x.
Rep WorkspaceDiagnosticParams x -> WorkspaceDiagnosticParams
to :: forall x.
Rep WorkspaceDiagnosticParams x -> WorkspaceDiagnosticParams
Generic)
  deriving anyclass (WorkspaceDiagnosticParams -> ()
(WorkspaceDiagnosticParams -> ())
-> NFData WorkspaceDiagnosticParams
forall a. (a -> ()) -> NFData a
$crnf :: WorkspaceDiagnosticParams -> ()
rnf :: WorkspaceDiagnosticParams -> ()
NFData, Eq WorkspaceDiagnosticParams
Eq WorkspaceDiagnosticParams =>
(Int -> WorkspaceDiagnosticParams -> Int)
-> (WorkspaceDiagnosticParams -> Int)
-> Hashable WorkspaceDiagnosticParams
Int -> WorkspaceDiagnosticParams -> Int
WorkspaceDiagnosticParams -> Int
forall a. Eq a => (Int -> a -> Int) -> (a -> Int) -> Hashable a
$chashWithSalt :: Int -> WorkspaceDiagnosticParams -> Int
hashWithSalt :: Int -> WorkspaceDiagnosticParams -> Int
$chash :: WorkspaceDiagnosticParams -> Int
hash :: WorkspaceDiagnosticParams -> Int
Hashable)
  deriving (forall ann. WorkspaceDiagnosticParams -> Doc ann)
-> (forall ann. [WorkspaceDiagnosticParams] -> Doc ann)
-> Pretty WorkspaceDiagnosticParams
forall ann. [WorkspaceDiagnosticParams] -> Doc ann
forall ann. WorkspaceDiagnosticParams -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
$cpretty :: forall ann. WorkspaceDiagnosticParams -> Doc ann
pretty :: forall ann. WorkspaceDiagnosticParams -> Doc ann
$cprettyList :: forall ann. [WorkspaceDiagnosticParams] -> Doc ann
prettyList :: forall ann. [WorkspaceDiagnosticParams] -> Doc ann
Pretty via (ViaJSON WorkspaceDiagnosticParams)

instance Aeson.ToJSON WorkspaceDiagnosticParams where
  toJSON :: WorkspaceDiagnosticParams -> Value
toJSON (WorkspaceDiagnosticParams Maybe ProgressToken
arg0 Maybe ProgressToken
arg1 Maybe Text
arg2 [PreviousResultId]
arg3) = [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
"workDoneToken" String -> Maybe ProgressToken -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe ProgressToken
arg0
    ,String
"partialResultToken" String -> Maybe ProgressToken -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe ProgressToken
arg1
    ,String
"identifier" String -> Maybe Text -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Text
arg2
    ,[Key
"previousResultIds" Key -> [PreviousResultId] -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= [PreviousResultId]
arg3]]

instance Aeson.FromJSON WorkspaceDiagnosticParams where
  parseJSON :: Value -> Parser WorkspaceDiagnosticParams
parseJSON = String
-> (Object -> Parser WorkspaceDiagnosticParams)
-> Value
-> Parser WorkspaceDiagnosticParams
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"WorkspaceDiagnosticParams" ((Object -> Parser WorkspaceDiagnosticParams)
 -> Value -> Parser WorkspaceDiagnosticParams)
-> (Object -> Parser WorkspaceDiagnosticParams)
-> Value
-> Parser WorkspaceDiagnosticParams
forall a b. (a -> b) -> a -> b
$ \Object
arg -> Maybe ProgressToken
-> Maybe ProgressToken
-> Maybe Text
-> [PreviousResultId]
-> WorkspaceDiagnosticParams
WorkspaceDiagnosticParams (Maybe ProgressToken
 -> Maybe ProgressToken
 -> Maybe Text
 -> [PreviousResultId]
 -> WorkspaceDiagnosticParams)
-> Parser (Maybe ProgressToken)
-> Parser
     (Maybe ProgressToken
      -> Maybe Text -> [PreviousResultId] -> WorkspaceDiagnosticParams)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Object
arg Object -> Key -> Parser (Maybe ProgressToken)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"workDoneToken" Parser
  (Maybe ProgressToken
   -> Maybe Text -> [PreviousResultId] -> WorkspaceDiagnosticParams)
-> Parser (Maybe ProgressToken)
-> Parser
     (Maybe Text -> [PreviousResultId] -> WorkspaceDiagnosticParams)
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 ProgressToken)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"partialResultToken" Parser
  (Maybe Text -> [PreviousResultId] -> WorkspaceDiagnosticParams)
-> Parser (Maybe Text)
-> Parser ([PreviousResultId] -> WorkspaceDiagnosticParams)
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 Text)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"identifier" Parser ([PreviousResultId] -> WorkspaceDiagnosticParams)
-> Parser [PreviousResultId] -> Parser WorkspaceDiagnosticParams
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 [PreviousResultId]
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"previousResultIds"