def UDP.send_to

Base · base.bend:425

425# A datagram goes whole or not at all: a failed send hands it back.
426def UDP.send_to(sock: Socket, host: String, port: U32, data: String) ->
427  IO(Socket & Result<&1, &1, (U32 & String) & String, Unit>):
428  import "./effs/udp_send_to.c"
429  import "./effs/udp_send_to.js"