def number_lexeme

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

import Base

644def number_lexeme(+lexeme: String,
645                  rest: String,
646                  valid: BoolType(),
647                  evidence: {number_valid(lexeme) == valid : BoolType()}) -> Result<&1, &1, Error, Parsed>:
648    match valid:
649        case True{}:
650            Done{Parsed{Number{lexeme, Certified{number_proof(lexeme, evidence)}}, rest}}
651        case False{}:
652            Fail{Error{}}