{-# OPTIONS_GHC -Wno-unused-imports #-}
{-# OPTIONS_GHC -Wno-unused-matches #-}
{-# OPTIONS_GHC -Wno-deprecations #-}
module Language.LSP.Protocol.Internal.Types.SemanticTokensOptions 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 as Row
import qualified Data.Row.Aeson as Aeson
import qualified Data.Row.Hashable as Hashable
import qualified Language.LSP.Protocol.Internal.Types.SemanticTokensLegend
import qualified Language.LSP.Protocol.Types.Common
data SemanticTokensOptions = SemanticTokensOptions
{
SemanticTokensOptions -> Maybe Bool
_workDoneProgress :: (Maybe Bool)
,
SemanticTokensOptions -> SemanticTokensLegend
_legend :: Language.LSP.Protocol.Internal.Types.SemanticTokensLegend.SemanticTokensLegend
,
SemanticTokensOptions -> Maybe (Bool |? Rec Empty)
_range :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? (Row.Rec Row.Empty)))
,
SemanticTokensOptions
-> Maybe (Bool |? Rec (("delta" .== Maybe Bool) .+ Empty))
_full :: (Maybe (Bool Language.LSP.Protocol.Types.Common.|? (Row.Rec ("delta" Row..== (Maybe Bool) Row..+ Row.Empty))))
}
deriving stock (Int -> SemanticTokensOptions -> ShowS
[SemanticTokensOptions] -> ShowS
SemanticTokensOptions -> String
(Int -> SemanticTokensOptions -> ShowS)
-> (SemanticTokensOptions -> String)
-> ([SemanticTokensOptions] -> ShowS)
-> Show SemanticTokensOptions
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> SemanticTokensOptions -> ShowS
showsPrec :: Int -> SemanticTokensOptions -> ShowS
$cshow :: SemanticTokensOptions -> String
show :: SemanticTokensOptions -> String
$cshowList :: [SemanticTokensOptions] -> ShowS
showList :: [SemanticTokensOptions] -> ShowS
Show, SemanticTokensOptions -> SemanticTokensOptions -> Bool
(SemanticTokensOptions -> SemanticTokensOptions -> Bool)
-> (SemanticTokensOptions -> SemanticTokensOptions -> Bool)
-> Eq SemanticTokensOptions
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: SemanticTokensOptions -> SemanticTokensOptions -> Bool
== :: SemanticTokensOptions -> SemanticTokensOptions -> Bool
$c/= :: SemanticTokensOptions -> SemanticTokensOptions -> Bool
/= :: SemanticTokensOptions -> SemanticTokensOptions -> Bool
Eq, Eq SemanticTokensOptions
Eq SemanticTokensOptions =>
(SemanticTokensOptions -> SemanticTokensOptions -> Ordering)
-> (SemanticTokensOptions -> SemanticTokensOptions -> Bool)
-> (SemanticTokensOptions -> SemanticTokensOptions -> Bool)
-> (SemanticTokensOptions -> SemanticTokensOptions -> Bool)
-> (SemanticTokensOptions -> SemanticTokensOptions -> Bool)
-> (SemanticTokensOptions
-> SemanticTokensOptions -> SemanticTokensOptions)
-> (SemanticTokensOptions
-> SemanticTokensOptions -> SemanticTokensOptions)
-> Ord SemanticTokensOptions
SemanticTokensOptions -> SemanticTokensOptions -> Bool
SemanticTokensOptions -> SemanticTokensOptions -> Ordering
SemanticTokensOptions
-> SemanticTokensOptions -> SemanticTokensOptions
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 :: SemanticTokensOptions -> SemanticTokensOptions -> Ordering
compare :: SemanticTokensOptions -> SemanticTokensOptions -> Ordering
$c< :: SemanticTokensOptions -> SemanticTokensOptions -> Bool
< :: SemanticTokensOptions -> SemanticTokensOptions -> Bool
$c<= :: SemanticTokensOptions -> SemanticTokensOptions -> Bool
<= :: SemanticTokensOptions -> SemanticTokensOptions -> Bool
$c> :: SemanticTokensOptions -> SemanticTokensOptions -> Bool
> :: SemanticTokensOptions -> SemanticTokensOptions -> Bool
$c>= :: SemanticTokensOptions -> SemanticTokensOptions -> Bool
>= :: SemanticTokensOptions -> SemanticTokensOptions -> Bool
$cmax :: SemanticTokensOptions
-> SemanticTokensOptions -> SemanticTokensOptions
max :: SemanticTokensOptions
-> SemanticTokensOptions -> SemanticTokensOptions
$cmin :: SemanticTokensOptions
-> SemanticTokensOptions -> SemanticTokensOptions
min :: SemanticTokensOptions
-> SemanticTokensOptions -> SemanticTokensOptions
Ord, (forall x. SemanticTokensOptions -> Rep SemanticTokensOptions x)
-> (forall x. Rep SemanticTokensOptions x -> SemanticTokensOptions)
-> Generic SemanticTokensOptions
forall x. Rep SemanticTokensOptions x -> SemanticTokensOptions
forall x. SemanticTokensOptions -> Rep SemanticTokensOptions x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. SemanticTokensOptions -> Rep SemanticTokensOptions x
from :: forall x. SemanticTokensOptions -> Rep SemanticTokensOptions x
$cto :: forall x. Rep SemanticTokensOptions x -> SemanticTokensOptions
to :: forall x. Rep SemanticTokensOptions x -> SemanticTokensOptions
Generic)
deriving anyclass (SemanticTokensOptions -> ()
(SemanticTokensOptions -> ()) -> NFData SemanticTokensOptions
forall a. (a -> ()) -> NFData a
$crnf :: SemanticTokensOptions -> ()
rnf :: SemanticTokensOptions -> ()
NFData, Eq SemanticTokensOptions
Eq SemanticTokensOptions =>
(Int -> SemanticTokensOptions -> Int)
-> (SemanticTokensOptions -> Int) -> Hashable SemanticTokensOptions
Int -> SemanticTokensOptions -> Int
SemanticTokensOptions -> Int
forall a. Eq a => (Int -> a -> Int) -> (a -> Int) -> Hashable a
$chashWithSalt :: Int -> SemanticTokensOptions -> Int
hashWithSalt :: Int -> SemanticTokensOptions -> Int
$chash :: SemanticTokensOptions -> Int
hash :: SemanticTokensOptions -> Int
Hashable)
deriving (forall ann. SemanticTokensOptions -> Doc ann)
-> (forall ann. [SemanticTokensOptions] -> Doc ann)
-> Pretty SemanticTokensOptions
forall ann. [SemanticTokensOptions] -> Doc ann
forall ann. SemanticTokensOptions -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
$cpretty :: forall ann. SemanticTokensOptions -> Doc ann
pretty :: forall ann. SemanticTokensOptions -> Doc ann
$cprettyList :: forall ann. [SemanticTokensOptions] -> Doc ann
prettyList :: forall ann. [SemanticTokensOptions] -> Doc ann
Pretty via (ViaJSON SemanticTokensOptions)
instance Aeson.ToJSON SemanticTokensOptions where
toJSON :: SemanticTokensOptions -> Value
toJSON (SemanticTokensOptions Maybe Bool
arg0 SemanticTokensLegend
arg1 Maybe (Bool |? Rec Empty)
arg2 Maybe (Bool |? Rec (("delta" .== Maybe Bool) .+ Empty))
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
"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
arg0
,[Key
"legend" Key -> SemanticTokensLegend -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= SemanticTokensLegend
arg1]
,String
"range" String -> Maybe (Bool |? Rec Empty) -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (Bool |? Rec Empty)
arg2
,String
"full" String
-> Maybe (Bool |? Rec ('R '["delta" ':-> Maybe Bool])) -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (Bool |? Rec (("delta" .== Maybe Bool) .+ Empty))
Maybe (Bool |? Rec ('R '["delta" ':-> Maybe Bool]))
arg3]
instance Aeson.FromJSON SemanticTokensOptions where
parseJSON :: Value -> Parser SemanticTokensOptions
parseJSON = String
-> (Object -> Parser SemanticTokensOptions)
-> Value
-> Parser SemanticTokensOptions
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"SemanticTokensOptions" ((Object -> Parser SemanticTokensOptions)
-> Value -> Parser SemanticTokensOptions)
-> (Object -> Parser SemanticTokensOptions)
-> Value
-> Parser SemanticTokensOptions
forall a b. (a -> b) -> a -> b
$ \Object
arg -> Maybe Bool
-> SemanticTokensLegend
-> Maybe (Bool |? Rec Empty)
-> Maybe (Bool |? Rec (("delta" .== Maybe Bool) .+ Empty))
-> SemanticTokensOptions
Maybe Bool
-> SemanticTokensLegend
-> Maybe (Bool |? Rec Empty)
-> Maybe (Bool |? Rec ('R '["delta" ':-> Maybe Bool]))
-> SemanticTokensOptions
SemanticTokensOptions (Maybe Bool
-> SemanticTokensLegend
-> Maybe (Bool |? Rec Empty)
-> Maybe (Bool |? Rec ('R '["delta" ':-> Maybe Bool]))
-> SemanticTokensOptions)
-> Parser (Maybe Bool)
-> Parser
(SemanticTokensLegend
-> Maybe (Bool |? Rec Empty)
-> Maybe (Bool |? Rec ('R '["delta" ':-> Maybe Bool]))
-> SemanticTokensOptions)
forall (f :: * -> *) a b. Functor 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
(SemanticTokensLegend
-> Maybe (Bool |? Rec Empty)
-> Maybe (Bool |? Rec ('R '["delta" ':-> Maybe Bool]))
-> SemanticTokensOptions)
-> Parser SemanticTokensLegend
-> Parser
(Maybe (Bool |? Rec Empty)
-> Maybe (Bool |? Rec ('R '["delta" ':-> Maybe Bool]))
-> SemanticTokensOptions)
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 SemanticTokensLegend
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"legend" Parser
(Maybe (Bool |? Rec Empty)
-> Maybe (Bool |? Rec ('R '["delta" ':-> Maybe Bool]))
-> SemanticTokensOptions)
-> Parser (Maybe (Bool |? Rec Empty))
-> Parser
(Maybe (Bool |? Rec ('R '["delta" ':-> Maybe Bool]))
-> SemanticTokensOptions)
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 |? Rec Empty))
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"range" Parser
(Maybe (Bool |? Rec ('R '["delta" ':-> Maybe Bool]))
-> SemanticTokensOptions)
-> Parser (Maybe (Bool |? Rec ('R '["delta" ':-> Maybe Bool])))
-> Parser SemanticTokensOptions
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 |? Rec ('R '["delta" ':-> Maybe Bool])))
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"full"