{- 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.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

{-|
@since 3.17.0
-}
data TypeHierarchyItem = TypeHierarchyItem 
  { {-|
  The name of this item.
  -}
  TypeHierarchyItem -> Text
_name :: Data.Text.Text
  , {-|
  The kind of this item.
  -}
  TypeHierarchyItem -> SymbolKind
_kind :: Language.LSP.Protocol.Internal.Types.SymbolKind.SymbolKind
  , {-|
  Tags for this item.
  -}
  TypeHierarchyItem -> Maybe [SymbolTag]
_tags :: (Maybe [Language.LSP.Protocol.Internal.Types.SymbolTag.SymbolTag])
  , {-|
  More detail for this item, e.g. the signature of a function.
  -}
  TypeHierarchyItem -> Maybe Text
_detail :: (Maybe Data.Text.Text)
  , {-|
  The resource identifier of this item.
  -}
  TypeHierarchyItem -> Uri
_uri :: Language.LSP.Protocol.Types.Uri.Uri
  , {-|
  The range enclosing this symbol not including leading/trailing whitespace
  but everything else, e.g. comments and code.
  -}
  TypeHierarchyItem -> Range
_range :: Language.LSP.Protocol.Internal.Types.Range.Range
  , {-|
  The range that should be selected and revealed when this symbol is being
  picked, e.g. the name of a function. Must be contained by the
  `TypeHierarchyItem.range`.
  -}
  TypeHierarchyItem -> Range
_selectionRange :: Language.LSP.Protocol.Internal.Types.Range.Range
  , {-|
  A data entry field that is preserved between a type hierarchy prepare and
  supertypes or subtypes requests. It could also be used to identify the
  type hierarchy in the server, helping improve the performance on
  resolving supertypes and subtypes.
  -}
  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"