def num_text

cswap-bend-cli@0.1.0.0 · importu.bend:34

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json

34# A JSON number that is finite and not negative, as Python-float text.
35def num_text(j: Json.Json) -> Maybe<&2, String>:
36  match j:
37    case Json.JNum{t}:
38      ok_float(t)
39    case _:
40      None{}