Idris2Doc : Node.HTTPS.CreateServer

Node.HTTPS.CreateServer

(source)
Reexports
import public Node.Net.CreateServer as Net
import public Node.TLS.CreateServer as TLS
import public Node.TLS.CreateSecureContext as SecureContext
Definitions
Options : Type
  Visibility: public export
defaultOptions : Options
  Visibility: public export
record Options : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkOptions : Options -> Options -> Options -> Options -> Options

  Projections:
  
.context : Options -> Options
  
.net : Options -> Options
  
.server : Options -> Options
  
.tls : Options -> Options
.server : Options -> Options
  Visibility: public export
server : Options -> Options
  Visibility: public export
.context : Options -> Options
  Visibility: public export
context : Options -> Options
  Visibility: public export
.tls : Options -> Options
  Visibility: public export
tls : Options -> Options
  Visibility: public export
.net : Options -> Options
  Visibility: public export
net : Options -> Options
  Visibility: public export
defaultOptions : Options
  Visibility: export
convertOptions : Options -> Node Options
  Visibility: export