def AaNet.parse.q

bend-osdev-apparmor@0.1.0.0 · rule_network.bend:133

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

133def AaNet.parse.q(r: Result<&2, &2, E.AaError, P.AaQual>, ts: List<&2, T.AaTerm>, +src: E.AaSrc) -> Result<&2, &2, E.AaError, AaNetRule>:
134  match r:
135    case Fail{e}:
136      Fail{e}
137    case Done{q}:
138      do Result<&2, &2, E.AaError, AaNetRule>:
139        x : AaNetRule <- AaNet.parse.go(ts, AaNetRule{q, None{}, None{}, None{}}, True{}, src)
140        AaNet.check(x, src)

Uses (12)

Used by (1)