{-# OPTIONS_GHC -Wno-unused-imports #-}
{-# OPTIONS_GHC -Wno-unused-matches #-}
{-# OPTIONS_GHC -Wno-deprecations #-}
module Language.LSP.Protocol.Internal.Types.DeleteFilesParams 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.FileDelete
import qualified Language.LSP.Protocol.Types.Common
data DeleteFilesParams = DeleteFilesParams
{
DeleteFilesParams -> [FileDelete]
_files :: [Language.LSP.Protocol.Internal.Types.FileDelete.FileDelete]
}
deriving stock (Int -> DeleteFilesParams -> ShowS
[DeleteFilesParams] -> ShowS
DeleteFilesParams -> String
(Int -> DeleteFilesParams -> ShowS)
-> (DeleteFilesParams -> String)
-> ([DeleteFilesParams] -> ShowS)
-> Show DeleteFilesParams
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> DeleteFilesParams -> ShowS
showsPrec :: Int -> DeleteFilesParams -> ShowS
$cshow :: DeleteFilesParams -> String
show :: DeleteFilesParams -> String
$cshowList :: [DeleteFilesParams] -> ShowS
showList :: [DeleteFilesParams] -> ShowS
Show, DeleteFilesParams -> DeleteFilesParams -> Bool
(DeleteFilesParams -> DeleteFilesParams -> Bool)
-> (DeleteFilesParams -> DeleteFilesParams -> Bool)
-> Eq DeleteFilesParams
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: DeleteFilesParams -> DeleteFilesParams -> Bool
== :: DeleteFilesParams -> DeleteFilesParams -> Bool
$c/= :: DeleteFilesParams -> DeleteFilesParams -> Bool
/= :: DeleteFilesParams -> DeleteFilesParams -> Bool
Eq, Eq DeleteFilesParams
Eq DeleteFilesParams =>
(DeleteFilesParams -> DeleteFilesParams -> Ordering)
-> (DeleteFilesParams -> DeleteFilesParams -> Bool)
-> (DeleteFilesParams -> DeleteFilesParams -> Bool)
-> (DeleteFilesParams -> DeleteFilesParams -> Bool)
-> (DeleteFilesParams -> DeleteFilesParams -> Bool)
-> (DeleteFilesParams -> DeleteFilesParams -> DeleteFilesParams)
-> (DeleteFilesParams -> DeleteFilesParams -> DeleteFilesParams)
-> Ord DeleteFilesParams
DeleteFilesParams -> DeleteFilesParams -> Bool
DeleteFilesParams -> DeleteFilesParams -> Ordering
DeleteFilesParams -> DeleteFilesParams -> DeleteFilesParams
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 :: DeleteFilesParams -> DeleteFilesParams -> Ordering
compare :: DeleteFilesParams -> DeleteFilesParams -> Ordering
$c< :: DeleteFilesParams -> DeleteFilesParams -> Bool
< :: DeleteFilesParams -> DeleteFilesParams -> Bool
$c<= :: DeleteFilesParams -> DeleteFilesParams -> Bool
<= :: DeleteFilesParams -> DeleteFilesParams -> Bool
$c> :: DeleteFilesParams -> DeleteFilesParams -> Bool
> :: DeleteFilesParams -> DeleteFilesParams -> Bool
$c>= :: DeleteFilesParams -> DeleteFilesParams -> Bool
>= :: DeleteFilesParams -> DeleteFilesParams -> Bool
$cmax :: DeleteFilesParams -> DeleteFilesParams -> DeleteFilesParams
max :: DeleteFilesParams -> DeleteFilesParams -> DeleteFilesParams
$cmin :: DeleteFilesParams -> DeleteFilesParams -> DeleteFilesParams
min :: DeleteFilesParams -> DeleteFilesParams -> DeleteFilesParams
Ord, (forall x. DeleteFilesParams -> Rep DeleteFilesParams x)
-> (forall x. Rep DeleteFilesParams x -> DeleteFilesParams)
-> Generic DeleteFilesParams
forall x. Rep DeleteFilesParams x -> DeleteFilesParams
forall x. DeleteFilesParams -> Rep DeleteFilesParams x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. DeleteFilesParams -> Rep DeleteFilesParams x
from :: forall x. DeleteFilesParams -> Rep DeleteFilesParams x
$cto :: forall x. Rep DeleteFilesParams x -> DeleteFilesParams
to :: forall x. Rep DeleteFilesParams x -> DeleteFilesParams
Generic)
deriving anyclass (DeleteFilesParams -> ()
(DeleteFilesParams -> ()) -> NFData DeleteFilesParams
forall a. (a -> ()) -> NFData a
$crnf :: DeleteFilesParams -> ()
rnf :: DeleteFilesParams -> ()
NFData, Eq DeleteFilesParams
Eq DeleteFilesParams =>
(Int -> DeleteFilesParams -> Int)
-> (DeleteFilesParams -> Int) -> Hashable DeleteFilesParams
Int -> DeleteFilesParams -> Int
DeleteFilesParams -> Int
forall a. Eq a => (Int -> a -> Int) -> (a -> Int) -> Hashable a
$chashWithSalt :: Int -> DeleteFilesParams -> Int
hashWithSalt :: Int -> DeleteFilesParams -> Int
$chash :: DeleteFilesParams -> Int
hash :: DeleteFilesParams -> Int
Hashable)
deriving (forall ann. DeleteFilesParams -> Doc ann)
-> (forall ann. [DeleteFilesParams] -> Doc ann)
-> Pretty DeleteFilesParams
forall ann. [DeleteFilesParams] -> Doc ann
forall ann. DeleteFilesParams -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
$cpretty :: forall ann. DeleteFilesParams -> Doc ann
pretty :: forall ann. DeleteFilesParams -> Doc ann
$cprettyList :: forall ann. [DeleteFilesParams] -> Doc ann
prettyList :: forall ann. [DeleteFilesParams] -> Doc ann
Pretty via (ViaJSON DeleteFilesParams)
instance Aeson.ToJSON DeleteFilesParams where
toJSON :: DeleteFilesParams -> Value
toJSON (DeleteFilesParams [FileDelete]
arg0) = [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
"files" Key -> [FileDelete] -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= [FileDelete]
arg0]]
instance Aeson.FromJSON DeleteFilesParams where
parseJSON :: Value -> Parser DeleteFilesParams
parseJSON = String
-> (Object -> Parser DeleteFilesParams)
-> Value
-> Parser DeleteFilesParams
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"DeleteFilesParams" ((Object -> Parser DeleteFilesParams)
-> Value -> Parser DeleteFilesParams)
-> (Object -> Parser DeleteFilesParams)
-> Value
-> Parser DeleteFilesParams
forall a b. (a -> b) -> a -> b
$ \Object
arg -> [FileDelete] -> DeleteFilesParams
DeleteFilesParams ([FileDelete] -> DeleteFilesParams)
-> Parser [FileDelete] -> Parser DeleteFilesParams
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Object
arg Object -> Key -> Parser [FileDelete]
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"files"