Skip to content

PosixDate

[Source]

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 PosixDate

Constructors

create

[Source]

Create a date from a POSIX time. Negative arguments will be changed to zero.

new ref create(
  seconds: I64 val = 0,
  nanoseconds: I64 val = 0)
: PosixDate ref^

Parameters

  • seconds: I64 val = 0
  • nanoseconds: I64 val = 0

Returns

Public fields

var nsec: I32 val

[Source]

var sec: I32 val

[Source]

var min: I32 val

[Source]

var hour: I32 val

[Source]

var day_of_month: I32 val

[Source]

var month: I32 val

[Source]

var year: I32 val

[Source]

var day_of_week: I32 val

[Source]

var day_of_year: I32 val

[Source]

Public Functions

time

[Source]

Return a POSIX time. Treats the date as UTC.

fun box time()
: I64 val

Returns

normal

[Source]

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

[Source]

Format the time as for strftime.

Will return an empty string if the format string is "%p" or "%P".

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

Parameters

Returns