Up.deps.join: def of ezx@1.13.0.0 Import: import ezx@1.13.0.0/src/lock/up.bend as Up Lines 807-821 of ezx@1.13.0.0/src/lock/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/lock/up.bend&start_line=807&end_line=821 import Base # one dependency in front of the rest. A refusal ahead of the rest wins, so # the first in ledger order is the one given. def deps.join(fate: Fate, rest: Deps) -> Deps: match fate: case Became{d, +old, +new, +prev, m, says, trees}: Deps{ds, ss, es, any, sy, tr, asks, bad} = rest Deps{d <> ds, swaps.put(String.is_empty(old), old, new, ss), swaps.put(String.is_empty(prev), prev, new, es), Bool.or(m, any), List.append(&2, String, says, sy), List.append(&2, Laid, trees, tr), asks, bad} case Waits{more}: Deps{ds, ss, es, any, sy, tr, asks, bad} = rest Deps{ds, ss, es, any, sy, tr, List.append(&2, Ask, more, asks), bad} case Halts{why}: Deps{ds, ss, es, any, sy, tr, asks, _bad} = rest Deps{ds, ss, es, any, sy, tr, asks, halt.why(why)} Uses (11): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append 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.13.0.0/src/lock/up.bend&name=Ask https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/up.bend&name=Deps https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/up.bend&name=Fate https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/up.bend&name=Laid https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/up.bend&name=halt.why https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/up.bend&name=swaps.put