IamExplainer.Emit
Need — ⚪ definition
structure · source
structure Need where
Needs — ⚪ definition
structure · source
structure Needs where
Transform — ⚪ definition
structure · source
structure Transform where
Residual — ⚪ definition
structure · source
structure Residual where
Withheld — ⚪ definition
structure · source
structure Withheld where
EmitReport — ⚪ definition
structure · source
structure EmitReport where
hasWildcard — ⚪ definition
def · source
def hasWildcard (s : String) : Bool
allNeedResourcesExact — ⚪ definition
def · source
def allNeedResourcesExact (stmt : Statement) (ns : List Need) : Bool
touchingResources — ⚪ definition
def · source
def touchingResources (stmt : Statement) (ns : List Need) : List String
emitFixed — ⚪ definition
def · source
def emitFixed (p : Policy) (ns : Needs) : Policy × EmitReport
parseNeeds — ⚪ definition
def · source
def parseNeeds (input : String) : Except String Needs
stmtToJson — ⚪ definition
def · source
def stmtToJson (s : Statement) : Json
policyToJson — ⚪ definition
def · source
def policyToJson (p : Policy) : Json