std.csv.parseWithHeader

parseWithHeader(text: string) -> Result<Array<Map<string, string>>, string>

모듈: std.csv →
수신자: 해당 없음
최소 인자 수: 1
최대 인자 수: 1

Declaration and parameters

사용 조건

기본 포함 · 미정

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.

수신자

해당 없음

매개변수 제약

추가 계약은 미정입니다.

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.

결과

추가 계약은 미정입니다.

The declared result type is Result<Array<Map<string, string>>, string>.

효과

미정

실패

미정

Result and effects

링크

Parse named CSV rows after checking that every header name is unique. Repeated names return Err before any data row is converted, including a header with no following data rows.

Why

링크

Each name identifies one column. Rejecting a repeated name prevents column order from choosing which value survives.

링크

std.csv →

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

이 예제는 아직 실행하지 않았습니다.

문서 검색

std.csv.parseWithHeader

Declaration and parameters

사용 조건

수신자

매개변수 제약

결과

효과

실패

Result and effects

Why

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

기대 결과

메뉴

Declaration and parameters

사용 조건

수신자

매개변수 제약

결과

효과

실패

Result and effects

Why

Related entries

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

기대 결과