@[inline]

def Std.Time.PlainDateTime.now : IO PlainDateTime

Get the current time, in the local timezone. To obtain the current time in a specific timezone, use DateTime.now or ZonedDateTime.nowAt.

@[inline]

def Std.Time.PlainDate.now : IO PlainDate

Get the current date, in the local timezone.

@[inline]

def Std.Time.PlainTime.now : IO PlainTime

Get the current time, in the local timezone.

@[inline]

def Std.Time.DateTime.ofPlainDate (pd : PlainDate) (tz : TimeZone) : DateTime tz

Converts a PlainDate with a TimeZone to a DateTime

@[inline]

def Std.Time.DateTime.toPlainDate {tz : TimeZone} (dt : DateTime tz) : PlainDate

Converts a DateTime to a PlainDate

@[inline]

def Std.Time.DateTime.toPlainTime {tz : TimeZone} (dt : DateTime tz) : PlainTime

Converts a DateTime to a PlainTime

@[inline]

def Std.Time.DateTime.now {tz : TimeZone} : IO (DateTime tz)

Gets the current ZonedDateTime.

@[inline]

def Std.Time.ZonedDateTime.now : IO ZonedDateTime

Gets the current ZonedDateTime.

@[inline]

def Std.Time.ZonedDateTime.nowAt (id : String) : IO ZonedDateTime

Gets the current ZonedDateTime using the identifier of a time zone.

@[inline]

def Std.Time.ZonedDateTime.ofPlainDate (pd : PlainDate) (zr : TimeZone.ZoneRules) : ZonedDateTime

Converts a PlainDate to a ZonedDateTime.

@[inline]

def Std.Time.ZonedDateTime.ofPlainDateWithZone (pd : PlainDate) (zr : TimeZone) : ZonedDateTime

Converts a PlainDate to a ZonedDateTime using TimeZone.

@[inline]

def Std.Time.ZonedDateTime.toPlainDate (dt : ZonedDateTime) : PlainDate

Converts a ZonedDateTime to a PlainDate

@[inline]

def Std.Time.ZonedDateTime.toPlainTime (dt : ZonedDateTime) : PlainTime

Converts a ZonedDateTime to a PlainTime

@[inline]

def Std.Time.ZonedDateTime.of (pdt : PlainDateTime) (id : String) : IO ZonedDateTime

Creates a new ZonedDateTime out of a PlainDateTime and a time zone identifier.

@[inline]

def Std.Time.PlainDateTime.toTimestamp (pdt : PlainDateTime) (zr : TimeZone.ZoneRules) : Timestamp

Converts a PlainDateTime to a Timestamp using the ZoneRules.

@[inline]

def Std.Time.PlainDateTime.toTimestampWithZone (pdt : PlainDateTime) (tz : TimeZone) : Timestamp

Converts a PlainDateTime to a Timestamp using the TimeZone.

@[inline]

def Std.Time.PlainDate.toTimestamp (dt : PlainDate) (zr : TimeZone.ZoneRules) : Timestamp

Converts a PlainDate to a Timestamp using the ZoneRules.

@[inline]

def Std.Time.PlainDate.toTimestampWithZone (dt : PlainDate) (tz : TimeZone) : Timestamp

Converts a PlainDate to a Timestamp using the TimeZone.