def AaFile.parse.arrow

bend-osdev-apparmor@0.1.0.0 · rule_file.bend:413

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

413def AaFile.parse.arrow(ok: Bool, +q: P.AaQual, +a: T.AaTerm, +b: T.AaTerm, tgt: T.AaTerm, +src: E.AaSrc) -> Result<&2, &2, E.AaError, AaFileRule>:
414  match ok:
415    case False{}:
416      Fail{E.AaSrc.syntax(src)}
417    case True{}:
418      do Result<&2, &2, E.AaError, AaFileRule>:
419        t : List<&2, U32> <- AaFile.target(tgt, src)
420        AaFile.pair(q, a, b, Some{t}, src)