std.csv

Имя	Модуль
std.csv.parse →	std.csv →
std.csv.parseWithHeader →	std.csv →
std.csv.stringify →	std.csv →
std.csv.stringifyWithHeader →	std.csv →

Module

The module reads positional rows or associates data cells with unique header names. Positional parsing retains every column, including repeated text.

Why

Ссылка

Positional rows preserve every column, while named rows require a unique name for each column.

Availability

Ссылка

Import std.csv in language mode 5.21. The current compiler selects std/csv.tpz for this language mode. Availability in other released editions and inclusion in each installed distribution are Pending.

Public API

Ссылка

std.csv.parse →

std.csv.parseWithHeader →

std.csv.stringify →

std.csv.stringifyWithHeader →

Pending contracts

Ссылка

Require unique headers for named CSV rows

Ссылка

Правилоtopaz.stdlib.contract.csv-unique-headers.rule

Require unique headers for named CSV rows

parseWithHeader returns Result<Array<Map<string, string>>, string>. A repeated header name returns Err instead of choosing a first or last column.

Header uniqueness is checked before converting data rows. Repeated names are rejected when cell values are equal and when the input contains a header without data rows.

The header names are the parsed CSV field values. Equality uses those string values without an additional trimming or case-folding step.

Use csv.parse when columns must remain positional. Positional parsing preserves every field and does not assign header names.

Причина

A named row gives each name one column. Rejecting duplicates keeps column order from selecting a winner, while positional parsing retains data that has no unique names.

Примеры Read unique named columns →Reject duplicate names →Reject duplicate names after reversing values →Reject duplicate names even when the values agree →Reject duplicate names before reading data rows →Preserve repeated header text in positional rows →

Read unique named columns

Ссылка

run · running · Проверка · Не выполнялось

main.tpzRead unique named columnsОткрыть песочницу →

import std.csv
import std.test
import std.io
let rows = test.assertOk(csv.parseWithHeader("name,count\nTopaz,6"))
let row = test.assertSome(rows.get(0))
io.writeLine(test.assertSome(row.get("name")))
io.writeLine(test.assertSome(row.get("count")))

Ожидаемый выводКод завершения 0

Topaz
6

$ topaz run main.tpz · Целевой продукт 5.21.3

Ожидаемый результат

Выполнение завершается. Код завершения 0.

Нет вывода ошибок.

Ожидаемый стандартный вывод

Topaz
6

Этот пример ещё не выполнялся.

Reject duplicate names

Ссылка

run · running · Проверка · Не выполнялось

main.tpzReject duplicate namesОткрыть песочницу →

import std.csv
import std.io
match (csv.parseWithHeader("name,name\nleft,right")) {
case Err(_) => io.writeLine("duplicate headers rejected")
case Ok(_) => io.writeLine("accepted")
}

Ожидаемый выводКод завершения 0

duplicate headers rejected

$ topaz run main.tpz · Целевой продукт 5.21.3

Ожидаемый результат

Выполнение завершается. Код завершения 0.

Нет вывода ошибок.

Ожидаемый стандартный вывод

duplicate headers rejected

Этот пример ещё не выполнялся.

The parser rejects this input by returning Err. The program handles that result and exits successfully.

Reject duplicate names after reversing values

Ссылка

run · running · Проверка · Не выполнялось

main.tpzReject duplicate names after reversing valuesОткрыть песочницу →

import std.csv
import std.io
match (csv.parseWithHeader("name,name\nright,left")) {
case Err(_) => io.writeLine("duplicate headers rejected")
case Ok(_) => io.writeLine("accepted")
}

Ожидаемый выводКод завершения 0

duplicate headers rejected

$ topaz run main.tpz · Целевой продукт 5.21.3

Ожидаемый результат

Выполнение завершается. Код завершения 0.

Нет вывода ошибок.

Ожидаемый стандартный вывод

duplicate headers rejected

Этот пример ещё не выполнялся.

The parser rejects this input by returning Err. The program handles that result and exits successfully.

Reject duplicate names even when the values agree

Ссылка

run · running · Проверка · Не выполнялось

main.tpzReject duplicate names even when the values agreeОткрыть песочницу →

import std.csv
import std.io
match (csv.parseWithHeader("name,name\nsame,same")) {
case Err(_) => io.writeLine("duplicate headers rejected")
case Ok(_) => io.writeLine("accepted")
}

Ожидаемый выводКод завершения 0

duplicate headers rejected

$ topaz run main.tpz · Целевой продукт 5.21.3

Ожидаемый результат

Выполнение завершается. Код завершения 0.

Нет вывода ошибок.

Ожидаемый стандартный вывод

duplicate headers rejected

Этот пример ещё не выполнялся.

The parser rejects this input by returning Err. The program handles that result and exits successfully.

Reject duplicate names before reading data rows

Ссылка

run · running · Проверка · Не выполнялось

main.tpzReject duplicate names before reading data rowsОткрыть песочницу →

import std.csv
import std.io
match (csv.parseWithHeader("name,name")) {
case Err(_) => io.writeLine("duplicate headers rejected")
case Ok(_) => io.writeLine("accepted")
}

Ожидаемый выводКод завершения 0

duplicate headers rejected

$ topaz run main.tpz · Целевой продукт 5.21.3

Ожидаемый результат

Выполнение завершается. Код завершения 0.

Нет вывода ошибок.

Ожидаемый стандартный вывод

duplicate headers rejected

Этот пример ещё не выполнялся.

The parser rejects this input by returning Err. The program handles that result and exits successfully.

Preserve repeated header text in positional rows

Ссылка

run · running · Проверка · Не выполнялось

main.tpzPreserve repeated header text in positional rowsОткрыть песочницу →

import std.csv
import std.test
import std.io
let rows = test.assertOk(csv.parse("name,name\nleft,right"))
let row = test.assertSome(rows.get(1))
io.writeLine("{row[0]}:{row[1]}")

Ожидаемый выводКод завершения 0

left:right

$ topaz run main.tpz · Целевой продукт 5.21.3

Ожидаемый результат

Выполнение завершается. Код завершения 0.

Нет вывода ошибок.

Ожидаемый стандартный вывод

left:right

Этот пример ещё не выполнялся.

Serialize positional and named CSV rows

Ссылка

Правилоtopaz.stdlib.contract.csv-stringify.rule

Serialize positional and named CSV rows

stringify accepts arrays of string rows and returns text. It preserves row order and cell text. Rows may have different field counts. Commas separate fields and every row ends with LF, including the last row. An empty array of rows becomes empty text.

A field containing a comma, quotation mark, CR or LF is enclosed in quotation marks. An embedded quotation mark is doubled. Embedded CR and LF remain inside the quoted field. A sole empty field is quoted to distinguish it from a row with no fields. Empty fields in a larger row need no quotation marks. Other whitespace and Unicode text remain unchanged.

stringifyWithHeader(rows, columns) -> Result<string, string> writes a header using the supplied column names and then projects every map onto that ordered list. An absent key supplies an empty cell. Keys outside the list are ignored. A header is emitted even when there are no data rows.

Column names use exact string equality. A repeated name, including a repeated empty name, returns a nonempty Err identifying that name and its zero based repeated index. Validation happens before row projection. A unique empty name is permitted. An empty column list writes an empty header row and one empty row for each input row.

Positional serialization has no value error for a well typed input. Named serialization uses Result for invalid columns. Incorrect row or cell types follow ordinary checking diagnostics. Both functions evaluate supplied arguments once from left to right and perform no I/O or mutation. Their collection arguments follow value semantics.

Named parsing and named writing require the same unique header names. Positional serialization remains available when a row has no naming schema. CSV parsing has its separate malformed input and field count rules.

Причина

Explicit columns determine stable output without depending on map insertion order. Unique names prevent two fields from competing for one key. A Result reports invalid naming data through the same recoverable channel as named parsing.

Примеры Quote delimiters and line breaks and finish each record →Distinguish no rows, no fields and one empty field →Choose output columns explicitly and fill absent cells →Reject duplicate columns before serializing a row →

Quote delimiters and line breaks and finish each record

Ссылка

run · running · Проверка · Не выполнялось

main.tpzQuote delimiters and line breaks and finish each recordОткрыть песочницу →

import std.csv
import std.json
import std.test
import std.io
let rows = [["name", "note"], ["a,b", "x\"y"], ["line\nnext", "carriage\rreturn"]]
io.writeLine(test.assertOk(json.stringify(csv.stringify(rows))))

Ожидаемый выводКод завершения 0

"name,note\n\"a,b\",\"x\"\"y\"\n\"line\nnext\",\"carriage\rreturn\"\n"

$ topaz run main.tpz · Целевой продукт 5.21.3

Ожидаемый результат

Выполнение завершается. Код завершения 0.

Нет вывода ошибок.

Ожидаемый стандартный вывод

"name,note\n\"a,b\",\"x\"\"y\"\n\"line\nnext\",\"carriage\rreturn\"\n"

Этот пример ещё не выполнялся.

Distinguish no rows, no fields and one empty field

Ссылка

run · running · Проверка · Не выполнялось

main.tpzDistinguish no rows, no fields and one empty fieldОткрыть песочницу →

import std.csv
import std.json
import std.test
import std.io
let none: Array<Array<string>> = []
let emptyRows: Array<Array<string>> = [[], [""]]
io.writeLine(test.assertOk(json.stringify(csv.stringify(none))))
io.writeLine(test.assertOk(json.stringify(csv.stringify(emptyRows))))

Ожидаемый выводКод завершения 0

""
"\n\"\"\n"

$ topaz run main.tpz · Целевой продукт 5.21.3

Ожидаемый результат

Выполнение завершается. Код завершения 0.

Нет вывода ошибок.

Ожидаемый стандартный вывод

""
"\n\"\"\n"

Этот пример ещё не выполнялся.

Choose output columns explicitly and fill absent cells

Ссылка

run · running · Проверка · Не выполнялось

main.tpzChoose output columns explicitly and fill absent cellsОткрыть песочницу →

import std.csv
import std.json
import std.test
import std.io
let rows = [map { "name": "Topaz", "extra": "ignored", "count": "6" }, map { "name": "Ink" }]
let text = test.assertOk(csv.stringifyWithHeader(rows, ["count", "name"]))
io.writeLine(test.assertOk(json.stringify(text)))
let noRows: Array<Map<string, string>> = []
io.writeLine(test.assertOk(json.stringify(test.assertOk(csv.stringifyWithHeader(noRows, ["name"])))))

Ожидаемый выводКод завершения 0

"count,name\n6,Topaz\n,Ink\n"
"name\n"

$ topaz run main.tpz · Целевой продукт 5.21.3

Ожидаемый результат

Выполнение завершается. Код завершения 0.

Нет вывода ошибок.

Ожидаемый стандартный вывод

"count,name\n6,Topaz\n,Ink\n"
"name\n"

Этот пример ещё не выполнялся.

Reject duplicate columns before serializing a row

Ссылка

run · running · Проверка · Не выполнялось

main.tpzReject duplicate columns before serializing a rowОткрыть песочницу →

import std.csv
import std.io
let rows: Array<Map<string, string>> = []
match (csv.stringifyWithHeader(rows, ["name", "name"])) {
case Ok(_) => io.writeLine("accepted")
case Err(_) => io.writeLine("duplicate columns rejected")
}

Ожидаемый выводКод завершения 0

duplicate columns rejected

$ topaz run main.tpz · Целевой продукт 5.21.3

Ожидаемый результат

Выполнение завершается. Код завершения 0.

Нет вывода ошибок.

Ожидаемый стандартный вывод

duplicate columns rejected

Этот пример ещё не выполнялся.

Поиск в документации

API этого модуля

Module

Why

Availability

Public API

Pending contracts

Require unique headers for named CSV rows

Require unique headers for named CSV rows

Причина

Read unique named columns

Ожидаемый результат

Reject duplicate names

Ожидаемый результат

Reject duplicate names after reversing values

Ожидаемый результат

Reject duplicate names even when the values agree

Ожидаемый результат

Reject duplicate names before reading data rows

Ожидаемый результат

Preserve repeated header text in positional rows

Ожидаемый результат

Serialize positional and named CSV rows

Serialize positional and named CSV rows

Причина

Quote delimiters and line breaks and finish each record

Ожидаемый результат

Distinguish no rows, no fields and one empty field

Ожидаемый результат

Choose output columns explicitly and fill absent cells

Ожидаемый результат

Reject duplicate columns before serializing a row

Ожидаемый результат

Меню