def write_released

cswap-bend-cli@0.1.0.0 · daemon/quarantine.bend:119

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/daemon/state.bend as St

119def write_released(+root: String, +rs: List<&2, Rel>) -> Act.of(Unit):
120  St.with_state_lock(Unit, root,
121    do ActM<Unit>:
122      st : Json.Json <- Act.lift(Json.Json, St.read_state(root))
123      St.write_state(root, drop_all(rs, st)))