{- 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.CreateFile 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.ChangeAnnotationIdentifier
import qualified Language.LSP.Protocol.Internal.Types.CreateFileOptions
import qualified Language.LSP.Protocol.Types.Common
import qualified Language.LSP.Protocol.Types.Singletons
import qualified Language.LSP.Protocol.Types.Uri

{-|
Create file operation.
-}
data CreateFile = CreateFile 
  { {-|
  An optional annotation identifier describing the operation.

  @since 3.16.0
  -}
  CreateFile -> Maybe ChangeAnnotationIdentifier
_annotationId :: (Maybe Language.LSP.Protocol.Internal.Types.ChangeAnnotationIdentifier.ChangeAnnotationIdentifier)
  , {-|
  A create
  -}
  CreateFile -> AString "create"
_kind :: (Language.LSP.Protocol.Types.Singletons.AString "create")
  , {-|
  The resource to create.
  -}
  CreateFile -> Uri
_uri :: Language.LSP.Protocol.Types.Uri.Uri
  , {-|
  Additional options
  -}
  CreateFile -> Maybe CreateFileOptions
_options :: (Maybe Language.LSP.Protocol.Internal.Types.CreateFileOptions.CreateFileOptions)
  }
  deriving stock (Int -> CreateFile -> ShowS
[CreateFile] -> ShowS
CreateFile -> String
(Int -> CreateFile -> ShowS)
-> (CreateFile -> String)
-> ([CreateFile] -> ShowS)
-> Show CreateFile
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> CreateFile -> ShowS
showsPrec :: Int -> CreateFile -> ShowS
$cshow :: CreateFile -> String
show :: CreateFile -> String
$cshowList :: [CreateFile] -> ShowS
showList :: [CreateFile] -> ShowS
Show, CreateFile -> CreateFile -> Bool
(CreateFile -> CreateFile -> Bool)
-> (CreateFile -> CreateFile -> Bool) -> Eq CreateFile
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: CreateFile -> CreateFile -> Bool
== :: CreateFile -> CreateFile -> Bool
$c/= :: CreateFile -> CreateFile -> Bool
/= :: CreateFile -> CreateFile -> Bool
Eq, Eq CreateFile
Eq CreateFile =>
(CreateFile -> CreateFile -> Ordering)
-> (CreateFile -> CreateFile -> Bool)
-> (CreateFile -> CreateFile -> Bool)
-> (CreateFile -> CreateFile -> Bool)
-> (CreateFile -> CreateFile -> Bool)
-> (CreateFile -> CreateFile -> CreateFile)
-> (CreateFile -> CreateFile -> CreateFile)
-> Ord CreateFile
CreateFile -> CreateFile -> Bool
CreateFile -> CreateFile -> Ordering
CreateFile -> CreateFile -> CreateFile
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 :: CreateFile -> CreateFile -> Ordering
compare :: CreateFile -> CreateFile -> Ordering
$c< :: CreateFile -> CreateFile -> Bool
< :: CreateFile -> CreateFile -> Bool
$c<= :: CreateFile -> CreateFile -> Bool
<= :: CreateFile -> CreateFile -> Bool
$c> :: CreateFile -> CreateFile -> Bool
> :: CreateFile -> CreateFile -> Bool
$c>= :: CreateFile -> CreateFile -> Bool
>= :: CreateFile -> CreateFile -> Bool
$cmax :: CreateFile -> CreateFile -> CreateFile
max :: CreateFile -> CreateFile -> CreateFile
$cmin :: CreateFile -> CreateFile -> CreateFile
min :: CreateFile -> CreateFile -> CreateFile
Ord, (forall x. CreateFile -> Rep CreateFile x)
-> (forall x. Rep CreateFile x -> CreateFile) -> Generic CreateFile
forall x. Rep CreateFile x -> CreateFile
forall x. CreateFile -> Rep CreateFile x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. CreateFile -> Rep CreateFile x
from :: forall x. CreateFile -> Rep CreateFile x
$cto :: forall x. Rep CreateFile x -> CreateFile
to :: forall x. Rep CreateFile x -> CreateFile
Generic)
  deriving anyclass (CreateFile -> ()
(CreateFile -> ()) -> NFData CreateFile
forall a. (a -> ()) -> NFData a
$crnf :: CreateFile -> ()
rnf :: CreateFile -> ()
NFData, Eq CreateFile
Eq CreateFile =>
(Int -> CreateFile -> Int)
-> (CreateFile -> Int) -> Hashable CreateFile
Int -> CreateFile -> Int
CreateFile -> Int
forall a. Eq a => (Int -> a -> Int) -> (a -> Int) -> Hashable a
$chashWithSalt :: Int -> CreateFile -> Int
hashWithSalt :: Int -> CreateFile -> Int
$chash :: CreateFile -> Int
hash :: CreateFile -> Int
Hashable)
  deriving (forall ann. CreateFile -> Doc ann)
-> (forall ann. [CreateFile] -> Doc ann) -> Pretty CreateFile
forall ann. [CreateFile] -> Doc ann
forall ann. CreateFile -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
$cpretty :: forall ann. CreateFile -> Doc ann
pretty :: forall ann. CreateFile -> Doc ann
$cprettyList :: forall ann. [CreateFile] -> Doc ann
prettyList :: forall ann. [CreateFile] -> Doc ann
Pretty via (ViaJSON CreateFile)

instance Aeson.ToJSON CreateFile where
  toJSON :: CreateFile -> Value
toJSON (CreateFile Maybe ChangeAnnotationIdentifier
arg0 AString "create"
arg1 Uri
arg2 Maybe CreateFileOptions
arg3) = [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
"annotationId" String -> Maybe ChangeAnnotationIdentifier -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe ChangeAnnotationIdentifier
arg0
    ,[Key
"kind" Key -> AString "create" -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= AString "create"
arg1]
    ,[Key
"uri" Key -> Uri -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= Uri
arg2]
    ,String
"options" String -> Maybe CreateFileOptions -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe CreateFileOptions
arg3]

instance Aeson.FromJSON CreateFile where
  parseJSON :: Value -> Parser CreateFile
parseJSON = String
-> (Object -> Parser CreateFile) -> Value -> Parser CreateFile
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"CreateFile" ((Object -> Parser CreateFile) -> Value -> Parser CreateFile)
-> (Object -> Parser CreateFile) -> Value -> Parser CreateFile
forall a b. (a -> b) -> a -> b
$ \Object
arg -> Maybe ChangeAnnotationIdentifier
-> AString "create" -> Uri -> Maybe CreateFileOptions -> CreateFile
CreateFile (Maybe ChangeAnnotationIdentifier
 -> AString "create"
 -> Uri
 -> Maybe CreateFileOptions
 -> CreateFile)
-> Parser (Maybe ChangeAnnotationIdentifier)
-> Parser
     (AString "create" -> Uri -> Maybe CreateFileOptions -> CreateFile)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Object
arg Object -> Key -> Parser (Maybe ChangeAnnotationIdentifier)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"annotationId" Parser
  (AString "create" -> Uri -> Maybe CreateFileOptions -> CreateFile)
-> Parser (AString "create")
-> Parser (Uri -> Maybe CreateFileOptions -> CreateFile)
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 (AString "create")
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"kind" Parser (Uri -> Maybe CreateFileOptions -> CreateFile)
-> Parser Uri -> Parser (Maybe CreateFileOptions -> CreateFile)
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 Uri
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"uri" Parser (Maybe CreateFileOptions -> CreateFile)
-> Parser (Maybe CreateFileOptions) -> Parser CreateFile
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 CreateFileOptions)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"options"