chu2-2012.11.18: FFI for Chu2 Agda Web Server Interface

Index

AcceptedChu2.FFI
ApplicationChu2.Interface.Hack2
BadRequestChu2.FFI
bodyChu2.FFI
chu2ApplicationToHack2ApplicationChu2.Interface.Hack2
chu2EnvToHack2EnvChu2.Interface.Hack2
Chu2ErrorsChu2.FFI
chu2ErrorsChu2.FFI
chu2ErrorsToHack2ErrorsChu2.Interface.Hack2
chu2HeadersChu2.FFI
chu2InputChu2.FFI
chu2RequestMethodToHack2RequestMethodChu2.Interface.Hack2
chu2ResponseToHack2ResponseChu2.Interface.Hack2
Chu2UrlSchemeChu2.FFI
chu2UrlSchemeChu2.FFI
chu2UrlSchemeToHack2UrlSchemeChu2.Interface.Hack2
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
hack2ApplicationToChu2ApplicationChu2.Interface.Hack2
hack2EnvToChu2EnvChu2.Interface.Hack2
hack2ErrorsToChu2ErrorsChu2.Interface.Hack2
hack2MiddlewareToChu2MiddlewareChu2.Interface.Hack2
hack2RequestMethodToChu2RequestMethodChu2.Interface.Hack2
hack2ResponseToHack2ResponseChu2.Interface.Hack2
hack2UrlSchemeToChu2UrlSchemeChu2.Interface.Hack2
HEADChu2.FFI
HeaderChu2.FFI
HeadersChu2.FFI
headersChu2.FFI
HTTPChu2.FFI
httpHeadersChu2.FFI
HTTPSChu2.FFI
MethodNotAllowedChu2.FFI
MiddlewareChu2.Interface.Hack2
MovedPermanentlyChu2.FFI
MovedTemporarilyChu2.FFI
MultipleChoicesChu2.FFI
NoContentChu2.FFI
NotAcceptableChu2.FFI
NotFoundChu2.FFI
NotImplementedChu2.FFI
NotModifiedChu2.FFI
OKChu2.FFI
onPort_runChu2.Handler.SnapServerFFI
OPTIONSChu2.FFI
pathInfoChu2.FFI
POSTChu2.FFI
PreconditionFailedChu2.FFI
PUTChu2.FFI
queryStringChu2.FFI
readStatusChu2.Interface.Hack2
RequestEntityTooLargeChu2.FFI
RequestMethodChu2.FFI
requestMethodChu2.FFI
RequestURItooLongChu2.FFI
Response 
1 (Type/Class)Chu2.FFI
2 (Data Constructor)Chu2.FFI
scriptNameChu2.FFI
SeeOtherChu2.FFI
serverNameChu2.FFI
serverPortChu2.FFI
ServiceUnavailableChu2.FFI
showStatusChu2.Interface.Hack2
StatusChu2.FFI
statusChu2.FFI
TRACEChu2.FFI
UnauthorizedChu2.FFI
UnsupportedMediaTypeChu2.FFI