def AaSigB.perms

bend-osdev-apparmor@0.1.0.0 · rule_signal.bend:70

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

70def AaSigB.perms(m: Maybe<&2, P.AaPerms>, b: AaSigB, src: E.AaSrc) -> Result<&2, &2, E.AaError, AaSigB>:
71  match m:
72    case None{}:
73      Fail{E.AaSrc.syntax(src)}
74    case Some{p}:
75      match b:
76        case AaSigB{bp, s, pe}:
77          match bp:
78            case None{}:
79              Done{AaSigB{Some{p}, s, pe}}
80            case Some{q}:
81              Done{AaSigB{Some{P.AaPerms.union(q, p)}, s, pe}}