Date

Represents a proleptic Gregorian date and time, without specifying a time zone. The day of month, month, day of week, and day of year are all indexed from 1, i.e. January is 1, Monday is 1.

class ref Date

Constructors

create

new ref create(
  seconds: I64 val = seq,
  nanoseconds: I64 val = seq)
: Date ref^

Parameters

  • seconds: I64 val = seq
  • nanoseconds: I64 val = seq

Returns


Public fields

  • var nsec: I32 val

  • var sec: I32 val

  • var min: I32 val

  • var hour: I32 val

  • var day_of_month: I32 val

  • var month: I32 val

  • var year: I32 val

  • var day_of_week: I32 val

  • var day_of_year: I32 val

Public Functions

time

Return a POSIX time. Treats the date as UTC.

fun box time()
: I64 val

Returns


normal

Normalise all the fields of the date. For example, if the hour is 24, it is set to 0 and the day is advanced. This allows fields to be changed naively, eg. adding 1000 to hours to advance the time by 1000 hours, and then normalising the date.

fun ref normal()
: None val

Returns


format

Format the time as for strftime.

fun box format(
  fmt: String val)
: String val

Parameters

Returns