def conf.find

bolt@1.27.0.0 · src/lint/plan.bend:512

import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy
import bolt@1.27.0.0/src/lint/world.bend as W
import bolt@1.27.0.0/src/config.bend as Config

512# the config of a directory, from the table; one the table does not hold is
513# worked out the same way (every finding's directory is in the table, so this
514# never happens in a run)
515def conf.find(cs: List<&2, Conf>, +world: W.World, +dir: String) -> Config.Config:
516  match cs:
517    case Nil{}:
518      conf.near(world, dir)
519    case Con{Conf{d, cfg}, rest}:
520      Lazy.stop(Config.Config, String.eq(d, dir), cfg, _u => conf.find(rest, world, dir))