def part_pick

cswap-bend-cli@0.1.0.0 · tui/card.bend:174

import Base
import cswap-bend-cli@0.1.0.0/tui/fmt.bend as F
import cswap-bend-cli@0.1.0.0/tui/model.bend as M

174def part_pick(+model: Bool, +full: Bool, +w: M.Win, +p: Maybe<&2, U32>, +now: U32) -> List<&2, F.Seg>:
175  match model p:
176    case True{} _:
177      flag_if(full, F.sg(M.win_label(w) ++ " (!)", F.RCrit{}))
178    case False{} None{}:
179      []
180    case False{} Some{c}:
181      pct_part(w, c, now)