def AaSigB.access_list

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

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

83def AaSigB.access_list(xs: List<&2, T.AaTerm>, b: AaSigB, +src: E.AaSrc) -> Result<&2, &2, E.AaError, AaSigB>:
84  match xs:
85    case Nil{}:
86      Done{b}
87    case Con{x, rest}:
88      match x:
89        case T.AaTmWord{w}:
90          do Result<&2, &2, E.AaError, AaSigB>:
91            b2 : AaSigB <- AaSigB.perms(AaSignal.access(w), b, src)
92            AaSigB.access_list(rest, b2, src)
93        case _:
94          Fail{E.AaSrc.syntax(src)}