def Covering.ran

bend-lint-rules@0.2.0.0 · lib/linter/directives.bend:993

import Base

993def Covering.ran(
994  coverings: List<&2, Covering>,
995  +ran: List<&2, String>,
996  out: List<&2, Covering>
997) -> List<&2, Covering>:
998  match coverings:
999    case Nil{}:
1000      List.reverse(&2, Covering, out)
1001    case Con{Covering{Directive{a, s, +r, sev, c, i}, from, to}, rest}:
1002      Covering.ran(
1003        rest,
1004        ran,
1005        Covering.keep(
1006          List.contains(~String, ~String.eq, ran, r),
1007          Covering{Directive{a, s, r, sev, c, i}, from, to},
1008          out
1009        )
1010      )