IotaTime.Pattern.OffsetDateTime

Definitions

offsetDateTimePattern : {auto patterned : CalendarPattern calendar} -> Pattern localState (CalendarDateTime calendar) -> Pattern offsetState Offset -> Pattern (localState, offsetState) (OffsetDateTime calendar)

  Combine independently typed local date-time and UTC-offset patterns.

Totality: total
Visibility: public export

pOffsetDateTime : {auto patterned : CalendarPattern calendar} -> Pattern ((DateFields, TimeFields), Offset) (OffsetDateTime calendar)

  ISO local date-time followed by an ISO offset, for example
  `2024-04-23T09:00:00+02:00`.

Totality: total
Visibility: public export