def AaDbB.perms

bend-osdev-apparmor@0.1.0.0 · rule_dbus.bend:100

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

100def AaDbB.perms(m: Maybe<&2, P.AaPerms>, b: AaDbB, src: E.AaSrc) -> Result<&2, &2, E.AaError, AaDbB>:
101  match m:
102    case None{}:
103      Fail{E.AaSrc.syntax(src)}
104    case Some{p}:
105      match b:
106        case AaDbB{bp, xs}:
107          match bp:
108            case None{}:
109              Done{AaDbB{Some{p}, xs}}
110            case Some{q}:
111              Done{AaDbB{Some{P.AaPerms.union(q, p)}, xs}}