IdrisDoc: Network.Cgi

# Network.Cgi

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