def refresh

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

import cswap-bend-cli@0.1.0.0/daemon/auto.bend as Auto
import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/store/base.bend as SBase
import cswap-bend-cli@0.1.0.0/daemon/live.bend as Lv

110def refresh(+r: Run) -> Act.of(Run):
111  do ActM<Run>:
112    text : String <- Act.lift(String, Lv.read_text(SBase.root_of(run_ctx(r))))
113    return refreshed(r, text)

Uses (11)

Used by (2)