Idris2Doc : Node.HTTP.CreateServer

Node.HTTP.CreateServer

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

  Projections:
  
.insecureHTTPParser : Options -> Bool
  
.keepAlive : Options -> Bool
  
.keepAliveInitialDelay : Options -> Int
  
.maxHeaderSize : Options -> Int
  
.noDelay : Options -> Bool
.insecureHTTPParser : Options -> Bool
  Visibility: public export
insecureHTTPParser : Options -> Bool
  Visibility: public export
.maxHeaderSize : Options -> Int
  Visibility: public export
maxHeaderSize : Options -> Int
  Visibility: public export
.noDelay : Options -> Bool
  Visibility: public export
noDelay : Options -> Bool
  Visibility: public export
.keepAlive : Options -> Bool
  Visibility: public export
keepAlive : Options -> Bool
  Visibility: public export
.keepAliveInitialDelay : Options -> Int
  Visibility: public export
keepAliveInitialDelay : Options -> Int
  Visibility: public export
defaultOptions : Options
  Visibility: export
convertOptions : Options -> Node Options
  Visibility: export