{-# LANGUAGE DuplicateRecordFields #-}
{-# LANGUAGE TemplateHaskell       #-}

module Language.LSP.Types.Definition where
    
import Data.Aeson.TH
import Language.LSP.Types.Progress
import Language.LSP.Types.TextDocument
import Language.LSP.Types.Utils

data DefinitionClientCapabilities =
  DefinitionClientCapabilities
    { -- | Whether definition supports dynamic registration.
      DefinitionClientCapabilities -> Maybe Bool
_dynamicRegistration :: Maybe Bool
      -- | The client supports additional metadata in the form of definition
      -- links.
      -- Since LSP 3.14.0
    , DefinitionClientCapabilities -> Maybe Bool
_linkSupport :: Maybe Bool
    } deriving (Int -> DefinitionClientCapabilities -> ShowS
[DefinitionClientCapabilities] -> ShowS
DefinitionClientCapabilities -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [DefinitionClientCapabilities] -> ShowS
$cshowList :: [DefinitionClientCapabilities] -> ShowS
show :: DefinitionClientCapabilities -> String
$cshow :: DefinitionClientCapabilities -> String
showsPrec :: Int -> DefinitionClientCapabilities -> ShowS
$cshowsPrec :: Int -> DefinitionClientCapabilities -> ShowS
Show, ReadPrec [DefinitionClientCapabilities]
ReadPrec DefinitionClientCapabilities
Int -> ReadS DefinitionClientCapabilities
ReadS [DefinitionClientCapabilities]
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
readListPrec :: ReadPrec [DefinitionClientCapabilities]
$creadListPrec :: ReadPrec [DefinitionClientCapabilities]
readPrec :: ReadPrec DefinitionClientCapabilities
$creadPrec :: ReadPrec DefinitionClientCapabilities
readList :: ReadS [DefinitionClientCapabilities]
$creadList :: ReadS [DefinitionClientCapabilities]
readsPrec :: Int -> ReadS DefinitionClientCapabilities
$creadsPrec :: Int -> ReadS DefinitionClientCapabilities
Read, DefinitionClientCapabilities
-> DefinitionClientCapabilities -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: DefinitionClientCapabilities
-> DefinitionClientCapabilities -> Bool
$c/= :: DefinitionClientCapabilities
-> DefinitionClientCapabilities -> Bool
== :: DefinitionClientCapabilities
-> DefinitionClientCapabilities -> Bool
$c== :: DefinitionClientCapabilities
-> DefinitionClientCapabilities -> Bool
Eq)
deriveJSON lspOptions ''DefinitionClientCapabilities

makeExtendingDatatype "DefinitionOptions" [''WorkDoneProgressOptions] []
deriveJSON lspOptions ''DefinitionOptions

makeExtendingDatatype "DefinitionRegistrationOptions"
  [ ''TextDocumentRegistrationOptions
  , ''DefinitionOptions
  ] []
deriveJSON lspOptions ''DefinitionRegistrationOptions

makeExtendingDatatype "DefinitionParams"
  [ ''TextDocumentPositionParams
  , ''WorkDoneProgressParams
  , ''PartialResultParams
  ] []
deriveJSON lspOptions ''DefinitionParams