Slide 46
Slide 46 text
dateTime = LocalDateTime.of(2018, Month.DECEMBER, 11, 0, 0)
dateTime = 11 December 2018 at (14 hh 0)
infix fun Int.December(n: Int) : LocalDate {
return LocalDate.of(n, Month.DECEMBER, this)
}
infix fun LocalDate.at(n: Pair): LocalDateTime {
return this.atTime(n.first, n.second)
}
infix fun Int.hh(n: Int): Pair {
return Pair(this, n)
}