def AaSigB.set_peer

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

import bend-osdev-apparmor@0.1.0.0/rule_signal.bend as RuleSignal
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

105def AaSigB.set_peer(b: AaSigB, g: G.AaGlob, src: E.AaSrc) -> Result<&2, &2, E.AaError, AaSigB>:
106  match b:
107    case AaSigB{p, s, pe}:
108      match pe:
109        case None{}:
110          Done{AaSigB{p, s, Some{g}}}
111        case Some{h}:
112          Fail{E.AaSrc.syntax(src)}

Uses (7)

Used by (1)