{- 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.RelativePattern 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 Language.LSP.Protocol.Internal.Types.Pattern
import qualified Language.LSP.Protocol.Internal.Types.WorkspaceFolder
import qualified Language.LSP.Protocol.Types.Common
import qualified Language.LSP.Protocol.Types.Uri

{-|
A relative pattern is a helper to construct glob patterns that are matched
relatively to a base URI. The common value for a `baseUri` is a workspace
folder root, but it can be another absolute URI as well.

@since 3.17.0
-}
data RelativePattern = RelativePattern 
  { {-|
  A workspace folder or a base URI to which this pattern will be matched
  against relatively.
  -}
  RelativePattern -> WorkspaceFolder |? Uri
_baseUri :: (Language.LSP.Protocol.Internal.Types.WorkspaceFolder.WorkspaceFolder Language.LSP.Protocol.Types.Common.|? Language.LSP.Protocol.Types.Uri.Uri)
  , {-|
  The actual glob pattern;
  -}
  RelativePattern -> Pattern
_pattern :: Language.LSP.Protocol.Internal.Types.Pattern.Pattern
  }
  deriving stock (Int -> RelativePattern -> ShowS
[RelativePattern] -> ShowS
RelativePattern -> String
(Int -> RelativePattern -> ShowS)
-> (RelativePattern -> String)
-> ([RelativePattern] -> ShowS)
-> Show RelativePattern
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> RelativePattern -> ShowS
showsPrec :: Int -> RelativePattern -> ShowS
$cshow :: RelativePattern -> String
show :: RelativePattern -> String
$cshowList :: [RelativePattern] -> ShowS
showList :: [RelativePattern] -> ShowS
Show, RelativePattern -> RelativePattern -> Bool
(RelativePattern -> RelativePattern -> Bool)
-> (RelativePattern -> RelativePattern -> Bool)
-> Eq RelativePattern
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: RelativePattern -> RelativePattern -> Bool
== :: RelativePattern -> RelativePattern -> Bool
$c/= :: RelativePattern -> RelativePattern -> Bool
/= :: RelativePattern -> RelativePattern -> Bool
Eq, Eq RelativePattern
Eq RelativePattern =>
(RelativePattern -> RelativePattern -> Ordering)
-> (RelativePattern -> RelativePattern -> Bool)
-> (RelativePattern -> RelativePattern -> Bool)
-> (RelativePattern -> RelativePattern -> Bool)
-> (RelativePattern -> RelativePattern -> Bool)
-> (RelativePattern -> RelativePattern -> RelativePattern)
-> (RelativePattern -> RelativePattern -> RelativePattern)
-> Ord RelativePattern
RelativePattern -> RelativePattern -> Bool
RelativePattern -> RelativePattern -> Ordering
RelativePattern -> RelativePattern -> RelativePattern
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 :: RelativePattern -> RelativePattern -> Ordering
compare :: RelativePattern -> RelativePattern -> Ordering
$c< :: RelativePattern -> RelativePattern -> Bool
< :: RelativePattern -> RelativePattern -> Bool
$c<= :: RelativePattern -> RelativePattern -> Bool
<= :: RelativePattern -> RelativePattern -> Bool
$c> :: RelativePattern -> RelativePattern -> Bool
> :: RelativePattern -> RelativePattern -> Bool
$c>= :: RelativePattern -> RelativePattern -> Bool
>= :: RelativePattern -> RelativePattern -> Bool
$cmax :: RelativePattern -> RelativePattern -> RelativePattern
max :: RelativePattern -> RelativePattern -> RelativePattern
$cmin :: RelativePattern -> RelativePattern -> RelativePattern
min :: RelativePattern -> RelativePattern -> RelativePattern
Ord, (forall x. RelativePattern -> Rep RelativePattern x)
-> (forall x. Rep RelativePattern x -> RelativePattern)
-> Generic RelativePattern
forall x. Rep RelativePattern x -> RelativePattern
forall x. RelativePattern -> Rep RelativePattern x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. RelativePattern -> Rep RelativePattern x
from :: forall x. RelativePattern -> Rep RelativePattern x
$cto :: forall x. Rep RelativePattern x -> RelativePattern
to :: forall x. Rep RelativePattern x -> RelativePattern
Generic)
  deriving anyclass (RelativePattern -> ()
(RelativePattern -> ()) -> NFData RelativePattern
forall a. (a -> ()) -> NFData a
$crnf :: RelativePattern -> ()
rnf :: RelativePattern -> ()
NFData, Eq RelativePattern
Eq RelativePattern =>
(Int -> RelativePattern -> Int)
-> (RelativePattern -> Int) -> Hashable RelativePattern
Int -> RelativePattern -> Int
RelativePattern -> Int
forall a. Eq a => (Int -> a -> Int) -> (a -> Int) -> Hashable a
$chashWithSalt :: Int -> RelativePattern -> Int
hashWithSalt :: Int -> RelativePattern -> Int
$chash :: RelativePattern -> Int
hash :: RelativePattern -> Int
Hashable)
  deriving (forall ann. RelativePattern -> Doc ann)
-> (forall ann. [RelativePattern] -> Doc ann)
-> Pretty RelativePattern
forall ann. [RelativePattern] -> Doc ann
forall ann. RelativePattern -> Doc ann
forall a.
(forall ann. a -> Doc ann)
-> (forall ann. [a] -> Doc ann) -> Pretty a
$cpretty :: forall ann. RelativePattern -> Doc ann
pretty :: forall ann. RelativePattern -> Doc ann
$cprettyList :: forall ann. [RelativePattern] -> Doc ann
prettyList :: forall ann. [RelativePattern] -> Doc ann
Pretty via (ViaJSON RelativePattern)

instance Aeson.ToJSON RelativePattern where
  toJSON :: RelativePattern -> Value
toJSON (RelativePattern WorkspaceFolder |? Uri
arg0 Pattern
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
"baseUri" Key -> (WorkspaceFolder |? Uri) -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= WorkspaceFolder |? Uri
arg0]
    ,[Key
"pattern" Key -> Pattern -> Pair
forall v. ToJSON v => Key -> v -> Pair
forall e kv v. (KeyValue e kv, ToJSON v) => Key -> v -> kv
Aeson..= Pattern
arg1]]

instance Aeson.FromJSON RelativePattern where
  parseJSON :: Value -> Parser RelativePattern
parseJSON = String
-> (Object -> Parser RelativePattern)
-> Value
-> Parser RelativePattern
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Aeson.withObject String
"RelativePattern" ((Object -> Parser RelativePattern)
 -> Value -> Parser RelativePattern)
-> (Object -> Parser RelativePattern)
-> Value
-> Parser RelativePattern
forall a b. (a -> b) -> a -> b
$ \Object
arg -> (WorkspaceFolder |? Uri) -> Pattern -> RelativePattern
RelativePattern ((WorkspaceFolder |? Uri) -> Pattern -> RelativePattern)
-> Parser (WorkspaceFolder |? Uri)
-> Parser (Pattern -> RelativePattern)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Object
arg Object -> Key -> Parser (WorkspaceFolder |? Uri)
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"baseUri" Parser (Pattern -> RelativePattern)
-> Parser Pattern -> Parser RelativePattern
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 Pattern
forall a. FromJSON a => Object -> Key -> Parser a
Aeson..: Key
"pattern"