Idris2Doc : TyTTP.Adapter.Node.HTTP

TyTTP.Adapter.Node.HTTP

(source)
Reexports
import public Data.Buffer
import public Node.Error
import public Node.HTTP
import public TyTTP.Adapter.Node.Error
Definitions
RawHttpRequest : Type
  Visibility: public export
RawHttpResponse : Type
  Visibility: public export
record Options : Type -> Type
  Totality: total
  Visibility: public export
  Constructor: 
MkOptions : Options -> Options -> (e -> RawHttpResponse) -> Options e

  Projections:
  
.errorHandler : Options e -> e -> RawHttpResponse
  
.listenOptions : Options e -> Options
  
.serverOptions : Options e -> Options
.listenOptions : Options e -> Options
  Visibility: public export
listenOptions : Options e -> Options
  Visibility: public export
.serverOptions : Options e -> Options
  Visibility: public export
serverOptions : Options e -> Options
  Visibility: public export
.errorHandler : Options e -> e -> RawHttpResponse
  Visibility: public export
errorHandler : Options e -> e -> RawHttpResponse
  Visibility: public export
defaultOptions : Error e => Options e
  Visibility: export
listen : HasIO io => Error e => HTTPModule -> Options e -> (Context Method String Version StringHeaders Status StringHeaders (Publisher IO Error Buffer) () -> Promise e IO (Context Method String Version StringHeaders Status StringHeaders b (Publisher IO Error Buffer))) -> io Server
  Visibility: export
listen' : HasIO io => Error e => HTTPModule => (Context Method String Version StringHeaders Status StringHeaders (Publisher IO Error Buffer) () -> Promise e IO (Context Method String Version StringHeaders Status StringHeaders b (Publisher IO Error Buffer))) -> io Server
  Visibility: export