def AaRule.of_maybe

bend-osdev-apparmor@0.1.0.0 · rule.bend:10

import Base
import bend-osdev-apparmor@0.1.0.0/glob.bend as G
import bend-osdev-apparmor@0.1.0.0/error.bend as E

10def AaRule.of_maybe(m: Maybe<&2, G.AaGlob>, e: E.AaError) -> Result<&2, &2, E.AaError, G.AaGlob>:
11  match m:
12    case None{}:
13      Fail{e}
14    case Some{g}:
15      Done{g}