def number_valid_step
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as JSONimport Base
587def number_valid_step(s: String, state: NumberState) -> NumberState:
588 match s state:
589 case _ NumberInvalid{}:
590 NumberInvalid{}
591 case SNil{} _:
592 state
593 case SCon{h, t} _:
594 number_valid_step(t, number_next(state, h))
Uses (3)
Used by (14)
- qasim-bend-kit@0.1.0.2/libs/JSON:number_valid
- qasim-bend-kit@0.1.0.2/proof/JSON_NumberLexProof:number_valid_cons
- qasim-bend-kit@0.1.0.2/proof/JSON_NumberLexProof:number_char_action
- qasim-bend-kit@0.1.0.2/proof/JSON_PrimitiveProof:invalid_step
- qasim-bend-kit@0.1.0.2/proof/JSON_NumberLexProof:invalid_valid_tail
- …