def look
cswap-bend-cli@0.1.0.0 · daemon/auto.bend:183
import cswap-bend-cli@0.1.0.0/daemon/auto.bend as Auto
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
183
184def look(+env: Tk.Env) -> Act.of(Tk.Out):
185 do ActM<Tk.Out>:
186 +t : U32 <- Act.lift(U32, Clock.now_s())
187 rel : List<&2, Json.Json> <- released(env, t)
188 m : Maybe<&2, G.Snap> <- fetched(env, t)
189 o : Tk.Out <- Wk.run(env, t, Clock.iso8601_utc(t), m)
190 return prepend(rel, o)