~/jendhub

def fit.why

ezx@1.11.0.0 · src/lock/up.bend:1163

import ezx@1.11.0.0/src/lock/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

1163# why an upgrade that moved a pin stops, "" when it does not: the ledger it
1164# would write cannot be written so that it reads back as the model it renders
1165# (EZ-LED-4), so it is refused, with no effect, rather than written as
1166# something else
1167def fit.why(moved: Bool, next: M.Manifest) -> String:
1168  match moved:
1169    case True{}:
1170      Bool.pick(String, Rend.renderable(next), "", Rend.unrenderable())
1171    case False{}:
1172      ""

Uses (6)

Used by (1)