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

기대 결과

메뉴