~/jendhub

def busiest

cswap-bend-cli@0.1.0.0 · tui/view.bend:169

import cswap-bend-cli@0.1.0.0/tui/view.bend as View
import Base
import cswap-bend-cli@0.1.0.0/tui/model.bend as M

169# Headroom is what is left of the busiest known window.
170def busiest(+ws: List<&2, M.Win>, +acc: Maybe<&2, U32>) -> Maybe<&2, U32>:
171  match ws:
172    case Nil{}:
173      acc
174    case Con{w, t}:
175      busiest(t, max_opt(acc, M.win_pct(w)))

Uses (6)

Used by (1)