def once

cswap-bend-cli@0.1.0.0 · daemon/auto.bend:315

import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/clock.bend as Clock
import cswap-bend-cli@0.1.0.0/daemon/tick.bend as Tk

315def once(+r: Run) -> Act.of(U32):
316  do ActM<U32>:
317    +r2 : Run <- refresh(r)
318    +o : Tk.Out <- first_tick(r2)
319    now : U32 <- Act.lift(U32, Clock.now_s())
320    finish_tick(r2, o, interval(r2), now, [])
321    return out_code(o)