IamExplainer.Principal

PrincipalType.toString — ⚪ definition

def · source

def PrincipalType.toString : PrincipalType → String
  | .aws => "AWS"
  | .federated => "Federated"
  | .service => "Service"
  | .canonicalUser => "CanonicalUser"
  | .wildcard => "Wildcard"

— ⚪ definition

instance · source

instance : ToString PrincipalType

Principal — ⚪ definition

structure · source

structure Principal where

isBareAccountId — ⚪ definition

def · source

def isBareAccountId (s : String) : Bool

normPrincipal — ⚪ definition

def · source

def normPrincipal (s : String) : Principal

parsePrincipals — ⚪ definition

def · source

def parsePrincipals (j : Json) : List Principal

Principal.isRoot — ⚪ definition

def · source

def Principal.isRoot (p : Principal) : Bool

Principal.accountId — ⚪ definition

def · source

def Principal.accountId (p : Principal) : Option String

Scope.toString — ⚪ definition

def · source

def Scope.toString : Scope → String
  | .sameAccount => "SAME_ACCOUNT"
  | .inOrg       => "IN_ORG"
  | .crossOrg    => "CROSS_ORG"
  | .pub         => "PUBLIC"
  | .federated   => "FEDERATED"
  | .service     => "SERVICE"
  | .unverified  => "UNVERIFIED"

— ⚪ definition

instance · source

instance : ToString Scope

Context — ⚪ definition

structure · source

structure Context where

condOrgIds — ⚪ definition

def · source

def condOrgIds (cond : Option Json) : List String

scopeOf — ⚪ definition

def · source

def scopeOf (ctx : Context) (p : Principal) (cond : Option Json) : Scope

DocKind.toString — ⚪ definition

def · source

def DocKind.toString : DocKind → String
  | .identity => "IDENTITY"
  | .trust    => "TRUST"
  | .resource => "RESOURCE"
  | .mixed    => "MIXED"

— ⚪ definition

instance · source

instance : ToString DocKind

detectKind — ⚪ definition

def · source

def detectKind (stmts : List Statement) : DocKind