{- 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.ApplyWorkspaceEditResult 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 Data.Text
import qualified Language.LSP.Protocol.Types.Common

{-|
The result returned from the apply workspace edit request.

@since 3.17 renamed from ApplyWorkspaceEditResponse
-}
data ApplyWorkspaceEditResult = ApplyWorkspaceEditResult 
  { {-|
  Indicates whether the edit was applied or not.
  -}
  ApplyWorkspaceEditResult -> Bool
_applied :: Bool
  , {-|
  An optional textual description for why the edit was not applied.
  This may be used by the server for diagnostic logging or to provide
  a suitable error for a request that triggered the edit.
  -}
  ApplyWorkspaceEditResult -> Maybe Text
_failureReason :: (Maybe Data.Text.Text)
  , {-|
  Depending on the client's failure handling strategy `failedChange` might
  contain the index of the change that failed. This property is only available
  if the client signals a `failureHandlingStrategy` in its client capabilities.
  -}
  ApplyWorkspaceEditResult -> Maybe UInt
_failedChange :: (Maybe Language.LSP.Protocol.Types.Common.UInt)
  }
  deriving stock (Int -> ApplyWorkspaceEditResult -> ShowS
[ApplyWorkspaceEditResult] -> ShowS
ApplyWorkspaceEditResult -> String
(Int -> ApplyWorkspaceEditResult -> ShowS)
-> (ApplyWorkspaceEditResult -> String)
-> ([ApplyWorkspaceEditResult] -> ShowS)
-> Show ApplyWorkspaceEditResult
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> ApplyWorkspaceEditResult -> ShowS
showsPrec :: Int -> ApplyWorkspaceEditResult -> ShowS
$cshow :: ApplyWorkspaceEditResult -> String
show :: ApplyWorkspaceEditResult -> String
$cshowList :: [ApplyWorkspaceEditResult] -> ShowS
showList :: [ApplyWorkspaceEditResult] -> ShowS
Show, ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Bool
(ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Bool)
-> (ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Bool)
-> Eq ApplyWorkspaceEditResult
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Bool
== :: ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Bool
$c/= :: ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Bool
/= :: ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Bool
Eq, Eq ApplyWorkspaceEditResult
Eq ApplyWorkspaceEditResult =>
(ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Ordering)
-> (ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Bool)
-> (ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Bool)
-> (ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Bool)
-> (ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Bool)
-> (ApplyWorkspaceEditResult
    -> ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult)
-> (ApplyWorkspaceEditResult
    -> ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult)
-> Ord ApplyWorkspaceEditResult
ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Bool
ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Ordering
ApplyWorkspaceEditResult
-> ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult
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 :: ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Ordering
compare :: ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Ordering
$c< :: ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Bool
< :: ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Bool
$c<= :: ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Bool
<= :: ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Bool
$c> :: ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Bool
> :: ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Bool
$c>= :: ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Bool
>= :: ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult -> Bool
$cmax :: ApplyWorkspaceEditResult
-> ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult
max :: ApplyWorkspaceEditResult
-> ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult
$cmin :: ApplyWorkspaceEditResult
-> ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult
min :: ApplyWorkspaceEditResult
-> ApplyWorkspaceEditResult -> ApplyWorkspaceEditResult
Ord, (forall x.
 ApplyWorkspaceEditResult -> Rep ApplyWorkspaceEditResult x)
-> (forall x.
    Rep ApplyWorkspaceEditResult x -> ApplyWorkspaceEditResult)
-> Generic ApplyWorkspaceEditResult
forall x.
Rep ApplyWorkspaceEditResult x -> ApplyWorkspaceEditResult
forall x.
ApplyWorkspaceEditResult -> Rep ApplyWorkspaceEditResult x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x.
ApplyWorkspaceEditResult -> Rep ApplyWorkspaceEditResult x
from :: forall x.
ApplyWorkspaceEditResult -> Rep ApplyWorkspaceEditResult x
$cto :: forall x.
Rep ApplyWorkspaceEditResult x -> ApplyWorkspaceEditResult
to :: forall x.
Rep ApplyWorkspaceEditResult x -> ApplyWorkspaceEditResult
Generic)
  deriving anyclass (ApplyWorkspaceEditResult -> ()
(ApplyWorkspaceEditResult -> ()) -> NFData ApplyWorkspaceEditResult
forall a. (a -> ()) -> NFData a
$crnf :: ApplyWorkspaceEditResult -> ()
rnf :: ApplyWorkspaceEditResult -> ()
NFData, Eq ApplyWorkspaceEditResult
Eq ApplyWorkspaceEditResult =>
(Int -> ApplyWorkspaceEditResult -> Int)
-> (ApplyWorkspaceEditResult -> Int)
-> Hashable ApplyWorkspaceEditResult
Int -> ApplyWorkspaceEditResult -> Int
ApplyWorkspaceEditResult -> Int
forall a. Eq a => (Int -> a -> Int) -> (a -> Int) -> Hashable a
$chashWithSalt :: Int -> ApplyWorkspaceEditResult -> Int
hashWithSalt :: Int -> ApplyWorkspaceEditResult -> Int
$chash :: ApplyWorkspaceEditResult -> Int
hash :: ApplyWorkspaceEditResult -> Int
Hashable)
  deriving (forall ann. ApplyWorkspaceEditResult -> Doc ann)
-> (forall ann. [ApplyWorkspaceEditResult] -> Doc ann)
-> Pretty ApplyWorkspaceEditResult
forall ann. [ApplyWorkspaceEditResult] -> Doc ann
forall ann. ApplyWorkspaceEditResult -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
$cpretty :: forall ann. ApplyWorkspaceEditResult -> Doc ann
pretty :: forall ann. ApplyWorkspaceEditResult -> Doc ann
$cprettyList :: forall ann. [ApplyWorkspaceEditResult] -> Doc ann
prettyList :: forall ann. [ApplyWorkspaceEditResult] -> Doc ann
Pretty via (ViaJSON ApplyWorkspaceEditResult)

instance Aeson.ToJSON ApplyWorkspaceEditResult where
  toJSON :: ApplyWorkspaceEditResult -> Value
toJSON (ApplyWorkspaceEditResult Bool
arg0 Maybe Text
arg1 Maybe UInt
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
$  [[Key
"applied" Key -> Bool -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= Bool
arg0]
    ,String
"failureReason" String -> Maybe Text -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Text
arg1
    ,String
"failedChange" String -> Maybe UInt -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe UInt
arg2]

instance Aeson.FromJSON ApplyWorkspaceEditResult where
  parseJSON :: Value -> Parser ApplyWorkspaceEditResult
parseJSON = String
-> (Object -> Parser ApplyWorkspaceEditResult)
-> Value
-> Parser ApplyWorkspaceEditResult
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"ApplyWorkspaceEditResult" ((Object -> Parser ApplyWorkspaceEditResult)
 -> Value -> Parser ApplyWorkspaceEditResult)
-> (Object -> Parser ApplyWorkspaceEditResult)
-> Value
-> Parser ApplyWorkspaceEditResult
forall a b. (a -> b) -> a -> b
$ \Object
arg -> Bool -> Maybe Text -> Maybe UInt -> ApplyWorkspaceEditResult
ApplyWorkspaceEditResult (Bool -> Maybe Text -> Maybe UInt -> ApplyWorkspaceEditResult)
-> Parser Bool
-> Parser (Maybe Text -> Maybe UInt -> ApplyWorkspaceEditResult)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Object
arg Object -> Key -> Parser Bool
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"applied" Parser (Maybe Text -> Maybe UInt -> ApplyWorkspaceEditResult)
-> Parser (Maybe Text)
-> Parser (Maybe UInt -> ApplyWorkspaceEditResult)
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 Text)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"failureReason" Parser (Maybe UInt -> ApplyWorkspaceEditResult)
-> Parser (Maybe UInt) -> Parser ApplyWorkspaceEditResult
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 UInt)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"failedChange"