{-# OPTIONS_GHC -Wno-unused-imports #-}
{-# OPTIONS_GHC -Wno-unused-matches #-}
{-# OPTIONS_GHC -Wno-deprecations #-}
module Language.LSP.Protocol.Internal.Types.WorkDoneProgressReport 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.Types.Common
import qualified Language.LSP.Protocol.Types.Singletons
data WorkDoneProgressReport = WorkDoneProgressReport
{
WorkDoneProgressReport -> AString "report"
_kind :: (Language.LSP.Protocol.Types.Singletons.AString "report")
,
WorkDoneProgressReport -> Maybe Bool
_cancellable :: (Maybe Bool)
,
WorkDoneProgressReport -> Maybe Text
_message :: (Maybe Data.Text.Text)
,
WorkDoneProgressReport -> Maybe UInt
_percentage :: (Maybe Language.LSP.Protocol.Types.Common.UInt)
}
deriving stock (Int -> WorkDoneProgressReport -> ShowS
[WorkDoneProgressReport] -> ShowS
WorkDoneProgressReport -> String
(Int -> WorkDoneProgressReport -> ShowS)
-> (WorkDoneProgressReport -> String)
-> ([WorkDoneProgressReport] -> ShowS)
-> Show WorkDoneProgressReport
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> WorkDoneProgressReport -> ShowS
showsPrec :: Int -> WorkDoneProgressReport -> ShowS
$cshow :: WorkDoneProgressReport -> String
show :: WorkDoneProgressReport -> String
$cshowList :: [WorkDoneProgressReport] -> ShowS
showList :: [WorkDoneProgressReport] -> ShowS
Show, WorkDoneProgressReport -> WorkDoneProgressReport -> Bool
(WorkDoneProgressReport -> WorkDoneProgressReport -> Bool)
-> (WorkDoneProgressReport -> WorkDoneProgressReport -> Bool)
-> Eq WorkDoneProgressReport
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: WorkDoneProgressReport -> WorkDoneProgressReport -> Bool
== :: WorkDoneProgressReport -> WorkDoneProgressReport -> Bool
$c/= :: WorkDoneProgressReport -> WorkDoneProgressReport -> Bool
/= :: WorkDoneProgressReport -> WorkDoneProgressReport -> Bool
Eq, Eq WorkDoneProgressReport
Eq WorkDoneProgressReport =>
(WorkDoneProgressReport -> WorkDoneProgressReport -> Ordering)
-> (WorkDoneProgressReport -> WorkDoneProgressReport -> Bool)
-> (WorkDoneProgressReport -> WorkDoneProgressReport -> Bool)
-> (WorkDoneProgressReport -> WorkDoneProgressReport -> Bool)
-> (WorkDoneProgressReport -> WorkDoneProgressReport -> Bool)
-> (WorkDoneProgressReport
-> WorkDoneProgressReport -> WorkDoneProgressReport)
-> (WorkDoneProgressReport
-> WorkDoneProgressReport -> WorkDoneProgressReport)
-> Ord WorkDoneProgressReport
WorkDoneProgressReport -> WorkDoneProgressReport -> Bool
WorkDoneProgressReport -> WorkDoneProgressReport -> Ordering
WorkDoneProgressReport
-> WorkDoneProgressReport -> WorkDoneProgressReport
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 :: WorkDoneProgressReport -> WorkDoneProgressReport -> Ordering
compare :: WorkDoneProgressReport -> WorkDoneProgressReport -> Ordering
$c< :: WorkDoneProgressReport -> WorkDoneProgressReport -> Bool
< :: WorkDoneProgressReport -> WorkDoneProgressReport -> Bool
$c<= :: WorkDoneProgressReport -> WorkDoneProgressReport -> Bool
<= :: WorkDoneProgressReport -> WorkDoneProgressReport -> Bool
$c> :: WorkDoneProgressReport -> WorkDoneProgressReport -> Bool
> :: WorkDoneProgressReport -> WorkDoneProgressReport -> Bool
$c>= :: WorkDoneProgressReport -> WorkDoneProgressReport -> Bool
>= :: WorkDoneProgressReport -> WorkDoneProgressReport -> Bool
$cmax :: WorkDoneProgressReport
-> WorkDoneProgressReport -> WorkDoneProgressReport
max :: WorkDoneProgressReport
-> WorkDoneProgressReport -> WorkDoneProgressReport
$cmin :: WorkDoneProgressReport
-> WorkDoneProgressReport -> WorkDoneProgressReport
min :: WorkDoneProgressReport
-> WorkDoneProgressReport -> WorkDoneProgressReport
Ord, (forall x. WorkDoneProgressReport -> Rep WorkDoneProgressReport x)
-> (forall x.
Rep WorkDoneProgressReport x -> WorkDoneProgressReport)
-> Generic WorkDoneProgressReport
forall x. Rep WorkDoneProgressReport x -> WorkDoneProgressReport
forall x. WorkDoneProgressReport -> Rep WorkDoneProgressReport x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. WorkDoneProgressReport -> Rep WorkDoneProgressReport x
from :: forall x. WorkDoneProgressReport -> Rep WorkDoneProgressReport x
$cto :: forall x. Rep WorkDoneProgressReport x -> WorkDoneProgressReport
to :: forall x. Rep WorkDoneProgressReport x -> WorkDoneProgressReport
Generic)
deriving anyclass (WorkDoneProgressReport -> ()
(WorkDoneProgressReport -> ()) -> NFData WorkDoneProgressReport
forall a. (a -> ()) -> NFData a
$crnf :: WorkDoneProgressReport -> ()
rnf :: WorkDoneProgressReport -> ()
NFData, Eq WorkDoneProgressReport
Eq WorkDoneProgressReport =>
(Int -> WorkDoneProgressReport -> Int)
-> (WorkDoneProgressReport -> Int)
-> Hashable WorkDoneProgressReport
Int -> WorkDoneProgressReport -> Int
WorkDoneProgressReport -> Int
forall a. Eq a => (Int -> a -> Int) -> (a -> Int) -> Hashable a
$chashWithSalt :: Int -> WorkDoneProgressReport -> Int
hashWithSalt :: Int -> WorkDoneProgressReport -> Int
$chash :: WorkDoneProgressReport -> Int
hash :: WorkDoneProgressReport -> Int
Hashable)
deriving (forall ann. WorkDoneProgressReport -> Doc ann)
-> (forall ann. [WorkDoneProgressReport] -> Doc ann)
-> Pretty WorkDoneProgressReport
forall ann. [WorkDoneProgressReport] -> Doc ann
forall ann. WorkDoneProgressReport -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
$cpretty :: forall ann. WorkDoneProgressReport -> Doc ann
pretty :: forall ann. WorkDoneProgressReport -> Doc ann
$cprettyList :: forall ann. [WorkDoneProgressReport] -> Doc ann
prettyList :: forall ann. [WorkDoneProgressReport] -> Doc ann
Pretty via (ViaJSON WorkDoneProgressReport)
instance Aeson.ToJSON WorkDoneProgressReport where
toJSON :: WorkDoneProgressReport -> Value
toJSON (WorkDoneProgressReport AString "report"
arg0 Maybe Bool
arg1 Maybe Text
arg2 Maybe UInt
arg3) = [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
"kind" Key -> AString "report" -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= AString "report"
arg0]
,String
"cancellable" 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
"message" 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
"percentage" String -> Maybe UInt -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe UInt
arg3]
instance Aeson.FromJSON WorkDoneProgressReport where
parseJSON :: Value -> Parser WorkDoneProgressReport
parseJSON = String
-> (Object -> Parser WorkDoneProgressReport)
-> Value
-> Parser WorkDoneProgressReport
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"WorkDoneProgressReport" ((Object -> Parser WorkDoneProgressReport)
-> Value -> Parser WorkDoneProgressReport)
-> (Object -> Parser WorkDoneProgressReport)
-> Value
-> Parser WorkDoneProgressReport
forall a b. (a -> b) -> a -> b
$ \Object
arg -> AString "report"
-> Maybe Bool -> Maybe Text -> Maybe UInt -> WorkDoneProgressReport
WorkDoneProgressReport (AString "report"
-> Maybe Bool
-> Maybe Text
-> Maybe UInt
-> WorkDoneProgressReport)
-> Parser (AString "report")
-> Parser
(Maybe Bool -> Maybe Text -> Maybe UInt -> WorkDoneProgressReport)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Object
arg Object -> Key -> Parser (AString "report")
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"kind" Parser
(Maybe Bool -> Maybe Text -> Maybe UInt -> WorkDoneProgressReport)
-> Parser (Maybe Bool)
-> Parser (Maybe Text -> Maybe UInt -> WorkDoneProgressReport)
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
"cancellable" Parser (Maybe Text -> Maybe UInt -> WorkDoneProgressReport)
-> Parser (Maybe Text)
-> Parser (Maybe UInt -> WorkDoneProgressReport)
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
"message" Parser (Maybe UInt -> WorkDoneProgressReport)
-> Parser (Maybe UInt) -> Parser WorkDoneProgressReport
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 UInt)
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"percentage"