{- 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.InlineValueEvaluatableExpression 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 Data.Text
import qualified Language.LSP.Protocol.Internal.Types.Range
import qualified Language.LSP.Protocol.Types.Common

{-|
Provide an inline value through an expression evaluation.
If only a range is specified, the expression will be extracted from the underlying document.
An optional expression can be used to override the extracted expression.

@since 3.17.0
-}
data InlineValueEvaluatableExpression = InlineValueEvaluatableExpression 
  { {-|
  The document range for which the inline value applies.
  The range is used to extract the evaluatable expression from the underlying document.
  -}
  InlineValueEvaluatableExpression -> Range
_range :: Language.LSP.Protocol.Internal.Types.Range.Range
  , {-|
  If specified the expression overrides the extracted expression.
  -}
  InlineValueEvaluatableExpression -> Maybe Text
_expression :: (Maybe Data.Text.Text)
  }
  deriving stock (Int -> InlineValueEvaluatableExpression -> ShowS
[InlineValueEvaluatableExpression] -> ShowS
InlineValueEvaluatableExpression -> String
(Int -> InlineValueEvaluatableExpression -> ShowS)
-> (InlineValueEvaluatableExpression -> String)
-> ([InlineValueEvaluatableExpression] -> ShowS)
-> Show InlineValueEvaluatableExpression
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> InlineValueEvaluatableExpression -> ShowS
showsPrec :: Int -> InlineValueEvaluatableExpression -> ShowS
$cshow :: InlineValueEvaluatableExpression -> String
show :: InlineValueEvaluatableExpression -> String
$cshowList :: [InlineValueEvaluatableExpression] -> ShowS
showList :: [InlineValueEvaluatableExpression] -> ShowS
Show, InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression -> Bool
(InlineValueEvaluatableExpression
 -> InlineValueEvaluatableExpression -> Bool)
-> (InlineValueEvaluatableExpression
    -> InlineValueEvaluatableExpression -> Bool)
-> Eq InlineValueEvaluatableExpression
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression -> Bool
== :: InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression -> Bool
$c/= :: InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression -> Bool
/= :: InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression -> Bool
Eq, Eq InlineValueEvaluatableExpression
Eq InlineValueEvaluatableExpression =>
(InlineValueEvaluatableExpression
 -> InlineValueEvaluatableExpression -> Ordering)
-> (InlineValueEvaluatableExpression
    -> InlineValueEvaluatableExpression -> Bool)
-> (InlineValueEvaluatableExpression
    -> InlineValueEvaluatableExpression -> Bool)
-> (InlineValueEvaluatableExpression
    -> InlineValueEvaluatableExpression -> Bool)
-> (InlineValueEvaluatableExpression
    -> InlineValueEvaluatableExpression -> Bool)
-> (InlineValueEvaluatableExpression
    -> InlineValueEvaluatableExpression
    -> InlineValueEvaluatableExpression)
-> (InlineValueEvaluatableExpression
    -> InlineValueEvaluatableExpression
    -> InlineValueEvaluatableExpression)
-> Ord InlineValueEvaluatableExpression
InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression -> Bool
InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression -> Ordering
InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression
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 :: InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression -> Ordering
compare :: InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression -> Ordering
$c< :: InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression -> Bool
< :: InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression -> Bool
$c<= :: InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression -> Bool
<= :: InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression -> Bool
$c> :: InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression -> Bool
> :: InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression -> Bool
$c>= :: InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression -> Bool
>= :: InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression -> Bool
$cmax :: InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression
max :: InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression
$cmin :: InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression
min :: InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression
-> InlineValueEvaluatableExpression
Ord, (forall x.
 InlineValueEvaluatableExpression
 -> Rep InlineValueEvaluatableExpression x)
-> (forall x.
    Rep InlineValueEvaluatableExpression x
    -> InlineValueEvaluatableExpression)
-> Generic InlineValueEvaluatableExpression
forall x.
Rep InlineValueEvaluatableExpression x
-> InlineValueEvaluatableExpression
forall x.
InlineValueEvaluatableExpression
-> Rep InlineValueEvaluatableExpression x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x.
InlineValueEvaluatableExpression
-> Rep InlineValueEvaluatableExpression x
from :: forall x.
InlineValueEvaluatableExpression
-> Rep InlineValueEvaluatableExpression x
$cto :: forall x.
Rep InlineValueEvaluatableExpression x
-> InlineValueEvaluatableExpression
to :: forall x.
Rep InlineValueEvaluatableExpression x
-> InlineValueEvaluatableExpression
Generic)
  deriving anyclass (InlineValueEvaluatableExpression -> ()
(InlineValueEvaluatableExpression -> ())
-> NFData InlineValueEvaluatableExpression
forall a. (a -> ()) -> NFData a
$crnf :: InlineValueEvaluatableExpression -> ()
rnf :: InlineValueEvaluatableExpression -> ()
NFData, Eq InlineValueEvaluatableExpression
Eq InlineValueEvaluatableExpression =>
(Int -> InlineValueEvaluatableExpression -> Int)
-> (InlineValueEvaluatableExpression -> Int)
-> Hashable InlineValueEvaluatableExpression
Int -> InlineValueEvaluatableExpression -> Int
InlineValueEvaluatableExpression -> Int
forall a. Eq a => (Int -> a -> Int) -> (a -> Int) -> Hashable a
$chashWithSalt :: Int -> InlineValueEvaluatableExpression -> Int
hashWithSalt :: Int -> InlineValueEvaluatableExpression -> Int
$chash :: InlineValueEvaluatableExpression -> Int
hash :: InlineValueEvaluatableExpression -> Int
Hashable)
  deriving (forall ann. InlineValueEvaluatableExpression -> Doc ann)
-> (forall ann. [InlineValueEvaluatableExpression] -> Doc ann)
-> Pretty InlineValueEvaluatableExpression
forall ann. [InlineValueEvaluatableExpression] -> Doc ann
forall ann. InlineValueEvaluatableExpression -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
$cpretty :: forall ann. InlineValueEvaluatableExpression -> Doc ann
pretty :: forall ann. InlineValueEvaluatableExpression -> Doc ann
$cprettyList :: forall ann. [InlineValueEvaluatableExpression] -> Doc ann
prettyList :: forall ann. [InlineValueEvaluatableExpression] -> Doc ann
Pretty via (ViaJSON InlineValueEvaluatableExpression)

instance Aeson.ToJSON InlineValueEvaluatableExpression where
  toJSON :: InlineValueEvaluatableExpression -> Value
toJSON (InlineValueEvaluatableExpression Range
arg0 Maybe Text
arg1) = [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
"range" Key -> Range -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= Range
arg0]
    ,String
"expression" 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]

instance Aeson.FromJSON InlineValueEvaluatableExpression where
  parseJSON :: Value -> Parser InlineValueEvaluatableExpression
parseJSON = String
-> (Object -> Parser InlineValueEvaluatableExpression)
-> Value
-> Parser InlineValueEvaluatableExpression
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"InlineValueEvaluatableExpression" ((Object -> Parser InlineValueEvaluatableExpression)
 -> Value -> Parser InlineValueEvaluatableExpression)
-> (Object -> Parser InlineValueEvaluatableExpression)
-> Value
-> Parser InlineValueEvaluatableExpression
forall a b. (a -> b) -> a -> b
$ \Object
arg -> Range -> Maybe Text -> InlineValueEvaluatableExpression
InlineValueEvaluatableExpression (Range -> Maybe Text -> InlineValueEvaluatableExpression)
-> Parser Range
-> Parser (Maybe Text -> InlineValueEvaluatableExpression)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Object
arg Object -> Key -> Parser Range
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"range" Parser (Maybe Text -> InlineValueEvaluatableExpression)
-> Parser (Maybe Text) -> Parser InlineValueEvaluatableExpression
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
"expression"