def recv

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

import Base

1096# The next message, pong, or close. Fragments are joined and pings answered on the way.
1097# A protocol fault sends close with its code and fails with it. ms bounds each read.
1098def recv(c: Conn, +ms: U32) -> IO(Conn & Result<&1, &1, U32 & String, Incoming>):
1099  Conn{sock, +tls, +server, input, partial, +max, +closing} = c
1100  recv.loop(U32.to_nat(16777216), Parse{sock, input, partial}, tls, server, max, closing, ms)