def lay.of

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

import Base
import ezx@1.11.0.0/src/tool/world.bend as TW
import ezx@1.11.0.0/src/lock/plan.bend as P

775# the checkout laid, when git gave it now
776def lay.of(checkout: Co, +world: TW.World) -> Lay:
777  match checkout:
778    case Laid{fs}:
779      Lay{revdir(world), List.append(&2, P.Effect, writes.of(top(world), fs),
780        [P.Write{stamp.at(world), rev(world) ++ "\n"}])}
781    case Kept{_t, _l}:
782      Still{}
783    case CoWait{_as, _us}:
784      Still{}
785    case CoNo{_why}:
786      Still{}