Idris2Doc : Node.Net.Server.Listen

Node.Net.Server.Listen

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

  Projections:
  
.backlog : Options -> Maybe Int
  
.exclusive : Options -> Bool
  
.host : Options -> Maybe String
  
.ipv6Only : Options -> Bool
  
.path : Options -> Maybe String
  
.port : Options -> Maybe Int
  
.readableAll : Options -> Bool
  
.writableAll : Options -> Bool
.port : Options -> Maybe Int
  Visibility: public export
port : Options -> Maybe Int
  Visibility: public export
.host : Options -> Maybe String
  Visibility: public export
host : Options -> Maybe String
  Visibility: public export
.path : Options -> Maybe String
  Visibility: public export
path : Options -> Maybe String
  Visibility: public export
.backlog : Options -> Maybe Int
  Visibility: public export
backlog : Options -> Maybe Int
  Visibility: public export
.exclusive : Options -> Bool
  Visibility: public export
exclusive : Options -> Bool
  Visibility: public export
.readableAll : Options -> Bool
  Visibility: public export
readableAll : Options -> Bool
  Visibility: public export
.writableAll : Options -> Bool
  Visibility: public export
writableAll : Options -> Bool
  Visibility: public export
.ipv6Only : Options -> Bool
  Visibility: public export
ipv6Only : Options -> Bool
  Visibility: public export
defaultOptions : Options
  Visibility: export
convertOptions : Options -> Node Options
  Visibility: export