def present.of

ezx@1.11.0.0 · src/tool/plan.bend:656

import Base
import ezx@1.11.0.0/src/tool/world.bend as TW
import ezx@1.11.0.0/src/pkg/pkg.bend as K

656# whether the file built is in the checkout: among the files git gave, or
657# read where the checkout is. A file outside the checkout is not in it.
658def present.of(checkout: Co, +world: TW.World) -> Bool:
659  match checkout:
660    case Laid{fs}:
661      Bool.not(none(K.look(fs, inside(top(world), file(world)))))
662    case Kept{_t, _l}:
663      Bool.and(Bool.not(String.is_empty(inside(top(world), file(world)))),
664        Bool.not(none(read.got(world, file(world)))))
665    case CoWait{_as, _us}:
666      False{}
667    case CoNo{_why}:
668      False{}