def take.at

bend-kit-postgres@0.3.0.0 · codec.bend:302

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

302def take.at(fit: Bool, b: Bytes.Bytes, +i: U32, +n: U32, +e: U32, +ok: Bool) -> Cur & Bytes.Bytes:
303  match fit:
304    case True{}:
305      take.got((i + n : U32), e, ok, Bytes.slice(b, i, n))
306    case False{}:
307      (Cur{b, i, e, False{}}, Bytes.new(0))