@[inline]
Converts a Timestamp
to a PlainDateTime
Equations
Instances For
@[inline]
Converts a Timestamp
to a PlainDate
Equations
Instances For
@[inline]
Converts a Timestamp
to a PlainTime
Equations
Instances For
@[inline]
Converts a PlainDate
to a Timestamp
Instances For
@[inline]
Converts a PlainDate
to a Timestamp
Equations
Instances For
@[inline]
Converts a PlainDateTime
to a PlainDate
Instances For
@[inline]
Converts a PlainTime
to a PlainDateTime
Equations
- Std.Time.PlainDateTime.ofPlainTime time = { date := { year := 1, month := 1, day := 1, valid := Std.Time.PlainDateTime.ofPlainTime.proof_1 }, time := time }
Instances For
@[inline]
Converts a PlainDateTime
to a PlainTime