~/jendhub

def file_live

cswap-bend-cli@0.1.0.0 · daemon/sess.bend:328

import cswap-bend-cli@0.1.0.0/daemon/sess.bend as Sess
import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/fs.bend as Fs

328def file_live(r: Fs.Res(String)) -> IO(Bool):
329  match r:
330    case Fail{e}:
331      IO.pure(Bool, False{})
332    case Done{t}:
333      record_live(Json.parse(t))

Uses (8)

Used by (1)