Idris2Doc : Node.TLS.CreateServer

Node.TLS.CreateServer

(source)
Definitions
record Options : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkOptions : Maybe String -> Bool -> Int -> Bool -> Bool -> Int -> Maybe Buffer -> Maybe String -> Options

  Projections:
  
.clientCertEngine : Options -> Maybe String
  
.enableTrace : Options -> Bool
  
.handshakeTimeout : Options -> Int
  
.pskIdentityHint : Options -> Maybe String
  
.rejectUnauthorized : Options -> Bool
  
.requestCert : Options -> Bool
  
.sessionTimeout : Options -> Int
  
.ticketKeys : Options -> Maybe Buffer
.clientCertEngine : Options -> Maybe String
  Visibility: public export
clientCertEngine : Options -> Maybe String
  Visibility: public export
.enableTrace : Options -> Bool
  Visibility: public export
enableTrace : Options -> Bool
  Visibility: public export
.handshakeTimeout : Options -> Int
  Visibility: public export
handshakeTimeout : Options -> Int
  Visibility: public export
.rejectUnauthorized : Options -> Bool
  Visibility: public export
rejectUnauthorized : Options -> Bool
  Visibility: public export
.requestCert : Options -> Bool
  Visibility: public export
requestCert : Options -> Bool
  Visibility: public export
.sessionTimeout : Options -> Int
  Visibility: public export
sessionTimeout : Options -> Int
  Visibility: public export
.ticketKeys : Options -> Maybe Buffer
  Visibility: public export
ticketKeys : Options -> Maybe Buffer
  Visibility: public export
.pskIdentityHint : Options -> Maybe String
  Visibility: public export
pskIdentityHint : Options -> Maybe String
  Visibility: public export
defaultOptions : Options
  Visibility: export
convertOptions : Options -> Node Options
  Visibility: export