def split.found

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

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

243def split.found(r: Bytes.Bytes & Maybe<&2, U32>) -> Split:
244  (b, m) = r
245  match m:
246    case Some{+i}:
247      with_slice(Split, Bytes.slice(b, 0, i), b => head =>
248        with_slice(Split, Bytes.slice(b, (i + 4 : U32), 4294967295), unused => rest =>
249          Found{Bytes.to_string(head), rest}))
250    case None{}:
251      split.short(b)