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

module Chu2.FFI
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 Field = String
type Headers = [Header]
type Header = (,) Field Field
type Chu2Errors = Field -> IO ()
data Chu2UrlScheme
HTTP :: Chu2UrlScheme
HTTPS :: Chu2UrlScheme
data Env
Env :: RequestMethod -> Field -> Field -> Field -> Field -> Field -> Headers -> Chu2UrlScheme -> Field -> Headers -> Env
requestMethod :: Env -> RequestMethod
scriptName :: Env -> Field
pathInfo :: Env -> Field
queryString :: Env -> Field
serverName :: Env -> Field
serverPort :: Env -> Field
httpHeaders :: Env -> Headers
chu2UrlScheme :: Env -> Chu2UrlScheme
chu2Input :: Env -> Field
chu2Headers :: Env -> Headers
data Response
Response :: Status -> Headers -> Field -> Response
status :: Response -> Status
headers :: Response -> Headers
body :: Response -> Field
instance Show RequestMethod
instance Read RequestMethod
instance Eq RequestMethod
instance Show Status
instance Show Chu2UrlScheme
instance Show Response

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

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