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


-- | FFI for Chu2 Agda Web Server Interface
--   
--   FFI for Chu2 Agda Web Server Interface
@package chu2
@version 2012.11.20

module Chu2.FFI
data RequestMethodData
OPTIONS :: RequestMethodData
GET :: RequestMethodData
HEAD :: RequestMethodData
POST :: RequestMethodData
PUT :: RequestMethodData
DELETE :: RequestMethodData
TRACE :: RequestMethodData
CONNECT :: RequestMethodData
data StatusData
OK :: StatusData
Created :: StatusData
Accepted :: StatusData
NoContent :: StatusData
MultipleChoices :: StatusData
MovedPermanently :: StatusData
SeeOther :: StatusData
NotModified :: StatusData
MovedTemporarily :: StatusData
BadRequest :: StatusData
Unauthorized :: StatusData
Forbidden :: StatusData
NotFound :: StatusData
MethodNotAllowed :: StatusData
NotAcceptable :: StatusData
Conflict :: StatusData
Gone :: StatusData
PreconditionFailed :: StatusData
RequestEntityTooLarge :: StatusData
RequestURItooLong :: StatusData
UnsupportedMediaType :: StatusData
NotImplemented :: StatusData
ServiceUnavailable :: StatusData
type Field = String
type Headers = [Header]
type Header = (,) Field Field
type Chu2Errors = Field -> IO ()
data Chu2UrlSchemeData
HTTP :: Chu2UrlSchemeData
HTTPS :: Chu2UrlSchemeData
data EnvData
EnvData :: RequestMethodData -> Field -> Field -> Field -> Field -> Field -> Headers -> Chu2UrlSchemeData -> Field -> Headers -> EnvData
requestMethod :: EnvData -> RequestMethodData
scriptName :: EnvData -> Field
pathInfo :: EnvData -> Field
queryString :: EnvData -> Field
serverName :: EnvData -> Field
serverPort :: EnvData -> Field
httpHeaders :: EnvData -> Headers
chu2UrlScheme :: EnvData -> Chu2UrlSchemeData
chu2Input :: EnvData -> Field
chu2Headers :: EnvData -> Headers
data ResponseData
ResponseData :: StatusData -> Headers -> Field -> ResponseData
status :: ResponseData -> StatusData
headers :: ResponseData -> Headers
body :: ResponseData -> Field
instance Show RequestMethodData
instance Read RequestMethodData
instance Eq RequestMethodData
instance Show StatusData
instance Show Chu2UrlSchemeData
instance Show ResponseData

module Chu2.Interface.Hack2
hack2RequestMethodToChu2RequestMethod :: RequestMethod -> RequestMethodData
chu2RequestMethodToHack2RequestMethod :: RequestMethodData -> RequestMethod
hack2UrlSchemeToChu2UrlScheme :: HackUrlScheme -> Chu2UrlSchemeData
chu2UrlSchemeToHack2UrlScheme :: Chu2UrlSchemeData -> HackUrlScheme
f2b :: Field -> ByteString
b2f :: ByteString -> Field
f2b_Utf8Encoding :: Field -> ByteString
b2f_Utf8Encoding :: ByteString -> Field
mapTuple :: (a -> b) -> [(a, a)] -> [(b, b)]
hack2EnvToChu2Env :: Env -> EnvData
chu2EnvToHack2Env :: EnvData -> Env
showStatus :: StatusData -> Int
readStatus :: Int -> StatusData
chu2ResponseToHack2Response :: ResponseData -> Response
hack2ResponseToHack2Response :: Response -> ResponseData
type Application = EnvData -> IO ResponseData
type Middleware = Application -> Application
chu2ApplicationToHack2Application :: Application -> Application
hack2ApplicationToChu2Application :: Application -> Application
hack2MiddlewareToChu2Middleware :: Middleware -> Middleware

module Chu2.Handler.SnapServerFFI
onPort_run :: Integer -> Application -> IO ()