{- 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.SignatureHelpClientCapabilities 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.MarkupKind
import qualified Language.LSP.Protocol.Types.Common

{-|
Client Capabilities for a `SignatureHelpRequest`.
-}
data SignatureHelpClientCapabilities = SignatureHelpClientCapabilities 
  { {-|
  Whether signature help supports dynamic registration.
  -}
  SignatureHelpClientCapabilities -> Maybe Bool
_dynamicRegistration :: (Maybe Bool)
  , {-|
  The client supports the following `SignatureInformation`
  specific properties.
  -}
  SignatureHelpClientCapabilities
-> Maybe
     (Rec
        (("documentationFormat" .== Maybe [MarkupKind])
         .+ (("parameterInformation"
              .== Maybe (Rec (("labelOffsetSupport" .== Maybe Bool) .+ Empty)))
             .+ (("activeParameterSupport" .== Maybe Bool) .+ Empty))))
_signatureInformation :: (Maybe (Row.Rec ("documentationFormat" Row..== (Maybe [Language.LSP.Protocol.Internal.Types.MarkupKind.MarkupKind]) Row..+ ("parameterInformation" Row..== (Maybe (Row.Rec ("labelOffsetSupport" Row..== (Maybe Bool) Row..+ Row.Empty))) Row..+ ("activeParameterSupport" Row..== (Maybe Bool) Row..+ Row.Empty)))))
  , {-|
  The client supports to send additional context information for a
  `textDocument/signatureHelp` request. A client that opts into
  contextSupport will also support the `retriggerCharacters` on
  `SignatureHelpOptions`.

  @since 3.15.0
  -}
  SignatureHelpClientCapabilities -> Maybe Bool
_contextSupport :: (Maybe Bool)
  }
  deriving stock (Int -> SignatureHelpClientCapabilities -> ShowS
[SignatureHelpClientCapabilities] -> ShowS
SignatureHelpClientCapabilities -> String
(Int -> SignatureHelpClientCapabilities -> ShowS)
-> (SignatureHelpClientCapabilities -> String)
-> ([SignatureHelpClientCapabilities] -> ShowS)
-> Show SignatureHelpClientCapabilities
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> SignatureHelpClientCapabilities -> ShowS
showsPrec :: Int -> SignatureHelpClientCapabilities -> ShowS
$cshow :: SignatureHelpClientCapabilities -> String
show :: SignatureHelpClientCapabilities -> String
$cshowList :: [SignatureHelpClientCapabilities] -> ShowS
showList :: [SignatureHelpClientCapabilities] -> ShowS
Show, SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities -> Bool
(SignatureHelpClientCapabilities
 -> SignatureHelpClientCapabilities -> Bool)
-> (SignatureHelpClientCapabilities
    -> SignatureHelpClientCapabilities -> Bool)
-> Eq SignatureHelpClientCapabilities
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities -> Bool
== :: SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities -> Bool
$c/= :: SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities -> Bool
/= :: SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities -> Bool
Eq, Eq SignatureHelpClientCapabilities
Eq SignatureHelpClientCapabilities =>
(SignatureHelpClientCapabilities
 -> SignatureHelpClientCapabilities -> Ordering)
-> (SignatureHelpClientCapabilities
    -> SignatureHelpClientCapabilities -> Bool)
-> (SignatureHelpClientCapabilities
    -> SignatureHelpClientCapabilities -> Bool)
-> (SignatureHelpClientCapabilities
    -> SignatureHelpClientCapabilities -> Bool)
-> (SignatureHelpClientCapabilities
    -> SignatureHelpClientCapabilities -> Bool)
-> (SignatureHelpClientCapabilities
    -> SignatureHelpClientCapabilities
    -> SignatureHelpClientCapabilities)
-> (SignatureHelpClientCapabilities
    -> SignatureHelpClientCapabilities
    -> SignatureHelpClientCapabilities)
-> Ord SignatureHelpClientCapabilities
SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities -> Bool
SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities -> Ordering
SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities
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 :: SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities -> Ordering
compare :: SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities -> Ordering
$c< :: SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities -> Bool
< :: SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities -> Bool
$c<= :: SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities -> Bool
<= :: SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities -> Bool
$c> :: SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities -> Bool
> :: SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities -> Bool
$c>= :: SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities -> Bool
>= :: SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities -> Bool
$cmax :: SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities
max :: SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities
$cmin :: SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities
min :: SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities
-> SignatureHelpClientCapabilities
Ord, (forall x.
 SignatureHelpClientCapabilities
 -> Rep SignatureHelpClientCapabilities x)
-> (forall x.
    Rep SignatureHelpClientCapabilities x
    -> SignatureHelpClientCapabilities)
-> Generic SignatureHelpClientCapabilities
forall x.
Rep SignatureHelpClientCapabilities x
-> SignatureHelpClientCapabilities
forall x.
SignatureHelpClientCapabilities
-> Rep SignatureHelpClientCapabilities x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x.
SignatureHelpClientCapabilities
-> Rep SignatureHelpClientCapabilities x
from :: forall x.
SignatureHelpClientCapabilities
-> Rep SignatureHelpClientCapabilities x
$cto :: forall x.
Rep SignatureHelpClientCapabilities x
-> SignatureHelpClientCapabilities
to :: forall x.
Rep SignatureHelpClientCapabilities x
-> SignatureHelpClientCapabilities
Generic)
  deriving anyclass (SignatureHelpClientCapabilities -> ()
(SignatureHelpClientCapabilities -> ())
-> NFData SignatureHelpClientCapabilities
forall a. (a -> ()) -> NFData a
$crnf :: SignatureHelpClientCapabilities -> ()
rnf :: SignatureHelpClientCapabilities -> ()
NFData, Eq SignatureHelpClientCapabilities
Eq SignatureHelpClientCapabilities =>
(Int -> SignatureHelpClientCapabilities -> Int)
-> (SignatureHelpClientCapabilities -> Int)
-> Hashable SignatureHelpClientCapabilities
Int -> SignatureHelpClientCapabilities -> Int
SignatureHelpClientCapabilities -> Int
forall a. Eq a => (Int -> a -> Int) -> (a -> Int) -> Hashable a
$chashWithSalt :: Int -> SignatureHelpClientCapabilities -> Int
hashWithSalt :: Int -> SignatureHelpClientCapabilities -> Int
$chash :: SignatureHelpClientCapabilities -> Int
hash :: SignatureHelpClientCapabilities -> Int
Hashable)
  deriving (forall ann. SignatureHelpClientCapabilities -> Doc ann)
-> (forall ann. [SignatureHelpClientCapabilities] -> Doc ann)
-> Pretty SignatureHelpClientCapabilities
forall ann. [SignatureHelpClientCapabilities] -> Doc ann
forall ann. SignatureHelpClientCapabilities -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
$cpretty :: forall ann. SignatureHelpClientCapabilities -> Doc ann
pretty :: forall ann. SignatureHelpClientCapabilities -> Doc ann
$cprettyList :: forall ann. [SignatureHelpClientCapabilities] -> Doc ann
prettyList :: forall ann. [SignatureHelpClientCapabilities] -> Doc ann
Pretty via (ViaJSON SignatureHelpClientCapabilities)

instance Aeson.ToJSON SignatureHelpClientCapabilities where
  toJSON :: SignatureHelpClientCapabilities -> Value
toJSON (SignatureHelpClientCapabilities Maybe Bool
arg0 Maybe
  (Rec
     (("documentationFormat" .== Maybe [MarkupKind])
      .+ (("parameterInformation"
           .== Maybe (Rec (("labelOffsetSupport" .== Maybe Bool) .+ Empty)))
          .+ (("activeParameterSupport" .== Maybe Bool) .+ Empty))))
arg1 Maybe Bool
arg2) = [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
"signatureInformation" String
-> Maybe
     (Rec
        ('R
           '["activeParameterSupport" ':-> Maybe Bool,
             "documentationFormat" ':-> Maybe [MarkupKind],
             "parameterInformation"
             ':-> Maybe (Rec ('R '["labelOffsetSupport" ':-> Maybe Bool]))]))
-> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe
  (Rec
     (("documentationFormat" .== Maybe [MarkupKind])
      .+ (("parameterInformation"
           .== Maybe (Rec (("labelOffsetSupport" .== Maybe Bool) .+ Empty)))
          .+ (("activeParameterSupport" .== Maybe Bool) .+ Empty))))
Maybe
  (Rec
     ('R
        '["activeParameterSupport" ':-> Maybe Bool,
          "documentationFormat" ':-> Maybe [MarkupKind],
          "parameterInformation"
          ':-> Maybe (Rec ('R '["labelOffsetSupport" ':-> Maybe Bool]))]))
arg1
    ,String
"contextSupport" 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]

instance Aeson.FromJSON SignatureHelpClientCapabilities where
  parseJSON :: Value -> Parser SignatureHelpClientCapabilities
parseJSON = String
-> (Object -> Parser SignatureHelpClientCapabilities)
-> Value
-> Parser SignatureHelpClientCapabilities
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"SignatureHelpClientCapabilities" ((Object -> Parser SignatureHelpClientCapabilities)
 -> Value -> Parser SignatureHelpClientCapabilities)
-> (Object -> Parser SignatureHelpClientCapabilities)
-> Value
-> Parser SignatureHelpClientCapabilities
forall a b. (a -> b) -> a -> b
$ \Object
arg -> Maybe Bool
-> Maybe
     (Rec
        (("documentationFormat" .== Maybe [MarkupKind])
         .+ (("parameterInformation"
              .== Maybe (Rec (("labelOffsetSupport" .== Maybe Bool) .+ Empty)))
             .+ (("activeParameterSupport" .== Maybe Bool) .+ Empty))))
-> Maybe Bool
-> SignatureHelpClientCapabilities
Maybe Bool
-> Maybe
     (Rec
        ('R
           '["activeParameterSupport" ':-> Maybe Bool,
             "documentationFormat" ':-> Maybe [MarkupKind],
             "parameterInformation"
             ':-> Maybe (Rec ('R '["labelOffsetSupport" ':-> Maybe Bool]))]))
-> Maybe Bool
-> SignatureHelpClientCapabilities
SignatureHelpClientCapabilities (Maybe Bool
 -> Maybe
      (Rec
         ('R
            '["activeParameterSupport" ':-> Maybe Bool,
              "documentationFormat" ':-> Maybe [MarkupKind],
              "parameterInformation"
              ':-> Maybe (Rec ('R '["labelOffsetSupport" ':-> Maybe Bool]))]))
 -> Maybe Bool
 -> SignatureHelpClientCapabilities)
-> Parser (Maybe Bool)
-> Parser
     (Maybe
        (Rec
           ('R
              '["activeParameterSupport" ':-> Maybe Bool,
                "documentationFormat" ':-> Maybe [MarkupKind],
                "parameterInformation"
                ':-> Maybe (Rec ('R '["labelOffsetSupport" ':-> Maybe Bool]))]))
      -> Maybe Bool -> SignatureHelpClientCapabilities)
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
     (Rec
        ('R
           '["activeParameterSupport" ':-> Maybe Bool,
             "documentationFormat" ':-> Maybe [MarkupKind],
             "parameterInformation"
             ':-> Maybe (Rec ('R '["labelOffsetSupport" ':-> Maybe Bool]))]))
   -> Maybe Bool -> SignatureHelpClientCapabilities)
-> Parser
     (Maybe
        (Rec
           ('R
              '["activeParameterSupport" ':-> Maybe Bool,
                "documentationFormat" ':-> Maybe [MarkupKind],
                "parameterInformation"
                ':-> Maybe (Rec ('R '["labelOffsetSupport" ':-> Maybe Bool]))])))
-> Parser (Maybe Bool -> SignatureHelpClientCapabilities)
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
              '["activeParameterSupport" ':-> Maybe Bool,
                "documentationFormat" ':-> Maybe [MarkupKind],
                "parameterInformation"
                ':-> Maybe (Rec ('R '["labelOffsetSupport" ':-> Maybe Bool]))])))
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"signatureInformation" Parser (Maybe Bool -> SignatureHelpClientCapabilities)
-> Parser (Maybe Bool) -> Parser SignatureHelpClientCapabilities
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
"contextSupport"