{- 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 as Row
import qualified Data.Row.Aeson as Aeson
import qualified Data.Row.Hashable as Hashable
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 (Rec (("groupsOnLabel" .== Maybe Bool) .+ Empty))
_changeAnnotationSupport :: (Maybe (Row.Rec ("groupsOnLabel" Row..== (Maybe Bool) Row..+ Row.Empty)))
  }
  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 (Rec (("groupsOnLabel" .== Maybe Bool) .+ Empty))
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 (Rec ('R '["groupsOnLabel" ':-> Maybe Bool])) -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (Rec (("groupsOnLabel" .== Maybe Bool) .+ Empty))
Maybe (Rec ('R '["groupsOnLabel" ':-> Maybe Bool]))
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 (Rec (("groupsOnLabel" .== Maybe Bool) .+ Empty))
-> WorkspaceEditClientCapabilities
Maybe Bool
-> Maybe [ResourceOperationKind]
-> Maybe FailureHandlingKind
-> Maybe Bool
-> Maybe (Rec ('R '["groupsOnLabel" ':-> Maybe Bool]))
-> WorkspaceEditClientCapabilities
WorkspaceEditClientCapabilities (Maybe Bool
 -> Maybe [ResourceOperationKind]
 -> Maybe FailureHandlingKind
 -> Maybe Bool
 -> Maybe (Rec ('R '["groupsOnLabel" ':-> Maybe Bool]))
 -> WorkspaceEditClientCapabilities)
-> Parser (Maybe Bool)
-> Parser
     (Maybe [ResourceOperationKind]
      -> Maybe FailureHandlingKind
      -> Maybe Bool
      -> Maybe (Rec ('R '["groupsOnLabel" ':-> Maybe Bool]))
      -> 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 (Rec ('R '["groupsOnLabel" ':-> Maybe Bool]))
   -> WorkspaceEditClientCapabilities)
-> Parser (Maybe [ResourceOperationKind])
-> Parser
     (Maybe FailureHandlingKind
      -> Maybe Bool
      -> Maybe (Rec ('R '["groupsOnLabel" ':-> Maybe Bool]))
      -> 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 (Rec ('R '["groupsOnLabel" ':-> Maybe Bool]))
   -> WorkspaceEditClientCapabilities)
-> Parser (Maybe FailureHandlingKind)
-> Parser
     (Maybe Bool
      -> Maybe (Rec ('R '["groupsOnLabel" ':-> Maybe Bool]))
      -> 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 (Rec ('R '["groupsOnLabel" ':-> Maybe Bool]))
   -> WorkspaceEditClientCapabilities)
-> Parser (Maybe Bool)
-> Parser
     (Maybe (Rec ('R '["groupsOnLabel" ':-> Maybe Bool]))
      -> 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 (Rec ('R '["groupsOnLabel" ':-> Maybe Bool]))
   -> WorkspaceEditClientCapabilities)
-> Parser (Maybe (Rec ('R '["groupsOnLabel" ':-> Maybe Bool])))
-> 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 (Rec ('R '["groupsOnLabel" ':-> Maybe Bool])))
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"changeAnnotationSupport"