def num_text

cswap-bend-cli@0.1.0.0 · daemon/rows.bend:21

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

21def num_text(+m: Maybe<&2, Json.Json>) -> Maybe<&2, String>:
22  match m:
23    case Some{Json.JNum{t}}:
24      Some{t}
25    case _:
26      None{}

Uses (3)

Used by (5)