{- 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.CompletionOptions 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.Types.Common

{-|
Completion options.
-}
data CompletionOptions = CompletionOptions 
  { {-|

  -}
  CompletionOptions -> 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`.
  -}
  CompletionOptions -> 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
  -}
  CompletionOptions -> Maybe [Text]
_allCommitCharacters :: (Maybe [Data.Text.Text])
  , {-|
  The server provides support to resolve additional
  information for a completion item.
  -}
  CompletionOptions -> Maybe Bool
_resolveProvider :: (Maybe Bool)
  , {-|
  The server supports the following `CompletionItem` specific
  capabilities.

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

instance Aeson.ToJSON CompletionOptions where
  toJSON :: CompletionOptions -> Value
toJSON (CompletionOptions Maybe Bool
arg0 Maybe [Text]
arg1 Maybe [Text]
arg2 Maybe Bool
arg3 Maybe (Rec (("labelDetailsSupport" .== Maybe Bool) .+ Empty))
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
$  [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
arg0
    ,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]
arg1
    ,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]
arg2
    ,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
arg3
    ,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]))
arg4]

instance Aeson.FromJSON CompletionOptions where
  parseJSON :: Value -> Parser CompletionOptions
parseJSON = String
-> (Object -> Parser CompletionOptions)
-> Value
-> Parser CompletionOptions
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"CompletionOptions" ((Object -> Parser CompletionOptions)
 -> Value -> Parser CompletionOptions)
-> (Object -> Parser CompletionOptions)
-> Value
-> Parser CompletionOptions
forall a b. (a -> b) -> a -> b
$ \Object
arg -> Maybe Bool
-> Maybe [Text]
-> Maybe [Text]
-> Maybe Bool
-> Maybe (Rec (("labelDetailsSupport" .== Maybe Bool) .+ Empty))
-> CompletionOptions
Maybe Bool
-> Maybe [Text]
-> Maybe [Text]
-> Maybe Bool
-> Maybe (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool]))
-> CompletionOptions
CompletionOptions (Maybe Bool
 -> Maybe [Text]
 -> Maybe [Text]
 -> Maybe Bool
 -> Maybe (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool]))
 -> CompletionOptions)
-> Parser (Maybe Bool)
-> Parser
     (Maybe [Text]
      -> Maybe [Text]
      -> Maybe Bool
      -> Maybe (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool]))
      -> CompletionOptions)
forall (f :: * -> *) a b. Functor 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]))
   -> CompletionOptions)
-> Parser (Maybe [Text])
-> Parser
     (Maybe [Text]
      -> Maybe Bool
      -> Maybe (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool]))
      -> CompletionOptions)
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]))
   -> CompletionOptions)
-> Parser (Maybe [Text])
-> Parser
     (Maybe Bool
      -> Maybe (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool]))
      -> CompletionOptions)
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]))
   -> CompletionOptions)
-> Parser (Maybe Bool)
-> Parser
     (Maybe (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool]))
      -> CompletionOptions)
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]))
   -> CompletionOptions)
-> Parser
     (Maybe (Rec ('R '["labelDetailsSupport" ':-> Maybe Bool])))
-> Parser CompletionOptions
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"