IdrisDoc
: Network.Cgi
Index
Network.Cgi
data
CGI
:
Type
->
Type
MkCGI
:
(
CGIInfo
->
IO
(
a
,
CGIInfo
)
) ->
CGI
a
CGISt
:
(
GET
:
Vars
) -> (
POST
:
Vars
) -> (
Cookies
:
Vars
) -> (
UserAgent
:
String
) -> (
Headers
:
String
) -> (
Output
:
String
) ->
CGIInfo
Vars
:
Type
cookieVars
:
CGI
Vars
flush
:
CGI
()
flushHeaders
:
CGI
()
lift
:
IO
a
->
CGI
a
output
:
String
->
CGI
()
postVars
:
CGI
Vars
queryVar
:
String
->
CGI
(
Maybe
String
)
queryVars
:
CGI
Vars
runCGI
:
CGI
a
->
IO
a