def win_pct

cswap-bend-cli@0.1.0.0 · tui/read.bend:33

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/tui/model.bend as M
import cswap-bend-cli@0.1.0.0/tui/num.bend as N

33def win_pct(+label: String, +w: Json.Json, +p: Maybe<&2, U32>) -> Maybe<&2, M.Win>:
34  match p:
35    case None{}:
36      None{}
37    case Some{c}:
38      Some{M.Win{label, p, N.iso_at("resets_at", w)}}