Auto.look: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/daemon/auto.bend as Auto Lines 183-190 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=183&end_line=190 import Base import cswap-bend-cli@0.1.0.0/json.bend as Json 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/walk.bend as Wk import cswap-bend-cli@0.1.0.0/daemon/tick.bend as Tk import cswap-bend-cli@0.1.0.0/daemon/gather.bend as G # Release what no longer holds, snapshot, fetch what is due, decide, and walk the ranking. def look(+env: Tk.Env) -> Act.of(Tk.Out): do ActM: +t : U32 <- Act.lift(U32, Clock.now_s()) rel : List<&2, Json.Json> <- released(env, t) m : Maybe<&2, G.Snap> <- fetched(env, t) o : Tk.Out <- Wk.run(env, t, Clock.iso8601_utc(t), m) return prepend(rel, o) Uses (18): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe 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=fetched https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/auto.bend&name=prepend https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/auto.bend&name=released https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/gather.bend&name=Snap 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/daemon/walk.bend&name=run https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json