Idris2Doc : Node.HTTP2.CreateSecureServer

Node.HTTP2.CreateSecureServer

(source)
Reexports
import public Node.Net.CreateServer
import public Node.TLS.CreateServer
import public Node.TLS.CreateSecureContext
Definitions
record Options : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkOptions : Bool -> Int -> Int -> Int -> Int -> Int -> Maybe Int -> PaddingStrategy -> Int -> Int -> Int -> Settings -> List String -> Int -> Options

  Projections:
  
.allowHTTP1 : Options -> Bool
  
.maxDeflateDynamicTableSize : Options -> Int
  
.maxHeaderListPairs : Options -> Int
  
.maxOutstandingPings : Options -> Int
  
.maxSendHeaderBlockLength : Options -> Maybe Int
  
.maxSessionInvalidFrames : Options -> Int
  
.maxSessionMemory : Options -> Int
  
.maxSessionRejectedStreams : Options -> Int
  
.maxSettings : Options -> Int
  
.origins : Options -> List String
  
.paddingStrategy : Options -> PaddingStrategy
  
.peerMaxConcurrentStreams : Options -> Int
  
.settings : Options -> Settings
  
.unknownProtocolTimeout : Options -> Int
.allowHTTP1 : Options -> Bool
  Visibility: public export
allowHTTP1 : Options -> Bool
  Visibility: public export
.maxDeflateDynamicTableSize : Options -> Int
  Visibility: public export
maxDeflateDynamicTableSize : Options -> Int
  Visibility: public export
.maxSettings : Options -> Int
  Visibility: public export
maxSettings : Options -> Int
  Visibility: public export
.maxSessionMemory : Options -> Int
  Visibility: public export
maxSessionMemory : Options -> Int
  Visibility: public export
.maxHeaderListPairs : Options -> Int
  Visibility: public export
maxHeaderListPairs : Options -> Int
  Visibility: public export
.maxOutstandingPings : Options -> Int
  Visibility: public export
maxOutstandingPings : Options -> Int
  Visibility: public export
.maxSendHeaderBlockLength : Options -> Maybe Int
  Visibility: public export
maxSendHeaderBlockLength : Options -> Maybe Int
  Visibility: public export
.paddingStrategy : Options -> PaddingStrategy
  Visibility: public export
paddingStrategy : Options -> PaddingStrategy
  Visibility: public export
.peerMaxConcurrentStreams : Options -> Int
  Visibility: public export
peerMaxConcurrentStreams : Options -> Int
  Visibility: public export
.maxSessionInvalidFrames : Options -> Int
  Visibility: public export
maxSessionInvalidFrames : Options -> Int
  Visibility: public export
.maxSessionRejectedStreams : Options -> Int
  Visibility: public export
maxSessionRejectedStreams : Options -> Int
  Visibility: public export
.settings : Options -> Settings
  Visibility: public export
settings : Options -> Settings
  Visibility: public export
.origins : Options -> List String
  Visibility: public export
origins : Options -> List String
  Visibility: public export
.unknownProtocolTimeout : Options -> Int
  Visibility: public export
unknownProtocolTimeout : Options -> Int
  Visibility: public export
defaultOptions : Options
  Visibility: export
convertOptions : HTTP2Module => Options -> Node Options
  Visibility: 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 : HTTP2Module => Options -> Node Options
  Visibility: export