Idris2Doc : Node.Net.Socket.Address

Node.Net.Socket.Address

(source)
Definitions
record Address : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkAddress : Int -> String -> String -> Address

  Projections:
  
.address : Address -> String
  
.family : Address -> String
  
.port : Address -> Int

  Hint: 
Show Address
.port : Address -> Int
  Visibility: public export
port : Address -> Int
  Visibility: public export
.family : Address -> String
  Visibility: public export
family : Address -> String
  Visibility: public export
.address : Address -> String
  Visibility: public export
address : Address -> String
  Visibility: public export
fromNode : Node Address -> Address
  Visibility: export