-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Simple web framework inspired by scotty.
--   
--   Simple web framework inspired by scotty.
--   
--   <pre>
--   {-# LANGUAGE QuasiQuotes #-}
--   {-# LANGUAGE OverloadedStrings #-}
--   
--   import Web.Apiary
--   import Network.Wai.Handler.Warp
--   import qualified Data.ByteString.Lazy.Char8 as L
--   
--   main :: IO ()
--   main = run 3000 . runApiary def $ do
--     [capture|/:Int|] . ("name" =: pLazyByteString) . stdMethod GET . action $ \age name -&gt; do
--         guard (age &gt;= 18)
--         contentType "text/html"
--         lbs . L.concat $ ["&lt;h1&gt;Hello, ", name, "!&lt;/h1&gt;\n"]
--   </pre>
--   
--   <pre>
--   $ curl localhost:3000
--   404 Page Notfound.
--   $ curl 'localhost:3000/20?name=arice'
--   &lt;h1&gt;Hello, arice!&lt;/h1&gt;
--   $ curl 'localhost:3000/15?name=bob'
--   404 Page Notfound.
--   $ curl -XPOST 'localhost:3000/20?name=arice'
--   404 Page Notfound.
--   </pre>
--   
--   <ul>
--   <li>Nestable route handling(ApiaryT Monad; capture, stdMethod and
--   more.).</li>
--   <li>type safe route filter.</li>
--   </ul>
--   
--   full example &amp; tutorial:
--   <a>https://github.com/philopon/apiary/blob/master/examples/main.lhs</a>
@package apiary
@version 0.6.0.0

module Data.Apiary.SList
data SList (as :: [*])
SNil :: SList '[]
(:::) :: a -> SList xs -> SList (a : xs)
apply :: Fn xs r -> SList xs -> r
sSnoc :: SList as -> a -> SList (Snoc as a)
type Reverse (a :: [*]) = Rev a '[]
sReverse :: SList as -> SList (Reverse as)
instance (All Show as) => Show (SList as)

module Control.Monad.Apiary.Filter.Internal.Strategy
class Strategy (w :: * -> *) where type family SNext w (as :: [*]) a :: [*]
readStrategy :: Strategy w => (v -> Maybe a) -> ((k, v) -> Bool) -> Proxy (w a) -> [(k, v)] -> SList as -> Maybe (SList (SNext w as a))
getQuery :: (v -> Maybe a) -> Proxy (w a) -> ((k, v) -> Bool) -> [(k, v)] -> [Maybe a]

-- | get first matched key( [1,) params to Type.). since 0.5.0.0.
data Option a

-- | get first matched key ( [0,) params to Maybe Type.) since 0.5.0.0.
data First a

-- | get key ( [1] param to Type.) since 0.5.0.0.
data One a

-- | get parameters ( [0,) params to [Type] ) since 0.5.0.0.
data Many a

-- | get parameters ( [1,) params to [Type] ) since 0.5.0.0.
data Some a

-- | get parameters with upper limit ( [1,n] to [Type]) since 0.6.0.0.
data LimitSome u a
reflectLimit :: Reifies n Int => Proxy (LimitSome n a) -> Int

-- | type check ( [0,) params to No argument ) since 0.5.0.0.
data Check a

-- | construct Option proxy. since 0.5.1.0.
pOption :: Proxy a -> Proxy (Option a)

-- | construct First proxy. since 0.5.1.0.
pFirst :: Proxy a -> Proxy (First a)

-- | construct One proxy. since 0.5.1.0.
pOne :: Proxy a -> Proxy (One a)

-- | construct Many proxy. since 0.5.1.0.
pMany :: Proxy a -> Proxy (Many a)

-- | construct Some proxy. since 0.5.1.0.
pSome :: Proxy a -> Proxy (Some a)

-- | construct Check proxy. since 0.5.1.0.
pCheck :: Proxy a -> Proxy (Check a)
instance Strategy Check
instance Reifies * u Int => Strategy (LimitSome u)
instance Strategy Some
instance Strategy Many
instance Strategy One
instance Strategy First
instance Strategy Option

module Control.Monad.Apiary.Filter.Internal

-- | raw and most generic filter function.
function :: Monad m => (SList c -> Request -> Maybe (SList c')) -> ApiaryT c' m b -> ApiaryT c m b

-- | filter and append argument.
function' :: Monad m => (Request -> Maybe a) -> ApiaryT (Snoc as a) m b -> ApiaryT as m b

-- | filter only(not modify arguments).
function_ :: Monad m => (Request -> Bool) -> ApiaryT c m b -> ApiaryT c m b

module Data.Apiary.Param
jsToBool :: (IsString a, Eq a) => a -> Bool
class Path a
readPath :: Path a => Text -> Maybe a
class Query a
readQuery :: Query a => Maybe ByteString -> Maybe a
pBool :: Proxy Bool
pInt :: Proxy Int
pInt8 :: Proxy Int8
pInt16 :: Proxy Int16
pInt32 :: Proxy Int32
pInt64 :: Proxy Int64
pInteger :: Proxy Integer
pWord :: Proxy Word
pWord8 :: Proxy Word8
pWord16 :: Proxy Word16
pWord32 :: Proxy Word32
pWord64 :: Proxy Word64
pDouble :: Proxy Double
pFloat :: Proxy Float
pText :: Proxy Text
pLazyText :: Proxy Text
pByteString :: Proxy ByteString
pLazyByteString :: Proxy ByteString
pString :: Proxy String
pVoid :: Proxy ()
pMaybe :: Proxy a -> Proxy (Maybe a)
instance Query ()
instance Query a => Query (Maybe a)
instance Query String
instance Query ByteString
instance Query ByteString
instance Query Text
instance Query Text
instance Query Float
instance Query Double
instance Query Word64
instance Query Word32
instance Query Word16
instance Query Word8
instance Query Word
instance Query Integer
instance Query Int64
instance Query Int32
instance Query Int16
instance Query Int8
instance Query Int
instance Query Bool
instance Path String
instance Path ByteString
instance Path ByteString
instance Path Text
instance Path Text
instance Path Float
instance Path Double
instance Path Word64
instance Path Word32
instance Path Word16
instance Path Word8
instance Path Word
instance Path Integer
instance Path Int64
instance Path Int32
instance Path Int16
instance Path Int8
instance Path Int
instance Path Bool
instance Path Char

module Control.Monad.Apiary.Action
data ActionT m a
data ApiaryConfig
ApiaryConfig :: Application -> Status -> ResponseHeaders -> [ByteString] -> (FilePath -> ByteString) -> ApiaryConfig

-- | call when no handler matched.
notFound :: ApiaryConfig -> Application

-- | used unless call <a>status</a> function.
defaultStatus :: ApiaryConfig -> Status

-- | initial headers.
defaultHeader :: ApiaryConfig -> ResponseHeaders

-- | used by <a>root</a> filter.
rootPattern :: ApiaryConfig -> [ByteString]
mimeType :: ApiaryConfig -> FilePath -> ByteString

-- | stop handler and send current state. since 0.3.3.0.
stop :: Monad m => ActionT m a

-- | stop with response. since 0.4.2.0.
stopWith :: Monad m => Response -> ActionT m a

-- | get raw request. since 0.1.0.0.
getRequest :: Monad m => ActionT m Request

-- | get all request headers. since 0.6.0.0.
getHeaders :: Monad m => ActionT m RequestHeaders

-- | set status code. since 0.1.0.0.
status :: Monad m => Status -> ActionT m ()

-- | add response header. since 0.1.0.0.
addHeader :: Monad m => HeaderName -> ByteString -> ActionT m ()

-- | set response headers. since 0.1.0.0.
setHeaders :: Monad m => ResponseHeaders -> ActionT m ()

-- | modify response header. since 0.1.0.0.
modifyHeader :: Monad m => (ResponseHeaders -> ResponseHeaders) -> ActionT m ()

-- | set content-type header. if content-type header already exists,
--   replace it. since 0.1.0.0.
contentType :: Monad m => ByteString -> ActionT m ()

-- | set response body file content and detect Content-Type by extension.
--   since 0.1.0.0.
file :: Monad m => FilePath -> Maybe FilePart -> ActionT m ()

-- | set response body file content, without set Content-Type. since
--   0.1.0.0.
file' :: Monad m => FilePath -> Maybe FilePart -> ActionT m ()

-- | set response body builder. since 0.1.0.0.
builder :: Monad m => Builder -> ActionT m ()

-- | set response body lazy bytestring. since 0.1.0.0.
lbs :: Monad m => ByteString -> ActionT m ()

-- | set response body source. since 0.1.0.0.
source :: Monad m => Source IO (Flush Builder) -> ActionT m ()

-- | redirect handler
--   
--   set status, location header and stop. since 0.3.3.0.
redirect :: Monad m => Status -> ByteString -> ActionT m a

-- | redirect with 301 Moved Permanently. since 0.3.3.0.
redirectPermanently :: Monad m => ByteString -> ActionT m a

-- | redirect with 302 Found. since 0.3.3.0.
redirectFound :: Monad m => ByteString -> ActionT m a

-- | redirect with 303 See Other. since 0.3.3.0.
redirectSeeOther :: Monad m => ByteString -> ActionT m a

-- | redirect with 307 Temporary Redirect. since 0.3.3.0.
redirectTemporary :: Monad m => ByteString -> ActionT m a

module Control.Monad.Apiary
data ApiaryT c m a
type Apiary c = ApiaryT c IO
runApiary :: ApiaryConfig -> Apiary '[] a -> Application
runApiaryT :: Monad m => ApiaryConfig -> (forall x. m x -> IO x) -> ApiaryT '[] m a -> Application
apiaryConfig :: ApiaryT c m ApiaryConfig
action :: Monad m => Fn c (ActionT m ()) -> ApiaryT c m ()

-- | execute action before main action. since v0.4.2.0
actionWithPreAction :: Monad m => (SList xs -> ActionT IO a) -> Fn xs (ActionT m ()) -> ApiaryT xs m ()

module Control.Monad.Apiary.Filter.Internal.Capture
data Equal
Equal :: Text -> Equal
type Fetch = Proxy
class CaptureElem a where type family Next a (xs :: [*]) :: [*]
captureElem :: CaptureElem a => a -> Text -> SList xs -> Maybe (SList (Next a xs))
type Capture as = All CaptureElem as
capture' :: Capture as => SList as -> [Text] -> SList xs -> Maybe (SList (CaptureResult xs as))

-- | low level (without Template Haskell) capture. since 0.4.2.0
--   
--   <pre>
--    myCapture :: <a>SList</a> '[<a>Equal</a>, <a>Fetch</a> Int, Fetch String]
--    myCapture = <a>Equal</a> "path" <a>:::</a> <a>pInt</a> ::: <a>pString</a> ::: <a>SNil</a>
--   
--   capture myCapture . stdMethod GET . action $ age name -&gt; do
--        yourAction
--   </pre>
capture :: (Capture as, Monad m) => SList as -> ApiaryT (CaptureResult xs as) m b -> ApiaryT xs m b
instance Path a => CaptureElem (Fetch a)
instance CaptureElem Equal

module Control.Monad.Apiary.Filter

-- | filter by HTTP method. since 0.1.0.0.
method :: Monad m => Method -> ApiaryT c m a -> ApiaryT c m a

-- | filter by HTTP method using StdMethod. since 0.1.0.0.
stdMethod :: Monad m => StdMethod -> ApiaryT c m a -> ApiaryT c m a

-- | http version filter. since 0.5.0.0.
httpVersion :: Monad m => HttpVersion -> ApiaryT c m b -> ApiaryT c m b

-- | http/0.9 only accepted fiter. since 0.5.0.0.
http09 :: Monad m => ApiaryT c m b -> ApiaryT c m b

-- | http/1.0 only accepted fiter. since 0.5.0.0.
http10 :: Monad m => ApiaryT c m b -> ApiaryT c m b

-- | http/1.1 only accepted fiter. since 0.5.0.0.
http11 :: Monad m => ApiaryT c m b -> ApiaryT c m b

-- | filter by <a>rootPattern</a> of <a>ApiaryConfig</a>.
root :: Monad m => ApiaryT c m b -> ApiaryT c m b

-- | capture QuasiQuoter. since 0.1.0.0.
--   
--   example:
--   
--   <pre>
--   [capture|/path|] -- first path == <a>path</a>
--   [capture|/int/:Int|] -- first path == <a>int</a> &amp;&amp; get 2nd path as Int.
--   [capture|/:Int/:Double|] -- get first path as Int and get 2nd path as Double.
--   </pre>
capture :: QuasiQuoter

-- | low level query getter. since 0.5.0.0.
--   
--   <pre>
--   query <a>key</a> (Proxy :: Proxy (fetcher type))
--   </pre>
--   
--   examples:
--   
--   <pre>
--   query <a>key</a> (Proxy :: Proxy (<tt>First</tt> Int)) -- get first 'key' query parameter as Int.
--   query <a>key</a> (Proxy :: Proxy (<tt>Option</tt> (Maybe Int)) -- get first 'key' query parameter as Int. allow without param or value.
--   query <a>key</a> (Proxy :: Proxy (<tt>Many</tt> String) -- get all 'key' query parameter as String.
--   </pre>
query :: (Query a, Strategy w, Monad m) => ByteString -> Proxy (w a) -> ApiaryT (SNext w as a) m b -> ApiaryT as m b

-- | get first matched paramerer. since 0.5.0.0.
--   
--   <pre>
--   <a>key</a> =: pInt == query <a>key</a> (pFirst pInt) == query <a>key</a> (Proxy :: Proxy (First Int))
--   </pre>
(=:) :: (Query a, Monad m) => ByteString -> Proxy a -> ApiaryT (Snoc as a) m b -> ApiaryT as m b

-- | get one matched paramerer. since 0.5.0.0.
--   
--   when more one parameger given, not matched.
--   
--   <pre>
--   <a>key</a> =: pInt == query <a>key</a> (pOne pInt) == query <a>key</a> (Proxy :: Proxy (One Int))
--   </pre>
(=!:) :: (Query a, Monad m) => ByteString -> Proxy a -> ApiaryT (Snoc as a) m b -> ApiaryT as m b

-- | get optional first paramerer. since 0.5.0.0.
--   
--   when illegal type parameter given, fail mather(don't give Nothing).
--   
--   <pre>
--   <a>key</a> =: pInt == query <a>key</a> (pOption pInt) == query <a>key</a> (Proxy :: Proxy (Option Int))
--   </pre>
(=?:) :: (Query a, Monad m) => ByteString -> Proxy a -> ApiaryT (Snoc as (Maybe a)) m b -> ApiaryT as m b

-- | check parameger given and type. since 0.5.0.0.
--   
--   If you wan't to allow any type, give <a>pVoid</a>.
--   
--   <pre>
--   <a>key</a> =: pInt == query <a>key</a> (pCheck pInt) == query <a>key</a> (Proxy :: Proxy (Check Int))
--   </pre>
(?:) :: (Query a, Monad m) => ByteString -> Proxy a -> ApiaryT as m b -> ApiaryT as m b

-- | get many paramerer. since 0.5.0.0.
--   
--   <pre>
--   <a>key</a> =: pInt == query <a>key</a> (pMany pInt) == query <a>key</a> (Proxy :: Proxy (Many Int))
--   </pre>
(=*:) :: (Query a, Monad m) => ByteString -> Proxy a -> ApiaryT (Snoc as [a]) m b -> ApiaryT as m b

-- | get some paramerer. since 0.5.0.0.
--   
--   <pre>
--   <a>key</a> =: pInt == query <a>key</a> (pSome pInt) == query <a>key</a> (Proxy :: Proxy (Some Int))
--   </pre>
(=+:) :: (Query a, Monad m) => ByteString -> Proxy a -> ApiaryT (Snoc as [a]) m b -> ApiaryT as m b

-- | query exists checker.
--   
--   <pre>
--   hasQuery q = <a>query</a> q (Proxy :: Proxy (<tt>Check</tt> ()))
--   </pre>
hasQuery :: Monad m => ByteString -> ApiaryT c m a -> ApiaryT c m a

-- | check whether to exists specified header or not. since 0.6.0.0.
hasHeader :: Monad m => HeaderName -> ApiaryT as m b -> ApiaryT as m b

-- | check whether to exists specified valued header or not. since 0.6.0.0.
eqHeader :: Monad m => HeaderName -> ByteString -> ApiaryT as m b -> ApiaryT as m b

-- | filter by headers up to 100 entries. since 0.6.0.0.
headers :: Monad m => HeaderName -> ApiaryT (Snoc as [ByteString]) m b -> ApiaryT as m b

-- | filter by header and get first. since 0.6.0.0.
header :: Monad m => HeaderName -> ApiaryT (Snoc as ByteString) m b -> ApiaryT as m b

-- | low level header filter. since 0.6.0.0.
header' :: (Strategy w, Monad m) => (forall x. Proxy x -> Proxy (w x)) -> (Header -> Bool) -> ApiaryT (SNext w as ByteString) m b -> ApiaryT as m b

-- | filter by ssl accessed. since 0.1.0.0.
ssl :: Monad m => ApiaryT c m a -> ApiaryT c m a

module Web.Apiary

-- | shortcut action. since 0.6.0.0.
--   
--   <pre>
--   [act|200 .html|] == [act|200 text/html|] ==
--   action $ \arguments -&gt; do
--       status 200
--       contentType <a>text/html</a>
--   </pre>
act :: QuasiQuoter