{- 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.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

{-|
General client capabilities.

@since 3.16.0
-}
data GeneralClientCapabilities = GeneralClientCapabilities 
  { {-|
  Client capability that signals how the client
  handles stale requests (e.g. a request
  for which the client will not process the response
  anymore since the information is outdated).

  @since 3.17.0
  -}
  GeneralClientCapabilities -> Maybe StaleRequestSupportOptions
_staleRequestSupport :: (Maybe Language.LSP.Protocol.Internal.Types.StaleRequestSupportOptions.StaleRequestSupportOptions)
  , {-|
  Client capabilities specific to regular expressions.

  @since 3.16.0
  -}
  GeneralClientCapabilities
-> Maybe RegularExpressionsClientCapabilities
_regularExpressions :: (Maybe Language.LSP.Protocol.Internal.Types.RegularExpressionsClientCapabilities.RegularExpressionsClientCapabilities)
  , {-|
  Client capabilities specific to the client's markdown parser.

  @since 3.16.0
  -}
  GeneralClientCapabilities -> Maybe MarkdownClientCapabilities
_markdown :: (Maybe Language.LSP.Protocol.Internal.Types.MarkdownClientCapabilities.MarkdownClientCapabilities)
  , {-|
  The position encodings supported by the client. Client and server
  have to agree on the same position encoding to ensure that offsets
  (e.g. character position in a line) are interpreted the same on both
  sides.

  To keep the protocol backwards compatible the following applies: if
  the value 'utf-16' is missing from the array of position encodings
  servers can assume that the client supports UTF-16. UTF-16 is
  therefore a mandatory encoding.

  If omitted it defaults to ['utf-16'].

  Implementation considerations: since the conversion from one encoding
  into another requires the content of the file / line the conversion
  is best done where the file is read which is usually on the server
  side.

  @since 3.17.0
  -}
  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"