Changes

* <code>$csv?names?*</code> returns the names of all fields (if available)

* Return enumerated strings for all records:

for $record at $pos in $csv?records

return $pos || ". " || string-join($record?*, ', ')

'''Input''' {{Code|addressbook.csv}}:

Name,First Name,Address,City

Huber,Sepp,Hauptstraße 13,93547 Hintertupfing

'''Query:'''

let $text := file:read-text('addressbook.csv')

return csv:parse($text, map { 'header': true() })

'''Result:'''

<csv>

<record>

'''Query:'''

let $options := map { 'lax': false() }

let $input := file:read-text('some-data.csv')

'''Query:'''

let $text := ``[Name,City

Jack,Chicago

'''Result:'''

Distinct values:

* Name: Jack, John