chu2-2012.11.17: FFI for Chu2 Agda Web Server Interface
Chu2.Interface.Hack2
chu2RequestMethodFromHack2RequestMethod :: RequestMethod -> RequestMethodSource
chu2UrlSchemeFromHack2UrlScheme :: HackUrlScheme -> Chu2UrlSchemeSource
chu2ErrorsFromHack2Errors :: HackErrors -> Chu2ErrorsSource
chu2EnvFromHack2Env :: Env -> EnvSource
chu2ResponseToHack2Response :: Response -> ResponseSource
showStatus :: Status -> IntSource
chu2AppplicationToHack2Application :: Application -> ApplicationSource