~/jendhub

def opt_win

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

import cswap-bend-cli@0.1.0.0/daemon/view.bend as View
import Base
import cswap-bend-cli@0.1.0.0/daemon/events.bend as Ev

202def opt_win(+name: String, +m: Maybe<&2, Nat>, +rest: List<&2, Ev.Win>) -> List<&2, Ev.Win>:
203  match m:
204    case Some{p}:
205      Ev.Win{name, U32.from_nat(p)} <> rest
206    case None{}:
207      rest

Uses (6)

Used by (1)