Codec.fe.tagged: def of bend-kit-postgres@0.3.0.0
Import: import bend-kit-postgres@0.3.0.0/codec.bend as Codec
Lines 791-810 of bend-kit-postgres@0.3.0.0/codec.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-postgres@0.3.0.0/codec.bend&start_line=791&end_line=810

import Base

def fe.tagged(t: U32, +mode: U32, c: Cur) -> Cur & Front:
  match t:
    case 112:
      fe.pass(mode, c)
    case 80:
      fe.parse.a(cstr(c))
    case 66:
      fe.bind.a(cstr(c))
    case 68:
      fe.kind.a(False{}, uint(c, 1))
    case 69:
      fe.exec.a(cstr(c))
    case 83:
      (c, Sync{})
    case 67:
      fe.kind.a(True{}, uint(c, 1))
    case 88:
      (c, Terminate{})
    case _:
      (fail(c), Sync{})

Uses (16):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/codec.bend&name=Cur
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/codec.bend&name=Front
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/codec.bend&name=cstr
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/codec.bend&name=fail
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/codec.bend&name=fe.bind.a
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/codec.bend&name=fe.exec.a
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/codec.bend&name=fe.kind.a
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/codec.bend&name=fe.parse.a
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/codec.bend&name=fe.pass
  https://jend.leeeet.dev/definition.txt?path=bend-kit-postgres@0.3.0.0/codec.bend&name=uint