World.key: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/fetch/world.bend as World Lines 107-120 of ezx@1.11.0.0/src/fetch/world.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/fetch/world.bend&start_line=107&end_line=120 import Base import ezx@1.11.0.0/src/lock/up.bend as Up # a question as a key. A lock's value never holds a newline, so the fields # are kept apart by one. def key(ask: Ask) -> String: match ask: case Laid{hash}: "laid\n" ++ hash case Git{hash, q}: "git\n" ++ hash ++ "\n" ++ Up.key(q) case Hub{q}: hub.key(q) case Named{nv}: "named\n" ++ nv case Tree{hash, _entry}: "tree\n" ++ hash Uses (5): 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=ezx@1.11.0.0/src/fetch/world.bend&name=Ask https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/world.bend&name=hub.key https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=key