def socket.read.tls

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

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

59def socket.read.tls(tls: Bool, source: Socket, max: U32, ms: U32) ->
60  IO(Socket & Result<&1, &1, U32 & String, U32 & Array<U32>>):
61  match tls:
62    case True{}:
63      Wire.tls.recv.words(source, max, ms)
64    case False{}:
65      Wire.recv.words(source, max, ms)