time PosixDate - tadashi9e/gmp4pony GitHub Wiki
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 PosixDateCreate 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^- PosixDate ref^
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
Return a POSIX time. Treats the date as UTC.
fun box time()
: I64 val- I64 val
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- None val
Format the time as for strftime.
fun box format(
fmt: String val)
: String val ?- fmt: String val
- String val ?