{- 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.DefinitionParams 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.Position
import qualified Language.LSP.Protocol.Internal.Types.ProgressToken
import qualified Language.LSP.Protocol.Internal.Types.TextDocumentIdentifier
import qualified Language.LSP.Protocol.Types.Common

{-|
Parameters for a `DefinitionRequest`.
-}
data DefinitionParams = DefinitionParams 
  { {-|
  The text document.
  -}
  DefinitionParams -> TextDocumentIdentifier
_textDocument :: Language.LSP.Protocol.Internal.Types.TextDocumentIdentifier.TextDocumentIdentifier
  , {-|
  The position inside the text document.
  -}
  DefinitionParams -> Position
_position :: Language.LSP.Protocol.Internal.Types.Position.Position
  , {-|
  An optional token that a server can use to report work done progress.
  -}
  DefinitionParams -> Maybe ProgressToken
_workDoneToken :: (Maybe Language.LSP.Protocol.Internal.Types.ProgressToken.ProgressToken)
  , {-|
  An optional token that a server can use to report partial results (e.g. streaming) to
  the client.
  -}
  DefinitionParams -> Maybe ProgressToken
_partialResultToken :: (Maybe Language.LSP.Protocol.Internal.Types.ProgressToken.ProgressToken)
  }
  deriving stock (Int -> DefinitionParams -> ShowS
[DefinitionParams] -> ShowS
DefinitionParams -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [DefinitionParams] -> ShowS
$cshowList :: [DefinitionParams] -> ShowS
show :: DefinitionParams -> String
$cshow :: DefinitionParams -> String
showsPrec :: Int -> DefinitionParams -> ShowS
$cshowsPrec :: Int -> DefinitionParams -> ShowS
Show, DefinitionParams -> DefinitionParams -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: DefinitionParams -> DefinitionParams -> Bool
$c/= :: DefinitionParams -> DefinitionParams -> Bool
== :: DefinitionParams -> DefinitionParams -> Bool
$c== :: DefinitionParams -> DefinitionParams -> Bool
Eq, Eq DefinitionParams
DefinitionParams -> DefinitionParams -> Bool
DefinitionParams -> DefinitionParams -> Ordering
DefinitionParams -> DefinitionParams -> DefinitionParams
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
min :: DefinitionParams -> DefinitionParams -> DefinitionParams
$cmin :: DefinitionParams -> DefinitionParams -> DefinitionParams
max :: DefinitionParams -> DefinitionParams -> DefinitionParams
$cmax :: DefinitionParams -> DefinitionParams -> DefinitionParams
>= :: DefinitionParams -> DefinitionParams -> Bool
$c>= :: DefinitionParams -> DefinitionParams -> Bool
> :: DefinitionParams -> DefinitionParams -> Bool
$c> :: DefinitionParams -> DefinitionParams -> Bool
<= :: DefinitionParams -> DefinitionParams -> Bool
$c<= :: DefinitionParams -> DefinitionParams -> Bool
< :: DefinitionParams -> DefinitionParams -> Bool
$c< :: DefinitionParams -> DefinitionParams -> Bool
compare :: DefinitionParams -> DefinitionParams -> Ordering
$ccompare :: DefinitionParams -> DefinitionParams -> Ordering
Ord, forall x. Rep DefinitionParams x -> DefinitionParams
forall x. DefinitionParams -> Rep DefinitionParams x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep DefinitionParams x -> DefinitionParams
$cfrom :: forall x. DefinitionParams -> Rep DefinitionParams x
Generic)
  deriving anyclass (DefinitionParams -> ()
forall a. (a -> ()) -> NFData a
rnf :: DefinitionParams -> ()
$crnf :: DefinitionParams -> ()
NFData, Eq DefinitionParams
Int -> DefinitionParams -> Int
DefinitionParams -> Int
forall a. Eq a -> (Int -> a -> Int) -> (a -> Int) -> Hashable a
hash :: DefinitionParams -> Int
$chash :: DefinitionParams -> Int
hashWithSalt :: Int -> DefinitionParams -> Int
$chashWithSalt :: Int -> DefinitionParams -> Int
Hashable)
  deriving forall ann. [DefinitionParams] -> Doc ann
forall ann. DefinitionParams -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
prettyList :: forall ann. [DefinitionParams] -> Doc ann
$cprettyList :: forall ann. [DefinitionParams] -> Doc ann
pretty :: forall ann. DefinitionParams -> Doc ann
$cpretty :: forall ann. DefinitionParams -> Doc ann
Pretty via (ViaJSON DefinitionParams)

instance Aeson.ToJSON DefinitionParams where
  toJSON :: DefinitionParams -> Value
toJSON (DefinitionParams TextDocumentIdentifier
arg0 Position
arg1 Maybe ProgressToken
arg2 Maybe ProgressToken
arg3) = [Pair] -> Value
Aeson.object forall a b. (a -> b) -> a -> b
$ forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat forall a b. (a -> b) -> a -> b
$  [[Key
"textDocument" forall kv v. (KeyValue kv, ToJSON v) => Key -> v -> kv
Aeson..= TextDocumentIdentifier
arg0]
    ,[Key
"position" forall kv v. (KeyValue kv, ToJSON v) => Key -> v -> kv
Aeson..= Position
arg1]
    ,String
"workDoneToken" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe ProgressToken
arg2
    ,String
"partialResultToken" forall kv v. (KeyValue kv, ToJSON v) => String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe ProgressToken
arg3]

instance Aeson.FromJSON DefinitionParams where
  parseJSON :: Value -> Parser DefinitionParams
parseJSON = forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"DefinitionParams" forall a b. (a -> b) -> a -> b
$ \Object
arg -> TextDocumentIdentifier
-> Position
-> Maybe ProgressToken
-> Maybe ProgressToken
-> DefinitionParams
DefinitionParams forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Object
arg forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"textDocument" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"position" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"workDoneToken" forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Object
arg forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
Aeson..:! Key
"partialResultToken"