def uint.at

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

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

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

286def uint.at(fit: Bool, b: Bytes.Bytes, +i: U32, +n: U32, +e: U32, +ok: Bool) -> Cur & U32:
287  match fit:
288    case True{}:
289      uint.got(i, n, e, ok, Bytes.uint(b, i, n, True{}))
290    case False{}:
291      (Cur{b, i, e, False{}}, 0)

Uses (8)

Used by (1)

bend-kit-postgres@0.3.0.0/codec:uint