Run.frame_io: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/tui/run.bend as Run Lines 151-161 of cswap-bend-cli@0.1.0.0/tui/run.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/tui/run.bend&start_line=151&end_line=161 import Base import cswap-bend-cli@0.1.0.0/tui/model.bend as M def frame_io(+v: M.View, +version: String, +root: String, +state: String) -> IO(String): do IO: now : U32 <- clock_now() off : U32 <- local_off() seq_t : String <- read_text(root ++ "/sequence.json") cache_t : String <- read_text(root ++ "/cache/usage.json") settings_t : String <- read_text(root ++ "/settings.json") +status_t : String <- read_text(state ++ "/daemon-status.json") log_t : String <- tail_text(state ++ "/daemon.log", "8") live : Bool <- alive(pid_of(status_t)) IO.pure(String, frame_of(v, version, now, off, live, seq_t, cache_t, status_t, settings_t, log_t)) Uses (15): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append 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/tui/model.bend&name=View https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/run.bend&name=alive https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/run.bend&name=clock_now https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/run.bend&name=frame_of https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/run.bend&name=local_off https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/run.bend&name=pid_of https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/run.bend&name=read_text https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/run.bend&name=tail_text