~/jendhub

def write.if

ezx@1.11.0.0 · src/ws/up.bend:148

import ezx@1.11.0.0/src/ws/up.bend as Up
import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
import ezx@1.11.0.0/src/ledger/render.bend as Rend
import ezx@1.11.0.0/src/lock/plan.bend as LP

148# a ledger written back when the upgrade changed what it holds, and left as
149# it was otherwise
150def write.if(+mm: M.Manifest, +joint: M.Manifest, +at: String, +text: String) -> List<&2, LP.Effect>:
151  Bool.pick(List<&2, LP.Effect>, String.eq(Rend.show(mm), Rend.show(ledger.back(mm, joint))),
152    [], [LP.Write{at, text}])

Uses (8)

Used by (2)