Yaml.Num.step: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/yaml.bend as Yaml
Lines 303-352 of bend-kube-runtime@0.2.0.0/src/yaml.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/yaml.bend&start_line=303&end_line=352

import Base

def Num.step(st: Num, +c: Char, dig: Bool, dot: Bool, ex: Bool, sg: Bool) -> Num:
  match st dig dot ex sg:
    case NStart{} True{} d e s:
      NInt{False{}, [c]}
    case NStart{} False{} True{} e s:
      NDot0{False{}}
    case NStart{} False{} False{} e True{}:
      NSign{Char.is_eq(c, '-')}
    case NStart{} False{} False{} e False{}:
      NBad{}
    case NSign{n} True{} d e s:
      NInt{n, [c]}
    case NSign{n} False{} True{} e s:
      NDot0{n}
    case NSign{n} False{} False{} e s:
      NBad{}
    case NInt{n, i} True{} d e s:
      NInt{n, Con{c, i}}
    case NInt{n, i} False{} True{} e s:
      NFrac{n, i, Nil{}}
    case NInt{n, i} False{} False{} True{} s:
      NExp0{n, i, Nil{}, [c]}
    case NInt{n, i} False{} False{} False{} s:
      NBad{}
    case NDot0{n} True{} d e s:
      NFrac{n, Nil{}, [c]}
    case NDot0{n} False{} d e s:
      NBad{}
    case NFrac{n, i, f} True{} d e s:
      NFrac{n, i, Con{c, f}}
    case NFrac{n, i, f} False{} d True{} s:
      NExp0{n, i, f, [c]}
    case NFrac{n, i, f} False{} d False{} s:
      NBad{}
    case NExp0{n, i, f, x} True{} d e s:
      NExpD{n, i, f, Con{c, x}}
    case NExp0{n, i, f, x} False{} d e True{}:
      NExp1{n, i, f, Con{c, x}}
    case NExp0{n, i, f, x} False{} d e False{}:
      NBad{}
    case NExp1{n, i, f, x} True{} d e s:
      NExpD{n, i, f, Con{c, x}}
    case NExp1{n, i, f, x} False{} d e s:
      NBad{}
    case NExpD{n, i, f, x} True{} d e s:
      NExpD{n, i, f, Con{c, x}}
    case NExpD{n, i, f, x} False{} d e s:
      NBad{}
    case NBad{} g d e s:
      NBad{}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char.is_eq
  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/yaml.bend&name=Num