@[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 DateTime.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.now : IO DateTime

Gets the current DateTime.

@[inline]

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

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

@[inline]

def Std.Time.DateTime.ofLocalDate (pd : PlainDate) (zr : TimeZone.ZoneRules) : DateTime

Converts a PlainDate to a DateTime.

@[inline]

def Std.Time.DateTime.ofLocalDateWithZone (pd : PlainDate) (zr : TimeZone) : DateTime

Converts a PlainDate to a DateTime using TimeZone.

@[inline]

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

Converts a DateTime to a PlainDate

@[inline]

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

Converts a DateTime to a PlainTime

@[inline]

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

Creates a new DateTime 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.