def hs.checked

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

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

848def hs.checked(v: Result<&1, &1, U32 & String, Unit>, sock: Socket, +tls: Bool, +max: U32, rest: Bytes.Bytes) -> IO(Result<&1, &1, U32 & String, Conn>):
849  match v:
850    case Fail{e}:
851      hs.fail(sock, tls, e)
852    case Done{u}:
853      do IO<Result<&1, &1, U32 & String, Conn>>:
854        return Done{Conn{sock, tls, False{}, Bytes.Cursor.new(rest), Idle{}, max, False{}}}