def read.pick

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

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M

793# a ledger git listed, kept when it is a member's
794def read.pick(hit: Bool, +dir: List<&2, String>, +text: String, rest: Read) -> Read:
795  match hit:
796    case True{}:
797      read.cons(dir, M.parse(text), rest)
798    case False{}:
799      rest