chu2-2012.11.16: 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
Header 
1 (Type/Class)Chu2.FFI
2 (Data Constructor)Chu2.FFI
HeadersChu2.FFI
headersChu2.FFI
headerToTupleChu2.Interface.Hack2
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
runChu2Chu2.Handler.SnapServerFFI
scriptNameChu2.FFI
SeeOtherChu2.FFI
serverNameChu2.FFI
serverPortChu2.FFI
ServiceUnavailableChu2.FFI
showStatusChu2.Interface.Hack2
StatusChu2.FFI
statusChu2.FFI
TRACEChu2.FFI
tupleToHeaderChu2.Interface.Hack2
UnauthorizedChu2.FFI
UnsupportedMediaTypeChu2.FFI