def hs.sent

bend-kit-websocket@0.4.0.0 · websocket.bend:863

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

863def hs.sent(r: Socket & Result<&1, &1, U32 & String, Unit>, +tls: Bool, +max: U32, +ms: U32, +want: String) -> IO(Result<&1, &1, U32 & String, Conn>):
864  match r:
865    case (sock, Fail{e}):
866      hs.fail(sock, tls, e)
867    case (sock, Done{u}):
868      do IO<Result<&1, &1, U32 & String, Conn>>:
869        h : Socket & Result<&1, &1, U32 & String, String & Bytes.Bytes> <- head.read(sock, tls, ms)
870        hs.head(h, tls, max, want)