chu2-2012.11.17: FFI for Chu2 Agda Web Server Interface

Safe HaskellSafe-Inferred

Chu2.FFI

Documentation

type Header = (,) ByteString ByteStringSource

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 Headers = [Header]Source

type Chu2Errors = ByteString -> IO ()Source

data Chu2UrlScheme Source

Constructors

HTTP 
HTTPS 

Instances

data Env Source

Constructors

Env 

Fields

requestMethod :: RequestMethod
 
scriptName :: ByteString
 
pathInfo :: ByteString
 
queryString :: ByteString
 
serverName :: ByteString
 
serverPort :: ByteString
 
httpHeaders :: Headers
 
chu2Version :: ByteString
 
chu2UrlScheme :: Chu2UrlScheme
 
chu2Input :: ByteString
 
chu2Errors :: Chu2Errors
 
chu2Headers :: Headers
 

data Response Source

Constructors

Response 

Fields

status :: Status
 
headers :: Headers
 
body :: ByteString
 

Instances

type Application = Env -> IO ResponseSource