def decode.nodes

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

import Base

367# Attribute values were decoded as they were read; text still is here.
368def decode.nodes(xs: List<&2, Element>) -> List<&2, Element>:
369  match xs:
370    case Nil{}: Nil{}
371    case Con{Element{n, as, kids, txt}, rest}:
372      Con{Element{n, as, decode.nodes(kids), entities(txt)}, decode.nodes(rest)}