def attr.find

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

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

302def attr.find(attrs: List<&2, Attr>, +key: String) -> Maybe<&2, String>:
303  match attrs:
304    case Nil{}: None{}
305    case Con{Attr{k, v}, t}: attr.find.go(U.string.equal(k, key), v, t, key)