{-# OPTIONS_GHC -Wno-unused-imports #-}
{-# OPTIONS_GHC -Wno-unused-matches #-}
{-# OPTIONS_GHC -Wno-deprecations #-}
module Language.LSP.Protocol.Internal.Types.GeneralClientCapabilities 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.Internal.Types.MarkdownClientCapabilities
import qualified Language.LSP.Protocol.Internal.Types.PositionEncodingKind
import qualified Language.LSP.Protocol.Internal.Types.RegularExpressionsClientCapabilities
import qualified Language.LSP.Protocol.Internal.Types.StaleRequestSupportOptions
import qualified Language.LSP.Protocol.Types.Common
data GeneralClientCapabilities = GeneralClientCapabilities
{
GeneralClientCapabilities -> Maybe StaleRequestSupportOptions
_staleRequestSupport :: (Maybe Language.LSP.Protocol.Internal.Types.StaleRequestSupportOptions.StaleRequestSupportOptions)
,
GeneralClientCapabilities
-> Maybe RegularExpressionsClientCapabilities
_regularExpressions :: (Maybe Language.LSP.Protocol.Internal.Types.RegularExpressionsClientCapabilities.RegularExpressionsClientCapabilities)
,
GeneralClientCapabilities -> Maybe MarkdownClientCapabilities
_markdown :: (Maybe Language.LSP.Protocol.Internal.Types.MarkdownClientCapabilities.MarkdownClientCapabilities)
,
GeneralClientCapabilities -> Maybe [PositionEncodingKind]
_positionEncodings :: (Maybe [Language.LSP.Protocol.Internal.Types.PositionEncodingKind.PositionEncodingKind])
}
deriving stock (Int -> GeneralClientCapabilities -> ShowS
[GeneralClientCapabilities] -> ShowS
GeneralClientCapabilities -> String
(Int -> GeneralClientCapabilities -> ShowS)
-> (GeneralClientCapabilities -> String)
-> ([GeneralClientCapabilities] -> ShowS)
-> Show GeneralClientCapabilities
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> GeneralClientCapabilities -> ShowS
showsPrec :: Int -> GeneralClientCapabilities -> ShowS
$cshow :: GeneralClientCapabilities -> String
show :: GeneralClientCapabilities -> String
$cshowList :: [GeneralClientCapabilities] -> ShowS
showList :: [GeneralClientCapabilities] -> ShowS
Show, GeneralClientCapabilities -> GeneralClientCapabilities -> Bool
(GeneralClientCapabilities -> GeneralClientCapabilities -> Bool)
-> (GeneralClientCapabilities -> GeneralClientCapabilities -> Bool)
-> Eq GeneralClientCapabilities
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: GeneralClientCapabilities -> GeneralClientCapabilities -> Bool
== :: GeneralClientCapabilities -> GeneralClientCapabilities -> Bool
$c/= :: GeneralClientCapabilities -> GeneralClientCapabilities -> Bool
/= :: GeneralClientCapabilities -> GeneralClientCapabilities -> Bool
Eq, Eq GeneralClientCapabilities
Eq GeneralClientCapabilities =>
(GeneralClientCapabilities
-> GeneralClientCapabilities -> Ordering)
-> (GeneralClientCapabilities -> GeneralClientCapabilities -> Bool)
-> (GeneralClientCapabilities -> GeneralClientCapabilities -> Bool)
-> (GeneralClientCapabilities -> GeneralClientCapabilities -> Bool)
-> (GeneralClientCapabilities -> GeneralClientCapabilities -> Bool)
-> (GeneralClientCapabilities
-> GeneralClientCapabilities -> GeneralClientCapabilities)
-> (GeneralClientCapabilities
-> GeneralClientCapabilities -> GeneralClientCapabilities)
-> Ord GeneralClientCapabilities
GeneralClientCapabilities -> GeneralClientCapabilities -> Bool
GeneralClientCapabilities -> GeneralClientCapabilities -> Ordering
GeneralClientCapabilities
-> GeneralClientCapabilities -> GeneralClientCapabilities
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 :: GeneralClientCapabilities -> GeneralClientCapabilities -> Ordering
compare :: GeneralClientCapabilities -> GeneralClientCapabilities -> Ordering
$c< :: GeneralClientCapabilities -> GeneralClientCapabilities -> Bool
< :: GeneralClientCapabilities -> GeneralClientCapabilities -> Bool
$c<= :: GeneralClientCapabilities -> GeneralClientCapabilities -> Bool
<= :: GeneralClientCapabilities -> GeneralClientCapabilities -> Bool
$c> :: GeneralClientCapabilities -> GeneralClientCapabilities -> Bool
> :: GeneralClientCapabilities -> GeneralClientCapabilities -> Bool
$c>= :: GeneralClientCapabilities -> GeneralClientCapabilities -> Bool
>= :: GeneralClientCapabilities -> GeneralClientCapabilities -> Bool
$cmax :: GeneralClientCapabilities
-> GeneralClientCapabilities -> GeneralClientCapabilities
max :: GeneralClientCapabilities
-> GeneralClientCapabilities -> GeneralClientCapabilities
$cmin :: GeneralClientCapabilities
-> GeneralClientCapabilities -> GeneralClientCapabilities
min :: GeneralClientCapabilities
-> GeneralClientCapabilities -> GeneralClientCapabilities
Ord, (forall x.
GeneralClientCapabilities -> Rep GeneralClientCapabilities x)
-> (forall x.
Rep GeneralClientCapabilities x -> GeneralClientCapabilities)
-> Generic GeneralClientCapabilities
forall x.
Rep GeneralClientCapabilities x -> GeneralClientCapabilities
forall x.
GeneralClientCapabilities -> Rep GeneralClientCapabilities x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x.
GeneralClientCapabilities -> Rep GeneralClientCapabilities x
from :: forall x.
GeneralClientCapabilities -> Rep GeneralClientCapabilities x
$cto :: forall x.
Rep GeneralClientCapabilities x -> GeneralClientCapabilities
to :: forall x.
Rep GeneralClientCapabilities x -> GeneralClientCapabilities
Generic)
deriving anyclass (GeneralClientCapabilities -> ()
(GeneralClientCapabilities -> ())
-> NFData GeneralClientCapabilities
forall a. (a -> ()) -> NFData a
$crnf :: GeneralClientCapabilities -> ()
rnf :: GeneralClientCapabilities -> ()
NFData, Eq GeneralClientCapabilities
Eq GeneralClientCapabilities =>
(Int -> GeneralClientCapabilities -> Int)
-> (GeneralClientCapabilities -> Int)
-> Hashable GeneralClientCapabilities
Int -> GeneralClientCapabilities -> Int
GeneralClientCapabilities -> Int
forall a. Eq a => (Int -> a -> Int) -> (a -> Int) -> Hashable a
$chashWithSalt :: Int -> GeneralClientCapabilities -> Int
hashWithSalt :: Int -> GeneralClientCapabilities -> Int
$chash :: GeneralClientCapabilities -> Int
hash :: GeneralClientCapabilities -> Int
Hashable)
deriving (forall ann. GeneralClientCapabilities -> Doc ann)
-> (forall ann. [GeneralClientCapabilities] -> Doc ann)
-> Pretty GeneralClientCapabilities
forall ann. [GeneralClientCapabilities] -> Doc ann
forall ann. GeneralClientCapabilities -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
$cpretty :: forall ann. GeneralClientCapabilities -> Doc ann
pretty :: forall ann. GeneralClientCapabilities -> Doc ann
$cprettyList :: forall ann. [GeneralClientCapabilities] -> Doc ann
prettyList :: forall ann. [GeneralClientCapabilities] -> Doc ann
Pretty via (ViaJSON GeneralClientCapabilities)
instance Aeson.ToJSON GeneralClientCapabilities where
toJSON :: GeneralClientCapabilities -> Value
toJSON (GeneralClientCapabilities Maybe StaleRequestSupportOptions
arg0 Maybe RegularExpressionsClientCapabilities
arg1 Maybe MarkdownClientCapabilities
arg2 Maybe [PositionEncodingKind]
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
"staleRequestSupport" String -> Maybe StaleRequestSupportOptions -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe StaleRequestSupportOptions
arg0
,String
"regularExpressions" String -> Maybe RegularExpressionsClientCapabilities -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe RegularExpressionsClientCapabilities
arg1
,String
"markdown" String -> Maybe MarkdownClientCapabilities -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe MarkdownClientCapabilities
arg2
,String
"positionEncodings" String -> Maybe [PositionEncodingKind] -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe [PositionEncodingKind]
arg3]
instance Aeson.FromJSON GeneralClientCapabilities where
parseJSON :: Value -> Parser GeneralClientCapabilities
parseJSON = String
-> (Object -> Parser GeneralClientCapabilities)
-> Value
-> Parser GeneralClientCapabilities
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"GeneralClientCapabilities" ((Object -> Parser GeneralClientCapabilities)
-> Value -> Parser GeneralClientCapabilities)
-> (Object -> Parser GeneralClientCapabilities)
-> Value
-> Parser GeneralClientCapabilities
forall a b. (a -> b) -> a -> b
$ \Object
arg -> Maybe StaleRequestSupportOptions
-> Maybe RegularExpressionsClientCapabilities
-> Maybe MarkdownClientCapabilities
-> Maybe [PositionEncodingKind]
-> GeneralClientCapabilities
GeneralClientCapabilities (Maybe StaleRequestSupportOptions
-> Maybe RegularExpressionsClientCapabilities
-> Maybe MarkdownClientCapabilities
-> Maybe [PositionEncodingKind]
-> GeneralClientCapabilities)
-> Parser (Maybe StaleRequestSupportOptions)
-> Parser
(Maybe RegularExpressionsClientCapabilities
-> Maybe MarkdownClientCapabilities
-> Maybe [PositionEncodingKind]
-> GeneralClientCapabilities)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Object
arg Object -> Key -> Parser (Maybe StaleRequestSupportOptions)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"staleRequestSupport" Parser
(Maybe RegularExpressionsClientCapabilities
-> Maybe MarkdownClientCapabilities
-> Maybe [PositionEncodingKind]
-> GeneralClientCapabilities)
-> Parser (Maybe RegularExpressionsClientCapabilities)
-> Parser
(Maybe MarkdownClientCapabilities
-> Maybe [PositionEncodingKind] -> GeneralClientCapabilities)
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 RegularExpressionsClientCapabilities)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"regularExpressions" Parser
(Maybe MarkdownClientCapabilities
-> Maybe [PositionEncodingKind] -> GeneralClientCapabilities)
-> Parser (Maybe MarkdownClientCapabilities)
-> Parser
(Maybe [PositionEncodingKind] -> GeneralClientCapabilities)
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 MarkdownClientCapabilities)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"markdown" Parser (Maybe [PositionEncodingKind] -> GeneralClientCapabilities)
-> Parser (Maybe [PositionEncodingKind])
-> Parser GeneralClientCapabilities
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 [PositionEncodingKind])
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"positionEncodings"