def AaPtB.perms

bend-osdev-apparmor@0.1.0.0 · rule_ptrace.bend:39

import Base
import bend-osdev-apparmor@0.1.0.0/perm.bend as P
import bend-osdev-apparmor@0.1.0.0/error.bend as E

39def AaPtB.perms(m: Maybe<&2, P.AaPerms>, b: AaPtB, src: E.AaSrc) -> Result<&2, &2, E.AaError, AaPtB>:
40  match m:
41    case None{}:
42      Fail{E.AaSrc.syntax(src)}
43    case Some{p}:
44      match b:
45        case AaPtB{bp, pe}:
46          match bp:
47            case None{}:
48              Done{AaPtB{Some{p}, pe}}
49            case Some{q}:
50              Done{AaPtB{Some{P.AaPerms.union(q, p)}, pe}}