def lay.all

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

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

599# every file of a tree, in order
600def lay.all(+dir: String, fs: List<&2, W.Source>) -> IO(Unit):
601  match fs:
602    case []:
603      IO.pure(Unit, Unit{})
604    case W.Source{at, text} <> t:
605      do IO<Unit>:
606        write(dir ++ "/" ++ at, text)
607        lay.all(dir, t)