chu2-2012.11.17: FFI for Chu2 Agda Web Server Interface

Index

AcceptedChu2.FFI
ApplicationChu2.FFI
BadRequestChu2.FFI
bodyChu2.FFI
chu2AppplicationToHack2ApplicationChu2.Interface.Hack2
chu2EnvFromHack2EnvChu2.Interface.Hack2
Chu2ErrorsChu2.FFI
chu2ErrorsChu2.FFI
chu2ErrorsFromHack2ErrorsChu2.Interface.Hack2
chu2HeadersChu2.FFI
chu2InputChu2.FFI
chu2RequestMethodFromHack2RequestMethodChu2.Interface.Hack2
chu2ResponseToHack2ResponseChu2.Interface.Hack2
Chu2UrlSchemeChu2.FFI
chu2UrlSchemeChu2.FFI
chu2UrlSchemeFromHack2UrlSchemeChu2.Interface.Hack2
chu2VersionChu2.FFI
ConflictChu2.FFI
CONNECTChu2.FFI
CreatedChu2.FFI
DELETEChu2.FFI
Env 
1 (Type/Class)Chu2.FFI
2 (Data Constructor)Chu2.FFI
ForbiddenChu2.FFI
GETChu2.FFI
GoneChu2.FFI
HEADChu2.FFI
HeaderChu2.FFI
HeadersChu2.FFI
headersChu2.FFI
HTTPChu2.FFI
httpHeadersChu2.FFI
HTTPSChu2.FFI
MethodNotAllowedChu2.FFI
MovedPermanentlyChu2.FFI
MovedTemporarilyChu2.FFI
MultipleChoicesChu2.FFI
NoContentChu2.FFI
NotAcceptableChu2.FFI
NotFoundChu2.FFI
NotImplementedChu2.FFI
NotModifiedChu2.FFI
OKChu2.FFI
OPTIONSChu2.FFI
pathInfoChu2.FFI
POSTChu2.FFI
PreconditionFailedChu2.FFI
PUTChu2.FFI
queryStringChu2.FFI
RequestEntityTooLargeChu2.FFI
RequestMethodChu2.FFI
requestMethodChu2.FFI
RequestURItooLongChu2.FFI
Response 
1 (Type/Class)Chu2.FFI
2 (Data Constructor)Chu2.FFI
runChu2.Handler.SnapServerFFI
scriptNameChu2.FFI
SeeOtherChu2.FFI
serverNameChu2.FFI
serverPortChu2.FFI
ServiceUnavailableChu2.FFI
showStatusChu2.Interface.Hack2
StatusChu2.FFI
statusChu2.FFI
TRACEChu2.FFI
UnauthorizedChu2.FFI
UnsupportedMediaTypeChu2.FFI