{- 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.WorkspaceEditClientCapabilities 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.ChangeAnnotationsSupportOptions
import qualified Language.LSP.Protocol.Internal.Types.FailureHandlingKind
import qualified Language.LSP.Protocol.Internal.Types.ResourceOperationKind
import qualified Language.LSP.Protocol.Types.Common

{-|

-}
data WorkspaceEditClientCapabilities = WorkspaceEditClientCapabilities 
  { {-|
  The client supports versioned document changes in `WorkspaceEdit`s
  -}
  WorkspaceEditClientCapabilities -> Maybe Bool
_documentChanges :: (Maybe Bool)
  , {-|
  The resource operations the client supports. Clients should at least
  support 'create', 'rename' and 'delete' files and folders.

  @since 3.13.0
  -}
  WorkspaceEditClientCapabilities -> Maybe [ResourceOperationKind]
_resourceOperations :: (Maybe [Language.LSP.Protocol.Internal.Types.ResourceOperationKind.ResourceOperationKind])
  , {-|
  The failure handling strategy of a client if applying the workspace edit
  fails.

  @since 3.13.0
  -}
  WorkspaceEditClientCapabilities -> Maybe FailureHandlingKind
_failureHandling :: (Maybe Language.LSP.Protocol.Internal.Types.FailureHandlingKind.FailureHandlingKind)
  , {-|
  Whether the client normalizes line endings to the client specific
  setting.
  If set to `true` the client will normalize line ending characters
  in a workspace edit to the client-specified new line
  character.

  @since 3.16.0
  -}
  WorkspaceEditClientCapabilities -> Maybe Bool
_normalizesLineEndings :: (Maybe Bool)
  , {-|
  Whether the client in general supports change annotations on text edits,
  create file, rename file and delete file changes.

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

instance Aeson.ToJSON WorkspaceEditClientCapabilities where
  toJSON :: WorkspaceEditClientCapabilities -> Value
toJSON (WorkspaceEditClientCapabilities Maybe Bool
arg0 Maybe [ResourceOperationKind]
arg1 Maybe FailureHandlingKind
arg2 Maybe Bool
arg3 Maybe ChangeAnnotationsSupportOptions
arg4) = [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
"documentChanges" 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
"resourceOperations" String -> Maybe [ResourceOperationKind] -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe [ResourceOperationKind]
arg1
    ,String
"failureHandling" String -> Maybe FailureHandlingKind -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe FailureHandlingKind
arg2
    ,String
"normalizesLineEndings" 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
"changeAnnotationSupport" String -> Maybe ChangeAnnotationsSupportOptions -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe ChangeAnnotationsSupportOptions
arg4]

instance Aeson.FromJSON WorkspaceEditClientCapabilities where
  parseJSON :: Value -> Parser WorkspaceEditClientCapabilities
parseJSON = String
-> (Object -> Parser WorkspaceEditClientCapabilities)
-> Value
-> Parser WorkspaceEditClientCapabilities
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"WorkspaceEditClientCapabilities" ((Object -> Parser WorkspaceEditClientCapabilities)
 -> Value -> Parser WorkspaceEditClientCapabilities)
-> (Object -> Parser WorkspaceEditClientCapabilities)
-> Value
-> Parser WorkspaceEditClientCapabilities
forall a b. (a -> b) -> a -> b
$ \Object
arg -> Maybe Bool
-> Maybe [ResourceOperationKind]
-> Maybe FailureHandlingKind
-> Maybe Bool
-> Maybe ChangeAnnotationsSupportOptions
-> WorkspaceEditClientCapabilities
WorkspaceEditClientCapabilities (Maybe Bool
 -> Maybe [ResourceOperationKind]
 -> Maybe FailureHandlingKind
 -> Maybe Bool
 -> Maybe ChangeAnnotationsSupportOptions
 -> WorkspaceEditClientCapabilities)
-> Parser (Maybe Bool)
-> Parser
     (Maybe [ResourceOperationKind]
      -> Maybe FailureHandlingKind
      -> Maybe Bool
      -> Maybe ChangeAnnotationsSupportOptions
      -> WorkspaceEditClientCapabilities)
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
"documentChanges" Parser
  (Maybe [ResourceOperationKind]
   -> Maybe FailureHandlingKind
   -> Maybe Bool
   -> Maybe ChangeAnnotationsSupportOptions
   -> WorkspaceEditClientCapabilities)
-> Parser (Maybe [ResourceOperationKind])
-> Parser
     (Maybe FailureHandlingKind
      -> Maybe Bool
      -> Maybe ChangeAnnotationsSupportOptions
      -> WorkspaceEditClientCapabilities)
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 [ResourceOperationKind])
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"resourceOperations" Parser
  (Maybe FailureHandlingKind
   -> Maybe Bool
   -> Maybe ChangeAnnotationsSupportOptions
   -> WorkspaceEditClientCapabilities)
-> Parser (Maybe FailureHandlingKind)
-> Parser
     (Maybe Bool
      -> Maybe ChangeAnnotationsSupportOptions
      -> WorkspaceEditClientCapabilities)
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 FailureHandlingKind)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"failureHandling" Parser
  (Maybe Bool
   -> Maybe ChangeAnnotationsSupportOptions
   -> WorkspaceEditClientCapabilities)
-> Parser (Maybe Bool)
-> Parser
     (Maybe ChangeAnnotationsSupportOptions
      -> WorkspaceEditClientCapabilities)
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
"normalizesLineEndings" Parser
  (Maybe ChangeAnnotationsSupportOptions
   -> WorkspaceEditClientCapabilities)
-> Parser (Maybe ChangeAnnotationsSupportOptions)
-> Parser WorkspaceEditClientCapabilities
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 ChangeAnnotationsSupportOptions)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"changeAnnotationSupport"