{-# OPTIONS_GHC -Wno-unused-imports #-}
{-# OPTIONS_GHC -Wno-unused-matches #-}
{-# OPTIONS_GHC -Wno-deprecations #-}
module Language.LSP.Protocol.Internal.Types.InlayHint where
import Control.DeepSeq
import Data.Hashable
import GHC.Generics
import Language.LSP.Protocol.Utils.Misc
import Prettyprinter
import qualified Data.Aeson
import qualified Data.Aeson as Aeson
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.InlayHintKind
import qualified Language.LSP.Protocol.Internal.Types.InlayHintLabelPart
import qualified Language.LSP.Protocol.Internal.Types.MarkupContent
import qualified Language.LSP.Protocol.Internal.Types.Position
import qualified Language.LSP.Protocol.Internal.Types.TextEdit
import qualified Language.LSP.Protocol.Types.Common
data InlayHint = InlayHint
{
InlayHint -> Position
_position :: Language.LSP.Protocol.Internal.Types.Position.Position
,
InlayHint -> Text |? [InlayHintLabelPart]
_label :: (Data.Text.Text Language.LSP.Protocol.Types.Common.|? [Language.LSP.Protocol.Internal.Types.InlayHintLabelPart.InlayHintLabelPart])
,
InlayHint -> Maybe InlayHintKind
_kind :: (Maybe Language.LSP.Protocol.Internal.Types.InlayHintKind.InlayHintKind)
,
InlayHint -> Maybe [TextEdit]
_textEdits :: (Maybe [Language.LSP.Protocol.Internal.Types.TextEdit.TextEdit])
,
InlayHint -> Maybe (Text |? MarkupContent)
_tooltip :: (Maybe (Data.Text.Text Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Internal.Types.MarkupContent.MarkupContent))
,
InlayHint -> Maybe Bool
_paddingLeft :: (Maybe Bool)
,
InlayHint -> Maybe Bool
_paddingRight :: (Maybe Bool)
,
InlayHint -> Maybe Value
_data_ :: (Maybe Data.Aeson.Value)
}
deriving stock (Int -> InlayHint -> ShowS
[InlayHint] -> ShowS
InlayHint -> String
(Int -> InlayHint -> ShowS)
-> (InlayHint -> String)
-> ([InlayHint] -> ShowS)
-> Show InlayHint
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> InlayHint -> ShowS
showsPrec :: Int -> InlayHint -> ShowS
$cshow :: InlayHint -> String
show :: InlayHint -> String
$cshowList :: [InlayHint] -> ShowS
showList :: [InlayHint] -> ShowS
Show, InlayHint -> InlayHint -> Bool
(InlayHint -> InlayHint -> Bool)
-> (InlayHint -> InlayHint -> Bool) -> Eq InlayHint
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: InlayHint -> InlayHint -> Bool
== :: InlayHint -> InlayHint -> Bool
$c/= :: InlayHint -> InlayHint -> Bool
/= :: InlayHint -> InlayHint -> Bool
Eq, Eq InlayHint
Eq InlayHint =>
(InlayHint -> InlayHint -> Ordering)
-> (InlayHint -> InlayHint -> Bool)
-> (InlayHint -> InlayHint -> Bool)
-> (InlayHint -> InlayHint -> Bool)
-> (InlayHint -> InlayHint -> Bool)
-> (InlayHint -> InlayHint -> InlayHint)
-> (InlayHint -> InlayHint -> InlayHint)
-> Ord InlayHint
InlayHint -> InlayHint -> Bool
InlayHint -> InlayHint -> Ordering
InlayHint -> InlayHint -> InlayHint
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 :: InlayHint -> InlayHint -> Ordering
compare :: InlayHint -> InlayHint -> Ordering
$c< :: InlayHint -> InlayHint -> Bool
< :: InlayHint -> InlayHint -> Bool
$c<= :: InlayHint -> InlayHint -> Bool
<= :: InlayHint -> InlayHint -> Bool
$c> :: InlayHint -> InlayHint -> Bool
> :: InlayHint -> InlayHint -> Bool
$c>= :: InlayHint -> InlayHint -> Bool
>= :: InlayHint -> InlayHint -> Bool
$cmax :: InlayHint -> InlayHint -> InlayHint
max :: InlayHint -> InlayHint -> InlayHint
$cmin :: InlayHint -> InlayHint -> InlayHint
min :: InlayHint -> InlayHint -> InlayHint
Ord, (forall x. InlayHint -> Rep InlayHint x)
-> (forall x. Rep InlayHint x -> InlayHint) -> Generic InlayHint
forall x. Rep InlayHint x -> InlayHint
forall x. InlayHint -> Rep InlayHint x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. InlayHint -> Rep InlayHint x
from :: forall x. InlayHint -> Rep InlayHint x
$cto :: forall x. Rep InlayHint x -> InlayHint
to :: forall x. Rep InlayHint x -> InlayHint
Generic)
deriving anyclass (InlayHint -> ()
(InlayHint -> ()) -> NFData InlayHint
forall a. (a -> ()) -> NFData a
$crnf :: InlayHint -> ()
rnf :: InlayHint -> ()
NFData, Eq InlayHint
Eq InlayHint =>
(Int -> InlayHint -> Int)
-> (InlayHint -> Int) -> Hashable InlayHint
Int -> InlayHint -> Int
InlayHint -> Int
forall a. Eq a => (Int -> a -> Int) -> (a -> Int) -> Hashable a
$chashWithSalt :: Int -> InlayHint -> Int
hashWithSalt :: Int -> InlayHint -> Int
$chash :: InlayHint -> Int
hash :: InlayHint -> Int
Hashable)
deriving (forall ann. InlayHint -> Doc ann)
-> (forall ann. [InlayHint] -> Doc ann) -> Pretty InlayHint
forall ann. [InlayHint] -> Doc ann
forall ann. InlayHint -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
$cpretty :: forall ann. InlayHint -> Doc ann
pretty :: forall ann. InlayHint -> Doc ann
$cprettyList :: forall ann. [InlayHint] -> Doc ann
prettyList :: forall ann. [InlayHint] -> Doc ann
Pretty via (ViaJSON InlayHint)
instance Aeson.ToJSON InlayHint where
toJSON :: InlayHint -> Value
toJSON (InlayHint Position
arg0 Text |? [InlayHintLabelPart]
arg1 Maybe InlayHintKind
arg2 Maybe [TextEdit]
arg3 Maybe (Text |? MarkupContent)
arg4 Maybe Bool
arg5 Maybe Bool
arg6 Maybe Value
arg7) = [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
"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
arg0]
,[Key
"label" Key -> (Text |? [InlayHintLabelPart]) -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= Text |? [InlayHintLabelPart]
arg1]
,String
"kind" String -> Maybe InlayHintKind -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe InlayHintKind
arg2
,String
"textEdits" String -> Maybe [TextEdit] -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe [TextEdit]
arg3
,String
"tooltip" String -> Maybe (Text |? MarkupContent) -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe (Text |? MarkupContent)
arg4
,String
"paddingLeft" String -> Maybe Bool -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Bool
arg5
,String
"paddingRight" String -> Maybe Bool -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Bool
arg6
,String
"data" String -> Maybe Value -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Value
arg7]
instance Aeson.FromJSON InlayHint where
parseJSON :: Value -> Parser InlayHint
parseJSON = String -> (Object -> Parser InlayHint) -> Value -> Parser InlayHint
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"InlayHint" ((Object -> Parser InlayHint) -> Value -> Parser InlayHint)
-> (Object -> Parser InlayHint) -> Value -> Parser InlayHint
forall a b. (a -> b) -> a -> b
$ \Object
arg -> Position
-> (Text |? [InlayHintLabelPart])
-> Maybe InlayHintKind
-> Maybe [TextEdit]
-> Maybe (Text |? MarkupContent)
-> Maybe Bool
-> Maybe Bool
-> Maybe Value
-> InlayHint
InlayHint (Position
-> (Text |? [InlayHintLabelPart])
-> Maybe InlayHintKind
-> Maybe [TextEdit]
-> Maybe (Text |? MarkupContent)
-> Maybe Bool
-> Maybe Bool
-> Maybe Value
-> InlayHint)
-> Parser Position
-> Parser
((Text |? [InlayHintLabelPart])
-> Maybe InlayHintKind
-> Maybe [TextEdit]
-> Maybe (Text |? MarkupContent)
-> Maybe Bool
-> Maybe Bool
-> Maybe Value
-> InlayHint)
forall (f :: * -> *) a b. Functor 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
((Text |? [InlayHintLabelPart])
-> Maybe InlayHintKind
-> Maybe [TextEdit]
-> Maybe (Text |? MarkupContent)
-> Maybe Bool
-> Maybe Bool
-> Maybe Value
-> InlayHint)
-> Parser (Text |? [InlayHintLabelPart])
-> Parser
(Maybe InlayHintKind
-> Maybe [TextEdit]
-> Maybe (Text |? MarkupContent)
-> Maybe Bool
-> Maybe Bool
-> Maybe Value
-> InlayHint)
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 (Text |? [InlayHintLabelPart])
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"label" Parser
(Maybe InlayHintKind
-> Maybe [TextEdit]
-> Maybe (Text |? MarkupContent)
-> Maybe Bool
-> Maybe Bool
-> Maybe Value
-> InlayHint)
-> Parser (Maybe InlayHintKind)
-> Parser
(Maybe [TextEdit]
-> Maybe (Text |? MarkupContent)
-> Maybe Bool
-> Maybe Bool
-> Maybe Value
-> InlayHint)
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 InlayHintKind)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"kind" Parser
(Maybe [TextEdit]
-> Maybe (Text |? MarkupContent)
-> Maybe Bool
-> Maybe Bool
-> Maybe Value
-> InlayHint)
-> Parser (Maybe [TextEdit])
-> Parser
(Maybe (Text |? MarkupContent)
-> Maybe Bool -> Maybe Bool -> Maybe Value -> InlayHint)
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 [TextEdit])
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"textEdits" Parser
(Maybe (Text |? MarkupContent)
-> Maybe Bool -> Maybe Bool -> Maybe Value -> InlayHint)
-> Parser (Maybe (Text |? MarkupContent))
-> Parser (Maybe Bool -> Maybe Bool -> Maybe Value -> InlayHint)
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 |? MarkupContent))
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"tooltip" Parser (Maybe Bool -> Maybe Bool -> Maybe Value -> InlayHint)
-> Parser (Maybe Bool)
-> Parser (Maybe Bool -> Maybe Value -> InlayHint)
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
"paddingLeft" Parser (Maybe Bool -> Maybe Value -> InlayHint)
-> Parser (Maybe Bool) -> Parser (Maybe Value -> InlayHint)
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
"paddingRight" Parser (Maybe Value -> InlayHint)
-> Parser (Maybe Value) -> Parser InlayHint
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 Value)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"data"