{- 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.TypeDefinitionRegistrationOptions 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.DocumentSelector
import qualified Language.LSP.Protocol.Types.Common

{-|

-}
data TypeDefinitionRegistrationOptions = TypeDefinitionRegistrationOptions 
  { {-|
  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.
  -}
  TypeDefinitionRegistrationOptions -> DocumentSelector |? Null
_documentSelector :: (Language.LSP.Protocol.Internal.Types.DocumentSelector.DocumentSelector Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Types.Common.Null)
  , {-|

  -}
  TypeDefinitionRegistrationOptions -> Maybe Bool
_workDoneProgress :: (Maybe Bool)
  , {-|
  The id used to register the request. The id can be used to deregister
  the request again. See also Registration#id.
  -}
  TypeDefinitionRegistrationOptions -> Maybe Text
_id :: (Maybe Data.Text.Text)
  }
  deriving stock (Int -> TypeDefinitionRegistrationOptions -> ShowS
[TypeDefinitionRegistrationOptions] -> ShowS
TypeDefinitionRegistrationOptions -> String
(Int -> TypeDefinitionRegistrationOptions -> ShowS)
-> (TypeDefinitionRegistrationOptions -> String)
-> ([TypeDefinitionRegistrationOptions] -> ShowS)
-> Show TypeDefinitionRegistrationOptions
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> TypeDefinitionRegistrationOptions -> ShowS
showsPrec :: Int -> TypeDefinitionRegistrationOptions -> ShowS
$cshow :: TypeDefinitionRegistrationOptions -> String
show :: TypeDefinitionRegistrationOptions -> String
$cshowList :: [TypeDefinitionRegistrationOptions] -> ShowS
showList :: [TypeDefinitionRegistrationOptions] -> ShowS
Show, TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions -> Bool
(TypeDefinitionRegistrationOptions
 -> TypeDefinitionRegistrationOptions -> Bool)
-> (TypeDefinitionRegistrationOptions
    -> TypeDefinitionRegistrationOptions -> Bool)
-> Eq TypeDefinitionRegistrationOptions
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions -> Bool
== :: TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions -> Bool
$c/= :: TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions -> Bool
/= :: TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions -> Bool
Eq, Eq TypeDefinitionRegistrationOptions
Eq TypeDefinitionRegistrationOptions =>
(TypeDefinitionRegistrationOptions
 -> TypeDefinitionRegistrationOptions -> Ordering)
-> (TypeDefinitionRegistrationOptions
    -> TypeDefinitionRegistrationOptions -> Bool)
-> (TypeDefinitionRegistrationOptions
    -> TypeDefinitionRegistrationOptions -> Bool)
-> (TypeDefinitionRegistrationOptions
    -> TypeDefinitionRegistrationOptions -> Bool)
-> (TypeDefinitionRegistrationOptions
    -> TypeDefinitionRegistrationOptions -> Bool)
-> (TypeDefinitionRegistrationOptions
    -> TypeDefinitionRegistrationOptions
    -> TypeDefinitionRegistrationOptions)
-> (TypeDefinitionRegistrationOptions
    -> TypeDefinitionRegistrationOptions
    -> TypeDefinitionRegistrationOptions)
-> Ord TypeDefinitionRegistrationOptions
TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions -> Bool
TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions -> Ordering
TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions
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 :: TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions -> Ordering
compare :: TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions -> Ordering
$c< :: TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions -> Bool
< :: TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions -> Bool
$c<= :: TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions -> Bool
<= :: TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions -> Bool
$c> :: TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions -> Bool
> :: TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions -> Bool
$c>= :: TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions -> Bool
>= :: TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions -> Bool
$cmax :: TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions
max :: TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions
$cmin :: TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions
min :: TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions
-> TypeDefinitionRegistrationOptions
Ord, (forall x.
 TypeDefinitionRegistrationOptions
 -> Rep TypeDefinitionRegistrationOptions x)
-> (forall x.
    Rep TypeDefinitionRegistrationOptions x
    -> TypeDefinitionRegistrationOptions)
-> Generic TypeDefinitionRegistrationOptions
forall x.
Rep TypeDefinitionRegistrationOptions x
-> TypeDefinitionRegistrationOptions
forall x.
TypeDefinitionRegistrationOptions
-> Rep TypeDefinitionRegistrationOptions x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x.
TypeDefinitionRegistrationOptions
-> Rep TypeDefinitionRegistrationOptions x
from :: forall x.
TypeDefinitionRegistrationOptions
-> Rep TypeDefinitionRegistrationOptions x
$cto :: forall x.
Rep TypeDefinitionRegistrationOptions x
-> TypeDefinitionRegistrationOptions
to :: forall x.
Rep TypeDefinitionRegistrationOptions x
-> TypeDefinitionRegistrationOptions
Generic)
  deriving anyclass (TypeDefinitionRegistrationOptions -> ()
(TypeDefinitionRegistrationOptions -> ())
-> NFData TypeDefinitionRegistrationOptions
forall a. (a -> ()) -> NFData a
$crnf :: TypeDefinitionRegistrationOptions -> ()
rnf :: TypeDefinitionRegistrationOptions -> ()
NFData, Eq TypeDefinitionRegistrationOptions
Eq TypeDefinitionRegistrationOptions =>
(Int -> TypeDefinitionRegistrationOptions -> Int)
-> (TypeDefinitionRegistrationOptions -> Int)
-> Hashable TypeDefinitionRegistrationOptions
Int -> TypeDefinitionRegistrationOptions -> Int
TypeDefinitionRegistrationOptions -> Int
forall a. Eq a => (Int -> a -> Int) -> (a -> Int) -> Hashable a
$chashWithSalt :: Int -> TypeDefinitionRegistrationOptions -> Int
hashWithSalt :: Int -> TypeDefinitionRegistrationOptions -> Int
$chash :: TypeDefinitionRegistrationOptions -> Int
hash :: TypeDefinitionRegistrationOptions -> Int
Hashable)
  deriving (forall ann. TypeDefinitionRegistrationOptions -> Doc ann)
-> (forall ann. [TypeDefinitionRegistrationOptions] -> Doc ann)
-> Pretty TypeDefinitionRegistrationOptions
forall ann. [TypeDefinitionRegistrationOptions] -> Doc ann
forall ann. TypeDefinitionRegistrationOptions -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
$cpretty :: forall ann. TypeDefinitionRegistrationOptions -> Doc ann
pretty :: forall ann. TypeDefinitionRegistrationOptions -> Doc ann
$cprettyList :: forall ann. [TypeDefinitionRegistrationOptions] -> Doc ann
prettyList :: forall ann. [TypeDefinitionRegistrationOptions] -> Doc ann
Pretty via (ViaJSON TypeDefinitionRegistrationOptions)

instance Aeson.ToJSON TypeDefinitionRegistrationOptions where
  toJSON :: TypeDefinitionRegistrationOptions -> Value
toJSON (TypeDefinitionRegistrationOptions DocumentSelector |? Null
arg0 Maybe Bool
arg1 Maybe Text
arg2) = [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
"documentSelector" Key -> (DocumentSelector |? Null) -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= DocumentSelector |? Null
arg0]
    ,String
"workDoneProgress" String -> Maybe Bool -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Bool
arg1
    ,String
"id" 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]

instance Aeson.FromJSON TypeDefinitionRegistrationOptions where
  parseJSON :: Value -> Parser TypeDefinitionRegistrationOptions
parseJSON = String
-> (Object -> Parser TypeDefinitionRegistrationOptions)
-> Value
-> Parser TypeDefinitionRegistrationOptions
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"TypeDefinitionRegistrationOptions" ((Object -> Parser TypeDefinitionRegistrationOptions)
 -> Value -> Parser TypeDefinitionRegistrationOptions)
-> (Object -> Parser TypeDefinitionRegistrationOptions)
-> Value
-> Parser TypeDefinitionRegistrationOptions
forall a b. (a -> b) -> a -> b
$ \Object
arg -> (DocumentSelector |? Null)
-> Maybe Bool -> Maybe Text -> TypeDefinitionRegistrationOptions
TypeDefinitionRegistrationOptions ((DocumentSelector |? Null)
 -> Maybe Bool -> Maybe Text -> TypeDefinitionRegistrationOptions)
-> Parser (DocumentSelector |? Null)
-> Parser
     (Maybe Bool -> Maybe Text -> TypeDefinitionRegistrationOptions)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Object
arg Object -> Key -> Parser (DocumentSelector |? Null)
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"documentSelector" Parser
  (Maybe Bool -> Maybe Text -> TypeDefinitionRegistrationOptions)
-> Parser (Maybe Bool)
-> Parser (Maybe Text -> TypeDefinitionRegistrationOptions)
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 Bool)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"workDoneProgress" Parser (Maybe Text -> TypeDefinitionRegistrationOptions)
-> Parser (Maybe Text) -> Parser TypeDefinitionRegistrationOptions
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
"id"