def notice.get

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

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

60# The first field whose code is code.
61def notice.get(+code: U32, fs: List<&1, Notice>) -> Maybe<&1, Bytes.Bytes>:
62  match fs:
63    case Nil{}:
64      None{}
65    case Con{Notice{+k, v}, t}:
66      Bool.pick(Maybe<&1, Bytes.Bytes>, U32.is_eq(k, code), Some{v}, notice.get(code, t))