def steps

near-v-framework@0.4.0.0 · domain/architecture/system/deployment/azure/ops.bend:191

import Base
import near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/type.bend as Az
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/agreement/type.bend as G

191# What Azure as observed means for the system: Current when every resource is declared and every
192# declared resource exists, every identity in use is one of the agreement's people, every person is in
193# its directory domain, and the signed-in user has exactly what the agreement grants; else Blocked.
194def steps(az: Az.Azure, +a: G.Agreement, o: Az.Observed) -> List<&2, P.Step>:
195  match az:
196    case Az.Azure{org, project, declared}:
197      judged("azure " ++ org ++ " " ++ project, a, declared, o)