{-# OPTIONS_GHC -Wno-unused-imports #-}
{-# OPTIONS_GHC -Wno-unused-matches #-}
{-# OPTIONS_GHC -Wno-deprecations #-}
module Language.LSP.Protocol.Internal.Types.TypeHierarchyItem 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.Range
import qualified Language.LSP.Protocol.Internal.Types.SymbolKind
import qualified Language.LSP.Protocol.Internal.Types.SymbolTag
import qualified Language.LSP.Protocol.Types.Common
import qualified Language.LSP.Protocol.Types.Uri
data TypeHierarchyItem = TypeHierarchyItem
{
TypeHierarchyItem -> Text
_name :: Data.Text.Text
,
TypeHierarchyItem -> SymbolKind
_kind :: Language.LSP.Protocol.Internal.Types.SymbolKind.SymbolKind
,
TypeHierarchyItem -> Maybe [SymbolTag]
_tags :: (Maybe [Language.LSP.Protocol.Internal.Types.SymbolTag.SymbolTag])
,
TypeHierarchyItem -> Maybe Text
_detail :: (Maybe Data.Text.Text)
,
TypeHierarchyItem -> Uri
_uri :: Language.LSP.Protocol.Types.Uri.Uri
,
TypeHierarchyItem -> Range
_range :: Language.LSP.Protocol.Internal.Types.Range.Range
,
TypeHierarchyItem -> Range
_selectionRange :: Language.LSP.Protocol.Internal.Types.Range.Range
,
TypeHierarchyItem -> Maybe Value
_data_ :: (Maybe Data.Aeson.Value)
}
deriving stock (Int -> TypeHierarchyItem -> ShowS
[TypeHierarchyItem] -> ShowS
TypeHierarchyItem -> String
(Int -> TypeHierarchyItem -> ShowS)
-> (TypeHierarchyItem -> String)
-> ([TypeHierarchyItem] -> ShowS)
-> Show TypeHierarchyItem
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> TypeHierarchyItem -> ShowS
showsPrec :: Int -> TypeHierarchyItem -> ShowS
$cshow :: TypeHierarchyItem -> String
show :: TypeHierarchyItem -> String
$cshowList :: [TypeHierarchyItem] -> ShowS
showList :: [TypeHierarchyItem] -> ShowS
Show, TypeHierarchyItem -> TypeHierarchyItem -> Bool
(TypeHierarchyItem -> TypeHierarchyItem -> Bool)
-> (TypeHierarchyItem -> TypeHierarchyItem -> Bool)
-> Eq TypeHierarchyItem
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: TypeHierarchyItem -> TypeHierarchyItem -> Bool
== :: TypeHierarchyItem -> TypeHierarchyItem -> Bool
$c/= :: TypeHierarchyItem -> TypeHierarchyItem -> Bool
/= :: TypeHierarchyItem -> TypeHierarchyItem -> Bool
Eq, Eq TypeHierarchyItem
Eq TypeHierarchyItem =>
(TypeHierarchyItem -> TypeHierarchyItem -> Ordering)
-> (TypeHierarchyItem -> TypeHierarchyItem -> Bool)
-> (TypeHierarchyItem -> TypeHierarchyItem -> Bool)
-> (TypeHierarchyItem -> TypeHierarchyItem -> Bool)
-> (TypeHierarchyItem -> TypeHierarchyItem -> Bool)
-> (TypeHierarchyItem -> TypeHierarchyItem -> TypeHierarchyItem)
-> (TypeHierarchyItem -> TypeHierarchyItem -> TypeHierarchyItem)
-> Ord TypeHierarchyItem
TypeHierarchyItem -> TypeHierarchyItem -> Bool
TypeHierarchyItem -> TypeHierarchyItem -> Ordering
TypeHierarchyItem -> TypeHierarchyItem -> TypeHierarchyItem
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 :: TypeHierarchyItem -> TypeHierarchyItem -> Ordering
compare :: TypeHierarchyItem -> TypeHierarchyItem -> Ordering
$c< :: TypeHierarchyItem -> TypeHierarchyItem -> Bool
< :: TypeHierarchyItem -> TypeHierarchyItem -> Bool
$c<= :: TypeHierarchyItem -> TypeHierarchyItem -> Bool
<= :: TypeHierarchyItem -> TypeHierarchyItem -> Bool
$c> :: TypeHierarchyItem -> TypeHierarchyItem -> Bool
> :: TypeHierarchyItem -> TypeHierarchyItem -> Bool
$c>= :: TypeHierarchyItem -> TypeHierarchyItem -> Bool
>= :: TypeHierarchyItem -> TypeHierarchyItem -> Bool
$cmax :: TypeHierarchyItem -> TypeHierarchyItem -> TypeHierarchyItem
max :: TypeHierarchyItem -> TypeHierarchyItem -> TypeHierarchyItem
$cmin :: TypeHierarchyItem -> TypeHierarchyItem -> TypeHierarchyItem
min :: TypeHierarchyItem -> TypeHierarchyItem -> TypeHierarchyItem
Ord, (forall x. TypeHierarchyItem -> Rep TypeHierarchyItem x)
-> (forall x. Rep TypeHierarchyItem x -> TypeHierarchyItem)
-> Generic TypeHierarchyItem
forall x. Rep TypeHierarchyItem x -> TypeHierarchyItem
forall x. TypeHierarchyItem -> Rep TypeHierarchyItem x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. TypeHierarchyItem -> Rep TypeHierarchyItem x
from :: forall x. TypeHierarchyItem -> Rep TypeHierarchyItem x
$cto :: forall x. Rep TypeHierarchyItem x -> TypeHierarchyItem
to :: forall x. Rep TypeHierarchyItem x -> TypeHierarchyItem
Generic)
deriving anyclass (TypeHierarchyItem -> ()
(TypeHierarchyItem -> ()) -> NFData TypeHierarchyItem
forall a. (a -> ()) -> NFData a
$crnf :: TypeHierarchyItem -> ()
rnf :: TypeHierarchyItem -> ()
NFData, Eq TypeHierarchyItem
Eq TypeHierarchyItem =>
(Int -> TypeHierarchyItem -> Int)
-> (TypeHierarchyItem -> Int) -> Hashable TypeHierarchyItem
Int -> TypeHierarchyItem -> Int
TypeHierarchyItem -> Int
forall a. Eq a => (Int -> a -> Int) -> (a -> Int) -> Hashable a
$chashWithSalt :: Int -> TypeHierarchyItem -> Int
hashWithSalt :: Int -> TypeHierarchyItem -> Int
$chash :: TypeHierarchyItem -> Int
hash :: TypeHierarchyItem -> Int
Hashable)
deriving (forall ann. TypeHierarchyItem -> Doc ann)
-> (forall ann. [TypeHierarchyItem] -> Doc ann)
-> Pretty TypeHierarchyItem
forall ann. [TypeHierarchyItem] -> Doc ann
forall ann. TypeHierarchyItem -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
$cpretty :: forall ann. TypeHierarchyItem -> Doc ann
pretty :: forall ann. TypeHierarchyItem -> Doc ann
$cprettyList :: forall ann. [TypeHierarchyItem] -> Doc ann
prettyList :: forall ann. [TypeHierarchyItem] -> Doc ann
Pretty via (ViaJSON TypeHierarchyItem)
instance Aeson.ToJSON TypeHierarchyItem where
toJSON :: TypeHierarchyItem -> Value
toJSON (TypeHierarchyItem Text
arg0 SymbolKind
arg1 Maybe [SymbolTag]
arg2 Maybe Text
arg3 Uri
arg4 Range
arg5 Range
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
"name" Key -> Text -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= Text
arg0]
,[Key
"kind" Key -> SymbolKind -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= SymbolKind
arg1]
,String
"tags" String -> Maybe [SymbolTag] -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe [SymbolTag]
arg2
,String
"detail" String -> Maybe Text -> [Pair]
forall e kv v.
(KeyValue e kv, ToJSON v) =>
String -> Maybe v -> [kv]
Language.LSP.Protocol.Types.Common..=? Maybe Text
arg3
,[Key
"uri" Key -> Uri -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= Uri
arg4]
,[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
arg5]
,[Key
"selectionRange" Key -> Range -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= Range
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 TypeHierarchyItem where
parseJSON :: Value -> Parser TypeHierarchyItem
parseJSON = String
-> (Object -> Parser TypeHierarchyItem)
-> Value
-> Parser TypeHierarchyItem
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"TypeHierarchyItem" ((Object -> Parser TypeHierarchyItem)
-> Value -> Parser TypeHierarchyItem)
-> (Object -> Parser TypeHierarchyItem)
-> Value
-> Parser TypeHierarchyItem
forall a b. (a -> b) -> a -> b
$ \Object
arg -> Text
-> SymbolKind
-> Maybe [SymbolTag]
-> Maybe Text
-> Uri
-> Range
-> Range
-> Maybe Value
-> TypeHierarchyItem
TypeHierarchyItem (Text
-> SymbolKind
-> Maybe [SymbolTag]
-> Maybe Text
-> Uri
-> Range
-> Range
-> Maybe Value
-> TypeHierarchyItem)
-> Parser Text
-> Parser
(SymbolKind
-> Maybe [SymbolTag]
-> Maybe Text
-> Uri
-> Range
-> Range
-> Maybe Value
-> TypeHierarchyItem)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Object
arg Object -> Key -> Parser Text
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"name" Parser
(SymbolKind
-> Maybe [SymbolTag]
-> Maybe Text
-> Uri
-> Range
-> Range
-> Maybe Value
-> TypeHierarchyItem)
-> Parser SymbolKind
-> Parser
(Maybe [SymbolTag]
-> Maybe Text
-> Uri
-> Range
-> Range
-> Maybe Value
-> TypeHierarchyItem)
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 SymbolKind
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"kind" Parser
(Maybe [SymbolTag]
-> Maybe Text
-> Uri
-> Range
-> Range
-> Maybe Value
-> TypeHierarchyItem)
-> Parser (Maybe [SymbolTag])
-> Parser
(Maybe Text
-> Uri -> Range -> Range -> Maybe Value -> TypeHierarchyItem)
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 [SymbolTag])
forall v. FromJSON v => Object -> Key -> Parser (Maybe v)
Language.LSP.Protocol.Types.Common..:!? Key
"tags" Parser
(Maybe Text
-> Uri -> Range -> Range -> Maybe Value -> TypeHierarchyItem)
-> Parser (Maybe Text)
-> Parser
(Uri -> Range -> Range -> Maybe Value -> TypeHierarchyItem)
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
"detail" Parser (Uri -> Range -> Range -> Maybe Value -> TypeHierarchyItem)
-> Parser Uri
-> Parser (Range -> Range -> Maybe Value -> TypeHierarchyItem)
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 Uri
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"uri" Parser (Range -> Range -> Maybe Value -> TypeHierarchyItem)
-> Parser Range
-> Parser (Range -> Maybe Value -> TypeHierarchyItem)
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 Range
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"range" Parser (Range -> Maybe Value -> TypeHierarchyItem)
-> Parser Range -> Parser (Maybe Value -> TypeHierarchyItem)
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 Range
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"selectionRange" Parser (Maybe Value -> TypeHierarchyItem)
-> Parser (Maybe Value) -> Parser TypeHierarchyItem
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"