{- 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 as Row
import qualified Data.Row.Aeson as Aeson
import qualified Data.Row.Hashable as Hashable
import qualified Data.Text
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.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
     (Rec
        (("cancel" .== Bool)
         .+ (("retryOnContentModified" .== [Text]) .+ Empty)))
_staleRequestSupport :: (Maybe (Row.Rec ("cancel" Row..== Bool Row..+ ("retryOnContentModified" Row..== [Data.Text.Text] Row..+ Row.Empty))))
  , {-|
  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
  (Rec
     (("cancel" .== Bool)
      .+ (("retryOnContentModified" .== [Text]) .+ Empty)))
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
     (Rec
        ('R '["cancel" ':-> Bool, "retryOnContentModified" ':-> [Text]]))
-> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe
  (Rec
     (("cancel" .== Bool)
      .+ (("retryOnContentModified" .== [Text]) .+ Empty)))
Maybe
  (Rec
     ('R '["cancel" ':-> Bool, "retryOnContentModified" ':-> [Text]]))
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
  (Rec
     (("cancel" .== Bool)
      .+ (("retryOnContentModified" .== [Text]) .+ Empty)))
-> Maybe RegularExpressionsClientCapabilities
-> Maybe MarkdownClientCapabilities
-> Maybe [PositionEncodingKind]
-> GeneralClientCapabilities
Maybe
  (Rec
     ('R '["cancel" ':-> Bool, "retryOnContentModified" ':-> [Text]]))
-> Maybe RegularExpressionsClientCapabilities
-> Maybe MarkdownClientCapabilities
-> Maybe [PositionEncodingKind]
-> GeneralClientCapabilities
GeneralClientCapabilities (Maybe
   (Rec
      ('R '["cancel" ':-> Bool, "retryOnContentModified" ':-> [Text]]))
 -> Maybe RegularExpressionsClientCapabilities
 -> Maybe MarkdownClientCapabilities
 -> Maybe [PositionEncodingKind]
 -> GeneralClientCapabilities)
-> Parser
     (Maybe
        (Rec
           ('R '["cancel" ':-> Bool, "retryOnContentModified" ':-> [Text]])))
-> 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
        (Rec
           ('R '["cancel" ':-> Bool, "retryOnContentModified" ':-> [Text]])))
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"