Ops.not_minimal: def of near-v-framework@0.4.0.0
Import: import near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/ops.bend as Ops
Lines 137-144 of near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/ops.bend: https://jend.leeeet.dev/read.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/ops.bend&start_line=137&end_line=144

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

# The resource groups where `person` has other than exactly what the agreement grants there (nothing
# granted means no access at all).
def not_minimal(groups: List<&2, String>, +a: G.Agreement, +person: String, +actual: List<&2, Az.Permission>) -> List<&2, String>:
  match groups:
    case []:
      []
    case +g <> rest:
      keep_if(Bool.not(exact(g, GO.granted(a, person, g), actual)), g, not_minimal(rest, a, person, actual))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/environment/agreement/ops.bend&name=granted
  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/ops.bend&name=exact
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/ops.bend&name=keep_if
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/type.bend&name=Permission