def TCP.send_bytes

Base · base.bend:396

396# The bytes as they are (0..255), one List cell each: no UTF-8 decoding, so
397# binary data and a character split between two reads survive. A value past
398# 255 fails with EINVAL before any byte is sent.
399def TCP.send_bytes(sock: Socket, data: List<&2, U32>) ->
400  IO(Socket & Result<&1, &1, (U32 & String) & List<&2, U32>, Unit>):
401  import "./effs/tcp_send.c"
402  import "./effs/tcp_send.js"