def payload_number

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

import qasim-bend-kit@0.1.0.2/libs/JSON.bend as JSON

import Base

921def payload_number(+text: String,
922                   valid: BoolType(),
923                   evidence: {number_valid(text) == valid : BoolType()}) -> Result<&1, &1, Error, Value>:
924    match valid:
925        case True{}: Done{Number{text, Certified{number_proof(text, evidence)}}}
926        case False{}: payload_other(text)

Uses (10)

Used by (3)