Date.toIso

Declaration and parameters

사용 조건

기본 포함 · 미정

Import std.date in language mode 5.21.

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

수신자

Date

매개변수 제약

추가 계약은 미정입니다.

Date.parseIso accepts exactly ten ASCII characters in the form YYYY-MM-DD. The year has four digits and the month and day each have two digits. Hyphens occur after the year and month.

The components must form a valid Gregorian date in the same range as Date.fromYmd. Valid text returns Ok containing that date. Invalid grammar or an invalid calendar date returns Err containing a descriptive nonempty string.

Parsing does not trim whitespace or normalize another spelling. Signs, omitted zero padding, alternate separators, non ASCII digits, timestamps, time zones, and extra characters are rejected.

Date.toIso returns exactly the same ten character form using ASCII digits and zero padding. It has no locale or time zone parameter and leaves the receiver unchanged.

Parsing the formatted text recovers the original date. Formatting accepted input returns that same text. Date.fromYmd and Date.parseIso establish the same component and range invariants.

The receiver or argument is evaluated once before the operation. These operations do not change the input or perform external effects. Error strings have no stable machine readable format.

결과

추가 계약은 미정입니다.

The declared result type is string.

효과

미정

실패

미정

Result and effects

링크

The result uses ASCII digits and zero padding and round trips through Date.parseIso.

Resolved contracts

링크

std.date →

Exchange dates in one fixed ISO form

링크

규칙topaz.stdlib.contract.date-iso.rule

Exchange dates in one fixed ISO form

Date.parseIso accepts exactly ten ASCII characters in the form YYYY-MM-DD. The year has four digits and the month and day each have two digits. Hyphens occur after the year and month.

The components must form a valid Gregorian date in the same range as Date.fromYmd. Valid text returns Ok containing that date. Invalid grammar or an invalid calendar date returns Err containing a descriptive nonempty string.

Parsing does not trim whitespace or normalize another spelling. Signs, omitted zero padding, alternate separators, non ASCII digits, timestamps, time zones, and extra characters are rejected.

Date.toIso returns exactly the same ten character form using ASCII digits and zero padding. It has no locale or time zone parameter and leaves the receiver unchanged.

Parsing the formatted text recovers the original date. Formatting accepted input returns that same text. Date.fromYmd and Date.parseIso establish the same component and range invariants.

The receiver or argument is evaluated once before the operation. These operations do not change the input or perform external effects. Error strings have no stable machine readable format.

이유

One fixed calendar format makes date text predictable to store, compare lexically, and exchange. Sharing validation with component construction prevents two constructors from assigning different meanings to the same date.

예제 Parse canonical date text and preserve its components →Reject alternate spellings and invalid calendar dates →Reject year zero in ISO text →

Parse canonical date text and preserve its components

링크

run · running · 검증 · 미실행

main.tpzParse canonical date text and preserve its components플레이그라운드 열기 →

import std.date { Date }
import std.test
import std.io
for text in (["0001-01-01", "1582-10-10", "2000-02-29", "9999-12-31"]) {
let date = test.assertOk(Date.parseIso(text))
io.writeLine(date.toIso())
}
let leap = test.assertOk(Date.parseIso("2000-02-29"))
io.writeLine("{leap.year()} {leap.month()} {leap.day()}")

기대 출력종료 코드 0

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

0001-01-01
1582-10-10
2000-02-29
9999-12-31
2000 2 29

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

Reject alternate spellings and invalid calendar dates

링크

run · running · 검증 · 미실행

main.tpzReject alternate spellings and invalid calendar dates플레이그라운드 열기 →

import std.date { Date }
import std.io
for text in (["", "2024-2-09", "2024-02-9", "2024/02/09", " 2024-02-09", "2024-02-09 ", "2024-02-09T00:00:00Z", "+2024-02-09", "２０２４-02-09", "2024-02-30", "1900-02-29", "10000-01-01"]) {
match (Date.parseIso(text)) {
case Err(_) => io.writeLine("rejected")
case Ok(_) => io.writeLine("accepted")
}
}

기대 출력종료 코드 0

rejected
rejected
rejected
rejected
rejected
rejected
rejected
rejected
rejected
rejected
rejected
rejected

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

rejected
rejected
rejected
rejected
rejected
rejected
rejected
rejected
rejected
rejected
rejected
rejected

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

Reject year zero in ISO text

링크

run · running · 검증 · 미실행

main.tpzReject year zero in ISO text플레이그라운드 열기 →

import std.date { Date }
import std.io
match (Date.parseIso("0000-01-01")) {
case Err(_) => io.writeLine("year zero rejected")
case Ok(_) => io.writeLine("accepted")
}

기대 출력종료 코드 0

year zero rejected

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

year zero rejected

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

문서 검색

Declaration and parameters

사용 조건

수신자

매개변수 제약

결과

효과

실패

Result and effects

Resolved contracts

Exchange dates in one fixed ISO form

Exchange dates in one fixed ISO form

이유

Parse canonical date text and preserve its components

기대 결과

Reject alternate spellings and invalid calendar dates

기대 결과

Reject year zero in ISO text

기대 결과

메뉴

Declaration and parameters

사용 조건

수신자

매개변수 제약

결과

효과

실패

Result and effects

Resolved contracts

Related entries

Exchange dates in one fixed ISO form

Exchange dates in one fixed ISO form

이유

Parse canonical date text and preserve its components

기대 결과

Reject alternate spellings and invalid calendar dates

기대 결과

Reject year zero in ISO text

기대 결과