Render.hash.ok: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/render.bend as Render
Lines 179-189 of ezx@1.11.0.0/src/ledger/render.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ledger/render.bend&start_line=179&end_line=189

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

# whether a dependency's hash can be written: one is there, which the reader
# asks every dependency for but a workspace member's, whose ledger records
# none and whose hash only the joint ledger gives
def hash.ok(src: M.Source, +hash: String) -> Bool:
  match src:
    case M.Hub{_named}:
      Bool.and(Bool.not(String.is_empty(hash)), clean(hash))
    case M.Git{_url, _rev, _tag, _root, _nar, _vend}:
      Bool.and(Bool.not(String.is_empty(hash)), clean(hash))
    case M.Member{_path, _named}:
      clean(hash)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Source
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/render.bend&name=clean