~/jendhub

def props.advance

gralha-svg-render@0.1.0.1 · svg.bend:2010

import gralha-svg-render@0.1.0.1/svg.bend as Svg
import Base
import gralha-text-scan@0.1.0.1/scan.bend as U
import gralha-xml-doc@0.1.0.1/xml.bend as XML

2010def props.advance(parent: List<&2, XML.Attr>, +key: String) -> List<&2, XML.Attr>:
2011  match parent:
2012    case Nil{}: Nil{}
2013    case Con{XML.Attr{k, v}, t}:
2014      +kk = k
2015      +tt = t
2016      props.advance.pick(U.string.equal(kk, key), Con{XML.Attr{kk, v}, tt}, tt)

Uses (5)

Used by (1)