chu2-2012.11.17.2: FFI for Chu2 Agda Web Server Interface

Safe HaskellSafe-Inferred

Chu2.Interface.Hack2

Documentation

chu2RequestMethodFromHack2RequestMethod :: RequestMethod -> RequestMethodSource

chu2UrlSchemeFromHack2UrlScheme :: HackUrlScheme -> Chu2UrlSchemeSource

chu2ErrorsFromHack2Errors :: HackErrors -> Chu2ErrorsSource

chu2EnvFromHack2Env :: Env -> EnvSource

chu2ResponseToHack2Response :: Response -> ResponseSource

showStatus :: Status -> IntSource

type Application = Env -> IO ResponseSource

chu2ApplicationToHack2Application :: Application -> ApplicationSource