{- 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.InitializeResult 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.Internal.Types.ServerCapabilities
import qualified Language.LSP.Protocol.Types.Common

{-|
The result returned from an initialize request.
-}
data InitializeResult = InitializeResult 
  { {-|
  The capabilities the language server provides.
  -}
  InitializeResult -> ServerCapabilities
_capabilities :: Language.LSP.Protocol.Internal.Types.ServerCapabilities.ServerCapabilities
  , {-|
  Information about the server.

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

instance Aeson.ToJSON InitializeResult where
  toJSON :: InitializeResult -> Value
toJSON (InitializeResult ServerCapabilities
arg0 Maybe
  (Rec (("name" .== Text) .+ (("version" .== Maybe Text) .+ Empty)))
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
"capabilities" Key -> ServerCapabilities -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= ServerCapabilities
arg0]
    ,String
"serverInfo" String
-> Maybe (Rec ('R '["name" ':-> Text, "version" ':-> Maybe Text]))
-> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe
  (Rec (("name" .== Text) .+ (("version" .== Maybe Text) .+ Empty)))
Maybe (Rec ('R '["name" ':-> Text, "version" ':-> Maybe Text]))
arg1]

instance Aeson.FromJSON InitializeResult where
  parseJSON :: Value -> Parser InitializeResult
parseJSON = String
-> (Object -> Parser InitializeResult)
-> Value
-> Parser InitializeResult
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"InitializeResult" ((Object -> Parser InitializeResult)
 -> Value -> Parser InitializeResult)
-> (Object -> Parser InitializeResult)
-> Value
-> Parser InitializeResult
forall a b. (a -> b) -> a -> b
$ \Object
arg -> ServerCapabilities
-> Maybe
     (Rec (("name" .== Text) .+ (("version" .== Maybe Text) .+ Empty)))
-> InitializeResult
ServerCapabilities
-> Maybe (Rec ('R '["name" ':-> Text, "version" ':-> Maybe Text]))
-> InitializeResult
InitializeResult (ServerCapabilities
 -> Maybe (Rec ('R '["name" ':-> Text, "version" ':-> Maybe Text]))
 -> InitializeResult)
-> Parser ServerCapabilities
-> Parser
     (Maybe (Rec ('R '["name" ':-> Text, "version" ':-> Maybe Text]))
      -> InitializeResult)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Object
arg Object -> Key -> Parser ServerCapabilities
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"capabilities" Parser
  (Maybe (Rec ('R '["name" ':-> Text, "version" ':-> Maybe Text]))
   -> InitializeResult)
-> Parser
     (Maybe (Rec ('R '["name" ':-> Text, "version" ':-> Maybe Text])))
-> Parser InitializeResult
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 '["name" ':-> Text, "version" ':-> Maybe Text])))
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"serverInfo"