Idris2Doc : Network.SCGI

Network.SCGI

(source)

Reexports

importpublic HTTP.API.Server
importpublic Network.SCGI.Config

Definitions

serveStream : HTTPLogger=>Config-> (Request->HandlerResponse) ->HTTPStream [] Void
  An empty stream used for receiving requests and sending
responses. This can be `merged` with other streams that are used, for
instance, for maintenance reasons such as repeating timers and
so on.

@ config : application configuration
@ run : core SCGI application converting SCGI request to
HTTP responses

Totality: total
Visibility: export
serve : HTTPLogger=>Config-> (Request->HandlerResponse) ->HTTPProg [] ()
  This is the end of the world where we serve the
SCGI-application. All we need is a bit of information to get going:

@ config : application configuration
@ run : core SCGI application converting SCGI request to
HTTP responses

Visibility: export
serveIO : HTTPLogger=>Config-> (Request->IOResponse) ->IO ()
  Simplified version of `serve` used for wrapping a simple `IO`
converter.

Don't use this if you are planning to serve more than a handful
connections concurrently.

Visibility: export