def read.one

ezx@1.11.0.0 · src/ws/joint.bend:801

import Base
import ezx@1.11.0.0/src/ws/workspace.bend as W

801# a ledger git listed, when it is one under a directory
802def read.one(lg: Maybe<&2, W.Ledger>, +dirs: List<&2, List<&2, String>>, +text: String, rest: Read) -> Read:
803  match lg:
804    case None{}:
805      rest
806    case Some{ll}:
807      +dir = W.ledger.dir(ll)
808      read.pick(W.has(dirs, dir), dir, text, rest)