def cstr.at

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

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

328def cstr.at(+i: U32, +e: U32, +ok: Bool, r: Bytes.Bytes & Maybe<&2, U32>) -> Cur & Bytes.Bytes:
329  (b, m) = r
330  match m:
331    case Some{+j}:
332      cstr.in(U32.is_lt(j, e), b, i, j, e, ok)
333    case None{}:
334      (Cur{b, i, e, False{}}, Bytes.new(0))