{- 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.CompletionRegistrationOptions 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 as Row
import qualified Data.Row.Aeson as Aeson
import qualified Data.Row.Hashable as Hashable
import qualified Data.Text
import qualified Language.LSP.Protocol.Internal.Types.DocumentSelector
import qualified Language.LSP.Protocol.Types.Common

{-|
Registration options for a `CompletionRequest`.
-}
data CompletionRegistrationOptions = CompletionRegistrationOptions 
  { {-|
  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.
  -}
  CompletionRegistrationOptions -> DocumentSelector |? Null
_documentSelector :: (Language.LSP.Protocol.Internal.Types.DocumentSelector.DocumentSelector Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Types.Common.Null)
  , {-|

  -}
  CompletionRegistrationOptions -> Maybe Bool
_workDoneProgress :: (Maybe Bool)
  , {-|
  Most tools trigger completion request automatically without explicitly requesting
  it using a keyboard shortcut (e.g. Ctrl+Space). Typically they do so when the user
  starts to type an identifier. For example if the user types `c` in a JavaScript file
  code complete will automatically pop up present `console` besides others as a
  completion item. Characters that make up identifiers don't need to be listed here.

  If code complete should automatically be trigger on characters not being valid inside
  an identifier (for example `.` in JavaScript) list them in `triggerCharacters`.
  -}
  CompletionRegistrationOptions -> Maybe [Text]
_triggerCharacters :: (Maybe [Data.Text.Text])
  , {-|
  The list of all possible characters that commit a completion. This field can be used
  if clients don't support individual commit characters per completion item. See
  `ClientCapabilities.textDocument.completion.completionItem.commitCharactersSupport`

  If a server provides both `allCommitCharacters` and commit characters on an individual
  completion item the ones on the completion item win.

  @since 3.2.0
  -}
  CompletionRegistrationOptions -> Maybe [Text]
_allCommitCharacters :: (Maybe [Data.Text.Text])
  , {-|
  The server provides support to resolve additional
  information for a completion item.
  -}
  CompletionRegistrationOptions -> Maybe Bool
_resolveProvider :: (Maybe Bool)
  , {-|
  The server supports the following `CompletionItem` specific
  capabilities.

  @since 3.17.0
  -}
  CompletionRegistrationOptions
-> Maybe (Rec (("labelDetailsSupport" .== Maybe Bool) .+ Empty))
_completionItem :: (Maybe (Row.Rec ("labelDetailsSupport" Row..== (Maybe Bool) Row..+ Row.Empty)))
  }
  deriving stock (Int -> CompletionRegistrationOptions -> ShowS
[CompletionRegistrationOptions] -> ShowS
CompletionRegistrationOptions -> String
(Int -> CompletionRegistrationOptions -> ShowS)
-> (CompletionRegistrationOptions -> String)
-> ([CompletionRegistrationOptions] -> ShowS)
-> Show CompletionRegistrationOptions
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> CompletionRegistrationOptions -> ShowS
showsPrec :: Int -> CompletionRegistrationOptions -> ShowS
$cshow :: CompletionRegistrationOptions -> String
show :: CompletionRegistrationOptions -> String
$cshowList :: [CompletionRegistrationOptions] -> ShowS
showList :: [CompletionRegistrationOptions] -> ShowS
Show, CompletionRegistrationOptions
-> CompletionRegistrationOptions -> Bool
(CompletionRegistrationOptions
 -> CompletionRegistrationOptions -> Bool)
-> (CompletionRegistrationOptions
    -> CompletionRegistrationOptions -> Bool)
-> Eq CompletionRegistrationOptions
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: CompletionRegistrationOptions
-> CompletionRegistrationOptions -> Bool
== :: CompletionRegistrationOptions
-> CompletionRegistrationOptions -> Bool
$c/= :: CompletionRegistrationOptions
-> CompletionRegistrationOptions -> Bool
/= :: CompletionRegistrationOptions
-> CompletionRegistrationOptions -> Bool
Eq, Eq CompletionRegistrationOptions
Eq CompletionRegistrationOptions =>
(CompletionRegistrationOptions
 -> CompletionRegistrationOptions -> Ordering)
-> (CompletionRegistrationOptions
    -> CompletionRegistrationOptions -> Bool)
-> (CompletionRegistrationOptions
    -> CompletionRegistrationOptions -> Bool)
-> (CompletionRegistrationOptions
    -> CompletionRegistrationOptions -> Bool)
-> (CompletionRegistrationOptions
    -> CompletionRegistrationOptions -> Bool)
-> (CompletionRegistrationOptions
    -> CompletionRegistrationOptions -> CompletionRegistrationOptions)
-> (CompletionRegistrationOptions
    -> CompletionRegistrationOptions -> CompletionRegistrationOptions)
-> Ord CompletionRegistrationOptions
CompletionRegistrationOptions
-> CompletionRegistrationOptions -> Bool
CompletionRegistrationOptions
-> CompletionRegistrationOptions -> Ordering
CompletionRegistrationOptions
-> CompletionRegistrationOptions -> CompletionRegistrationOptions
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 :: CompletionRegistrationOptions
-> CompletionRegistrationOptions -> Ordering
compare :: CompletionRegistrationOptions
-> CompletionRegistrationOptions -> Ordering
$c< :: CompletionRegistrationOptions
-> CompletionRegistrationOptions -> Bool
< :: CompletionRegistrationOptions
-> CompletionRegistrationOptions -> Bool
$c<= :: CompletionRegistrationOptions
-> CompletionRegistrationOptions -> Bool
<= :: CompletionRegistrationOptions
-> CompletionRegistrationOptions -> Bool
$c> :: CompletionRegistrationOptions
-> CompletionRegistrationOptions -> Bool
> :: CompletionRegistrationOptions
-> CompletionRegistrationOptions -> Bool
$c>= :: CompletionRegistrationOptions
-> CompletionRegistrationOptions -> Bool
>= :: CompletionRegistrationOptions
-> CompletionRegistrationOptions -> Bool
$cmax :: CompletionRegistrationOptions
-> CompletionRegistrationOptions -> CompletionRegistrationOptions
max :: CompletionRegistrationOptions
-> CompletionRegistrationOptions -> CompletionRegistrationOptions
$cmin :: CompletionRegistrationOptions
-> CompletionRegistrationOptions -> CompletionRegistrationOptions
min :: CompletionRegistrationOptions
-> CompletionRegistrationOptions -> CompletionRegistrationOptions
Ord, (forall x.
 CompletionRegistrationOptions
 -> Rep CompletionRegistrationOptions x)
-> (forall x.
    Rep CompletionRegistrationOptions x
    -> CompletionRegistrationOptions)
-> Generic CompletionRegistrationOptions
forall x.
Rep CompletionRegistrationOptions x
-> CompletionRegistrationOptions
forall x.
CompletionRegistrationOptions
-> Rep CompletionRegistrationOptions x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x.
CompletionRegistrationOptions
-> Rep CompletionRegistrationOptions x
from :: forall x.
CompletionRegistrationOptions
-> Rep CompletionRegistrationOptions x
$cto :: forall x.
Rep CompletionRegistrationOptions x
-> CompletionRegistrationOptions
to :: forall x.
Rep CompletionRegistrationOptions x
-> CompletionRegistrationOptions
Generic)
  deriving anyclass (CompletionRegistrationOptions -> ()
(CompletionRegistrationOptions -> ())
-> NFData CompletionRegistrationOptions
forall a. (a -> ()) -> NFData a
$crnf :: CompletionRegistrationOptions -> ()
rnf :: CompletionRegistrationOptions -> ()
NFData, Eq CompletionRegistrationOptions
Eq CompletionRegistrationOptions =>
(Int -> CompletionRegistrationOptions -> Int)
-> (CompletionRegistrationOptions -> Int)
-> Hashable CompletionRegistrationOptions
Int -> CompletionRegistrationOptions -> Int
CompletionRegistrationOptions -> Int
forall a. Eq a => (Int -> a -> Int) -> (a -> Int) -> Hashable a
$chashWithSalt :: Int -> CompletionRegistrationOptions -> Int
hashWithSalt :: Int -> CompletionRegistrationOptions -> Int
$chash :: CompletionRegistrationOptions -> Int
hash :: CompletionRegistrationOptions -> Int
Hashable)
  deriving (forall ann. CompletionRegistrationOptions -> Doc ann)
-> (forall ann. [CompletionRegistrationOptions] -> Doc ann)
-> Pretty CompletionRegistrationOptions
forall ann. [CompletionRegistrationOptions] -> Doc ann
forall ann. CompletionRegistrationOptions -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
$cpretty :: forall ann. CompletionRegistrationOptions -> Doc ann
pretty :: forall ann. CompletionRegistrationOptions -> Doc ann
$cprettyList :: forall ann. [CompletionRegistrationOptions] -> Doc ann
prettyList :: forall ann. [CompletionRegistrationOptions] -> Doc ann
Pretty via (ViaJSON CompletionRegistrationOptions)

instance Aeson.ToJSON CompletionRegistrationOptions where
  toJSON :: CompletionRegistrationOptions -> Value
toJSON (CompletionRegistrationOptions DocumentSelector |? Null
arg0 Maybe Bool
arg1 Maybe [Text]
arg2 Maybe [Text]
arg3 Maybe Bool
arg4 Maybe (Rec (("labelDetailsSupport" .== Maybe Bool) .+ Empty))
arg5) = [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
"documentSelector" Key -> (DocumentSelector |? Null) -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= DocumentSelector |? Null
arg0]
    ,String
"workDoneProgress" String -> Maybe Bool -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Bool
arg1
    ,String
"triggerCharacters" String -> Maybe [Text] -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe [Text]
arg2
    ,String
"allCommitCharacters" String -> Maybe [Text] -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe [Text]
arg3
    ,String
"resolveProvider" String -> Maybe Bool -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Bool
arg4
    ,String
"completionItem" String
-> Maybe (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool]))
-> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (Rec (("labelDetailsSupport" .== Maybe Bool) .+ Empty))
Maybe (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool]))
arg5]

instance Aeson.FromJSON CompletionRegistrationOptions where
  parseJSON :: Value -> Parser CompletionRegistrationOptions
parseJSON = String
-> (Object -> Parser CompletionRegistrationOptions)
-> Value
-> Parser CompletionRegistrationOptions
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"CompletionRegistrationOptions" ((Object -> Parser CompletionRegistrationOptions)
 -> Value -> Parser CompletionRegistrationOptions)
-> (Object -> Parser CompletionRegistrationOptions)
-> Value
-> Parser CompletionRegistrationOptions
forall a b. (a -> b) -> a -> b
$ \Object
arg -> (DocumentSelector |? Null)
-> Maybe Bool
-> Maybe [Text]
-> Maybe [Text]
-> Maybe Bool
-> Maybe (Rec (("labelDetailsSupport" .== Maybe Bool) .+ Empty))
-> CompletionRegistrationOptions
(DocumentSelector |? Null)
-> Maybe Bool
-> Maybe [Text]
-> Maybe [Text]
-> Maybe Bool
-> Maybe (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool]))
-> CompletionRegistrationOptions
CompletionRegistrationOptions ((DocumentSelector |? Null)
 -> Maybe Bool
 -> Maybe [Text]
 -> Maybe [Text]
 -> Maybe Bool
 -> Maybe (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool]))
 -> CompletionRegistrationOptions)
-> Parser (DocumentSelector |? Null)
-> Parser
     (Maybe Bool
      -> Maybe [Text]
      -> Maybe [Text]
      -> Maybe Bool
      -> Maybe (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool]))
      -> CompletionRegistrationOptions)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Object
arg Object -> Key -> Parser (DocumentSelector |? Null)
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"documentSelector" Parser
  (Maybe Bool
   -> Maybe [Text]
   -> Maybe [Text]
   -> Maybe Bool
   -> Maybe (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool]))
   -> CompletionRegistrationOptions)
-> Parser (Maybe Bool)
-> Parser
     (Maybe [Text]
      -> Maybe [Text]
      -> Maybe Bool
      -> Maybe (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool]))
      -> CompletionRegistrationOptions)
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 Bool)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"workDoneProgress" Parser
  (Maybe [Text]
   -> Maybe [Text]
   -> Maybe Bool
   -> Maybe (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool]))
   -> CompletionRegistrationOptions)
-> Parser (Maybe [Text])
-> Parser
     (Maybe [Text]
      -> Maybe Bool
      -> Maybe (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool]))
      -> CompletionRegistrationOptions)
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 [Text])
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"triggerCharacters" Parser
  (Maybe [Text]
   -> Maybe Bool
   -> Maybe (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool]))
   -> CompletionRegistrationOptions)
-> Parser (Maybe [Text])
-> Parser
     (Maybe Bool
      -> Maybe (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool]))
      -> CompletionRegistrationOptions)
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 [Text])
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"allCommitCharacters" Parser
  (Maybe Bool
   -> Maybe (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool]))
   -> CompletionRegistrationOptions)
-> Parser (Maybe Bool)
-> Parser
     (Maybe (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool]))
      -> CompletionRegistrationOptions)
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 Bool)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"resolveProvider" Parser
  (Maybe (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool]))
   -> CompletionRegistrationOptions)
-> Parser
     (Maybe (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool])))
-> Parser CompletionRegistrationOptions
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 (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool])))
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"completionItem"