Workspace.why: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/workspace.bend as Workspace
Lines 374-387 of ezx@1.11.0.0/src/ws/workspace.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&start_line=374&end_line=387

import Base

# why a workspace has no member set, said for the first thing found wrong
def why(+spec: Spec, +root: Root, +ls: List<&2, Ledger>) -> String:
  Spec{es, _ex} = spec
  +bad = entries.bad(es)
  +gone = absent(es, dirs.of(ls))
  +deep = nested(picks(spec, ls))
  +dup = twice(names(root, picks(spec, ls)))
  Bool.pick(String, String.is_empty(bad),
    Bool.pick(String, String.is_empty(gone),
      Bool.pick(String, String.is_empty(deep),
        "ez: two workspace members are both named " ++ dup,
        "ez: workspace member " ++ deep ++ " has a [workspace] table of its own"),
      "ez: workspace member " ++ gone ++ " has no committed ez.toml"),
    "ez: workspace member " ++ bad ++ " is not a directory under the root")

Uses (15):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  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/ws/workspace.bend&name=Ledger
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=Root
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=Spec
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=absent
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=dirs.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=entries.bad
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=names
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=nested
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=picks
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=twice