Json.Json.parse.step: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/json.bend as Json
Lines 610-630 of bend-kube-runtime@0.2.0.0/src/json.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&start_line=610&end_line=630

import Base

# One step of the automaton.
def Json.parse.step(st: JState, c: Char) -> JState:
  match st:
    case JS{LVal{open}, stack}:
      Json.parse.value(c, open, stack)
    case JS{LAfter{}, stack}:
      Json.parse.after(c, stack)
    case JS{LKey{open}, stack}:
      Json.parse.key(c, open, stack)
    case JS{LColon{}, stack}:
      Json.parse.colon(c, stack)
    case JS{LStr{buf, key, esc, code}, stack}:
      Json.parse.in_str(c, buf, key, esc, code, stack)
    case JS{LNum{buf}, stack}:
      Json.parse.in_num(c, buf, stack)
    case JS{LLit{buf}, stack}:
      Json.parse.in_lit(c, buf, stack)
    case JS{LDone{v}, stack}:
      Json.parse.done(c, v)
    case JS{LErr{m}, stack}:
      JS{LErr{m}, Nil{}}

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=JState
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json.parse.after
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json.parse.colon
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json.parse.done
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json.parse.in_lit
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json.parse.in_num
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json.parse.in_str
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json.parse.key
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json.parse.value
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Lex