{-# 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
data CompletionOptions = CompletionOptions
{
CompletionOptions -> Maybe Bool
_workDoneProgress :: (Maybe Bool)
,
CompletionOptions -> Maybe [Text]
_triggerCharacters :: (Maybe [Data.Text.Text])
,
CompletionOptions -> Maybe [Text]
_allCommitCharacters :: (Maybe [Data.Text.Text])
,
CompletionOptions -> Maybe Bool
_resolveProvider :: (Maybe Bool)
,
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"