def notice.push

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

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

481def notice.push(+code: U32, acc: List<&1, Notice>, r: Cur & Bytes.Bytes) -> Loop<U32, Notice>:
482  (c, v) = r
483  notice.code(Con{Notice{code, v}, acc}, uint(c, 1))

Uses (10)

Used by (1)

bend-kit-postgres@0.3.0.0/codec:notices