New function fn:substitute()

[michaelhkay]

The discussion on the parse-csv() use cases suggests there would be value in a function

fn:substitute($value as item()*, $pos as xs:positiveInteger, $mangler as function(item()) as item()) as item()*

whose effect is to return the input sequence $value with the item at position $pos replaced by the result of invoking $mangler on that item.

This should be aligned with similar functions for maps and arrays.

[ChristianGruen]

I think we can close this issue; it’s also listed in #583.

[ndw]

At meeting 075, the CG agreed to close this issue without further action.