def bytes.cut

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

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

546def bytes.cut(c: Bytes.Cursor, +hs: U32, +len: U32) -> Bytes.Bytes & Bytes.Cursor:
547  Bytes.Cursor{b, +pos, +start, +end} = c
548  +at = (pos + hs : U32)
549  bytes.cut.rest((at + len : U32), start, end, Bytes.slice(b, at, len))

Uses (7)

Used by (1)

bend-kit-websocket@0.4.0.0/websocket:parse