chu2-2012.11.19: FFI for Chu2 Agda Web Server Interface

Safe HaskellSafe-Inferred

Chu2.FFI

Documentation

data RequestMethod Source

Constructors

OPTIONS 
GET 
HEAD 
POST 
PUT 
DELETE 
TRACE 
CONNECT 

Instances

data Status Source

Constructors

OK 
Created 
Accepted 
NoContent 
MultipleChoices 
MovedPermanently 
SeeOther 
NotModified 
MovedTemporarily 
BadRequest 
Unauthorized 
Forbidden 
NotFound 
MethodNotAllowed 
NotAcceptable 
Conflict 
Gone 
PreconditionFailed 
RequestEntityTooLarge 
RequestURItooLong 
UnsupportedMediaType 
NotImplemented 
ServiceUnavailable 

Instances

type Field = StringSource

type Headers = [Header]Source

type Header = (,) Field FieldSource

type Chu2Errors = Field -> IO ()Source

data Chu2UrlScheme Source

Constructors

HTTP 
HTTPS 

Instances

data Env Source

Constructors

Env 

Fields

requestMethod :: RequestMethod
 
scriptName :: Field
 
pathInfo :: Field
 
queryString :: Field
 
serverName :: Field
 
serverPort :: Field
 
httpHeaders :: Headers
 
chu2UrlScheme :: Chu2UrlScheme
 
chu2Input :: Field
 
chu2Headers :: Headers
 

data Response Source

Constructors

Response 

Fields

status :: Status
 
headers :: Headers
 
body :: Field
 

Instances