Idris2Doc : HTTP.Prog

HTTP.Prog

(source)
Reexports
import public FS.Posix
import public HTTP.RequestErr
import public IO.Async.Logging
import public IO.Async.Loop.Posix
import public IO.Async.Posix
import public IO.Async.Service
Definitions
0 HTTPProg : List Type -> Type -> Type
  A server programm runs in the `Async` monad and requires
  polling capabilities.
  
  @ es : types of errors a program can fail with
  @ a  : result type

  Totality: total
  Visibility: public export
0 HTTPLogger : Type
  Logger used in a HTTP server

  Totality: total
  Visibility: public export
0 HTTPPull : Type -> List Type -> Type -> Type
  A `Pull` running in the `Async` monad and requiring
  polling capabilities.
  
  @ o  : type of values emitted by the pull
  @ es : types of errors a pull can fail with
  @ r  : result type

  Totality: total
  Visibility: public export
0 HTTPStream : List Type -> Type -> Type
  A `Stream` running in the `Async` monad and requiring
  polling capabilities.
  
  A `Stream` is just an alias for a `Pull` with result type `Unit`.
  
  @ es : types of errors a pull can fail with
  @ o  : type of values emitted by the pull

  Totality: total
  Visibility: public export
0 HTTPService : (req : Type) -> (req -> Type) -> Type
  An asynchronous service use to process HTTP requests.

  Totality: total
  Visibility: public export
0 ErrorHandler : Type -> Type
  A handler for error type `e`.

  Totality: total
  Visibility: public export
0 Handler : Type -> Type
  Totality: total
  Visibility: public export