def checks

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

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

127# The Azure checks against the declared resources and the agreement (see AzO.steps).
128def checks(az: Az.Azure, a: G.Agreement) -> IO(List<&2, P.Step>):
129  do IO<List<&2, P.Step>>:
130    o : Az.Observed <- observe()
131    return AzO.steps(az, a, o)