~/jendhub

def clear_if

cswap-bend-cli@0.1.0.0 · collectrun.bend:127

import cswap-bend-cli@0.1.0.0/collectrun.bend as Collectrun
import Base
import cswap-bend-cli@0.1.0.0/urec.bend as Urec
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/ustore.bend as Ustore

127def clear_if(+root: String, ids: List<&2, Ustore.Id>) -> Act.of(Unit):
128  match ids:
129    case Nil{}:
130      Act.pure(Unit, Unit{})
131    case Con{h, t}:
132      Urec.clear_dead(root, h <> t)

Uses (7)

Used by (1)