Rfc3339

[Source]

Strict RFC 3339 parsing and formatting. See: https://datatracker.ietf.org/doc/html/rfc3339

primitive val Rfc3339

Constructors

create

[Source]

new val create()
: Rfc3339 val^

Returns

• Rfc3339 val^

---

Public Functions

parse

[Source]

Parse an RFC 3339 timestamp into a fresh ZonedDateTime in Offset mode (RFC 3339 carries offset, not zone). Returns ParseError on malformed input.

fun box parse(
  s: String val)
: (ZonedDateTime iso^ | ParseError)

Parameters

• s: String val

Returns

• (ZonedDateTime iso^ | ParseError)

---

parse_in_place

[Source]

Parse an RFC 3339 timestamp, mutating zdt to represent the result. Zero allocation on the happy path. Self is left unchanged on error.

fun box parse_in_place(
  s: String val,
  zdt: ZonedDateTime ref)
: (None val | ParseError)

Parameters

• s: String val
• zdt: ZonedDateTime ref

Returns

• (None val | ParseError)

---

format

[Source]

RFC 3339 representation. Delegates to ZonedDateTime.string().

fun box format(
  zdt: ZonedDateTime box)
: String iso^

Parameters

• zdt: ZonedDateTime box

Returns

• String iso^

---

format_in_place

[Source]

Append the RFC 3339 representation to buf.

fun box format_in_place(
  zdt: ZonedDateTime box,
  buf: String ref)
: None val

Parameters

• zdt: ZonedDateTime box
• buf: String ref

Returns

• None val

---

is_digit

[Source]

fun box is_digit(
  c: U8 val)
: Bool val

Parameters

• c: U8 val

Returns

• Bool val

---

eq

[Source]

fun box eq(
  that: Rfc3339 val)
: Bool val

Parameters

• that: Rfc3339 val

Returns

• Bool val

---

ne

[Source]

fun box ne(
  that: Rfc3339 val)
: Bool val

Parameters

• that: Rfc3339 val

Returns

• Bool val

---