def Covering.all

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

import Base
import bend-lint-api@0.2.0.0/shared/lists.bend as Lists

757def Covering.all(
758  saids: List<&2, Said>,
759  +lines: List<&2, Bool>,
760  +closed: List<&2, Closed>,
761  +last: U32,
762  out: List<&2, Covering>
763) -> List<&2, Covering>:
764  match saids:
765    case Nil{}:
766      List.reverse(&2, Covering, out)
767    case Con{s, rest}:
768      Covering.all(
769        rest,
770        lines,
771        closed,
772        last,
773        Lists.push(Covering, Covering.of(s, lines, closed, last), out)
774      )