~/bend-docscommunity

domain/architecture/system/deployment/azure/effects.bend relies on unsafe/foreign

raw source on the hub · import 0x240dd78ab0879c4e226cf7dacf530ba1/domain/architecture/system/deployment/azure/effects.bend as Effects

8 imports
import Base
import bend-net-json@0.3.0.0/json.bend as Json
import bend-kit-files@0.1.0.0/files.bend as Fs
import ../../effs/io.bend as X
import ../../plan/type.bend as P
import ./type.bend as Az
import ./ops.bend as AzO
import ../../../environment/agreement/type.bend as G

Definitions

def value source · line 15 · raw

@m:Maybe<&2, 0x16458a2db4f36577294543ec2a6d420c/json.Val> -> 0x16458a2db4f36577294543ec2a6d420c/json.Val

---- JSON ----

def at source · line 22 · raw

@v:0x16458a2db4f36577294543ec2a6d420c/json.Val -> @k:String -> 0x16458a2db4f36577294543ec2a6d420c/json.Val

def string source · line 25 · raw

@v:0x16458a2db4f36577294543ec2a6d420c/json.Val -> String

def array source · line 32 · raw

@v:0x16458a2db4f36577294543ec2a6d420c/json.Val -> List<&2, 0x16458a2db4f36577294543ec2a6d420c/json.Val>

def strings source · line 39 · raw

@xs:List<&2, 0x16458a2db4f36577294543ec2a6d420c/json.Val> -> List<&2, String>

def unread_if source · line 47 · raw

@what:String -> @m:Maybe<&2, 0x16458a2db4f36577294543ec2a6d420c/json.Val> -> List<&2, String>

[what] when its JSON could not be read.

def az_run source · line 56 · raw

@args:List<&2, String> -> IO(String)

---- reading Azure ---- az's standard output for these arguments, or "" when it fails.

def resource source · line 59 · raw

@+v:0x16458a2db4f36577294543ec2a6d420c/json.Val -> 0x240dd78ab0879c4e226cf7dacf530ba1/domain/architecture/system/deployment/azure/type.Resource

def resources source · line 62 · raw

@xs:List<&2, 0x16458a2db4f36577294543ec2a6d420c/json.Val> -> List<&2, 0x240dd78ab0879c4e226cf7dacf530ba1/domain/architecture/system/deployment/azure/type.Resource>

def permission source · line 69 · raw

@scope:String -> @+v:0x16458a2db4f36577294543ec2a6d420c/json.Val -> 0x240dd78ab0879c4e226cf7dacf530ba1/domain/architecture/system/deployment/azure/type.Permission

def permissions_of source · line 72 · raw

@+scope:String -> @xs:List<&2, 0x16458a2db4f36577294543ec2a6d420c/json.Val> -> List<&2, 0x240dd78ab0879c4e226cf7dacf530ba1/domain/architecture/system/deployment/azure/type.Permission>

def add source · line 79 · raw

@o:0x240dd78ab0879c4e226cf7dacf530ba1/domain/architecture/system/deployment/azure/type.Observed -> @ps:List<&2, 0x240dd78ab0879c4e226cf7dacf530ba1/domain/architecture/system/deployment/azure/type.Permission> -> @unread:List<&2, String> -> 0x240dd78ab0879c4e226cf7dacf530ba1/domain/architecture/system/deployment/azure/type.Observed

def permissions source · line 85 · raw

@+subscription:String -> @gs:List<&2, String> -> @o:0x240dd78ab0879c4e226cf7dacf530ba1/domain/architecture/system/deployment/azure/type.Observed -> IO(0x240dd78ab0879c4e226cf7dacf530ba1/domain/architecture/system/deployment/azure/type.Observed)

The signed-in user's effective permissions on each resource group.

def devops source · line 96 · raw

IO(String)

Who az-devops is signed in as, or "" when it has no profile.

def identities source · line 102 · raw

@user:String -> @+devops:String -> List<&2, 0x240dd78ab0879c4e226cf7dacf530ba1/domain/architecture/system/deployment/azure/type.Identity>

def signed source · line 105 · raw

@m:Maybe<&2, 0x16458a2db4f36577294543ec2a6d420c/json.Val> -> IO(0x240dd78ab0879c4e226cf7dacf530ba1/domain/architecture/system/deployment/azure/type.Observed)

def observe source · line 122 · raw

IO(0x240dd78ab0879c4e226cf7dacf530ba1/domain/architecture/system/deployment/azure/type.Observed)

Azure as it is: who is signed in, its resources and groups, and the signed-in user's permissions.

def checks source · line 128 · raw

@az:0x240dd78ab0879c4e226cf7dacf530ba1/domain/architecture/system/deployment/azure/type.Azure -> @a:0x240dd78ab0879c4e226cf7dacf530ba1/domain/architecture/environment/agreement/type.Agreement -> IO(List<&2, 0x240dd78ab0879c4e226cf7dacf530ba1/domain/architecture/system/plan/type.Step>)

The Azure checks against the declared resources and the agreement (see AzO.steps).