def num_nat

cswap-bend-cli@0.1.0.0 · daemon/view.bend:54

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

54def num_nat(+m: Maybe<&2, Json.Json>) -> Maybe<&2, Nat>:
55  Rows.nat_opt(Rows.bind_s(Rows.num_text(m), t => Rows.epoch_text(t)))