Effects.signed: 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 105-119 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=105&end_line=119

import Base
import bend-net-json@0.3.0.0/json.bend as Json
import near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/type.bend as Az

def signed(m: Maybe<&2, Json.Val>) -> IO(Az.Observed):
  match m:
    case None{}:
      IO.pure(Az.Observed, Az.Observed{[], [], [], [], ["the signed-in Azure account"]})
    case Some{+account}:
      do IO<Az.Observed>:
        rs : String <- az_run(["resource", "list", "--query", "[].{name:name,type:type,resourceGroup:resourceGroup}", "-o", "json"])
        gs : String <- az_run(["group", "list", "--query", "[].name", "-o", "json"])
        d : String <- devops()
        +mr : Maybe<&2, Json.Val> = Json.parse(rs)
        +mg : Maybe<&2, Json.Val> = Json.parse(gs)
        +groups : List<&2, String> = strings(array(value(mg)))
        permissions(string(at(account, "id")), groups,
          Az.Observed{identities(string(at(account, "name")), d), resources(array(value(mr))), groups, [],
            List.append(&2, String, unread_if("Azure resources", mr), unread_if("resource groups", mg))})

Uses (21):
  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=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-net-json@0.3.0.0/json.bend&name=Val
  https://jend.leeeet.dev/definition.txt?path=bend-net-json@0.3.0.0/json.bend&name=parse
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/effects.bend&name=array
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/effects.bend&name=at
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/effects.bend&name=az_run
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/effects.bend&name=devops
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/effects.bend&name=identities
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/effects.bend&name=permissions
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/effects.bend&name=resources
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/effects.bend&name=string
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/effects.bend&name=strings
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/effects.bend&name=unread_if
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/effects.bend&name=value
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/type.bend&name=Observed