chu2-2012.11.20: FFI for Chu2 Agda Web Server Interface

Safe HaskellSafe-Inferred

Chu2.FFI

Documentation

data RequestMethodData Source

Constructors

OPTIONS 
GET 
HEAD 
POST 
PUT 
DELETE 
TRACE 
CONNECT 

Instances

data StatusData 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 Chu2UrlSchemeData Source

Constructors

HTTP 
HTTPS 

Instances

data EnvData Source

Constructors

EnvData 

Fields

requestMethod :: RequestMethodData
 
scriptName :: Field
 
pathInfo :: Field
 
queryString :: Field
 
serverName :: Field
 
serverPort :: Field
 
httpHeaders :: Headers
 
chu2UrlScheme :: Chu2UrlSchemeData
 
chu2Input :: Field
 
chu2Headers :: Headers
 

data ResponseData Source

Constructors

ResponseData 

Fields

status :: StatusData
 
headers :: Headers
 
body :: Field
 

Instances