def socket.write.tls

bend-kit-stream@0.3.1.0 · stream.bend:71

import Base
import bend-kit-wire@0.4.7.0/wire.bend as Wire

71def socket.write.tls(tls: Bool, destination: Socket, len: U32, words: Array<U32>) ->
72  IO(Socket & Result<&1, &1, U32 & String, Unit>):
73  match tls:
74    case True{}:
75      Wire.tls.send.words(destination, len, words)
76    case False{}:
77      Wire.send.words(destination, len, words)