def push.when

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

import bend-kit-websocket@0.4.0.0/websocket.bend as Websocket

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

558def push.when(whole: Bool, b: Bytes.Bytes, +pos: U32, +end: U32, read: Bytes.Bytes) -> Bytes.Cursor:
559  match whole:
560    case True{}:
561      Bytes.Cursor.new(Bytes.append(b, read))
562    case False{}:
563      Bytes.Cursor.new(Bytes.append(Bytes.snd(Bytes.slice(b, pos, (end - pos : U32))), read))

Uses (9)

Used by (1)

bend-kit-websocket@0.4.0.0/websocket:push