Idris2Doc : Node.HTTP2.CreateServer

Node.HTTP2.CreateServer

(source)
Reexports
import public Node.Net.CreateServer
Definitions
data PaddingStrategy : Type
  Totality: total
  Visibility: public export
  Constructors:
  
None : PaddingStrategy
  
Max : PaddingStrategy
  
Aligned : PaddingStrategy
convertPaddingStrategy : HTTP2Module => PaddingStrategy -> Node PaddingStrategy
  Visibility: export
record Settings : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkSettings : Int -> Bool -> Int -> Int -> Double -> Int -> Bool -> Settings

  Projections:
  
.enableConnectProtocol : Settings -> Bool
  
.enablePush : Settings -> Bool
  
.headerTableSize : Settings -> Int
  
.initialWindowSize : Settings -> Int
  
.maxConcurrentStreams : Settings -> Double
  
.maxFrameSize : Settings -> Int
  
.maxHeaderListSize : Settings -> Int
.headerTableSize : Settings -> Int
  Visibility: public export
headerTableSize : Settings -> Int
  Visibility: public export
.enablePush : Settings -> Bool
  Visibility: public export
enablePush : Settings -> Bool
  Visibility: public export
.initialWindowSize : Settings -> Int
  Visibility: public export
initialWindowSize : Settings -> Int
  Visibility: public export
.maxFrameSize : Settings -> Int
  Visibility: public export
maxFrameSize : Settings -> Int
  Visibility: public export
.maxConcurrentStreams : Settings -> Double
  Visibility: public export
maxConcurrentStreams : Settings -> Double
  Visibility: public export
.maxHeaderListSize : Settings -> Int
  Visibility: public export
maxHeaderListSize : Settings -> Int
  Visibility: public export
.enableConnectProtocol : Settings -> Bool
  Visibility: public export
enableConnectProtocol : Settings -> Bool
  Visibility: public export
defaultSettings : Settings
  Visibility: export
convertSettings : Settings -> Node Settings
  Visibility: export
record Options : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkOptions : Int -> Int -> Int -> Int -> Int -> Maybe Int -> PaddingStrategy -> Int -> Int -> Int -> Settings -> Int -> Options

  Projections:
  
.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
  
.paddingStrategy : Options -> PaddingStrategy
  
.peerMaxConcurrentStreams : Options -> Int
  
.settings : Options -> Settings
  
.unknownProtocolTimeout : Options -> Int
.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
.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

  Projections:
  
.net : Options -> Options
  
.server : Options -> Options
.server : Options -> Options
  Visibility: public export
server : 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