cli/vazure.bend relies on unsafe/foreign
raw source on the hub · import 0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/vazure.bend as Vazure
5 imports
import Base import ../lib/effs/io.bend as X import ../lib/vstr.bend as S import ./project.bend as P import bend-net-json@0.3.0.0/json.bend as Json
Types
type Rows source · line 112 · raw
Data
Rows@items:List<&2, String> -> @count:Nat -> Rows
Definitions
def parsed source · line 9 · raw
@m:Maybe<&2, 0x16458a2db4f36577294543ec2a6d420c/json.Val> -> @label:String -> IO(0x16458a2db4f36577294543ec2a6d420c/json.Val)
Only ARM/DevOps read commands with narrow JMESPath projections appear here. Disable Azure CLI command logs: even metadata must not create files outside the project.
def result_json source · line 14 · raw
@result:Result<&1, &1, Pair(U32, String), String> -> @label:String -> IO(0x16458a2db4f36577294543ec2a6d420c/json.Val)
def read_json source · line 19 · raw
@label:String -> @command:String -> IO(0x16458a2db4f36577294543ec2a6d420c/json.Val)
def json_or_null source · line 24 · raw
@m:Maybe<&2, 0x16458a2db4f36577294543ec2a6d420c/json.Val> -> 0x16458a2db4f36577294543ec2a6d420c/json.Val
def at source · line 29 · raw
@v:0x16458a2db4f36577294543ec2a6d420c/json.Val -> @k:String -> 0x16458a2db4f36577294543ec2a6d420c/json.Val
def string source · line 32 · raw
@v:0x16458a2db4f36577294543ec2a6d420c/json.Val -> String
def array source · line 38 · raw
@v:0x16458a2db4f36577294543ec2a6d420c/json.Val -> List<&2, 0x16458a2db4f36577294543ec2a6d420c/json.Val>
def lit source · line 43 · raw
@s:String -> String
def quoted source · line 46 · raw
@xs:List<&2, String> -> List<&2, String>
def strings source · line 51 · raw
@xs:List<&2, 0x16458a2db4f36577294543ec2a6d420c/json.Val> -> List<&2, String>
def str_list source · line 56 · raw
@v:0x16458a2db4f36577294543ec2a6d420c/json.Val -> String
def resource source · line 59 · raw
@+v:0x16458a2db4f36577294543ec2a6d420c/json.Val -> String
def project source · line 62 · raw
@v:0x16458a2db4f36577294543ec2a6d420c/json.Val -> String
def repository source · line 65 · raw
@v:0x16458a2db4f36577294543ec2a6d420c/json.Val -> String
def pipeline source · line 68 · raw
@+v:0x16458a2db4f36577294543ec2a6d420c/json.Val -> String
def connection source · line 71 · raw
@+v:0x16458a2db4f36577294543ec2a6d420c/json.Val -> String
def resource_items source · line 74 · raw
@xs:List<&2, 0x16458a2db4f36577294543ec2a6d420c/json.Val> -> List<&2, String>
def group_names source · line 79 · raw
@xs:List<&2, 0x16458a2db4f36577294543ec2a6d420c/json.Val> -> List<&2, String>
def project_items source · line 84 · raw
@xs:List<&2, 0x16458a2db4f36577294543ec2a6d420c/json.Val> -> List<&2, String>
def repository_items source · line 89 · raw
@xs:List<&2, 0x16458a2db4f36577294543ec2a6d420c/json.Val> -> List<&2, String>
def pipeline_items source · line 94 · raw
@xs:List<&2, 0x16458a2db4f36577294543ec2a6d420c/json.Val> -> List<&2, String>
def connection_items source · line 99 · raw
@xs:List<&2, 0x16458a2db4f36577294543ec2a6d420c/json.Val> -> List<&2, String>
def permission source · line 104 · raw
@scope:String -> @+v:0x16458a2db4f36577294543ec2a6d420c/json.Val -> String
def permission_items source · line 107 · raw
@+scope:String -> @xs:List<&2, 0x16458a2db4f36577294543ec2a6d420c/json.Val> -> List<&2, String>
def row_items source · line 115 · raw
@r:Rows -> List<&2, String>
def row_count source · line 119 · raw
@r:Rows -> Nat
def add_rows source · line 123 · raw
@a:Rows -> @b:Rows -> Rows
def safe_chars source · line 129 · raw
@cs:List<&2, Char> -> Bool
Identifiers come from Azure or a project's target fact. Reject shell metacharacters.
def safe source · line 137 · raw
@+s:String -> Bool
def require_safe_bool source · line 140 · raw
@ok:Bool -> @label:String -> IO(Unit)
def require_safe source · line 145 · raw
@label:String -> @s:String -> IO(Unit)
def permissions source · line 148 · raw
@+subscription:String -> @groups:List<&2, 0x16458a2db4f36577294543ec2a6d420c/json.Val> -> IO(Rows)
def pipeline_details source · line 160 · raw
@+org:String -> @+project_name:String -> @xs:List<&2, 0x16458a2db4f36577294543ec2a6d420c/json.Val> -> IO(Rows)
def facts_text source · line 171 · raw
@+vlib:String -> @+org:String -> @+project_name:String -> @+resources:List<&2, String> -> @+groups:List<&2, String> -> @+permissions:List<&2, String> -> @+projects:List<&2, String> -> @+repos:List<&2, String> -> @+pipelines:List<&2, String> -> @+connections:List<&2, String> -> @+arm_identity:String -> @+devops_identity:String -> String
def snapshot source · line 183 · raw
@+f:0x0bae9aeb11ebfcadb010bbe6e89fbbff/cli/project.Facts -> IO(Unit)