-- 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.DefinitionRegistrationOptions where import Control.DeepSeq import Data.Hashable import GHC.Generics 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.DocumentSelector import qualified Language.LSP.Protocol.Types.Common {-| Registration options for a `DefinitionRequest`. -} data DefinitionRegistrationOptions = DefinitionRegistrationOptions { {-| A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used. -} _documentSelector :: (Language.LSP.Protocol.Internal.Types.DocumentSelector.DocumentSelector Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Types.Common.Null) , {-| -} _workDoneProgress :: (Maybe Bool) } deriving stock (Show, Eq, Ord, Generic) deriving anyclass (NFData, Hashable) instance Aeson.ToJSON DefinitionRegistrationOptions where toJSON (DefinitionRegistrationOptions arg0 arg1) = Aeson.object $ concat $ [["documentSelector" Aeson..= arg0] ,"workDoneProgress" Language.LSP.Protocol.Types.Common..=? arg1] instance Aeson.FromJSON DefinitionRegistrationOptions where parseJSON = Aeson.withObject "DefinitionRegistrationOptions" $ \arg -> DefinitionRegistrationOptions <$> arg Aeson..: "documentSelector" <*> arg Aeson..:! "workDoneProgress"