def win_opt

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

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

44def win_opt(+label: String, +m: Maybe<&2, Json.Json>) -> Maybe<&2, M.Win>:
45  match m:
46    case None{}:
47      None{}
48    case Some{w}:
49      win_of(label, w)