{- 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.CompletionParams 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.CompletionContext
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

{-|
Completion parameters
-}
data CompletionParams = CompletionParams 
  { {-|
  The text document.
  -}
  CompletionParams -> TextDocumentIdentifier
_textDocument :: Language.LSP.Protocol.Internal.Types.TextDocumentIdentifier.TextDocumentIdentifier
  , {-|
  The position inside the text document.
  -}
  CompletionParams -> Position
_position :: Language.LSP.Protocol.Internal.Types.Position.Position
  , {-|
  An optional token that a server can use to report work done progress.
  -}
  CompletionParams -> 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.
  -}
  CompletionParams -> Maybe ProgressToken
_partialResultToken :: (Maybe Language.LSP.Protocol.Internal.Types.ProgressToken.ProgressToken)
  , {-|
  The completion context. This is only available it the client specifies
  to send this using the client capability `textDocument.completion.contextSupport === true`
  -}
  CompletionParams -> Maybe CompletionContext
_context :: (Maybe Language.LSP.Protocol.Internal.Types.CompletionContext.CompletionContext)
  }
  deriving stock (Int -> CompletionParams -> ShowS
[CompletionParams] -> ShowS
CompletionParams -> String
(Int -> CompletionParams -> ShowS)
-> (CompletionParams -> String)
-> ([CompletionParams] -> ShowS)
-> Show CompletionParams
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> CompletionParams -> ShowS
showsPrec :: Int -> CompletionParams -> ShowS
$cshow :: CompletionParams -> String
show :: CompletionParams -> String
$cshowList :: [CompletionParams] -> ShowS
showList :: [CompletionParams] -> ShowS
Show, CompletionParams -> CompletionParams -> Bool
(CompletionParams -> CompletionParams -> Bool)
-> (CompletionParams -> CompletionParams -> Bool)
-> Eq CompletionParams
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: CompletionParams -> CompletionParams -> Bool
== :: CompletionParams -> CompletionParams -> Bool
$c/= :: CompletionParams -> CompletionParams -> Bool
/= :: CompletionParams -> CompletionParams -> Bool
Eq, Eq CompletionParams
Eq CompletionParams =>
(CompletionParams -> CompletionParams -> Ordering)
-> (CompletionParams -> CompletionParams -> Bool)
-> (CompletionParams -> CompletionParams -> Bool)
-> (CompletionParams -> CompletionParams -> Bool)
-> (CompletionParams -> CompletionParams -> Bool)
-> (CompletionParams -> CompletionParams -> CompletionParams)
-> (CompletionParams -> CompletionParams -> CompletionParams)
-> Ord CompletionParams
CompletionParams -> CompletionParams -> Bool
CompletionParams -> CompletionParams -> Ordering
CompletionParams -> CompletionParams -> CompletionParams
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 :: CompletionParams -> CompletionParams -> Ordering
compare :: CompletionParams -> CompletionParams -> Ordering
$c< :: CompletionParams -> CompletionParams -> Bool
< :: CompletionParams -> CompletionParams -> Bool
$c<= :: CompletionParams -> CompletionParams -> Bool
<= :: CompletionParams -> CompletionParams -> Bool
$c> :: CompletionParams -> CompletionParams -> Bool
> :: CompletionParams -> CompletionParams -> Bool
$c>= :: CompletionParams -> CompletionParams -> Bool
>= :: CompletionParams -> CompletionParams -> Bool
$cmax :: CompletionParams -> CompletionParams -> CompletionParams
max :: CompletionParams -> CompletionParams -> CompletionParams
$cmin :: CompletionParams -> CompletionParams -> CompletionParams
min :: CompletionParams -> CompletionParams -> CompletionParams
Ord, (forall x. CompletionParams -> Rep CompletionParams x)
-> (forall x. Rep CompletionParams x -> CompletionParams)
-> Generic CompletionParams
forall x. Rep CompletionParams x -> CompletionParams
forall x. CompletionParams -> Rep CompletionParams x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. CompletionParams -> Rep CompletionParams x
from :: forall x. CompletionParams -> Rep CompletionParams x
$cto :: forall x. Rep CompletionParams x -> CompletionParams
to :: forall x. Rep CompletionParams x -> CompletionParams
Generic)
  deriving anyclass (CompletionParams -> ()
(CompletionParams -> ()) -> NFData CompletionParams
forall a. (a -> ()) -> NFData a
$crnf :: CompletionParams -> ()
rnf :: CompletionParams -> ()
NFData, Eq CompletionParams
Eq CompletionParams =>
(Int -> CompletionParams -> Int)
-> (CompletionParams -> Int) -> Hashable CompletionParams
Int -> CompletionParams -> Int
CompletionParams -> Int
forall a. Eq a => (Int -> a -> Int) -> (a -> Int) -> Hashable a
$chashWithSalt :: Int -> CompletionParams -> Int
hashWithSalt :: Int -> CompletionParams -> Int
$chash :: CompletionParams -> Int
hash :: CompletionParams -> Int
Hashable)
  deriving (forall ann. CompletionParams -> Doc ann)
-> (forall ann. [CompletionParams] -> Doc ann)
-> Pretty CompletionParams
forall ann. [CompletionParams] -> Doc ann
forall ann. CompletionParams -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
$cpretty :: forall ann. CompletionParams -> Doc ann
pretty :: forall ann. CompletionParams -> Doc ann
$cprettyList :: forall ann. [CompletionParams] -> Doc ann
prettyList :: forall ann. [CompletionParams] -> Doc ann
Pretty via (ViaJSON CompletionParams)

instance Aeson.ToJSON CompletionParams where
  toJSON :: CompletionParams -> Value
toJSON (CompletionParams TextDocumentIdentifier
arg0 Position
arg1 Maybe ProgressToken
arg2 Maybe ProgressToken
arg3 Maybe CompletionContext
arg4) = [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
$  [[Key
"textDocument" Key -> TextDocumentIdentifier -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= TextDocumentIdentifier
arg0]
    ,[Key
"position" Key -> Position -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= Position
arg1]
    ,String
"workDoneToken" String -> Maybe ProgressToken -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe ProgressToken
arg2
    ,String
"partialResultToken" String -> Maybe ProgressToken -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe ProgressToken
arg3
    ,String
"context" String -> Maybe CompletionContext -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe CompletionContext
arg4]

instance Aeson.FromJSON CompletionParams where
  parseJSON :: Value -> Parser CompletionParams
parseJSON = String
-> (Object -> Parser CompletionParams)
-> Value
-> Parser CompletionParams
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"CompletionParams" ((Object -> Parser CompletionParams)
 -> Value -> Parser CompletionParams)
-> (Object -> Parser CompletionParams)
-> Value
-> Parser CompletionParams
forall a b. (a -> b) -> a -> b
$ \Object
arg -> TextDocumentIdentifier
-> Position
-> Maybe ProgressToken
-> Maybe ProgressToken
-> Maybe CompletionContext
-> CompletionParams
CompletionParams (TextDocumentIdentifier
 -> Position
 -> Maybe ProgressToken
 -> Maybe ProgressToken
 -> Maybe CompletionContext
 -> CompletionParams)
-> Parser TextDocumentIdentifier
-> Parser
     (Position
      -> Maybe ProgressToken
      -> Maybe ProgressToken
      -> Maybe CompletionContext
      -> CompletionParams)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Object
arg Object -> Key -> Parser TextDocumentIdentifier
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"textDocument" Parser
  (Position
   -> Maybe ProgressToken
   -> Maybe ProgressToken
   -> Maybe CompletionContext
   -> CompletionParams)
-> Parser Position
-> Parser
     (Maybe ProgressToken
      -> Maybe ProgressToken
      -> Maybe CompletionContext
      -> CompletionParams)
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 Position
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"position" Parser
  (Maybe ProgressToken
   -> Maybe ProgressToken
   -> Maybe CompletionContext
   -> CompletionParams)
-> Parser (Maybe ProgressToken)
-> Parser
     (Maybe ProgressToken
      -> Maybe CompletionContext -> CompletionParams)
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 ProgressToken)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"workDoneToken" Parser
  (Maybe ProgressToken
   -> Maybe CompletionContext -> CompletionParams)
-> Parser (Maybe ProgressToken)
-> Parser (Maybe CompletionContext -> CompletionParams)
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 ProgressToken)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"partialResultToken" Parser (Maybe CompletionContext -> CompletionParams)
-> Parser (Maybe CompletionContext) -> Parser CompletionParams
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 CompletionContext)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"context"