Idris2Doc : Node.Net.Socket.Connect

Node.Net.Socket.Connect

(source)
Definitions
data IpAddressFamily : Type
  Totality: total
  Visibility: public export
  Constructors:
  
IPv4 : IpAddressFamily
  
IPv6 : IpAddressFamily
  
Both : IpAddressFamily
familyAsInt : IpAddressFamily -> Int
  Visibility: export
record TCPOptions : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkTCPOptons : Int -> Maybe String -> Maybe String -> Maybe Int -> IpAddressFamily -> Bool -> Bool -> Int -> TCPOptions

  Projections:
  
.family : TCPOptions -> IpAddressFamily
  
.host : TCPOptions -> Maybe String
  
.keepAlive : TCPOptions -> Bool
  
.keepAliveInitialDelay : TCPOptions -> Int
  
.localAddress : TCPOptions -> Maybe String
  
.localPort : TCPOptions -> Maybe Int
  
.noDelay : TCPOptions -> Bool
  
.port : TCPOptions -> Int
.port : TCPOptions -> Int
  Visibility: public export
port : TCPOptions -> Int
  Visibility: public export
.host : TCPOptions -> Maybe String
  Visibility: public export
host : TCPOptions -> Maybe String
  Visibility: public export
.localAddress : TCPOptions -> Maybe String
  Visibility: public export
localAddress : TCPOptions -> Maybe String
  Visibility: public export
.localPort : TCPOptions -> Maybe Int
  Visibility: public export
localPort : TCPOptions -> Maybe Int
  Visibility: public export
.family : TCPOptions -> IpAddressFamily
  Visibility: public export
family : TCPOptions -> IpAddressFamily
  Visibility: public export
.noDelay : TCPOptions -> Bool
  Visibility: public export
noDelay : TCPOptions -> Bool
  Visibility: public export
.keepAlive : TCPOptions -> Bool
  Visibility: public export
keepAlive : TCPOptions -> Bool
  Visibility: public export
.keepAliveInitialDelay : TCPOptions -> Int
  Visibility: public export
keepAliveInitialDelay : TCPOptions -> Int
  Visibility: public export
record IPCOptions : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkIPCOptions : String -> IPCOptions

  Projection: 
.path : IPCOptions -> String
.path : IPCOptions -> String
  Visibility: public export
path : IPCOptions -> String
  Visibility: public export
options : SocketType -> Type
  Visibility: public export
defaultTCPOptions : Int -> options TCP
  Visibility: export
defaultIPCOptions : String -> options IPC
  Visibility: export
convertOptions : (t : SocketType) -> options t -> Node (options t)
  Visibility: export