Idris2Doc : Node.Net.CreateServer

Node.Net.CreateServer

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

  Projections:
  
.allowHalfOpen : Options -> Bool
  
.keepAlive : Options -> Bool
  
.keepAliveInitialDelay : Options -> Int
  
.noDelay : Options -> Bool
  
.pauseOnConnect : Options -> Bool
.allowHalfOpen : Options -> Bool
  Visibility: public export
allowHalfOpen : Options -> Bool
  Visibility: public export
.pauseOnConnect : Options -> Bool
  Visibility: public export
pauseOnConnect : Options -> Bool
  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