def hs.keyed

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

import Base

888def hs.keyed(k: Result<&1, &1, U32 & String, String>, sock: Socket, +tls: Bool, +host: String, +path: String, +max: U32, +ms: U32) -> IO(Result<&1, &1, U32 & String, Conn>):
889  match k:
890    case Fail{e}:
891      hs.fail(sock, tls, e)
892    case Done{+key}:
893      do IO<Result<&1, &1, U32 & String, Conn>>:
894        a : Result<&1, &1, U32 & String, String> <- accept(key)
895        hs.accepted(a, sock, tls, host, path, max, ms, key)