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

{-|
The Client Capabilities of a `CodeActionRequest`.
-}
data CodeActionClientCapabilities = CodeActionClientCapabilities 
  { {-|
  Whether code action supports dynamic registration.
  -}
  CodeActionClientCapabilities -> Maybe Bool
_dynamicRegistration :: (Maybe Bool)
  , {-|
  The client support code action literals of type `CodeAction` as a valid
  response of the `textDocument/codeAction` request. If the property is not
  set the request can only return `Command` literals.

  @since 3.8.0
  -}
  CodeActionClientCapabilities
-> Maybe
     (Rec
        (("codeActionKind"
          .== Rec (("valueSet" .== [CodeActionKind]) .+ Empty))
         .+ Empty))
_codeActionLiteralSupport :: (Maybe (Row.Rec ("codeActionKind" Row..== (Row.Rec ("valueSet" Row..== [Language.LSP.Protocol.Internal.Types.CodeActionKind.CodeActionKind] Row..+ Row.Empty)) Row..+ Row.Empty)))
  , {-|
  Whether code action supports the `isPreferred` property.

  @since 3.15.0
  -}
  CodeActionClientCapabilities -> Maybe Bool
_isPreferredSupport :: (Maybe Bool)
  , {-|
  Whether code action supports the `disabled` property.

  @since 3.16.0
  -}
  CodeActionClientCapabilities -> Maybe Bool
_disabledSupport :: (Maybe Bool)
  , {-|
  Whether code action supports the `data` property which is
  preserved between a `textDocument/codeAction` and a
  `codeAction/resolve` request.

  @since 3.16.0
  -}
  CodeActionClientCapabilities -> Maybe Bool
_dataSupport :: (Maybe Bool)
  , {-|
  Whether the client supports resolving additional code action
  properties via a separate `codeAction/resolve` request.

  @since 3.16.0
  -}
  CodeActionClientCapabilities
-> Maybe (Rec (("properties" .== [Text]) .+ Empty))
_resolveSupport :: (Maybe (Row.Rec ("properties" Row..== [Data.Text.Text] Row..+ Row.Empty)))
  , {-|
  Whether the client honors the change annotations in
  text edits and resource operations returned via the
  `CodeAction#edit` property by for example presenting
  the workspace edit in the user interface and asking
  for confirmation.

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

instance Aeson.ToJSON CodeActionClientCapabilities where
  toJSON :: CodeActionClientCapabilities -> Value
toJSON (CodeActionClientCapabilities Maybe Bool
arg0 Maybe
  (Rec
     (("codeActionKind"
       .== Rec (("valueSet" .== [CodeActionKind]) .+ Empty))
      .+ Empty))
arg1 Maybe Bool
arg2 Maybe Bool
arg3 Maybe Bool
arg4 Maybe (Rec (("properties" .== [Text]) .+ Empty))
arg5 Maybe Bool
arg6) = [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
"codeActionLiteralSupport" String
-> Maybe
     (Rec
        ('R
           '["codeActionKind"
             ':-> Rec ('R '["valueSet" ':-> [CodeActionKind]])]))
-> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe
  (Rec
     (("codeActionKind"
       .== Rec (("valueSet" .== [CodeActionKind]) .+ Empty))
      .+ Empty))
Maybe
  (Rec
     ('R
        '["codeActionKind"
          ':-> Rec ('R '["valueSet" ':-> [CodeActionKind]])]))
arg1
    ,String
"isPreferredSupport" 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
"disabledSupport" String -> Maybe Bool -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Bool
arg3
    ,String
"dataSupport" String -> Maybe Bool -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Bool
arg4
    ,String
"resolveSupport" String -> Maybe (Rec ('R '["properties" ':-> [Text]])) -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (Rec (("properties" .== [Text]) .+ Empty))
Maybe (Rec ('R '["properties" ':-> [Text]]))
arg5
    ,String
"honorsChangeAnnotations" String -> Maybe Bool -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Bool
arg6]

instance Aeson.FromJSON CodeActionClientCapabilities where
  parseJSON :: Value -> Parser CodeActionClientCapabilities
parseJSON = String
-> (Object -> Parser CodeActionClientCapabilities)
-> Value
-> Parser CodeActionClientCapabilities
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"CodeActionClientCapabilities" ((Object -> Parser CodeActionClientCapabilities)
 -> Value -> Parser CodeActionClientCapabilities)
-> (Object -> Parser CodeActionClientCapabilities)
-> Value
-> Parser CodeActionClientCapabilities
forall a b. (a -> b) -> a -> b
$ \Object
arg -> Maybe Bool
-> Maybe
     (Rec
        (("codeActionKind"
          .== Rec (("valueSet" .== [CodeActionKind]) .+ Empty))
         .+ Empty))
-> Maybe Bool
-> Maybe Bool
-> Maybe Bool
-> Maybe (Rec (("properties" .== [Text]) .+ Empty))
-> Maybe Bool
-> CodeActionClientCapabilities
Maybe Bool
-> Maybe
     (Rec
        ('R
           '["codeActionKind"
             ':-> Rec ('R '["valueSet" ':-> [CodeActionKind]])]))
-> Maybe Bool
-> Maybe Bool
-> Maybe Bool
-> Maybe (Rec ('R '["properties" ':-> [Text]]))
-> Maybe Bool
-> CodeActionClientCapabilities
CodeActionClientCapabilities (Maybe Bool
 -> Maybe
      (Rec
         ('R
            '["codeActionKind"
              ':-> Rec ('R '["valueSet" ':-> [CodeActionKind]])]))
 -> Maybe Bool
 -> Maybe Bool
 -> Maybe Bool
 -> Maybe (Rec ('R '["properties" ':-> [Text]]))
 -> Maybe Bool
 -> CodeActionClientCapabilities)
-> Parser (Maybe Bool)
-> Parser
     (Maybe
        (Rec
           ('R
              '["codeActionKind"
                ':-> Rec ('R '["valueSet" ':-> [CodeActionKind]])]))
      -> Maybe Bool
      -> Maybe Bool
      -> Maybe Bool
      -> Maybe (Rec ('R '["properties" ':-> [Text]]))
      -> Maybe Bool
      -> CodeActionClientCapabilities)
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
           '["codeActionKind"
             ':-> Rec ('R '["valueSet" ':-> [CodeActionKind]])]))
   -> Maybe Bool
   -> Maybe Bool
   -> Maybe Bool
   -> Maybe (Rec ('R '["properties" ':-> [Text]]))
   -> Maybe Bool
   -> CodeActionClientCapabilities)
-> Parser
     (Maybe
        (Rec
           ('R
              '["codeActionKind"
                ':-> Rec ('R '["valueSet" ':-> [CodeActionKind]])])))
-> Parser
     (Maybe Bool
      -> Maybe Bool
      -> Maybe Bool
      -> Maybe (Rec ('R '["properties" ':-> [Text]]))
      -> Maybe Bool
      -> CodeActionClientCapabilities)
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
              '["codeActionKind"
                ':-> Rec ('R '["valueSet" ':-> [CodeActionKind]])])))
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"codeActionLiteralSupport" Parser
  (Maybe Bool
   -> Maybe Bool
   -> Maybe Bool
   -> Maybe (Rec ('R '["properties" ':-> [Text]]))
   -> Maybe Bool
   -> CodeActionClientCapabilities)
-> Parser (Maybe Bool)
-> Parser
     (Maybe Bool
      -> Maybe Bool
      -> Maybe (Rec ('R '["properties" ':-> [Text]]))
      -> Maybe Bool
      -> CodeActionClientCapabilities)
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
"isPreferredSupport" Parser
  (Maybe Bool
   -> Maybe Bool
   -> Maybe (Rec ('R '["properties" ':-> [Text]]))
   -> Maybe Bool
   -> CodeActionClientCapabilities)
-> Parser (Maybe Bool)
-> Parser
     (Maybe Bool
      -> Maybe (Rec ('R '["properties" ':-> [Text]]))
      -> Maybe Bool
      -> CodeActionClientCapabilities)
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
"disabledSupport" Parser
  (Maybe Bool
   -> Maybe (Rec ('R '["properties" ':-> [Text]]))
   -> Maybe Bool
   -> CodeActionClientCapabilities)
-> Parser (Maybe Bool)
-> Parser
     (Maybe (Rec ('R '["properties" ':-> [Text]]))
      -> Maybe Bool -> CodeActionClientCapabilities)
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
"dataSupport" Parser
  (Maybe (Rec ('R '["properties" ':-> [Text]]))
   -> Maybe Bool -> CodeActionClientCapabilities)
-> Parser (Maybe (Rec ('R '["properties" ':-> [Text]])))
-> Parser (Maybe Bool -> CodeActionClientCapabilities)
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 '["properties" ':-> [Text]])))
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"resolveSupport" Parser (Maybe Bool -> CodeActionClientCapabilities)
-> Parser (Maybe Bool) -> Parser CodeActionClientCapabilities
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
"honorsChangeAnnotations"