-- |
--
-- Module      : Network.URI.Template.Internal.Modifier
-- Copyright   : (c) 2025 Patrick Brisbin
-- License     : AGPL-3
-- Maintainer  : pbrisbin@gmail.com
-- Stability   : experimental
-- Portability : POSIX
module Network.URI.Template.Internal.Modifier
  ( Modifier (..)
  , modifierP
  , modifierPretty
  ) where

import Prelude

import Network.URI.Template.Internal.Parse
import Network.URI.Template.Internal.Pretty

data Modifier
  = Prefix Int
  | Explode
  deriving stock (Modifier -> Modifier -> Bool
(Modifier -> Modifier -> Bool)
-> (Modifier -> Modifier -> Bool) -> Eq Modifier
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: Modifier -> Modifier -> Bool
== :: Modifier -> Modifier -> Bool
$c/= :: Modifier -> Modifier -> Bool
/= :: Modifier -> Modifier -> Bool
Eq, Int -> Modifier -> ShowS
[Modifier] -> ShowS
Modifier -> String
(Int -> Modifier -> ShowS)
-> (Modifier -> String) -> ([Modifier] -> ShowS) -> Show Modifier
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> Modifier -> ShowS
showsPrec :: Int -> Modifier -> ShowS
$cshow :: Modifier -> String
show :: Modifier -> String
$cshowList :: [Modifier] -> ShowS
showList :: [Modifier] -> ShowS
Show)

-- |
--
-- @
-- modifier-level4 =  prefix / explode
--
-- prefix     =  ":" max-length
-- max-length =  %x31-39 0*3DIGIT   ; positive integer < 10000
--
-- explode = *
-- @
modifierP :: Parser Modifier
modifierP :: Parser Modifier
modifierP = Parser Modifier
prefixP Parser Modifier -> Parser Modifier -> Parser Modifier
forall a.
ParsecT Void Text Identity a
-> ParsecT Void Text Identity a -> ParsecT Void Text Identity a
forall (f :: * -> *) a. Alternative f => f a -> f a -> f a
<|> Parser Modifier
explodeP

modifierPretty :: Modifier -> Doc ann
modifierPretty :: forall ann. Modifier -> Doc ann
modifierPretty = \case
  Prefix Int
n -> Doc ann
":" Doc ann -> Doc ann -> Doc ann
forall a. Semigroup a => a -> a -> a
<> Int -> Doc ann
forall ann. Int -> Doc ann
forall a ann. Pretty a => a -> Doc ann
pretty Int
n
  Modifier
Explode -> Doc ann
"*"

prefixP :: Parser Modifier
prefixP :: Parser Modifier
prefixP = Token Text -> ParsecT Void Text Identity (Token Text)
forall e s (m :: * -> *).
(MonadParsec e s m, Token s ~ Char) =>
Token s -> m (Token s)
char Char
Token Text
':' ParsecT Void Text Identity Char
-> Parser Modifier -> Parser Modifier
forall a b.
ParsecT Void Text Identity a
-> ParsecT Void Text Identity b -> ParsecT Void Text Identity b
forall (f :: * -> *) a b. Applicative f => f a -> f b -> f b
*> (Int -> Modifier
Prefix (Int -> Modifier) -> (String -> Int) -> String -> Modifier
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> Int
forall a. Read a => String -> a
read (String -> Modifier)
-> ParsecT Void Text Identity String -> Parser Modifier
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> ParsecT Void Text Identity Char
-> ParsecT Void Text Identity String
forall (m :: * -> *) a. MonadPlus m => m a -> m [a]
some ParsecT Void Text Identity Char
ParsecT Void Text Identity (Token Text)
forall e s (m :: * -> *).
(MonadParsec e s m, Token s ~ Char) =>
m (Token s)
digitChar) Parser Modifier -> String -> Parser Modifier
forall e s (m :: * -> *) a.
MonadParsec e s m =>
m a -> String -> m a
<?> String
"prefix modifier"

explodeP :: Parser Modifier
explodeP :: Parser Modifier
explodeP = Modifier
Explode Modifier -> ParsecT Void Text Identity Char -> Parser Modifier
forall a b.
a -> ParsecT Void Text Identity b -> ParsecT Void Text Identity a
forall (f :: * -> *) a b. Functor f => a -> f b -> f a
<$ Token Text -> ParsecT Void Text Identity (Token Text)
forall e s (m :: * -> *).
(MonadParsec e s m, Token s ~ Char) =>
Token s -> m (Token s)
char Char
Token Text
'*' Parser Modifier -> String -> Parser Modifier
forall e s (m :: * -> *) a.
MonadParsec e s m =>
m a -> String -> m a
<?> String
"explode modifier"