module Network.Wai.Routing.Predicate.Param
( Param
, HasParam
, param
, hasParam
) where
import Data.ByteString (ByteString)
import Data.ByteString.From
import Network.Wai.Routing.Error
import Network.Wai.Routing.Request
import Network.Wai.Routing.Predicate.Capture
import Network.Wai.Routing.Predicate.Query
import Network.Wai.Routing.Predicate.Predicate
newtype Param a = Param ByteString
param :: ByteString -> Param a
param = Param
instance (FromByteString a) => Predicate (Param a) Req where
type FVal (Param a) = Error
type TVal (Param a) = a
apply (Param x) = apply (query x :|: capture x)
newtype HasParam = HasParam ByteString
hasParam :: ByteString -> HasParam
hasParam = HasParam
instance Predicate HasParam Req where
type FVal HasParam = Error
type TVal HasParam = ()
apply (HasParam x) = apply (hasQuery x :|: hasCapture x)