def search.at

ezx@1.11.0.0 · src/ws/run.bend:46

import Base
import ezx@1.11.0.0/src/ws/root.bend as R

46# the search, once git said where ez runs. Outside a checkout there is no
47# committed ledger above, so no workspace: the directory is its own project.
48def search.at(here: Maybe<&2, List<&2, String>>, +top: String) -> IO(Searched):
49  match here:
50    case None{}:
51      IO.pure(Searched, Searched{"", R.Alone{}})
52    case Some{hs}:
53      do IO<Searched>:
54        ups : List<&2, R.Up> <- read.ups(top, R.asks(hs))
55        return Searched{top, R.root.go(ups)}