def hs.head

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

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

856def hs.head(r: Socket & Result<&1, &1, U32 & String, String & Bytes.Bytes>, +tls: Bool, +max: U32, +want: String) -> IO(Result<&1, &1, U32 & String, Conn>):
857  match r:
858    case (sock, Fail{e}):
859      hs.fail(sock, tls, e)
860    case (sock, Done{(+head, rest)}):
861      hs.checked(check(head, want), sock, tls, max, rest)