{- 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.DeleteFile 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.DeleteFileOptions import qualified Language.LSP.Protocol.Types.Common import qualified Language.LSP.Protocol.Types.Singletons import qualified Language.LSP.Protocol.Types.Uri {-| Delete file operation -} data DeleteFile = DeleteFile { {-| An optional annotation identifier describing the operation. @since 3.16.0 -} _annotationId :: (Maybe Language.LSP.Protocol.Internal.Types.ChangeAnnotationIdentifier.ChangeAnnotationIdentifier) , {-| A delete -} _kind :: (Language.LSP.Protocol.Types.Singletons.AString "delete") , {-| The file to delete. -} _uri :: Language.LSP.Protocol.Types.Uri.Uri , {-| Delete options. -} _options :: (Maybe Language.LSP.Protocol.Internal.Types.DeleteFileOptions.DeleteFileOptions) } deriving stock (Show, Eq, Ord, Generic) deriving anyclass (NFData, Hashable) deriving Pretty via (ViaJSON DeleteFile) instance Aeson.ToJSON DeleteFile where toJSON (DeleteFile arg0 arg1 arg2 arg3) = Aeson.object $ concat $ ["annotationId" Language.LSP.Protocol.Types.Common..=? arg0 ,["kind" Aeson..= arg1] ,["uri" Aeson..= arg2] ,"options" Language.LSP.Protocol.Types.Common..=? arg3] instance Aeson.FromJSON DeleteFile where parseJSON = Aeson.withObject "DeleteFile" $ \arg -> DeleteFile <$> arg Aeson..:! "annotationId" <*> arg Aeson..: "kind" <*> arg Aeson..: "uri" <*> arg Aeson..:! "options"