def number_next
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as JSONimport Base
569def number_next(state: NumberState, c: Char) -> NumberState:
570 match state:
571 case NumberInvalid{}: NumberInvalid{}
572 case _: number_step(number_char(c), state)
Uses (4)
Used by (14)
- qasim-bend-kit@0.1.0.2/libs/JSON:number_valid_step
- qasim-bend-kit@0.1.0.2/proof/JSON_NumberLexProof:number_valid_cons
- qasim-bend-kit@0.1.0.2/proof/JSON_NumberLexProof:lex_number_payload
- qasim-bend-kit@0.1.0.2/proof/JSON_NumberLexProof:invalid_valid_tail
- qasim-bend-kit@0.1.0.2/proof/JSON_NumberLexProof:lex_number_before_punctuation
- …