def number_valid_end
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as JSONimport Base
574def number_valid_end(state: NumberState) -> BoolType():
575 match state:
576 case NumberZero{}:
577 True{}
578 case NumberInteger{}:
579 True{}
580 case NumberFraction{}:
581 True{}
582 case NumberExponentDigits{}:
583 True{}
584 case _:
585 False{}
Uses (3)
Used by (13)
- 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_NumberLexProof:invalid_valid_tail
- qasim-bend-kit@0.1.0.2/proof/JSON_NumberLexProof:lex_number_delimited_tail
- …