chu2-2012.11.20: FFI for Chu2 Agda Web Server Interface

Safe Haskell	Safe-Inferred

Chu2.Interface.Hack2

Documentation

hack2RequestMethodToChu2RequestMethod :: RequestMethod -> RequestMethodData Source

chu2RequestMethodToHack2RequestMethod :: RequestMethodData -> RequestMethod Source

hack2UrlSchemeToChu2UrlScheme :: HackUrlScheme -> Chu2UrlSchemeData Source

chu2UrlSchemeToHack2UrlScheme :: Chu2UrlSchemeData -> HackUrlScheme Source

f2b :: Field -> ByteString Source

b2f :: ByteString -> Field Source

f2b_Utf8Encoding :: Field -> ByteString Source

b2f_Utf8Encoding :: ByteString -> Field Source

mapTuple :: (a -> b) -> [(a, a)] -> [(b, b)]Source

hack2EnvToChu2Env :: Env -> EnvData Source

chu2EnvToHack2Env :: EnvData -> Env Source

showStatus :: StatusData -> Int Source

readStatus :: Int -> StatusData Source

chu2ResponseToHack2Response :: ResponseData -> Response Source

hack2ResponseToHack2Response :: Response -> ResponseData Source

type Application = EnvData -> IO ResponseData Source

type Middleware = Application -> Application Source

chu2ApplicationToHack2Application :: Application -> Application Source

hack2ApplicationToChu2Application :: Application -> Application Source

hack2MiddlewareToChu2Middleware :: Middleware -> Middleware Source