~/jendhub

def Open.without

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

import bend-lint-rules@0.2.0.0/lib/linter/directives.bend as Directives
import Base

625def Open.without(open: List<&2, Directive>, +index: U32) -> List<&2, Directive>:
626  match open:
627    case Nil{}:
628      []
629    case Con{Directive{a, s, r, sev, c, +i}, rest}:
630      Open.keep(U32.is_eq(i, index), Directive{a, s, r, sev, c, i}, Open.without(rest, index))

Uses (5)

Used by (1)