def AaDbB.peer

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

import Base
import bend-osdev-apparmor@0.1.0.0/token.bend as T
import bend-osdev-apparmor@0.1.0.0/error.bend as E

131# the conditions inside peer=( ... )
132def AaDbB.peer(xs: List<&2, T.AaTerm>, b: AaDbB, +src: E.AaSrc) -> Result<&2, &2, E.AaError, AaDbB>:
133  match xs:
134    case Nil{}:
135      Done{b}
136    case Con{x, rest}:
137      match x:
138        case T.AaTmCond{k, v}:
139          do Result<&2, &2, E.AaError, AaDbB>:
140            b2 : AaDbB <- AaDbB.cond.one(AaDbus.peer_slot(k), v, b, src)
141            AaDbB.peer(rest, b2, src)
142        case _:
143          Fail{E.AaSrc.syntax(src)}