def next.body

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

import bend-kit-postgres@0.3.0.0/codec.bend as Codec
import Base

658def next.body(+pos: U32, r: Cur & Back) -> Reader & Next:
659  (c, m) = r
660  Cur{buf, +i, +e, +ok} = c
661  next.done(Bool.and(ok, U32.is_eq(i, e)), pos, e, buf, m)

Uses (10)

Used by (1)