def number_step

qasim-bend-kit@0.1.0.2 · libs/JSON.bend:540

import Base

540def number_step(character: NumberChar, state: NumberState) -> NumberState:
541    match character state:
542        case NOther{} _: NumberInvalid{}
543        case NMinus{} NumberStart{}: NumberMinus{}
544        case NMinus{} NumberExponent{}: NumberExponentSign{}
545        case NPlus{} NumberExponent{}: NumberExponentSign{}
546        case NDot{} NumberZero{}: NumberDot{}
547        case NDot{} NumberInteger{}: NumberDot{}
548        case NExp{} NumberZero{}: NumberExponent{}
549        case NExp{} NumberInteger{}: NumberExponent{}
550        case NExp{} NumberFraction{}: NumberExponent{}
551        case NZero{} NumberStart{}: NumberZero{}
552        case NZero{} NumberMinus{}: NumberZero{}
553        case NZero{} NumberInteger{}: NumberInteger{}
554        case NZero{} NumberDot{}: NumberFraction{}
555        case NZero{} NumberFraction{}: NumberFraction{}
556        case NZero{} NumberExponent{}: NumberExponentDigits{}
557        case NZero{} NumberExponentSign{}: NumberExponentDigits{}
558        case NZero{} NumberExponentDigits{}: NumberExponentDigits{}
559        case NDigit{} NumberStart{}: NumberInteger{}
560        case NDigit{} NumberMinus{}: NumberInteger{}
561        case NDigit{} NumberInteger{}: NumberInteger{}
562        case NDigit{} NumberDot{}: NumberFraction{}
563        case NDigit{} NumberFraction{}: NumberFraction{}
564        case NDigit{} NumberExponent{}: NumberExponentDigits{}
565        case NDigit{} NumberExponentSign{}: NumberExponentDigits{}
566        case NDigit{} NumberExponentDigits{}: NumberExponentDigits{}
567        case _ _: NumberInvalid{}