{-# OPTIONS_GHC -Wno-unused-imports #-}
{-# OPTIONS_GHC -Wno-unused-matches #-}
{-# OPTIONS_GHC -Wno-deprecations #-}
module Language.LSP.Protocol.Internal.Types.FoldingRangeClientCapabilities 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.FoldingRangeKind
import qualified Language.LSP.Protocol.Types.Common
data FoldingRangeClientCapabilities = FoldingRangeClientCapabilities
{
FoldingRangeClientCapabilities -> Maybe Bool
_dynamicRegistration :: (Maybe Bool)
,
FoldingRangeClientCapabilities -> Maybe UInt
_rangeLimit :: (Maybe Language.LSP.Protocol.Types.Common.UInt)
,
FoldingRangeClientCapabilities -> Maybe Bool
_lineFoldingOnly :: (Maybe Bool)
,
FoldingRangeClientCapabilities
-> Maybe (Rec (("valueSet" .== Maybe [FoldingRangeKind]) .+ Empty))
_foldingRangeKind :: (Maybe (Row.Rec ("valueSet" Row..== (Maybe [Language.LSP.Protocol.Internal.Types.FoldingRangeKind.FoldingRangeKind]) Row..+ Row.Empty)))
,
FoldingRangeClientCapabilities
-> Maybe (Rec (("collapsedText" .== Maybe Bool) .+ Empty))
_foldingRange :: (Maybe (Row.Rec ("collapsedText" Row..== (Maybe Bool) Row..+ Row.Empty)))
}
deriving stock (Int -> FoldingRangeClientCapabilities -> ShowS
[FoldingRangeClientCapabilities] -> ShowS
FoldingRangeClientCapabilities -> String
(Int -> FoldingRangeClientCapabilities -> ShowS)
-> (FoldingRangeClientCapabilities -> String)
-> ([FoldingRangeClientCapabilities] -> ShowS)
-> Show FoldingRangeClientCapabilities
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> FoldingRangeClientCapabilities -> ShowS
showsPrec :: Int -> FoldingRangeClientCapabilities -> ShowS
$cshow :: FoldingRangeClientCapabilities -> String
show :: FoldingRangeClientCapabilities -> String
$cshowList :: [FoldingRangeClientCapabilities] -> ShowS
showList :: [FoldingRangeClientCapabilities] -> ShowS
Show, FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Bool
(FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Bool)
-> (FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Bool)
-> Eq FoldingRangeClientCapabilities
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Bool
== :: FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Bool
$c/= :: FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Bool
/= :: FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Bool
Eq, Eq FoldingRangeClientCapabilities
Eq FoldingRangeClientCapabilities =>
(FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Ordering)
-> (FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Bool)
-> (FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Bool)
-> (FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Bool)
-> (FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Bool)
-> (FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities)
-> (FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities)
-> Ord FoldingRangeClientCapabilities
FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Bool
FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Ordering
FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> FoldingRangeClientCapabilities
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 :: FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Ordering
compare :: FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Ordering
$c< :: FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Bool
< :: FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Bool
$c<= :: FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Bool
<= :: FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Bool
$c> :: FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Bool
> :: FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Bool
$c>= :: FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Bool
>= :: FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> Bool
$cmax :: FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> FoldingRangeClientCapabilities
max :: FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> FoldingRangeClientCapabilities
$cmin :: FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> FoldingRangeClientCapabilities
min :: FoldingRangeClientCapabilities
-> FoldingRangeClientCapabilities -> FoldingRangeClientCapabilities
Ord, (forall x.
FoldingRangeClientCapabilities
-> Rep FoldingRangeClientCapabilities x)
-> (forall x.
Rep FoldingRangeClientCapabilities x
-> FoldingRangeClientCapabilities)
-> Generic FoldingRangeClientCapabilities
forall x.
Rep FoldingRangeClientCapabilities x
-> FoldingRangeClientCapabilities
forall x.
FoldingRangeClientCapabilities
-> Rep FoldingRangeClientCapabilities x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x.
FoldingRangeClientCapabilities
-> Rep FoldingRangeClientCapabilities x
from :: forall x.
FoldingRangeClientCapabilities
-> Rep FoldingRangeClientCapabilities x
$cto :: forall x.
Rep FoldingRangeClientCapabilities x
-> FoldingRangeClientCapabilities
to :: forall x.
Rep FoldingRangeClientCapabilities x
-> FoldingRangeClientCapabilities
Generic)
deriving anyclass (FoldingRangeClientCapabilities -> ()
(FoldingRangeClientCapabilities -> ())
-> NFData FoldingRangeClientCapabilities
forall a. (a -> ()) -> NFData a
$crnf :: FoldingRangeClientCapabilities -> ()
rnf :: FoldingRangeClientCapabilities -> ()
NFData, Eq FoldingRangeClientCapabilities
Eq FoldingRangeClientCapabilities =>
(Int -> FoldingRangeClientCapabilities -> Int)
-> (FoldingRangeClientCapabilities -> Int)
-> Hashable FoldingRangeClientCapabilities
Int -> FoldingRangeClientCapabilities -> Int
FoldingRangeClientCapabilities -> Int
forall a. Eq a => (Int -> a -> Int) -> (a -> Int) -> Hashable a
$chashWithSalt :: Int -> FoldingRangeClientCapabilities -> Int
hashWithSalt :: Int -> FoldingRangeClientCapabilities -> Int
$chash :: FoldingRangeClientCapabilities -> Int
hash :: FoldingRangeClientCapabilities -> Int
Hashable)
deriving (forall ann. FoldingRangeClientCapabilities -> Doc ann)
-> (forall ann. [FoldingRangeClientCapabilities] -> Doc ann)
-> Pretty FoldingRangeClientCapabilities
forall ann. [FoldingRangeClientCapabilities] -> Doc ann
forall ann. FoldingRangeClientCapabilities -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
$cpretty :: forall ann. FoldingRangeClientCapabilities -> Doc ann
pretty :: forall ann. FoldingRangeClientCapabilities -> Doc ann
$cprettyList :: forall ann. [FoldingRangeClientCapabilities] -> Doc ann
prettyList :: forall ann. [FoldingRangeClientCapabilities] -> Doc ann
Pretty via (ViaJSON FoldingRangeClientCapabilities)
instance Aeson.ToJSON FoldingRangeClientCapabilities where
toJSON :: FoldingRangeClientCapabilities -> Value
toJSON (FoldingRangeClientCapabilities Maybe Bool
arg0 Maybe UInt
arg1 Maybe Bool
arg2 Maybe (Rec (("valueSet" .== Maybe [FoldingRangeKind]) .+ Empty))
arg3 Maybe (Rec (("collapsedText" .== Maybe Bool) .+ Empty))
arg4) = [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
"dynamicRegistration" 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
,String
"rangeLimit" String -> Maybe UInt -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe UInt
arg1
,String
"lineFoldingOnly" String -> Maybe Bool -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Bool
arg2
,String
"foldingRangeKind" String
-> Maybe (Rec ('R '["valueSet" ':-> Maybe [FoldingRangeKind]]))
-> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (Rec (("valueSet" .== Maybe [FoldingRangeKind]) .+ Empty))
Maybe (Rec ('R '["valueSet" ':-> Maybe [FoldingRangeKind]]))
arg3
,String
"foldingRange" String
-> Maybe (Rec ('R '["collapsedText" ':-> Maybe Bool])) -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (Rec (("collapsedText" .== Maybe Bool) .+ Empty))
Maybe (Rec ('R '["collapsedText" ':-> Maybe Bool]))
arg4]
instance Aeson.FromJSON FoldingRangeClientCapabilities where
parseJSON :: Value -> Parser FoldingRangeClientCapabilities
parseJSON = String
-> (Object -> Parser FoldingRangeClientCapabilities)
-> Value
-> Parser FoldingRangeClientCapabilities
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"FoldingRangeClientCapabilities" ((Object -> Parser FoldingRangeClientCapabilities)
-> Value -> Parser FoldingRangeClientCapabilities)
-> (Object -> Parser FoldingRangeClientCapabilities)
-> Value
-> Parser FoldingRangeClientCapabilities
forall a b. (a -> b) -> a -> b
$ \Object
arg -> Maybe Bool
-> Maybe UInt
-> Maybe Bool
-> Maybe (Rec (("valueSet" .== Maybe [FoldingRangeKind]) .+ Empty))
-> Maybe (Rec (("collapsedText" .== Maybe Bool) .+ Empty))
-> FoldingRangeClientCapabilities
Maybe Bool
-> Maybe UInt
-> Maybe Bool
-> Maybe (Rec ('R '["valueSet" ':-> Maybe [FoldingRangeKind]]))
-> Maybe (Rec ('R '["collapsedText" ':-> Maybe Bool]))
-> FoldingRangeClientCapabilities
FoldingRangeClientCapabilities (Maybe Bool
-> Maybe UInt
-> Maybe Bool
-> Maybe (Rec ('R '["valueSet" ':-> Maybe [FoldingRangeKind]]))
-> Maybe (Rec ('R '["collapsedText" ':-> Maybe Bool]))
-> FoldingRangeClientCapabilities)
-> Parser (Maybe Bool)
-> Parser
(Maybe UInt
-> Maybe Bool
-> Maybe (Rec ('R '["valueSet" ':-> Maybe [FoldingRangeKind]]))
-> Maybe (Rec ('R '["collapsedText" ':-> Maybe Bool]))
-> FoldingRangeClientCapabilities)
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
"dynamicRegistration" Parser
(Maybe UInt
-> Maybe Bool
-> Maybe (Rec ('R '["valueSet" ':-> Maybe [FoldingRangeKind]]))
-> Maybe (Rec ('R '["collapsedText" ':-> Maybe Bool]))
-> FoldingRangeClientCapabilities)
-> Parser (Maybe UInt)
-> Parser
(Maybe Bool
-> Maybe (Rec ('R '["valueSet" ':-> Maybe [FoldingRangeKind]]))
-> Maybe (Rec ('R '["collapsedText" ':-> Maybe Bool]))
-> FoldingRangeClientCapabilities)
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 UInt)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"rangeLimit" Parser
(Maybe Bool
-> Maybe (Rec ('R '["valueSet" ':-> Maybe [FoldingRangeKind]]))
-> Maybe (Rec ('R '["collapsedText" ':-> Maybe Bool]))
-> FoldingRangeClientCapabilities)
-> Parser (Maybe Bool)
-> Parser
(Maybe (Rec ('R '["valueSet" ':-> Maybe [FoldingRangeKind]]))
-> Maybe (Rec ('R '["collapsedText" ':-> Maybe Bool]))
-> FoldingRangeClientCapabilities)
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
"lineFoldingOnly" Parser
(Maybe (Rec ('R '["valueSet" ':-> Maybe [FoldingRangeKind]]))
-> Maybe (Rec ('R '["collapsedText" ':-> Maybe Bool]))
-> FoldingRangeClientCapabilities)
-> Parser
(Maybe (Rec ('R '["valueSet" ':-> Maybe [FoldingRangeKind]])))
-> Parser
(Maybe (Rec ('R '["collapsedText" ':-> Maybe Bool]))
-> FoldingRangeClientCapabilities)
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 (Rec ('R '["valueSet" ':-> Maybe [FoldingRangeKind]])))
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"foldingRangeKind" Parser
(Maybe (Rec ('R '["collapsedText" ':-> Maybe Bool]))
-> FoldingRangeClientCapabilities)
-> Parser (Maybe (Rec ('R '["collapsedText" ':-> Maybe Bool])))
-> Parser FoldingRangeClientCapabilities
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 (Rec ('R '["collapsedText" ':-> Maybe Bool])))
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"foldingRange"