Auto.tick_safe: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/daemon/auto.bend as Auto
Lines 192-196 of cswap-bend-cli@0.1.0.0/daemon/auto.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/daemon/auto.bend&start_line=192&end_line=196

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

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

Uses (13):
  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/act.bend&name=lift
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/clock.bend&name=iso8601_utc
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/clock.bend&name=now_s
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/auto.bend&name=ActM
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/auto.bend&name=ActM.bind
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/auto.bend&name=ActM.pure
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/auto.bend&name=look
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/auto.bend&name=tick_out
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/tick.bend&name=Env
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/tick.bend&name=Out
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fs.bend&name=Res