def listed

ezx@1.11.0.0 · src/lock/run.bend:79

import Base
import ezx@1.11.0.0/src/lock/world.bend as W

79# what git listed, or why it could not
80def listed(ok: Bool, +text: String) -> IO(W.Listing):
81  match ok:
82    case True{}:
83      do IO<W.Listing>:
84        fs : List<&2, W.Source> <- read.all(nonempty(String.lines(text)))
85        return W.Listed{fs}
86    case False{}:
87      IO.pure(W.Listing, W.Unlisted{
88        "ez: ez lock reads the .bend files git tracks, and git could not list them: " ++
89          String.trim(text)})