{-# OPTIONS_GHC -Wno-unused-imports #-}
{-# OPTIONS_GHC -Wno-unused-matches #-}
{-# OPTIONS_GHC -Wno-deprecations #-}
module Language.LSP.Protocol.Internal.Types.TypeDefinitionOptions 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 TypeDefinitionOptions = TypeDefinitionOptions
{
TypeDefinitionOptions -> Maybe Bool
_workDoneProgress :: (Maybe Bool)
}
deriving stock (Int -> TypeDefinitionOptions -> ShowS
[TypeDefinitionOptions] -> ShowS
TypeDefinitionOptions -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [TypeDefinitionOptions] -> ShowS
$cshowList :: [TypeDefinitionOptions] -> ShowS
show :: TypeDefinitionOptions -> String
$cshow :: TypeDefinitionOptions -> String
showsPrec :: Int -> TypeDefinitionOptions -> ShowS
$cshowsPrec :: Int -> TypeDefinitionOptions -> ShowS
Show, TypeDefinitionOptions -> TypeDefinitionOptions -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: TypeDefinitionOptions -> TypeDefinitionOptions -> Bool
$c/= :: TypeDefinitionOptions -> TypeDefinitionOptions -> Bool
== :: TypeDefinitionOptions -> TypeDefinitionOptions -> Bool
$c== :: TypeDefinitionOptions -> TypeDefinitionOptions -> Bool
Eq, Eq TypeDefinitionOptions
TypeDefinitionOptions -> TypeDefinitionOptions -> Bool
TypeDefinitionOptions -> TypeDefinitionOptions -> Ordering
TypeDefinitionOptions
-> TypeDefinitionOptions -> TypeDefinitionOptions
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 :: TypeDefinitionOptions
-> TypeDefinitionOptions -> TypeDefinitionOptions
$cmin :: TypeDefinitionOptions
-> TypeDefinitionOptions -> TypeDefinitionOptions
max :: TypeDefinitionOptions
-> TypeDefinitionOptions -> TypeDefinitionOptions
$cmax :: TypeDefinitionOptions
-> TypeDefinitionOptions -> TypeDefinitionOptions
>= :: TypeDefinitionOptions -> TypeDefinitionOptions -> Bool
$c>= :: TypeDefinitionOptions -> TypeDefinitionOptions -> Bool
> :: TypeDefinitionOptions -> TypeDefinitionOptions -> Bool
$c> :: TypeDefinitionOptions -> TypeDefinitionOptions -> Bool
<= :: TypeDefinitionOptions -> TypeDefinitionOptions -> Bool
$c<= :: TypeDefinitionOptions -> TypeDefinitionOptions -> Bool
< :: TypeDefinitionOptions -> TypeDefinitionOptions -> Bool
$c< :: TypeDefinitionOptions -> TypeDefinitionOptions -> Bool
compare :: TypeDefinitionOptions -> TypeDefinitionOptions -> Ordering
$ccompare :: TypeDefinitionOptions -> TypeDefinitionOptions -> Ordering
Ord, forall x. Rep TypeDefinitionOptions x -> TypeDefinitionOptions
forall x. TypeDefinitionOptions -> Rep TypeDefinitionOptions x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep TypeDefinitionOptions x -> TypeDefinitionOptions
$cfrom :: forall x. TypeDefinitionOptions -> Rep TypeDefinitionOptions x
Generic)
deriving anyclass (TypeDefinitionOptions -> ()
forall a. (a -> ()) -> NFData a
rnf :: TypeDefinitionOptions -> ()
$crnf :: TypeDefinitionOptions -> ()
NFData, Eq TypeDefinitionOptions
Int -> TypeDefinitionOptions -> Int
TypeDefinitionOptions -> Int
forall a. Eq a -> (Int -> a -> Int) -> (a -> Int) -> Hashable a
hash :: TypeDefinitionOptions -> Int
$chash :: TypeDefinitionOptions -> Int
hashWithSalt :: Int -> TypeDefinitionOptions -> Int
$chashWithSalt :: Int -> TypeDefinitionOptions -> Int
Hashable)
deriving forall ann. [TypeDefinitionOptions] -> Doc ann
forall ann. TypeDefinitionOptions -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
prettyList :: forall ann. [TypeDefinitionOptions] -> Doc ann
$cprettyList :: forall ann. [TypeDefinitionOptions] -> Doc ann
pretty :: forall ann. TypeDefinitionOptions -> Doc ann
$cpretty :: forall ann. TypeDefinitionOptions -> Doc ann
Pretty via (ViaJSON TypeDefinitionOptions)
instance Aeson.ToJSON TypeDefinitionOptions where
toJSON :: TypeDefinitionOptions -> Value
toJSON (TypeDefinitionOptions Maybe Bool
arg0) = [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
$ [String
"workDoneProgress" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Bool
arg0]
instance Aeson.FromJSON TypeDefinitionOptions where
parseJSON :: Value -> Parser TypeDefinitionOptions
parseJSON = forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"TypeDefinitionOptions" forall a b. (a -> b) -> a -> b
$ \Object
arg -> Maybe Bool -> TypeDefinitionOptions
TypeDefinitionOptions forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"workDoneProgress"