def checks_with

near-v-framework@0.4.0.0 · domain/architecture/system/container/effects.bend:62

import Base
import near-v-framework@0.4.0.0/domain/architecture/system/plan/type.bend as P
import near-v-framework@0.4.0.0/domain/architecture/environment/external/type.bend as Ex
import near-v-framework@0.4.0.0/domain/architecture/system/container/type.bend as Ct

62def checks_with(cs: List<&2, Ct.Container>, +root: String, +xs: List<&2, Ex.External>, +go: List<&2, String>) -> IO(List<&2, P.Step>):
63  match cs:
64    case []:
65      IO.pure(List<&2, P.Step>, [])
66    case c <> rest:
67      do IO<List<&2, P.Step>>:
68        one : List<&2, P.Step> <- check(c, root, xs, go)
69        more : List<&2, P.Step> <- checks_with(rest, root, xs, go)
70        return List.append(&2, P.Step, one, more)