def back

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

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

588def back(t: U32, +tag: U32, c: Cur) -> Cur & Back:
589  match t:
590    case 82:
591      auth(uint(c, 4))
592    case 83:
593      ps.a(cstr(c))
594    case 75:
595      bkd.a(uint(c, 4))
596    case 90:
597      rfq(uint(c, 1))
598    case 84:
599      one(List<&1, Field>, xs => RowDescription{xs}, list16(~Field, ~field, c))
600    case 68:
601      one(List<&1, Maybe<&1, Bytes.Bytes>>, xs => DataRow{xs}, list16(~Maybe<&1, Bytes.Bytes>, ~col, c))
602    case 67:
603      one(Bytes.Bytes, x => CommandComplete{x}, cstr(c))
604    case 69:
605      one(List<&1, Notice>, xs => ErrorResponse{xs}, notices.dec(c))
606    case 78:
607      one(List<&1, Notice>, xs => NoticeResponse{xs}, notices.dec(c))
608    case 49:
609      (c, ParseComplete{})
610    case 50:
611      (c, BindComplete{})
612    case 51:
613      (c, CloseComplete{})
614    case 110:
615      (c, NoData{})
616    case 73:
617      (c, EmptyQuery{})
618    case 115:
619      (c, PortalSuspended{})
620    case _:
621      one(Bytes.Bytes, b => Other{tag, b}, rest(c))