def num_text

cswap-bend-cli@0.1.0.0 · profile.bend:68

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

68def num_text(+m: Maybe<&2, Json.Json>) -> Maybe<&2, String>:
69  match m:
70    case Some{Json.JNum{t}}:
71      Some{t}
72    case _:
73      None{}

Uses (3)

Used by (1)