~/jendhub

def u32_field

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

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
import cswap-bend-cli@0.1.0.0/daemon/config.bend as Cfg

120def u32_field(+j: Json.Json, +key: String) -> Nat:
121  zero_or(nat_opt(bind_s(num_text(Json.get(key, j)), t => Cfg.read_u32(Maybe.default(&2, String, List.head(&2, String, String.split(t, '.')), "")))))

Uses (13)

Used by (1)