@[inline]

def Std.Time.Timestamp.ofPlainDateTimeAssumingUTC (pdt : PlainDateTime) : Timestamp

Converts a PlainDateTime to a Timestamp

@[inline]

def Std.Time.Timestamp.toPlainDateTimeAssumingUTC (timestamp : Timestamp) : PlainDateTime

Converts a Timestamp to a PlainDateTime

@[inline]

def Std.Time.Timestamp.ofPlainDateAssumingUTC (pd : PlainDate) : Timestamp

Converts a PlainDate to a Timestamp

@[inline]

def Std.Time.Timestamp.toPlainDateAssumingUTC (timestamp : Timestamp) : PlainDate

Converts a Timestamp to a PlainDate

@[inline]

def Std.Time.Timestamp.getTimeAssumingUTC (timestamp : Timestamp) : PlainTime

Converts a Timestamp to a PlainTime

@[inline]

def Std.Time.PlainDate.toTimestampAssumingUTC (pdt : PlainDate) : Timestamp

Converts a PlainDate to a Timestamp

instance Std.Time.PlainDate.instHSubDuration : HSub PlainDate PlainDate Duration

@[inline]

def Std.Time.PlainDateTime.ofPlainDate (date : PlainDate) : PlainDateTime

Converts a PlainDate to a Timestamp

@[inline]

def Std.Time.PlainDateTime.toPlainDate (pdt : PlainDateTime) : PlainDate

Converts a PlainDateTime to a PlainDate

@[inline]

def Std.Time.PlainDateTime.ofPlainTime (time : PlainTime) : PlainDateTime

Converts a PlainTime to a PlainDateTime

@[inline]

def Std.Time.PlainDateTime.toPlainTime (pdt : PlainDateTime) : PlainTime

Converts a PlainDateTime to a PlainTime

instance Std.Time.PlainDateTime.instHSubDuration : HSub PlainDateTime PlainDateTime Duration