-- 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.18 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 -> 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 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 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 hack2ErrorsToChu2Errors :: HackErrors -> Chu2Errors chu2ErrorsToHack2Errors :: Chu2Errors -> HackErrors 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 ()