IotaTime.Pattern.Scalar

Definitions

pInstantNanoseconds : Pattern Integer Instant

  An arbitrary-precision instant encoded as nanoseconds relative to the
  iotaTime epoch.

Totality: total
Visibility: public export

pCalendarDays : {auto cal : Calendar calendar} -> Pattern Integer (CalendarDate calendar)

  A calendar date encoded as its calendar-local day count. The expected
  calendar type is supplied by the pattern itself.

Totality: total
Visibility: public export

pZoneIdToken : Pattern String String

  A non-empty zone identifier containing no whitespace. This covers IANA
  identifiers and is directly composable with surrounding literals.

Totality: total
Visibility: public export

pZoneIdQuoted : Pattern String String

  A quoted, escaped, non-empty zone identifier. This form represents Windows
  identifiers containing spaces as well as quote, backslash, and whitespace
  characters when an application needs them.

Totality: total
Visibility: public export