def Pairing.step
bend-lint-rules@0.2.0.0 · lib/linter/directives.bend:662
import bend-lint-rules@0.2.0.0/lib/linter/directives.bend as Directives
import Base
662def Pairing.step(said: Said, p: Pairing) -> Pairing:
663 match said p:
664 case Said{Directive{a, Begin{}, r, sev, c, i}} Pairing{open, closed, wrong}:
665 Pairing{Directive{a, Begin{}, r, sev, c, i} <> open, closed, wrong}
666 case Said{Directive{+a, End{}, +r, sev, c, i}} Pairing{+open, closed, wrong}:
667 Pairing.close(
668 Open.latest(open, None{}, Action.show(a), r),
669 Directive{a, End{}, r, sev, c, i},
670 Pairing{open, closed, wrong}
671 )
672 case _ _:
673 p