-- 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.17

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

module Chu2.Interface.Hack2
chu2RequestMethodFromHack2RequestMethod :: RequestMethod -> RequestMethod
chu2UrlSchemeFromHack2UrlScheme :: HackUrlScheme -> Chu2UrlScheme
chu2ErrorsFromHack2Errors :: HackErrors -> Chu2Errors
chu2EnvFromHack2Env :: Env -> Env
chu2ResponseToHack2Response :: Response -> Response
showStatus :: Status -> Int
chu2AppplicationToHack2Application :: Application -> Application

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