
  0 | module Node.Net.Socket.Address
  1 | 
  2 | import Node
  3 | 
  4 | public export
  5 | record Address where
  6 |   constructor MkAddress
  7 |   port: Int
  8 |   family: String
  9 |   address: String
 10 | 
 11 | export
 12 | implementation Show Address where
 13 |   show a = "\{show a.port} \{a.family} \{a.address}"
 14 | 
 15 | %foreign """
 16 |   node:lambda:
 17 |   (addr, ctor) => {
 18 |      const {port, family, address} = addr
 19 |      return ctor(port)(family)(address)
 20 |   }
 21 |   """
 22 | ffi_fromNode : Node Address -> (Int -> String -> String -> Address) -> Address
 23 | 
 24 | export
 25 | fromNode : Node Address -> Address
 26 | fromNode a = ffi_fromNode a MkAddress
 27 | 
 28 |