def attrs.remove

gralha-xml-doc@0.1.0.1 · xml.bend:377

import Base
import gralha-text-scan@0.1.0.1/scan.bend as U

377# Editor support: identifiers are private metadata and never serialized.
378def attrs.remove(+as: List<&2, Attr>, +key: String) -> List<&2, Attr>:
379  match as:
380    case Nil{}: Nil{}
381    case Con{Attr{k, v}, rest}:
382      +kk = k
383      U.branch(List<&2, Attr>, U.string.equal(kk, key), _ => attrs.remove(rest, key),
384        _ => Con{Attr{kk, v}, attrs.remove(rest, key)})