Transitions.AaExecResult.show: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/transitions.bend as Transitions
Lines 73-88 of bend-osdev-apparmor@0.1.0.0/transitions.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/transitions.bend&start_line=73&end_line=88

import Base
import bend-osdev-apparmor@0.1.0.0/eval.bend as V

def AaExecResult.show(r: AaExecResult) -> String:
  match r:
    case AaExecOk{t, s, d}:
      AaTarget.show(t) ++ Bool.pick(String, s, " scrub", "")
    case AaExecErr{w}:
      match w:
        case AaExecDenied{d}:
          "denied (" ++ V.AaDecision.show(d) ++ ")"
        case AaExecNoProfile{}:
          "no profile"
        case AaExecConflict{}:
          "conflict"
        case AaExecAmbiguous{}:
          "ambiguous"
        case AaExecUnknown{}:
          "unknown profile"

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/eval.bend&name=AaDecision.show
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/transitions.bend&name=AaExecResult
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/transitions.bend&name=AaExecWhy
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/transitions.bend&name=AaTarget.show