~/jendhub

def renderable

ezx@1.11.0.0 · src/ledger/render.bend:233

import ezx@1.11.0.0/src/ledger/render.bend as Render
import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M

233# whether a ledger can be written so that it reads back as itself (EZ-LED-4):
234# every name and value is clean, `publish-as` and `version` among them, every
235# dependency has a hash, and every git source names its repo and its root.
236# Every command that writes ez.toml refuses a ledger that is not, so every
237# ledger ez writes is one of these.
238def renderable(manifest: M.Manifest) -> Bool:
239  M.Manifest{+n, +e, +b, +h, +pa, +pv, ds, ts} = manifest
240  Bool.and(Bool.and(Bool.and(clean(n), clean(e)), Bool.and(clean(b), clean(h))),
241    Bool.and(Bool.and(clean(pa), clean(pv)), Bool.and(deps.ok(ds), tools.ok(ts))))

Uses (6)

Used by (6)