{-# OPTIONS_GHC -Wno-unused-imports #-}
{-# OPTIONS_GHC -Wno-unused-matches #-}
{-# OPTIONS_GHC -Wno-deprecations #-}
module Language.LSP.Protocol.Internal.Types.WorkspaceSymbol 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 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.Location
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 WorkspaceSymbol = WorkspaceSymbol
{
WorkspaceSymbol -> Text
_name :: Data.Text.Text
,
WorkspaceSymbol -> SymbolKind
_kind :: Language.LSP.Protocol.Internal.Types.SymbolKind.SymbolKind
,
WorkspaceSymbol -> Maybe [SymbolTag]
_tags :: (Maybe [Language.LSP.Protocol.Internal.Types.SymbolTag.SymbolTag])
,
WorkspaceSymbol -> Maybe Text
_containerName :: (Maybe Data.Text.Text)
,
WorkspaceSymbol -> Location |? Rec (("uri" .== Uri) .+ Empty)
_location :: (Language.LSP.Protocol.Internal.Types.Location.Location Language.LSP.Protocol.Types.Common.|? (Row.Rec ("uri" Row..== Language.LSP.Protocol.Types.Uri.Uri Row..+ Row.Empty)))
,
WorkspaceSymbol -> Maybe Value
_data_ :: (Maybe Data.Aeson.Value)
}
deriving stock (Int -> WorkspaceSymbol -> ShowS
[WorkspaceSymbol] -> ShowS
WorkspaceSymbol -> String
(Int -> WorkspaceSymbol -> ShowS)
-> (WorkspaceSymbol -> String)
-> ([WorkspaceSymbol] -> ShowS)
-> Show WorkspaceSymbol
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> WorkspaceSymbol -> ShowS
showsPrec :: Int -> WorkspaceSymbol -> ShowS
$cshow :: WorkspaceSymbol -> String
show :: WorkspaceSymbol -> String
$cshowList :: [WorkspaceSymbol] -> ShowS
showList :: [WorkspaceSymbol] -> ShowS
Show, WorkspaceSymbol -> WorkspaceSymbol -> Bool
(WorkspaceSymbol -> WorkspaceSymbol -> Bool)
-> (WorkspaceSymbol -> WorkspaceSymbol -> Bool)
-> Eq WorkspaceSymbol
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: WorkspaceSymbol -> WorkspaceSymbol -> Bool
== :: WorkspaceSymbol -> WorkspaceSymbol -> Bool
$c/= :: WorkspaceSymbol -> WorkspaceSymbol -> Bool
/= :: WorkspaceSymbol -> WorkspaceSymbol -> Bool
Eq, Eq WorkspaceSymbol
Eq WorkspaceSymbol =>
(WorkspaceSymbol -> WorkspaceSymbol -> Ordering)
-> (WorkspaceSymbol -> WorkspaceSymbol -> Bool)
-> (WorkspaceSymbol -> WorkspaceSymbol -> Bool)
-> (WorkspaceSymbol -> WorkspaceSymbol -> Bool)
-> (WorkspaceSymbol -> WorkspaceSymbol -> Bool)
-> (WorkspaceSymbol -> WorkspaceSymbol -> WorkspaceSymbol)
-> (WorkspaceSymbol -> WorkspaceSymbol -> WorkspaceSymbol)
-> Ord WorkspaceSymbol
WorkspaceSymbol -> WorkspaceSymbol -> Bool
WorkspaceSymbol -> WorkspaceSymbol -> Ordering
WorkspaceSymbol -> WorkspaceSymbol -> WorkspaceSymbol
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 :: WorkspaceSymbol -> WorkspaceSymbol -> Ordering
compare :: WorkspaceSymbol -> WorkspaceSymbol -> Ordering
$c< :: WorkspaceSymbol -> WorkspaceSymbol -> Bool
< :: WorkspaceSymbol -> WorkspaceSymbol -> Bool
$c<= :: WorkspaceSymbol -> WorkspaceSymbol -> Bool
<= :: WorkspaceSymbol -> WorkspaceSymbol -> Bool
$c> :: WorkspaceSymbol -> WorkspaceSymbol -> Bool
> :: WorkspaceSymbol -> WorkspaceSymbol -> Bool
$c>= :: WorkspaceSymbol -> WorkspaceSymbol -> Bool
>= :: WorkspaceSymbol -> WorkspaceSymbol -> Bool
$cmax :: WorkspaceSymbol -> WorkspaceSymbol -> WorkspaceSymbol
max :: WorkspaceSymbol -> WorkspaceSymbol -> WorkspaceSymbol
$cmin :: WorkspaceSymbol -> WorkspaceSymbol -> WorkspaceSymbol
min :: WorkspaceSymbol -> WorkspaceSymbol -> WorkspaceSymbol
Ord, (forall x. WorkspaceSymbol -> Rep WorkspaceSymbol x)
-> (forall x. Rep WorkspaceSymbol x -> WorkspaceSymbol)
-> Generic WorkspaceSymbol
forall x. Rep WorkspaceSymbol x -> WorkspaceSymbol
forall x. WorkspaceSymbol -> Rep WorkspaceSymbol x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. WorkspaceSymbol -> Rep WorkspaceSymbol x
from :: forall x. WorkspaceSymbol -> Rep WorkspaceSymbol x
$cto :: forall x. Rep WorkspaceSymbol x -> WorkspaceSymbol
to :: forall x. Rep WorkspaceSymbol x -> WorkspaceSymbol
Generic)
deriving anyclass (WorkspaceSymbol -> ()
(WorkspaceSymbol -> ()) -> NFData WorkspaceSymbol
forall a. (a -> ()) -> NFData a
$crnf :: WorkspaceSymbol -> ()
rnf :: WorkspaceSymbol -> ()
NFData, Eq WorkspaceSymbol
Eq WorkspaceSymbol =>
(Int -> WorkspaceSymbol -> Int)
-> (WorkspaceSymbol -> Int) -> Hashable WorkspaceSymbol
Int -> WorkspaceSymbol -> Int
WorkspaceSymbol -> Int
forall a. Eq a => (Int -> a -> Int) -> (a -> Int) -> Hashable a
$chashWithSalt :: Int -> WorkspaceSymbol -> Int
hashWithSalt :: Int -> WorkspaceSymbol -> Int
$chash :: WorkspaceSymbol -> Int
hash :: WorkspaceSymbol -> Int
Hashable)
deriving (forall ann. WorkspaceSymbol -> Doc ann)
-> (forall ann. [WorkspaceSymbol] -> Doc ann)
-> Pretty WorkspaceSymbol
forall ann. [WorkspaceSymbol] -> Doc ann
forall ann. WorkspaceSymbol -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
$cpretty :: forall ann. WorkspaceSymbol -> Doc ann
pretty :: forall ann. WorkspaceSymbol -> Doc ann
$cprettyList :: forall ann. [WorkspaceSymbol] -> Doc ann
prettyList :: forall ann. [WorkspaceSymbol] -> Doc ann
Pretty via (ViaJSON WorkspaceSymbol)
instance Aeson.ToJSON WorkspaceSymbol where
toJSON :: WorkspaceSymbol -> Value
toJSON (WorkspaceSymbol Text
arg0 SymbolKind
arg1 Maybe [SymbolTag]
arg2 Maybe Text
arg3 Location |? Rec (("uri" .== Uri) .+ Empty)
arg4 Maybe Value
arg5) = [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
"containerName" 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
"location" Key -> (Location |? Rec ('R '["uri" ':-> Uri])) -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= Location |? Rec (("uri" .== Uri) .+ Empty)
Location |? Rec ('R '["uri" ':-> Uri])
arg4]
,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
arg5]
instance Aeson.FromJSON WorkspaceSymbol where
parseJSON :: Value -> Parser WorkspaceSymbol
parseJSON = String
-> (Object -> Parser WorkspaceSymbol)
-> Value
-> Parser WorkspaceSymbol
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"WorkspaceSymbol" ((Object -> Parser WorkspaceSymbol)
-> Value -> Parser WorkspaceSymbol)
-> (Object -> Parser WorkspaceSymbol)
-> Value
-> Parser WorkspaceSymbol
forall a b. (a -> b) -> a -> b
$ \Object
arg -> Text
-> SymbolKind
-> Maybe [SymbolTag]
-> Maybe Text
-> (Location |? Rec (("uri" .== Uri) .+ Empty))
-> Maybe Value
-> WorkspaceSymbol
Text
-> SymbolKind
-> Maybe [SymbolTag]
-> Maybe Text
-> (Location |? Rec ('R '["uri" ':-> Uri]))
-> Maybe Value
-> WorkspaceSymbol
WorkspaceSymbol (Text
-> SymbolKind
-> Maybe [SymbolTag]
-> Maybe Text
-> (Location |? Rec ('R '["uri" ':-> Uri]))
-> Maybe Value
-> WorkspaceSymbol)
-> Parser Text
-> Parser
(SymbolKind
-> Maybe [SymbolTag]
-> Maybe Text
-> (Location |? Rec ('R '["uri" ':-> Uri]))
-> Maybe Value
-> WorkspaceSymbol)
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
-> (Location |? Rec ('R '["uri" ':-> Uri]))
-> Maybe Value
-> WorkspaceSymbol)
-> Parser SymbolKind
-> Parser
(Maybe [SymbolTag]
-> Maybe Text
-> (Location |? Rec ('R '["uri" ':-> Uri]))
-> Maybe Value
-> WorkspaceSymbol)
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
-> (Location |? Rec ('R '["uri" ':-> Uri]))
-> Maybe Value
-> WorkspaceSymbol)
-> Parser (Maybe [SymbolTag])
-> Parser
(Maybe Text
-> (Location |? Rec ('R '["uri" ':-> Uri]))
-> Maybe Value
-> WorkspaceSymbol)
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
-> (Location |? Rec ('R '["uri" ':-> Uri]))
-> Maybe Value
-> WorkspaceSymbol)
-> Parser (Maybe Text)
-> Parser
((Location |? Rec ('R '["uri" ':-> Uri]))
-> Maybe Value -> WorkspaceSymbol)
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
"containerName" Parser
((Location |? Rec ('R '["uri" ':-> Uri]))
-> Maybe Value -> WorkspaceSymbol)
-> Parser (Location |? Rec ('R '["uri" ':-> Uri]))
-> Parser (Maybe Value -> WorkspaceSymbol)
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 (Location |? Rec ('R '["uri" ':-> Uri]))
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"location" Parser (Maybe Value -> WorkspaceSymbol)
-> Parser (Maybe Value) -> Parser WorkspaceSymbol
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"