Render.win_m: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/render.bend as Render Lines 123-128 of cswap-bend-cli@0.1.0.0/render.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/render.bend&start_line=123&end_line=128 import Base import cswap-bend-cli@0.1.0.0/json.bend as Json import cswap-bend-cli@0.1.0.0/clock.bend as Clock import cswap-bend-cli@0.1.0.0/view.bend as View def win_m(+label: String, m: Maybe<&2, Json.Json>, weekly: Bool, +fetched: Maybe<&2, U32>, +now: U32, +off: U32) -> Maybe<&2, Line>: match m: case None{}: None{} case Some{+w}: Some{window_line(label, w, Clock.sel.s(weekly, marker.ahead(View.pace_of(w, fetched)), ""), now, off)} Uses (10): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/clock.bend&name=sel.s https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/render.bend&name=Line https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/render.bend&name=marker.ahead https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/render.bend&name=window_line https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/view.bend&name=pace_of