Render.source.ok: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/render.bend as Render
Lines 163-177 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=163&end_line=177

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

# whether a source reads back as itself. A git source names its repo and the
# directory its paths are written from: the reader takes a section with no
# `git` for a hub package and one with no `root` for the top of the checkout.
# A workspace member's is `workspace = true`, with the directory and the name
# only the joint ledger gives it.
def source.ok(src: M.Source) -> Bool:
  match src:
    case M.Hub{+named}:
      clean(named)
    case M.Git{+url, rev, tag, +root, nar, _vend}:
      Bool.and(Bool.and(Bool.not(String.is_empty(url)), Bool.not(String.is_empty(root))),
        Bool.and(Bool.and(clean(url), clean(rev)),
          Bool.and(clean(tag), Bool.and(clean(root), clean(nar)))))
    case M.Member{+path, +named}:
      Bool.and(clean(path), clean(named))

Uses (6):
  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.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