def tick_safe

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

import cswap-bend-cli@0.1.0.0/daemon/auto.bend as Auto
import Base
import cswap-bend-cli@0.1.0.0/fs.bend as Fs
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

192def tick_safe(+env: Tk.Env) -> Act.of(Tk.Out):
193  do ActM<Tk.Out>:
194    t : U32 <- Act.lift(U32, Clock.now_s())
195    r : Fs.Res(Tk.Out) <- Act.lift(Fs.Res(Tk.Out), look(env))
196    return tick_out(env, Clock.iso8601_utc(t), r)

Uses (13)

Used by (2)