~/jendhub

def notes

ezx@1.11.0.0 · src/ws/doctor.bend:267

import ezx@1.11.0.0/src/ws/doctor.bend as Doctor
import Base
import ezx@1.11.0.0/src/doctor/plan.bend as DP
import ezx@1.11.0.0/src/doctor/world.bend as DW
import ezx@1.11.0.0/src/ws/joint.bend as J

267# every line the doctor says at a workspace root
268def notes(+why: String, +text: String, +found: List<&2, J.Found>, +world: DW.World) -> List<&2, DP.Note>:
269  List.append(&2, DP.Note,
270    DP.head.notes(DP.ledger.seen(DW.read(world)), DW.cc(world), DW.lib(world), DW.lock(world),
271      DW.replies(world), DP.checked(world)),
272    tail(why, text, found, world))

Uses (15)

Used by (1)