def lays.weighed

ezx@1.11.0.0 · src/fetch/plan.bend:982

import Base
import ezx@1.11.0.0/src/toml/toml.bend as T
import ezx@1.11.0.0/src/fetch/world.bend as F
import ezx@1.11.0.0/src/lock/plan.bend as P

982# whether every tree a list of effects lays does
983def lays.weighed(
984  +ss: List<&2, T.Sect>,
985  +rs: List<&2, F.Reply>,
986  +here: String,
987  es: List<&2, P.Effect>
988) -> Bool:
989  match es:
990    case []:
991      True{}
992    case h <> t:
993      +rest = lays.weighed(ss, rs, here, t)
994      Bool.and(weighed.lay(ss, rs, here, h), rest)