chu2-2012.11.20: FFI for Chu2 Agda Web Server Interface

Safe Haskell	Safe-Inferred

Chu2.FFI

Documentation

data RequestMethodData Source

Constructors

OPTIONS
GET
HEAD
POST
PUT
DELETE
TRACE
CONNECT

Instances

Eq RequestMethodData
Read RequestMethodData
Show RequestMethodData

type Field = String Source

type Headers = [Header]Source

type Header = (,) Field Field Source

type Chu2Errors = Field -> IO ()Source

data Chu2UrlSchemeData Source

Constructors

HTTP
HTTPS

Instances

Show Chu2UrlSchemeData

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

Show ResponseData