IdrisDoc: Network.Cgi

# 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