Idris2Doc : TyTTP.Adapter.Node.HTTPS

TyTTP.Adapter.Node.HTTPS

(source)
Reexports
import public Data.Buffer
import public Node.Error
import public Node.HTTPS
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 -> Options -> Options -> Options -> (e -> RawHttpResponse) -> Options e

  Projections:
  
.errorHandler : Options e -> e -> RawHttpResponse
  
.listenOptions : Options e -> Options
  
.netServerOptions : Options e -> Options
  
.serverOptions : Options e -> Options
  
.tlsContextOptions : Options e -> Options
  
.tlsServerOptions : Options e -> Options
.netServerOptions : Options e -> Options
  Visibility: public export
netServerOptions : Options e -> Options
  Visibility: public export
.tlsServerOptions : Options e -> Options
  Visibility: public export
tlsServerOptions : Options e -> Options
  Visibility: public export
.tlsContextOptions : Options e -> Options
  Visibility: public export
tlsContextOptions : Options e -> Options
  Visibility: public export
.serverOptions : Options e -> Options
  Visibility: public export
serverOptions : Options e -> Options
  Visibility: public export
.listenOptions : Options e -> Options
  Visibility: public export
listenOptions : 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 => HTTPSModule -> 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