def AaFl.set_mode

bend-osdev-apparmor@0.1.0.0 · parse.bend:1258

import Base
import bend-osdev-apparmor@0.1.0.0/error.bend as E
import bend-osdev-apparmor@0.1.0.0/profile.bend as PR

1258def AaFl.set_mode(b: AaFlB, m: PR.AaMode, src: E.AaSrc) -> Result<&2, &2, E.AaError, AaFlB>:
1259  match b:
1260    case AaFlB{old, a}:
1261      match old:
1262        case None{}:
1263          Done{AaFlB{Some{m}, a}}
1264        case Some{+o}:
1265          Bool.pick(Result<&2, &2, E.AaError, AaFlB>, AaFl.mode_eq(o, m), Done{AaFlB{Some{o}, a}}, Fail{E.AaSrc.flag(src)})