module Control.Monad.Apiary.Filter (
method, stdMethod
, Control.Monad.Apiary.Filter.httpVersion
, http09, http10, http11
, root
, capture
, query
, pFirst, pOne, pOption, pCheck, pMany, pSome
, (=:), (=!:), (=?:), (?:), (=*:), (=+:)
, hasQuery
, ssl
, module Network.HTTP.Types
, queryAll, queryAll'
, querySome, querySome'
, queryFirst, queryFirst'
, queryMany, queryMany'
, maybeQueryFirst, maybeQueryFirst'
) where
import Control.Monad
import Network.Wai as Wai
import qualified Network.HTTP.Types as HT
import Network.HTTP.Types (StdMethod(..))
import qualified Data.ByteString as S
import Data.Maybe
import Data.Proxy
import Data.Apiary.SList
import Data.Apiary.Param
import Control.Monad.Apiary.Action.Internal
import Control.Monad.Apiary.Filter.Internal
import Control.Monad.Apiary.Filter.Internal.Query
import Control.Monad.Apiary.Filter.Internal.Capture.TH
import Control.Monad.Apiary.Internal
ssl :: Monad m => ApiaryT c m a -> ApiaryT c m a
ssl = function_ isSecure
httpVersion :: Monad m => HT.HttpVersion -> ApiaryT c m b -> ApiaryT c m b
httpVersion v = function_ $ (v ==) . Wai.httpVersion
http09 :: Monad m => ApiaryT c m b -> ApiaryT c m b
http09 = Control.Monad.Apiary.Filter.httpVersion HT.http09
http10 :: Monad m => ApiaryT c m b -> ApiaryT c m b
http10 = Control.Monad.Apiary.Filter.httpVersion HT.http10
http11 :: Monad m => ApiaryT c m b -> ApiaryT c m b
http11 = Control.Monad.Apiary.Filter.httpVersion HT.http11
method :: Monad m => HT.Method -> ApiaryT c m a -> ApiaryT c m a
method m = function_ ((m ==) . requestMethod)
stdMethod :: Monad m => StdMethod -> ApiaryT c m a -> ApiaryT c m a
stdMethod = method . HT.renderStdMethod
root :: Monad m => ApiaryT c m b -> ApiaryT c m b
root m = do
rs <- rootPattern `liftM` apiaryConfig
function_ (\r -> rawPathInfo r `elem` rs) m
(=:) :: (Query a, Monad m)
=> S.ByteString -> Proxy a -> ApiaryT (Snoc as a) m b -> ApiaryT as m b
k =: t = query k (pFirst t)
(=!:) :: (Query a, Monad m)
=> S.ByteString -> Proxy a -> ApiaryT (Snoc as a) m b -> ApiaryT as m b
k =!: t = query k (pOne t)
(=?:) :: (Query a, Monad m)
=> S.ByteString -> Proxy a -> ApiaryT (Snoc as (Maybe a)) m b -> ApiaryT as m b
k =?: t = query k (pOption t)
(?:) :: (Query a, Monad m)
=> S.ByteString -> Proxy a -> ApiaryT as m b -> ApiaryT as m b
k ?: t = query k (pCheck t)
(=*:) :: (Query a, Monad m)
=> S.ByteString -> Proxy a -> ApiaryT (Snoc as [a]) m b -> ApiaryT as m b
k =*: t = query k (pMany t)
(=+:) :: (Query a, Monad m)
=> S.ByteString -> Proxy a -> ApiaryT (Snoc as [a]) m b -> ApiaryT as m b
k =+: t = query k (pSome t)
hasQuery :: Monad m => S.ByteString -> ApiaryT c m a -> ApiaryT c m a
hasQuery q = query q (Proxy :: Proxy (Check ()))
queryMany :: Monad m => S.ByteString
-> ApiaryT (Snoc as [Maybe S.ByteString]) m b
-> ApiaryT as m b
queryMany q = function' $ Just . map snd . filter ((q ==) . fst) . queryString
querySome :: Monad m => S.ByteString
-> ApiaryT (Snoc as [Maybe S.ByteString]) m b
-> ApiaryT as m b
querySome q = function' $ \r -> case map snd . filter ((q ==) . fst) $ queryString r of
[] -> Nothing
as -> Just as
queryAll :: Monad m => S.ByteString
-> ApiaryT (Snoc as [Maybe S.ByteString]) m b
-> ApiaryT as m b
queryAll = querySome
queryMany' :: Monad m => S.ByteString
-> ApiaryT (Snoc as [S.ByteString]) m b
-> ApiaryT as m b
queryMany' q = function' $ Just . mapMaybe snd . filter ((q ==) . fst) . queryString
querySome' :: Monad m => S.ByteString
-> ApiaryT (Snoc as [S.ByteString]) m b
-> ApiaryT as m b
querySome' q = function' $ \r -> case mapMaybe snd . filter ((q ==) . fst) $ queryString r of
[] -> Nothing
as -> Just as
queryAll' :: Monad m => S.ByteString
-> ApiaryT (Snoc as [S.ByteString]) m b
-> ApiaryT as m b
queryAll' = querySome'
maybeQueryFirst :: Monad m => S.ByteString
-> ApiaryT (Snoc as (Maybe (Maybe S.ByteString))) m b
-> ApiaryT as m b
maybeQueryFirst q = function' (Just . lookup q . queryString)
queryFirst :: Monad m => S.ByteString
-> ApiaryT (Snoc as (Maybe S.ByteString)) m b
-> ApiaryT as m b
queryFirst q = function' (lookup q . queryString)
maybeQueryFirst' :: Monad m => S.ByteString
-> ApiaryT (Snoc as (Maybe S.ByteString)) m b
-> ApiaryT as m b
maybeQueryFirst' q = function' $ Just . listToMaybe . mapMaybe snd . filter ((q ==) . fst) . queryString
queryFirst' :: Monad m => S.ByteString
-> ApiaryT (Snoc as S.ByteString) m b
-> ApiaryT as m b
queryFirst' q = function' $ listToMaybe . mapMaybe snd . filter ((q ==) . fst) . queryString