{- 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.DidCloseNotebookDocumentParams 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.NotebookDocumentIdentifier
import qualified Language.LSP.Protocol.Internal.Types.TextDocumentIdentifier
import qualified Language.LSP.Protocol.Types.Common

{-|
The params sent in a close notebook document notification.

@since 3.17.0
-}
data DidCloseNotebookDocumentParams = DidCloseNotebookDocumentParams 
  { {-|
  The notebook document that got closed.
  -}
  DidCloseNotebookDocumentParams -> NotebookDocumentIdentifier
_notebookDocument :: Language.LSP.Protocol.Internal.Types.NotebookDocumentIdentifier.NotebookDocumentIdentifier
  , {-|
  The text documents that represent the content
  of a notebook cell that got closed.
  -}
  DidCloseNotebookDocumentParams -> [TextDocumentIdentifier]
_cellTextDocuments :: [Language.LSP.Protocol.Internal.Types.TextDocumentIdentifier.TextDocumentIdentifier]
  }
  deriving stock (Int -> DidCloseNotebookDocumentParams -> ShowS
[DidCloseNotebookDocumentParams] -> ShowS
DidCloseNotebookDocumentParams -> String
(Int -> DidCloseNotebookDocumentParams -> ShowS)
-> (DidCloseNotebookDocumentParams -> String)
-> ([DidCloseNotebookDocumentParams] -> ShowS)
-> Show DidCloseNotebookDocumentParams
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> DidCloseNotebookDocumentParams -> ShowS
showsPrec :: Int -> DidCloseNotebookDocumentParams -> ShowS
$cshow :: DidCloseNotebookDocumentParams -> String
show :: DidCloseNotebookDocumentParams -> String
$cshowList :: [DidCloseNotebookDocumentParams] -> ShowS
showList :: [DidCloseNotebookDocumentParams] -> ShowS
Show, DidCloseNotebookDocumentParams
-> DidCloseNotebookDocumentParams -> Bool
(DidCloseNotebookDocumentParams
 -> DidCloseNotebookDocumentParams -> Bool)
-> (DidCloseNotebookDocumentParams
    -> DidCloseNotebookDocumentParams -> Bool)
-> Eq DidCloseNotebookDocumentParams
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: DidCloseNotebookDocumentParams
-> DidCloseNotebookDocumentParams -> Bool
== :: DidCloseNotebookDocumentParams
-> DidCloseNotebookDocumentParams -> Bool
$c/= :: DidCloseNotebookDocumentParams
-> DidCloseNotebookDocumentParams -> Bool
/= :: DidCloseNotebookDocumentParams
-> DidCloseNotebookDocumentParams -> Bool
Eq, Eq DidCloseNotebookDocumentParams
Eq DidCloseNotebookDocumentParams =>
(DidCloseNotebookDocumentParams
 -> DidCloseNotebookDocumentParams -> Ordering)
-> (DidCloseNotebookDocumentParams
    -> DidCloseNotebookDocumentParams -> Bool)
-> (DidCloseNotebookDocumentParams
    -> DidCloseNotebookDocumentParams -> Bool)
-> (DidCloseNotebookDocumentParams
    -> DidCloseNotebookDocumentParams -> Bool)
-> (DidCloseNotebookDocumentParams
    -> DidCloseNotebookDocumentParams -> Bool)
-> (DidCloseNotebookDocumentParams
    -> DidCloseNotebookDocumentParams
    -> DidCloseNotebookDocumentParams)
-> (DidCloseNotebookDocumentParams
    -> DidCloseNotebookDocumentParams
    -> DidCloseNotebookDocumentParams)
-> Ord DidCloseNotebookDocumentParams
DidCloseNotebookDocumentParams
-> DidCloseNotebookDocumentParams -> Bool
DidCloseNotebookDocumentParams
-> DidCloseNotebookDocumentParams -> Ordering
DidCloseNotebookDocumentParams
-> DidCloseNotebookDocumentParams -> DidCloseNotebookDocumentParams
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 :: DidCloseNotebookDocumentParams
-> DidCloseNotebookDocumentParams -> Ordering
compare :: DidCloseNotebookDocumentParams
-> DidCloseNotebookDocumentParams -> Ordering
$c< :: DidCloseNotebookDocumentParams
-> DidCloseNotebookDocumentParams -> Bool
< :: DidCloseNotebookDocumentParams
-> DidCloseNotebookDocumentParams -> Bool
$c<= :: DidCloseNotebookDocumentParams
-> DidCloseNotebookDocumentParams -> Bool
<= :: DidCloseNotebookDocumentParams
-> DidCloseNotebookDocumentParams -> Bool
$c> :: DidCloseNotebookDocumentParams
-> DidCloseNotebookDocumentParams -> Bool
> :: DidCloseNotebookDocumentParams
-> DidCloseNotebookDocumentParams -> Bool
$c>= :: DidCloseNotebookDocumentParams
-> DidCloseNotebookDocumentParams -> Bool
>= :: DidCloseNotebookDocumentParams
-> DidCloseNotebookDocumentParams -> Bool
$cmax :: DidCloseNotebookDocumentParams
-> DidCloseNotebookDocumentParams -> DidCloseNotebookDocumentParams
max :: DidCloseNotebookDocumentParams
-> DidCloseNotebookDocumentParams -> DidCloseNotebookDocumentParams
$cmin :: DidCloseNotebookDocumentParams
-> DidCloseNotebookDocumentParams -> DidCloseNotebookDocumentParams
min :: DidCloseNotebookDocumentParams
-> DidCloseNotebookDocumentParams -> DidCloseNotebookDocumentParams
Ord, (forall x.
 DidCloseNotebookDocumentParams
 -> Rep DidCloseNotebookDocumentParams x)
-> (forall x.
    Rep DidCloseNotebookDocumentParams x
    -> DidCloseNotebookDocumentParams)
-> Generic DidCloseNotebookDocumentParams
forall x.
Rep DidCloseNotebookDocumentParams x
-> DidCloseNotebookDocumentParams
forall x.
DidCloseNotebookDocumentParams
-> Rep DidCloseNotebookDocumentParams x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x.
DidCloseNotebookDocumentParams
-> Rep DidCloseNotebookDocumentParams x
from :: forall x.
DidCloseNotebookDocumentParams
-> Rep DidCloseNotebookDocumentParams x
$cto :: forall x.
Rep DidCloseNotebookDocumentParams x
-> DidCloseNotebookDocumentParams
to :: forall x.
Rep DidCloseNotebookDocumentParams x
-> DidCloseNotebookDocumentParams
Generic)
  deriving anyclass (DidCloseNotebookDocumentParams -> ()
(DidCloseNotebookDocumentParams -> ())
-> NFData DidCloseNotebookDocumentParams
forall a. (a -> ()) -> NFData a
$crnf :: DidCloseNotebookDocumentParams -> ()
rnf :: DidCloseNotebookDocumentParams -> ()
NFData, Eq DidCloseNotebookDocumentParams
Eq DidCloseNotebookDocumentParams =>
(Int -> DidCloseNotebookDocumentParams -> Int)
-> (DidCloseNotebookDocumentParams -> Int)
-> Hashable DidCloseNotebookDocumentParams
Int -> DidCloseNotebookDocumentParams -> Int
DidCloseNotebookDocumentParams -> Int
forall a. Eq a => (Int -> a -> Int) -> (a -> Int) -> Hashable a
$chashWithSalt :: Int -> DidCloseNotebookDocumentParams -> Int
hashWithSalt :: Int -> DidCloseNotebookDocumentParams -> Int
$chash :: DidCloseNotebookDocumentParams -> Int
hash :: DidCloseNotebookDocumentParams -> Int
Hashable)
  deriving (forall ann. DidCloseNotebookDocumentParams -> Doc ann)
-> (forall ann. [DidCloseNotebookDocumentParams] -> Doc ann)
-> Pretty DidCloseNotebookDocumentParams
forall ann. [DidCloseNotebookDocumentParams] -> Doc ann
forall ann. DidCloseNotebookDocumentParams -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
$cpretty :: forall ann. DidCloseNotebookDocumentParams -> Doc ann
pretty :: forall ann. DidCloseNotebookDocumentParams -> Doc ann
$cprettyList :: forall ann. [DidCloseNotebookDocumentParams] -> Doc ann
prettyList :: forall ann. [DidCloseNotebookDocumentParams] -> Doc ann
Pretty via (ViaJSON DidCloseNotebookDocumentParams)

instance Aeson.ToJSON DidCloseNotebookDocumentParams where
  toJSON :: DidCloseNotebookDocumentParams -> Value
toJSON (DidCloseNotebookDocumentParams NotebookDocumentIdentifier
arg0 [TextDocumentIdentifier]
arg1) = [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
"notebookDocument" Key -> NotebookDocumentIdentifier -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= NotebookDocumentIdentifier
arg0]
    ,[Key
"cellTextDocuments" Key -> [TextDocumentIdentifier] -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= [TextDocumentIdentifier]
arg1]]

instance Aeson.FromJSON DidCloseNotebookDocumentParams where
  parseJSON :: Value -> Parser DidCloseNotebookDocumentParams
parseJSON = String
-> (Object -> Parser DidCloseNotebookDocumentParams)
-> Value
-> Parser DidCloseNotebookDocumentParams
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"DidCloseNotebookDocumentParams" ((Object -> Parser DidCloseNotebookDocumentParams)
 -> Value -> Parser DidCloseNotebookDocumentParams)
-> (Object -> Parser DidCloseNotebookDocumentParams)
-> Value
-> Parser DidCloseNotebookDocumentParams
forall a b. (a -> b) -> a -> b
$ \Object
arg -> NotebookDocumentIdentifier
-> [TextDocumentIdentifier] -> DidCloseNotebookDocumentParams
DidCloseNotebookDocumentParams (NotebookDocumentIdentifier
 -> [TextDocumentIdentifier] -> DidCloseNotebookDocumentParams)
-> Parser NotebookDocumentIdentifier
-> Parser
     ([TextDocumentIdentifier] -> DidCloseNotebookDocumentParams)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Object
arg Object -> Key -> Parser NotebookDocumentIdentifier
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"notebookDocument" Parser ([TextDocumentIdentifier] -> DidCloseNotebookDocumentParams)
-> Parser [TextDocumentIdentifier]
-> Parser DidCloseNotebookDocumentParams
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 [TextDocumentIdentifier]
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"cellTextDocuments"