-- 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.DiagnosticRegistrationOptions where

import Control.DeepSeq
import Data.Hashable
import GHC.Generics
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.DocumentSelector
import qualified Language.LSP.Protocol.Types.Common

{-|
Diagnostic registration options.

@since 3.17.0
-}
data DiagnosticRegistrationOptions = DiagnosticRegistrationOptions 
  { {-|
  A document selector to identify the scope of the registration. If set to null
  the document selector provided on the client side will be used.
  -}
  DiagnosticRegistrationOptions -> DocumentSelector |? Null
_documentSelector :: (Language.LSP.Protocol.Internal.Types.DocumentSelector.DocumentSelector Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Types.Common.Null)
  , {-|

  -}
  DiagnosticRegistrationOptions -> Maybe Bool
_workDoneProgress :: (Maybe Bool)
  , {-|
  An optional identifier under which the diagnostics are
  managed by the client.
  -}
  DiagnosticRegistrationOptions -> Maybe Text
_identifier :: (Maybe Data.Text.Text)
  , {-|
  Whether the language has inter file dependencies meaning that
  editing code in one file can result in a different diagnostic
  set in another file. Inter file dependencies are common for
  most programming languages and typically uncommon for linters.
  -}
  DiagnosticRegistrationOptions -> Bool
_interFileDependencies :: Bool
  , {-|
  The server provides support for workspace diagnostics as well.
  -}
  DiagnosticRegistrationOptions -> Bool
_workspaceDiagnostics :: Bool
  , {-|
  The id used to register the request. The id can be used to deregister
  the request again. See also Registration#id.
  -}
  DiagnosticRegistrationOptions -> Maybe Text
_id :: (Maybe Data.Text.Text)
  }
  deriving stock (Int -> DiagnosticRegistrationOptions -> ShowS
[DiagnosticRegistrationOptions] -> ShowS
DiagnosticRegistrationOptions -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [DiagnosticRegistrationOptions] -> ShowS
$cshowList :: [DiagnosticRegistrationOptions] -> ShowS
show :: DiagnosticRegistrationOptions -> String
$cshow :: DiagnosticRegistrationOptions -> String
showsPrec :: Int -> DiagnosticRegistrationOptions -> ShowS
$cshowsPrec :: Int -> DiagnosticRegistrationOptions -> ShowS
Show, DiagnosticRegistrationOptions
-> DiagnosticRegistrationOptions -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: DiagnosticRegistrationOptions
-> DiagnosticRegistrationOptions -> Bool
$c/= :: DiagnosticRegistrationOptions
-> DiagnosticRegistrationOptions -> Bool
== :: DiagnosticRegistrationOptions
-> DiagnosticRegistrationOptions -> Bool
$c== :: DiagnosticRegistrationOptions
-> DiagnosticRegistrationOptions -> Bool
Eq, Eq DiagnosticRegistrationOptions
DiagnosticRegistrationOptions
-> DiagnosticRegistrationOptions -> Bool
DiagnosticRegistrationOptions
-> DiagnosticRegistrationOptions -> Ordering
DiagnosticRegistrationOptions
-> DiagnosticRegistrationOptions -> DiagnosticRegistrationOptions
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
min :: DiagnosticRegistrationOptions
-> DiagnosticRegistrationOptions -> DiagnosticRegistrationOptions
$cmin :: DiagnosticRegistrationOptions
-> DiagnosticRegistrationOptions -> DiagnosticRegistrationOptions
max :: DiagnosticRegistrationOptions
-> DiagnosticRegistrationOptions -> DiagnosticRegistrationOptions
$cmax :: DiagnosticRegistrationOptions
-> DiagnosticRegistrationOptions -> DiagnosticRegistrationOptions
>= :: DiagnosticRegistrationOptions
-> DiagnosticRegistrationOptions -> Bool
$c>= :: DiagnosticRegistrationOptions
-> DiagnosticRegistrationOptions -> Bool
> :: DiagnosticRegistrationOptions
-> DiagnosticRegistrationOptions -> Bool
$c> :: DiagnosticRegistrationOptions
-> DiagnosticRegistrationOptions -> Bool
<= :: DiagnosticRegistrationOptions
-> DiagnosticRegistrationOptions -> Bool
$c<= :: DiagnosticRegistrationOptions
-> DiagnosticRegistrationOptions -> Bool
< :: DiagnosticRegistrationOptions
-> DiagnosticRegistrationOptions -> Bool
$c< :: DiagnosticRegistrationOptions
-> DiagnosticRegistrationOptions -> Bool
compare :: DiagnosticRegistrationOptions
-> DiagnosticRegistrationOptions -> Ordering
$ccompare :: DiagnosticRegistrationOptions
-> DiagnosticRegistrationOptions -> Ordering
Ord, forall x.
Rep DiagnosticRegistrationOptions x
-> DiagnosticRegistrationOptions
forall x.
DiagnosticRegistrationOptions
-> Rep DiagnosticRegistrationOptions x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x.
Rep DiagnosticRegistrationOptions x
-> DiagnosticRegistrationOptions
$cfrom :: forall x.
DiagnosticRegistrationOptions
-> Rep DiagnosticRegistrationOptions x
Generic)
  deriving anyclass (DiagnosticRegistrationOptions -> ()
forall a. (a -> ()) -> NFData a
rnf :: DiagnosticRegistrationOptions -> ()
$crnf :: DiagnosticRegistrationOptions -> ()
NFData, Eq DiagnosticRegistrationOptions
Int -> DiagnosticRegistrationOptions -> Int
DiagnosticRegistrationOptions -> Int
forall a. Eq a -> (Int -> a -> Int) -> (a -> Int) -> Hashable a
hash :: DiagnosticRegistrationOptions -> Int
$chash :: DiagnosticRegistrationOptions -> Int
hashWithSalt :: Int -> DiagnosticRegistrationOptions -> Int
$chashWithSalt :: Int -> DiagnosticRegistrationOptions -> Int
Hashable)

instance Aeson.ToJSON DiagnosticRegistrationOptions where
  toJSON :: DiagnosticRegistrationOptions -> Value
toJSON (DiagnosticRegistrationOptions DocumentSelector |? Null
arg0 Maybe Bool
arg1 Maybe Text
arg2 Bool
arg3 Bool
arg4 Maybe Text
arg5) = [Pair] -> Value
Aeson.object forall a b. (a -> b) -> a -> b
$ forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat forall a b. (a -> b) -> a -> b
$  [[Key
"documentSelector" forall kv v. (KeyValue kv, ToJSON v) => Key -> v -> kv
Aeson..= DocumentSelector |? Null
arg0]
    ,String
"workDoneProgress" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Bool
arg1
    ,String
"identifier" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Text
arg2
    ,[Key
"interFileDependencies" forall kv v. (KeyValue kv, ToJSON v) => Key -> v -> kv
Aeson..= Bool
arg3]
    ,[Key
"workspaceDiagnostics" forall kv v. (KeyValue kv, ToJSON v) => Key -> v -> kv
Aeson..= Bool
arg4]
    ,String
"id" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Text
arg5]

instance Aeson.FromJSON DiagnosticRegistrationOptions where
  parseJSON :: Value -> Parser DiagnosticRegistrationOptions
parseJSON = forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"DiagnosticRegistrationOptions" forall a b. (a -> b) -> a -> b
$ \Object
arg -> (DocumentSelector |? Null)
-> Maybe Bool
-> Maybe Text
-> Bool
-> Bool
-> Maybe Text
-> DiagnosticRegistrationOptions
DiagnosticRegistrationOptions forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Object
arg forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"documentSelector" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"workDoneProgress" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"identifier" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"interFileDependencies" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"workspaceDiagnostics" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"id"