Effects.checks: def of near-v-framework@0.4.0.0
Import: import near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/effects.bend as Effects
Lines 127-131 of near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/effects.bend: https://jend.leeeet.dev/read.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/effects.bend&start_line=127&end_line=131

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

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

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/environment/agreement/type.bend&name=Agreement
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/effects.bend&name=observe
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/ops.bend&name=steps
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/type.bend&name=Azure
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/type.bend&name=Observed
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/plan/type.bend&name=Step